证明:∵四边形ABCD是平行四边形∴AD//BC∴∠EAO=∠FCO∵EF垂直平分AC∴OA=OC,∠AOE=∠COF=90°∴△AOE≌△COF(ASA)∴OE=OF则AC与EF互相垂直平分∴四边形AFCE是菱形(对角线互相垂直平分的四边形是菱形)【提示:也可用垂直平分线上的点到线段两端距离相等证出AE=CE,AF=CF,再用△AOE≌△COF证出AE=CF,从而证出四条边相等,得出四边形AFCE是菱形】