问题补充：
如图，在Rt△ABC中，∠C=90°，AC=12，BC=16．∠BAC的平分线AD交BC于D，经过A、D两点的⊙O交AB于E，且点O在AB上．
（1）求证：BC是⊙O的切线；
（2）求AF的长．
答案：
（1）证明：连接OD，
∵OA=OD，
∴∠OAD=∠ODA．
∵AD平分∠BAC，
∴∠OAD=∠CAD．
∴OD∥AC．
∵∠C=90°，
∴OD⊥BC于D．
∴BC是⊙O的切线．
（2）解：过D作DG⊥AB于G，
∴DG=DC，AG=AC．
设DC=x，则BD=16-x，BG=8，
∴82+x2=（16-x）2
∴x=6．
设半径为r，则（12-r）2+62=r2
∴r=7.5．
∴EG=3．
连接DE，DF，易证△DGE≌△DCF，
∴CF=3，
∴AF=9．
（2）证法2：（如图）连OD，OF，作OM⊥AF于M；
设DC=x，（x的求法同于前面）
∴x=6；
∵OM⊥AF，OD⊥BC，则MC=OD=R，OM=DC=6，AM=12-R，
∴R2=（12-R）2+62，
∴R=7.5，
∴AM=12-7.5=4.5，
∴AF=2AM=9．
证法3：（如图）连EF，与OD交于H点，设DC=x
∴x=6，（求法同前）；
在Rt△BOD中，BO=20-R，OD=R，BD=10；
∴（20-R）2=R2+102，
∴R=7.5，
∴AE=15；
∵EF=2FH=2CD=12，
在Rt△EAF中，AF2=AE2-EF2=152-122=81，
∴AF=9．
证法4，（如图）连EF；设DC=x，
∴x=6，（求法同前）
∴EF=2FH=2CD=12；
∵S△BEF+S梯形EFCB=S△ABC，
，
∴AF=9．
解析分析：（1）连OD，先证明OD∥AC，再证明OD⊥DC．
（2）过D点作DG⊥AB于G点．在直角三角形BDG中利用勾股定理求出CD．作OM⊥AF于M，在直角三角形OAM中利用勾股定理求出OA，则可求出AM，而AF=2AM．
点评：熟练掌握切线的判定定理，特别是要把证明切线问题转化成垂直问题；在几何计算中，学会设未知数，充分利用勾股定理建立等量关系，解方程．这就是方程的思想在几何中的运用．
如图 在Rt△ABC中 ∠C=90° AC=12 BC=16．∠BAC的平分线AD交BC于D 经过A D两点的⊙O交AB于E 且点O在AB上．（1）求证：BC是⊙O的
