如图，在 $\text{Rt}\Delta \text{ABC}$ 中， $\angle C=90°$ ，点 $O$ 在 $\mathit{AC}$ 上，以 $\mathit{OA}$ 为半径的半圆 $O$ 交 $\mathit{AB}$ 于点 $D$ ，交 $\mathit{AC}$ 于点 $E$ ，过点 $D$ 作半圆 $O$ 的切线 $\mathit{DF}$ ，交 $\mathit{BC}$ 于点 $F$ ．

（1）求证： $\mathit{BF}=\mathit{DF}$ ；

（2）若 $\mathit{AC}=4$ ， $\mathit{BC}=3$ ， $\mathit{CF}=1$ ，求半圆 $O$ 的半径长．

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

知识点： 切线的性质 等腰三角形的判定与性质 勾股定理