如图，在 $\text{Rt}\Delta \text{ABC}$中， $\angle \mathit{ABC}=90°$， $O$为 $\mathit{BC}$边上一点，以 $O$为圆心， $\mathit{OB}$长为半径的 $\odot O$与 $\mathit{AC}$边相切于点 $D$，交 $\mathit{BC}$于点 $E$．

（1）求证： $\mathit{AB}=\mathit{AD}$；

（2）连接 $\mathit{DE}$，若 $\tan \angle \mathit{EDC}=\frac{1}{2}$， $\mathit{DE}=2$，求线段 $\mathit{EC}$的长．