1. 题目
如图,在 △ABC 中,D 为边 BC 的中点,延长 AD 交于 △ABC 的外接圆于点 P,过 B、P 作一个圆与边 AC 相切于点 E,过点 C、P 作一个圆与边 AB 相切于点 F。证明:AD、BE、CF 三线共点。
![题目]()
2. 分析
首先,要证明结论可以使用梅涅劳斯定理,即证明
FBAF⋅DCBD⋅EACE=1
由 D 是 BC 中点可知上面的结论等价于 EF∥BC。
这个题的关键构造条件是过 B、P 作一个圆与边 AC 相切。
实际上,如果是考虑和直线 AC 相切,那么满足条件的圆有两个,对应的两个切点调和分割 AC,且 BP 与 AC 的交点是两个切点的中点。
上面引理的证明
如图,ABCD 四点共圆,过 C、D 作两个圆(假设存在)与直线 AB 相切于点 P、Q,设直线 AB 与 CD 交于点 M。
![引理]()
由
MP2=MC⋅MD=MQ2
可知 MP=MQ,即 M 是两个切点的中点。又由
MA⋅MB=MC⋅MD=MP2
可知 A、B 是关于以 PQ 为直径的圆的反演变换的对应点,因此 (A,B;P,Q)=−1。
这启发了我们去作 BP 与 AC 的交点(设为 J)、CP 和 AB 的交点(设为 K)。
利用这两个点以及圆幂定理可以得到 JE 和 KF 之间的比例关系。
另外,由 ABPC 共圆可知 △DJK 是自配极三角形,外心 O 是 △DJK 的垂心,可知 JK∥BC。结合前面的 JE 和 KF 的条件可证 EF∥JK∥BC。
3. 解答
设 J=AC∩BP,K=AB∩CP,O 是 △ABC 的外心。
注意到 JK 是 D 关于 ⊙O 的极线,因此 OD⊥JK。
又由 OD⊥BC 可知 JK∥BC。
另一种证明平行的方法
对点 P 应用塞瓦定理,可得
KBAK⋅DCBD⋅JACJ=1
因此
AJAK=CJBK=AJ−CJAK−BK=ACAB
于是有 BC∥JK。
![解答]()
由
JE2KF2=JB⋅JP=JA⋅JC=KC⋅JP=KA⋅KB
可知
KF2JE2=KA⋅KBJA⋅JC=KA2JA2
故
KFJE=KAJA=AFAE
可知 EF∥JK∥BC,因此
FBAF=ECAE
可知
FBAF⋅DCBD⋅EACE=1
因此 AD、BE、CF 三线共点,命题得证。