如图， $\mathit{AB}$为半圆 $O$的直径， $\mathit{AC}$是 $\odot O$的一条弦， $D$为 $\stackrel{̂}{\mathit{BC}}$的中点，作 $\mathit{DE}\perp \mathit{AC}$，交 $\mathit{AB}$的延长线于点 $F$，连接 $\mathit{DA}$．

（1）求证： $\mathit{EF}$为半圆 $O$的切线；

（2）若 $\mathit{DA}=\mathit{DF}=6\sqrt{3}$，求阴影区域的面积．（结果保留根号和 $\pi )$