如图，在 $▱\mathit{ABCD}$中， $E$， $F$分别是 $\mathit{AD}$， $\mathit{BC}$上的点，且 $\mathit{DE}=\mathit{BF}$， $\mathit{AC}\perp \mathit{EF}$．求证：四边形 $\mathit{AECF}$是菱形．