如图，在 $▱\mathit{ABCD}$ 中， $E$ 为 $\mathit{BC}$ 的中点，连接 $\mathit{AE}$ 并延长交 $\mathit{DC}$ 的延长线于点 $F$ ，连接 $\mathit{BF}$ ， $\mathit{AC}$ ，若 $\mathit{AD}=\mathit{AF}$ ，求证：四边形 $\mathit{ABFC}$ 是矩形．