已知正方形 $\mathit{ABCD}$的边长为4，一个以点 $A$为顶点的 $45°$角绕点 $A$旋转，角的两边分别与边 $\mathit{BC}$、 $\mathit{DC}$的延长线交于点 $E$、 $F$，连接 $\mathit{EF}$．设 $\mathit{CE}=a$， $\mathit{CF}=b$．

（1）如图1，当 $\angle \mathit{EAF}$被对角线 $\mathit{AC}$平分时，求 $a$、 $b$的值；

（2）当 $\mathit{\Delta AEF}$是直角三角形时，求 $a$、 $b$的值；

（3）如图3，探索 $\angle \mathit{EAF}$绕点 $A$旋转的过程中 $a$、 $b$满足的关系式，并说明理由．

科目 数学   题型 计算题   难度 中等

知识点： 相似三角形的判定与性质 全等三角形的判定与性质 正方形的性质 四边形综合题