如图，四边形 $\mathit{ABCD}$是矩形 $(\mathit{AB}<\mathit{BC})$，要在矩形 $\mathit{ABCD}$内作一个以 $\mathit{AB}$为边的正方形 $\mathit{ABEF}$，某位同学的作法如下：

①作 $\angle \mathit{ABC}$的平分线 $\mathit{BM}$． $\mathit{BM}$交 $\mathit{AD}$于点 $F$；

②以点 $B$为圆心， $\mathit{BA}$长为半径画弧，交 $\mathit{BC}$于点 $E$，连接 $\mathit{EF}$．

（1）求证：四边形 $\mathit{ABEF}$是正方形；

（2）若 $\mathit{AB}=5$，求图中阴影部分的面积．