10. (2024·启东期中)【问题原型】如图①,四边形 $ABCD$ 是正方形,$E$ 是边 $BC$ 的中点,$\angle AEF = 90^{\circ}$,且 $EF$ 交正方形外角的平分线 $CF$ 于点 $F$.求证:$AE = EF$.
【问题应用】
小红在老师的启发下对题目进行了探索,发现:当原题中的“$E$ 是边 $BC$ 的中点”改为“$E$ 是直线 $BC$ 上任意一点($B$,$C$ 两点除外)”时,结论 $AE = EF$ 还能成立.现请你证明下面这种情况:
如图②,四边形 $ABCD$ 是正方形,$E$ 为 $BC$ 反向延长线上一点,$\angle AEF = 90^{\circ}$,且 $EF$ 交正方形外角的平分线 $CM$ 所在直线于点 $F$.求证:$AE = EF$.
【拓展迁移】
如图③,在正方形 $ABCD$ 中,$AB = 1$,$E$ 为 $BC$ 边上一动点(点 $E$,$B$ 不重合),以 $AE$ 为直角边在 $BC$ 上方作等腰直角三角形 $AEF$,$\angle AEF = 90^{\circ}$,连接 $DF$,$CF$.在点 $E$ 的运动过程中,求 $\triangle ADF$ 周长的最小值.
