已知：如图，在正方形 $\mathit{ABCD}$ 中，对角线 $\mathit{AC}$ ， $\mathit{BD}$ 相交于点 $O$ ，点 $E$ ， $F$ 分别是边 $\mathit{BC}$ ， $\mathit{CD}$ 上的点，且 $\angle \mathit{EOF}=90°$ ．

求证： $\mathit{CE}=\mathit{DF}$ ．