证明：
设AC与EF的交点为O
∵AD∥BC
∴∠EAO=∠FCO
∵∠AOE=∠COF,AO=OC
∴△AOE≌△COF
∴EO=FO
∵AO=CO
∴四边形AFCE是平行四边形
∵EF⊥AC
∴四边形AFCE是菱形