如图，以等边三角形 $\mathit{ABC}$ 的 $\mathit{BC}$ 边为直径画圆，交 $\mathit{AC}$ 于点 $D$ ， $\mathit{DF}\perp \mathit{AB}$ 于点 $F$ ，连接 $\mathit{OF}$ ，且 $\mathit{AF}=1$ ．

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

（2）求线段 $\mathit{OF}$ 的长度．

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

知识点： 圆周角定理 切线的判定 勾股定理 三角形中位线定理