已知，如图，正方形 $\mathit{ABCD}$中， $E$为 $\mathit{BC}$边上一点， $F$为 $\mathit{BA}$延长线上一点，且 $\mathit{CE}=\mathit{AF}$．连接 $\mathit{DE}$、 $\mathit{DF}$．求证： $\mathit{DE}=\mathit{DF}$．