已知：如图，以等边三角形ABC一边AB为直径的⊙O与边AC、BC分别交于点D、E，过点D作DF⊥BC，垂足为F.
（1）求证：DF为⊙O的切线；
（2）若等边三角形ABC的边长为4，求DF的长；
（3）求图中阴影部分的面积．

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

知识点： 圆幂定理