(1)证明如下;(2)证明如下;(3).
【解析】
试题分析:(1)连接OC,根据OA=OC推出∠BAC=∠OCA=∠DAC,推出OC∥AD,得出OC⊥EF,根据切线的判定推出即可;
(2)证△ADC∽△ACB,得出比例式,即可推出答案;
(3)求出等边三角形OAC,求出AC、∠AOC,在Rt△ACD中,求出AD、CD,求出梯形OCDA和扇形OCA的面积,相减即可得出答案.
试题解析:(1)证明:连接OC,
∵OA=OC,
∴∠BAC=∠OCA,
∵∠DAC=∠BAC,
∴∠OCA=∠DAC,
∴OC∥AD,
∵AD⊥EF,
∴OC⊥EF,
∵OC为半径,
∴EF是⊙O的切线.
(2)证明:连接BC,
∵AB为⊙O直径,AD⊥EF,
∴∠BCA=∠ADC=90°,
∵∠DAC=∠BAC,
∴△ACB∽△ADC,
∴,
∴.
(3)【解析】
∵∠ACD=30°,∠OCD=90°,
∴∠OCA=60°,
∵OC=OA,
∴△OAC是等边三角形,
∴AC=OA=OC=2,∠AOC=60°,
∵在Rt△ACD中,,
由勾股定理得:,
∴阴影部分的面积是.
考点:(1)圆;(2)相似三角形.