AC与EF的交点是O
∵AD∥BC
∴∠EAO=∠FCO
∵∠AOE=∠COF=90° AO=CO
∴△AOE ≌△COF
∴AE=CF
∵AE∥CF
∴AFCE是平行四边形
∵AC⊥EF
∴四边形AECF是菱形