如图，在 $\text{Rt}\Delta \text{ABC}$中， $\angle \mathit{ACB}=90°$， $D$是 $\mathit{AC}$上一点，过 $B$， $C$， $D$三点的 $\odot O$交 $\mathit{AB}$于点 $E$，连接 $\mathit{ED}$， $\mathit{EC}$，点 $F$是线段 $\mathit{AE}$上的一点，连接 $\mathit{FD}$，其中 $\angle \mathit{FDE}=\angle \mathit{DCE}$．

（1）求证： $\mathit{DF}$是 $\odot O$的切线．

（2）若 $D$是 $\mathit{AC}$的中点， $\angle A=30°$， $\mathit{BC}=4$，求 $\mathit{DF}$的长．