证明：∵AC是菱形ABCD的对角线，
∴∠FAC=∠EAC，
在△ACE和△ACF中，

AE＝AF ∠EAC＝∠FAC AC＝AC

，
∴△ACE≌△ACF（SAS）．