综合与实践

问题情境：

如图①，点 $E$为正方形 $\mathit{ABCD}$内一点， $\angle \mathit{AEB}=90°$，将 $\text{Rt}\Delta \text{ABE}$绕点 $B$按顺时针方向旋转 $90°$，得到 $\mathit{\Delta CBE}\text{'}$（点 $A$的对应点为点 $C)$．延长 $\mathit{AE}$交 $\mathit{CE}\text{'}$于点 $F$，连接 $\mathit{DE}$．

猜想证明：

（1）试判断四边形 $B{E}^{\text{'}}\mathit{FE}$的形状，并说明理由；

（2）如图②，若 $\mathit{DA}=\mathit{DE}$，请猜想线段 $\mathit{CF}$与 $F{E}^{\text{'}}$的数量关系并加以证明；

解决问题：

（3）如图①，若 $\mathit{AB}=15$， $\mathit{CF}=3$，请直接写出 $\mathit{DE}$的长．

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

知识点： 旋转的性质 全等三角形的判定与性质 正方形的判定与性质 等腰三角形的性质