24.(1)问题:如图①,在
Rt△ABC中,AB=AC,D为BC边上一点(不与点B、C重合),将线段AD绕点A逆时针旋转90°得到AE,连接EC,则线段BC、DC、EC之间满足的等量关系式为
;
(2)探索:如图②,在
Rt△ABC与
Rt△ADE中,AB=AC,AD=AE,将△ADE绕点A旋转,使点D落在BC边上,试探索线段AD、BD、CD之间满足的等量关系,并证明你的结论;
(3)应用:如图③,在四边形ABCD中,∠ABC=∠ACB=∠ADC=45°.若BD=9,CD=3,求AD的长.