lisp直线连接圆象限电_直线EF的根轴刻画

我们在做几何题时，往往会遇到以下构型：

，

的平分线分别交对边于

，连接

。

关于直线

，我们有一个较好的刻画，即如下定理1：

定理1：

的平分线分别交对边于

，连接

；设顶点

所对的旁心分别为

，则直线

为

和

的根轴。

证明是容易的：注意到

共圆，故

，故

在根轴上，同理

在根轴上，结论成立。

而关于

和

，我们有以下熟知的结论：

定理2：设

中

所对的旁心为

，则

和

的外位似中心为

，位似比为

。

证明：注意到

构成垂心组，故

，这意味着

和

互为反演像，从而它们位似；其次

注意到

和

是等圆，而

是

的九点圆，故结论成立。

下面，我们一起来看一道漂亮且有难度的题目，2016USAMOP3。

例(2016USAMOP3，Evan Chen&Telv Cohl供题)

的外心为

,内心为

，边

所对的旁心分别为

，

在

上的射影为

，

的平分线交

于

，类似定义

，

交于

。证明：

.

本题的一大难点即为对直线

的刻画。有了之前的铺垫，我们作出

及其圆心

，知

，于是我们只需证明

共线。由定理2我们立得

共线，于是我们只需证明

共线。

欲证

共线，只需证明

三线共点(这样可以直接消掉

点)。

接下来用角元

定理是比较自然的思路(正弦比是比较好算的)。具体计算过程如下：

在此顺便贴出T神的做法：

T神的证明和我的不同之处在于她通过考察

的

线来证明了

共线，(PS:这也 导出了

是

中点，这由位似关系亦可得到)，然后把重心放在了

共线上(这是我没想到的，因为我的第一反应是消去看似不好刻画的圆心，但却忽略了

是旁切圆圆心(同样是圆心)，这表明

之间可能由相似性产生某种联系)。接着通过联系

间的相似性，考虑构造位似，最后得到这个漂亮的证明。T神的证明可以说是利用点的定义的相似性证明问题的典范。

PS：我的证明中

共线不知有没有纯几何证法，若有大神有想法，请私信我，谢谢!