（1）证明：BE=ED

（2）若AD=3AC，求的值.

15、如图，正方形ABCD边长为2，以D为圆心，DA为半径的圆弧与以BC为直径的半圆O交于点F，连接CF并延长交AB于点E．

（1）求证：AE=EB；

（2）求的值．

16、选修4-1：几何证明选讲

如图，正方形边长为2，以为圆心、为半径的圆弧与以为直径的半圆交于点，连结并延长交于点．

（1）求证：；

（2）求的值．

17、如图，过圆O外一点M作圆的切线，切点为A，过A作AP⊥OM于P.

(1)求证：OM·OP＝OA2；

(2)N为线段AP上一点，直线NB垂直直线ON，且交圆O于B点．过B点的切线交直线ON于K.求证：∠OKM＝90°.

18、如图，过圆O外一点M作圆的切线，切点为A，过A作AP⊥OM于P．

（1）求证：OM·OP＝OA2；

（2）N为线段AP上一点，直线NB垂直直线ON，且交圆O于B点．过B点的切线交直线ON于K．求证：∠OKM＝90°．

19、如图，设、是圆的两条弦，直线是线段的垂直平分线．已