设AC、EF交于O点,
∵EF垂直平分AC
∴AE=CE,AF=CF,AO=CO
∵AD‖BC
∴∠CAE=∠ACF
∵AC⊥EF
∴△AOE≌△COF
∴AE=CF
∴AE=CE=AF=CF
∴四边形AFCE是菱形