如图，在矩形 $\mathit{ABCD}$， $\mathit{AD}=\mathit{AE}$， $\mathit{DF}\perp \mathit{AE}$于点 $F$．求证： $\mathit{AB}=\mathit{DF}$．