如图，四边形 $\mathit{ABCD}$是正方形， $M$为 $\mathit{BC}$上一点，连接 $\mathit{AM}$，延长 $\mathit{AD}$至点 $E$，使得 $\mathit{AE}=\mathit{AM}$，过点 $E$作 $\mathit{EF}\perp \mathit{AM}$，垂足为 $F$，求证： $\mathit{AB}=\mathit{EF}$．