如图1：在Rt△ABC中，AB＝AC，D为BC边上一点（不与点B，C重合），试探索AD，BD，CD之间满足的等量关系，并证明你的结论．

小明同学的思路是这样的：将线段AD绕点A逆时针旋转90°，得到线段AE，连接EC，DE．继续推理就可以使问题得到解决．