∵FE是AC的垂直平分线∴AE=CE，∠EAO=∠ECOAF=CF，∠FAO=∠FCO∵矩形ABCD中AD∥BC，∠EAO=∠FCO∴∠FAO=∠ECO，AF∥EC，四边形AFCE是平行四边形∵AE=CE∴，四边形AFCE是菱形
