如图，已知 $\mathit{AB}$是 $\odot O$的直径， $C$为 $\odot O$上一点， $\angle \mathit{OCB}$的角平分线交 $\odot O$于点 $D$， $F$在直线 $\mathit{AB}$上，且 $\mathit{DF}\perp \mathit{BC}$，垂足为 $E$，连接 $\mathit{AD}$、 $\mathit{BD}$．

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

（2）若 $\tan \angle A=\frac{1}{2}$， $\odot O$的半径为3，求 $\mathit{EF}$的长．