如图，在 $\text{Rt}\Delta \text{ABC}$ 中， $\angle \mathit{ACB}=90°$ ，延长 $\mathit{CA}$ 到点 $D$ ，以 $\mathit{AD}$ 为直径作 $\odot O$ ，交 $\mathit{BA}$ 的延长线于点 $E$ ，延长 $\mathit{BC}$ 到点 $F$ ，使 $\mathit{BF}=\mathit{EF}$ ．

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

（2）若 $\mathit{OC}=9$ ， $\mathit{AC}=4$ ， $\mathit{AE}=8$ ，求 $\mathit{BF}$ 的长．