Question

如图：Rt△ABC中，∠ACB=90°，过A、C两点的圆O分别交AB、BC于D、E两点，DO⊥AC于H，F为AB上一点，∠A=∠AFE，
（1）求证：EF为⊙O切线；
（2）若AB=，，求S_△BEF．

Answer

（1）连接AE，由∠ACB=90°，利用90°圆周角所对的弦为直径得到AE为直径，再由OA=OD，利用等边对等角得到一对角相等，再由已知角相等等量代换得到∠OAD与∠AFE互余，即∠AEF为直角，可得出EF为圆O的切线；
（2）由AC与BC的比值，设出AC与BC，再利用勾股定理列出方程，求出AC与BC的长，进而得到AH，DH的值，设圆半径为R，在直角三角形OCH中，根据勾股定理求出R的长，在直角三角形ADE中，由AE，AD的长求出DE的长，由三角形ADE与三角形DEF相似，由相似得比例，求出DF的长，确定出BF的长，由底BF的长，高为DE，利用三角形的面积公式即可求出三角形BEF的面积．
（1）证明：连接AE，
∵∠ACE=90°，
∴AE为直径，
∵OA=OD，
∴∠OAD=∠ODA，
又∵∠AFE=∠CAD，
∴∠OAD+∠AFE=∠ODA+∠CAD=90°，
∴∠AEF=90°，
即EF为⊙O切线；                 

（2）【解析】
连接ED、OC，
∵=，且AC2+BC2=（8）2，
∴AC=8，BC=16，
∴AH=4，DH=8，
设⊙O半径为R，在Rt△OCH中，
根据勾股定理得：CH2+OH2=OC2，即42+（8-R）2=R2，
∴R=5，
∴AE=2R=10，
在Rt△ADE中，AD=4，
根据勾股定理得：DE==2，
∵Rt△ADE∽Rt△EDF，
∴DE2=DA•DF，
∴DF=，BF=3，
则S△BEF=BF•ED=×3×2=15，即S△BEF=15．