证明:∵$EF $垂直平分$AC$
∴$EF⊥AC,$$OA=OC.$
∵四边形$ABCD$为矩形,
∴$AD//BC,$
∴$∠DAC=∠BCA.$
在$△AOE$和$△COF $中,
$\begin {cases}{∠EAO=∠FCO,}\\{OA=OC,}\\{∠AOE=∠COF,} \end {cases} $
∴$△AOE≌△COF(\mathrm {ASA}),$
∴$OE=OF,$
∴$AC$与$EF $互相垂直平分,
∴四边形$AECF $为菱形$.$