1.
如图，
是
的外接圆，AB为直径，过点C作的切线CD交BA延长线于点D ， 点E为
上一点，且
．
(1)
求证：
；
(2)
若EF垂直平分OB ， 
， 求阴影部分的面积．
【考点】
等边三角形的判定与性质;
圆周角定理;
切线的性质;
扇形面积的计算;
解直角三角形—边角关系;
