答案
解:(1)证明:过O作OG⊥AC于点G,可得∠AGO=90°,连接OD,

∵△ABC为等边三角形,且AO⊥BC,
∴AO为∠BAC的平分线,即∠DAO=∠CAO,
又AB为圆O的切线,∴OD为圆O的半径,∠ADO=∠AGO=90°,
在△ADO和△AGO中,
,
∴△AGO≌△ADO(AAS),
∴OD=OG,又OD为圆O的半径,
则AC为圆O的切线;
(2)∵OH⊥EF,
∴H为EF的中点,又EF=2,
∴EH=FH=1,又OH=
,
在Rt△OEH中,tan∠EOH=
=
,
∴∠EOH=60°,
由勾股定理得:OE=
=
,
∵OH⊥EF,H为EF的中点,
∴OE=OF,
∴∠EOF=2∠EOH=120°,
则S
阴影=S
扇形OEF-S
△EOF
=
-
×2×
=
-
.
解:(1)证明:过O作OG⊥AC于点G,可得∠AGO=90°,连接OD,

∵△ABC为等边三角形,且AO⊥BC,
∴AO为∠BAC的平分线,即∠DAO=∠CAO,
又AB为圆O的切线,∴OD为圆O的半径,∠ADO=∠AGO=90°,
在△ADO和△AGO中,
,
∴△AGO≌△ADO(AAS),
∴OD=OG,又OD为圆O的半径,
则AC为圆O的切线;
(2)∵OH⊥EF,
∴H为EF的中点,又EF=2,
∴EH=FH=1,又OH=
,
在Rt△OEH中,tan∠EOH=
=
,
∴∠EOH=60°,
由勾股定理得:OE=
=
,
∵OH⊥EF,H为EF的中点,
∴OE=OF,
∴∠EOF=2∠EOH=120°,
则S
阴影=S
扇形OEF-S
△EOF
=
-
×2×
=
-
.