证明:∵四边形ABCD是矩形
∴AE∥BC
∴∠EAO=∠FCO
又∵EF是AC的中垂线
∴AC⊥EF,AO=OC,AE=AC
在△EAO与△FCO中
∠EAO=∠FCO
∵AO=CO
∠AOE=∠COE
∴△EAO≌△FCO(ASA)
∴AE=CF
∵AE平行且相等于CF
∴四边形AFCE为平行四边形
又∵AE=CE
∴平行四边形AFCE为菱形
证明:∵四边形ABCD是矩形
∴AE∥BC
∴∠EAO=∠FCO
又∵EF是AC的中垂线
∴AC⊥EF,AO=OC,AE=AC
在△EAO与△FCO中
∠EAO=∠FCO
∵AO=CO
∠AOE=∠COE
∴△EAO≌△FCO(ASA)
∴AE=CF
∵AE平行且相等于CF
∴四边形AFCE为平行四边形
又∵AE=CE
∴平行四边形AFCE为菱形