如图，在 $\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}$的长．

科目 数学   题型 解答题   难度 中等

知识点： 圆周角定理 相似三角形的判定与性质 三角形的外接圆与外心 切线的性质