上面两点下面一个三角形_一个调和线束的证明

网友“Ifwjo”在2020年7月19号在一个QQ群里发了如下问题.

问题：给定

及其外心

,垂心

, Prasolov点

（

）,

为

垂心,

为

垂心.证明:

本文就这个问题展开讨论,并给出其证明.（顺便给出2020.08.02《我们爱几何》问题的命题思路）

1.Prasolov点及其等角共轭点

Prasolov点时常作为

的等角共轭点出现,所以本文中我们也采用这个定义.

定义1.1：

与其垂三角形的垂三角形的透视中心为

,其等角共轭点为

顺便为了接下来叙述方便,我们再定义出Euler线与外接圆的两个交点.

定义1.2：设外心为

,垂心为

.Euler线

与外接圆两交点中距垂心较近的为

, 另一个为

定义1.3：对Euler线上的点

,记

本文中将用到

的如下两个性质.

定理1.1：

存在且在Euler线上.

证明参见位似专题小剧场——例 5.1(v) 的解答 .为证明第二个定理,先叙述一个引理.

引理1.1：给定

,任取

,设

为垂三角形,

,作

交

于点

,则有

引理1.1的证明：考虑

的极圆反演,这将

和

互变,

和

互变,于是

与

互变,因此

共圆.故

, 于是

和

是

的等角线,于是结论成立.

定理1.2：

定理1.2的证明：设垂三角形为

.则

, 由

即得结论成立.

2.主要引理以及问题的转化

引理2.1：对于任意双曲线

,设其上的两无穷远点为

,则对其上保证

不动的射影变换

,设定方向的直线

交

于两点

方向也固定.

引理2.1的证明：任取

,则

,这推出

,又

,故

回忆等轴双曲线的充要条件,我们有如下定理.

定理2.1：给定等轴双曲线

上三点

,则过

做

的垂线与

的第二交点是

的垂心.

证明不再赘述.这二者结合可以得到如下引理.

引理2.2：考虑

的Euler线上的保

和

不变的射影变换

,设对Euler线上一点

, 它和

的等角共轭点分别为

和

.设

的垂心为

,则

不依赖于

的选取.

引理2.2的证明：注意到

为Jerabek双曲线上的保其上无穷远点不变的射影变换,于是由引理2.1和定理2.1,由于

方向固定知

方向亦固定,故

方向固定,

为

上的定点.

我们下面就可以处理原问题中的

了.先给出我们需要的射影变换.

定义2.1：定义Euler线上的射影变换

如下:

满足

容易验证

（

为外心）.由定理1.2 知

.如果设出

关于

的对称点

, 则还有

注意到

的垂心就是

,所以原问题通过引理2.2和等角共轭点的一个熟知结论(

的垂足三角形与原三角形的两正交中心分别是

和它的等角共轭点)可以转化为如下问题.

问题2.1：证明

的垂足三角形与

的反Ceva三角形位似.

下一节我们给出其证明.

3.问题2.1的证明

回忆对于任意一点

和其反Ceva三角形

,有

.于是要证明问题2.1,只需证明如下定理.

定理3.1：设

在

上的投影分别为

,则

平分

定理3.1的证明：设

关于

的对称点为

,则四边形

是平行四边形,

平分

.设

与

的第二交点为

.则

,同理可得

,故

, 又

,故由相似对应知

平分

,这就完成了证明.

注3.1：这个定理也可以利用一点的Ceva三角形的中点三角形与原三角形的透视中心为其等截共轭点的补点这个事实来证明.

注3.2：利用引理2.2的简单变体也可以直接证明由我命制的《我们爱几何》公众号在2020.08.02推送的问题：“

中，外心为

，内心为

，

是

关于

的对称点，

为

关于

的反演点，

为

的等角共轭点，做

垂心

，过

做

平行线交

于另一点

，过

做

平行线交

于另一点

.证明：

.”具体细节留给读者.