切线的性质;圆周角定理;弧长的计算.
(1)连接OC,由EF为圆O的切线,根据切线性质得到OC与EF垂直,又AD与EF垂直,得到AD与OC平行,根据两直线平行得到内错角∠OCA=∠CAD,由OA=OC,根据“等边对等角”得到∠OCA=∠OAC,等量代换得证;
(2)由OA=OB,根据“等边对等角”得到∠B=∠OCB=30°,又∠AOC为△BOC的外角,根据三角形外角性质求出∠AOC的度数,即为弧AC所对的圆心角的度数,然后由直径AB的长,求出半径的长,利用弧长公式即可求出
的长.
综合题;压轴题.