三角形AEO 与三角形CFO全等,EO=FO
因为EF是矩形ABCD的对角线AC垂直平分线
所以四边形是AFCE是菱形（对角线互相垂直且平分的四边形是菱形）
大概说一下,我就不细证明了.
鄙视抄袭.