如图①，等腰直角三角形$\mathit{OEF}$的直角顶点$O$为正方形$\mathit{ABCD}$的中心，点$C$，$D$分别在$\mathit{OE}$和$\mathit{OF}$上，现将$\mathit{\Delta OEF}$绕点$O$逆时针旋转$\alpha$角$(0°<\alpha <90°)$，连接$\mathit{AF}$，$\mathit{DE}$（如图②$)$．

（1）在图②中，$\angle \mathit{AOF}=$　　；（用含$\alpha$的式子表示）

（2）在图②中猜想$\mathit{AF}$与$\mathit{DE}$的数量关系，并证明你的结论．

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

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