如图, 在 Rt $\triangle A B C$ 中, $\angle A C B=90^{\circ}$. 线段 $E F$ 是由线段 $A B$ 平移得到的, 点 $F$ 在边 $B C$ 上,
$\triangle E F D$ 是以 $E F$ 为斜边的等腰直角三角形, 且㤐 $D$ 恰好在 $A C$ 的延长线上.
(1) 求证: $\angle A D E=\angle D F C$;
(2) 求证: $C D=B F$.
$\triangle E F D$ 是以 $E F$ 为斜边的等腰直角三角形, 且㤐 $D$ 恰好在 $A C$ 的延长线上.
(1) 求证: $\angle A D E=\angle D F C$;
(2) 求证: $C D=B F$.