菱形要过程AE//FC，AO=OC。∴Rt△AEO≌Rt△FCO。∴EO=FO根据定理“对角线相互垂直平分线的四边形是菱形。”因为AC和EF相互垂直平分，所以四边形AFCE是菱形。