Question

如图，过圆O外一点D作圆O的割线DBA，DE与圆O切于点E，交AO的延长线于F，AF交圆O于C，且AD⊥DE．
（1）求证：E为的中点；
（2）若CF=3，DE•EF=，求EF的长．

Answer

要证E为中点，可证∠EAD=∠OEA，利用辅助线OE可以证明，求EF的长需要借助相似，得出比例式，之间的关系可以求出．
（1）证明：连接OE
OA=OE=＞∠OAE=∠OEA
OE切圆O于E=＞OE⊥DE
AD⊥DE=＞∠EAD+∠AED=90°
=＞∠EAD=∠OEA
=＞E为的中点．

（2）【解析】
连CE，则∠AEC=90°，设圆O的半径为x
∠ACE=∠AED=＞Rt△ADE∽Rt△AEC=＞
DE切圆O于E=＞△FCE∽△FEA
∴，
∴
即DE•EF=AD•CF
DE•EF=，CF=3
∴AD=
OE∥AD=＞=＞=＞8x2+7x-15=0
∴x1=1，x2=-（舍去）
∴EF2=FC•FA=3x（3+2）=15
∴EF=