切线的性质;全等三角形的判定;等腰三角形的判定;勾股定理.
(1)由于AB是直径,那么∠ACB=90°,而∠ABC=30°,易求∠BAC=60°,结合OA=OC,易证△AOC是正三角形,于是∠OCD=60°,结合CD是切线,易求∠DCE=30°,在Rt△AEF中,易求∠E=30°,于是∠DCE=∠E,可证△CDE实等腰三角形;
(2)在Rt△ABC中,由于∠A=60°,AB=4,易求AC=AO=2,利用勾股定理可求BC=2
,CE=AE-AC=2
,那么BC=CE,而∠OBC=∠OCB=∠DCE=∠DEC=30°,从而可证△OBC≌△DCE.
本题考查了切线的性质、等边三角形的判定和性质、等腰三角形的判定、勾股定理、全等三角形的判定和性质.解题的关键是证明△AOC是正三角形.
证明题.