如图，在 $▱\mathit{ABCD}$中，已知 $\mathit{AD}>\mathit{AB}$．

（1）实践与操作：作 $\angle \mathit{BAD}$的平分线交 $\mathit{BC}$于点 $E$，在 $\mathit{AD}$上截取 $\mathit{AF}=\mathit{AB}$，连接 $\mathit{EF}$；（要求：尺规作图，保留作图痕迹，不写作法）

（2）猜想并证明：猜想四边形 $\mathit{ABEF}$的形状，并给予证明．