Question

已知：如图，四边形ABCD为正方形，以AB为直径的半圆O₁和以O₁C为直径的⊙O₂交于点F，连CF并延长交AD于点H，FE⊥AB于点E，BG⊥CH于点G．
（1）求证：CH是半圆O₁的切线；
（2）连接AF，求证：AF∥O₁C；
（3）当正方形ABCD的边长为5时，求四边形ABGF的面积．

Answer

（1）连AF，BF，O1F，根据圆周角定理的推论由CO1为半圆O2的直径得到∠O1FC=90°，再根据切线的判定定理即可得到结论；
（2）根据圆周角定理的推论得到∠AFB=90°，而FE⊥AB，则∠AFE=∠ABF，又∠ABF=∠O1CF，得到∠AFE=∠O1CF，从而得到结论；
（3）根据切线长定理得到CF=CB，HA=HF，设AH=x，则DH=5-x，CH=5+x，在Rt△CHD中利用勾股定理可计算出x=，则CH=，易证得Rt△CBG∽Rt△HDC，利用相似比可求出BG=4，则GC=3，GF=2；由EF∥AP∥BC，根据平行线分线段成比例定理得到AE：EB=PF：FC=：5=1：4，则AE=1，O1E=-1=，在Rt△O1EF中利用勾股定理求出EF=2，而四边形ABGF的面积=S△ABF+S△BGF，利用三角形面积公式计算即可．
（1）证明：如图，连AF，BF，O1F，
∵CO1为半圆O2的直径，
∴∠O1FC=90°，
∴CH是半圆O1的切线；

（2）证明：∵AB为半圆O1的直径，
∴∠AFB=90°，
而FE⊥AB，
∴∠AFE=∠ABF，
又∵∠ABF=∠O1CF，
∴∠AFE=∠O1CF，
∴AF∥O1C；

（3）【解析】
∵CH是半圆O1的切线，
∴CF=CB，HA=HF，
设AH=x，则DH=5-x，CH=5+x，
在Rt△CHD中，CD2+DH2=CH2，即52+（5-x）2=（5+x）2，
解得x=，
∴CH=，
易证得Rt△CBG∽Rt△HDC，
∴BG：CD=CB：CH，即BG：5=5：，
解得BG=4，
∴GC=3，
∴GF=2，
∵HA∥CB∥EF，
∴AE：EB=HF：FC=：5=1：4，
∴AE=1，
∴O1E=-1=，
在Rt△O1EF中，O1F=，
∴FE=2，
∴四边形ABGF的面积=S△ABF+S△BGF=EF•AB+BG•FG=×2×5+×2×4=9．