Question

如图，⊙O是△ABC的外接圆，AB为直径，∠BAC的平分线交⊙O与点D，过点D的切线分别交AB、AC的延长线与点E、F．
（1）求证：AF⊥EF．
（2）小强同学通过探究发现：AF+CF=AB，请你帮忙小强同学证明这一结论．

Answer 1

证明：（1）连接OD，
∵EF是⊙O的切线，
∴OD⊥EF，
∵AD平分∠BAC，
∴∠CAD=∠BAD，
∴

CD

=

BD

，
∴OD⊥BC，
∴BC∥EF，
∵AB为直径，
∴∠ACB=90°，
即AC⊥BC，
∴AF⊥EF；

（2）连接BD并延长，交AF的延长线于点H，连接CD，
∵AB是直径，
∴∠ADB=90°，
即AD⊥BH，
∴∠ADB=∠ADH=90°，
在△ABD和△ADH中，

∠HAD=∠BAD AD=AD ∠ADH=∠ADB

，
∴△ABD≌△AHD（ASA），
∴AH=AB，
∵EF是切线，
∴∠CDF=∠CAD，∠HDF=∠EDB=∠BAD，
∴∠CDF=∠HDF，
∵DF⊥AF，DF是公共边，
∴△CDF≌△HDF（ASA），
∴FH=CF，
∴AF+CF=AF+FH=AH=AB．
即AF+CF=AB，