证明:∵(已知),
∴( ).
又∵(已知),
∴ ▲ (等角的补角相等),
∴( ),
∴( );
如图,已知:AB是⊙O的直径,点C在⊙O上,CD是⊙O的切线,AD⊥CD于点D.E是AB延长线上一点,CE交⊙O于点F,连结OC,AC.
①求∠OCE的度数.
②若⊙O的半径为2 ,求线段EF的长.