在一次数学研究性学习中，小兵将两个全等的直角三角形纸片 $\mathit{ABC}$和 $\mathit{DEF}$拼在一起，使点 $A$与点 $F$重合，点 $C$与点 $D$重合（如图 $1)$，其中 $\angle \mathit{ACB}=\angle \mathit{DFE}=90°$， $\mathit{BC}=\mathit{EF}=3\mathit{cm}$， $\mathit{AC}=\mathit{DF}=4\mathit{cm}$，并进行如下研究活动．

活动一：将图1中的纸片 $\mathit{DEF}$沿 $\mathit{AC}$方向平移，连结 $\mathit{AE}$， $\mathit{BD}$（如图 $2)$，当点 $F$与点 $C$重合时停止平移．

[思考]图2中的四边形 $\mathit{ABDE}$是平行四边形吗？请说明理由．

[发现]当纸片 $\mathit{DEF}$平移到某一位置时，小兵发现四边形 $\mathit{ABDE}$为矩形（如图 $3)$．求 $\mathit{AF}$的长．

活动二：在图3中，取 $\mathit{AD}$的中点 $O$，再将纸片 $\mathit{DEF}$绕点 $O$顺时针方向旋转 $\alpha$度 $(0⩽\alpha ⩽90)$，连结 $\mathit{OB}$， $\mathit{OE}$（如图 $4)$．

[探究]当 $\mathit{EF}$平分 $\angle \mathit{AEO}$时，探究 $\mathit{OF}$与 $\mathit{BD}$的数量关系，并说明理由．

科目 数学   题型 解答题   难度 中等

知识点： 平移的性质 矩形的性质 全等三角形的判定与性质 勾股定理