问题：如图①，在 $\text{Rt}\Delta \text{ABC}$中， $\mathit{AB}=\mathit{AC}$， $D$为 $\mathit{BC}$边上一点（不与点 $B$， $C$重合），将线段 $\mathit{AD}$绕点 $A$逆时针旋转 $90°$得到 $\mathit{AE}$，连接 $\mathit{EC}$，则线段 $\mathit{BC}$， $\mathit{DC}$， $\mathit{EC}$之间满足的等量关系式为　              　；

探索：如图②，在 $\text{Rt}\Delta \text{ABC}$与 $\text{Rt}\Delta \text{ADE}$中， $\mathit{AB}=\mathit{AC}$， $\mathit{AD}=\mathit{AE}$，将 $\mathit{\Delta ADE}$绕点 $A$旋转，使点 $D$落在 $\mathit{BC}$边上，试探索线段 $\mathit{AD}$， $\mathit{BD}$， $\mathit{CD}$之间满足的等量关系，并证明你的结论；

应用：如图③，在四边形 $\mathit{ABCD}$中， $\angle \mathit{ABC}=\angle \mathit{ACB}=\angle \mathit{ADC}=45°$．若 $\mathit{BD}=9$， $\mathit{CD}=3$，求 $\mathit{AD}$的长．

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

知识点： 旋转的性质 几何变换综合题 全等三角形的判定与性质 勾股定理