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