直线和圆交点 halcon_三个有关Ceva圆和九点圆交点的问题

最近做了几个Ceva圆和九点圆相关的题目，在这里整理一下发出来。要处理Ceva圆和九点圆的交点，一套重要的工具就是Poncelet点和Fontene定理。先不加证明地给出一些定义和定理。

定义1：对任何一个四点形,任一点到其余三点组成三角形的垂足圆、任意三点组成三角形的九点圆、三组对边交点组成三角形的外接圆九圆共点，这点称为这个四点形的Poncelet点.

在本文中，我们一般固定其中三点为原三角形的三个顶点，这就定义了平面上的一个变换，我们记给定

后，

为

的Poncelet点，此时三组对边交点组成三角形的外接圆就是

的Ceva圆.

下面我们记

的等角共轭为

，等截共轭为

，反补点为

(补点当然是

).

定理1（Fontene）：给定

，设其外心为

，

是一对等角共轭点，则

为

的垂极点（也是关于中点三角形的逆Steiner点）.

由此得到的一个推论是：

推论1：给定

和任意两点

,

等价于

共外接等轴双曲线.

---

下面引入另一个重要概念，也即Cyclocevian conjugate，这里译作圆Ceva共轭.

定义2：给定

和任意两点

，若它们有公共的Ceva圆，则称

和

是圆Ceva共轭的，记作

.

通过简单的圆幂即得对任意点

，

总是存在的.

一个奇妙的事情是

是可以直接通过

复合得到的.

定理2：

.

这个定理直接依赖于 等角共轭点的一个优美性质 中的结果（不过当时我证繁了，事实上用里面的引理一就够了）.证明留给读者补全.

---

下面第一个问题就可以直接秒掉了.

问题1：给定

，证明

的Ceva圆和九点圆相切等价于

在陪位重心

的主等角共轭三次曲线上.

问题1的证明：

的Ceva圆和九点圆相切等价于

，也就等价于

和

共外接等轴双曲线，也就等价于

过

，这等价于

和

连线过

，也即

在

的主等角共轭三次曲线上.

这大概可以看出满足这个条件的

的轨迹是个六次曲线.

---

下面的问题是这个相切的另一个充要条件.下面为叙述方便，记

的Ceva三角形的垂心是

，重心为

.

问题2：给定

，证明

的Ceva圆和九点圆相切等价于

过

的外心

.

这个问题好像是“MEtHod

”在某个论文上找到的，原本是用的直接坐标剥蒜的方法，不过后来他给出了一个几何方法.这里只是把怹的证明整理一下(并修改一些Typo)，但其中推出的一个结论将是我解决问题3的关键之一.

引理1：给定

和中点三角形

，则对任意一点

，和其Ceva三角形

，

和

中任意四条边组成的完全四边形有公共的Miquel点，且其恰为

关于

的逆Steiner点.

引理1的证明：设

，

，

，

.则

这说明

，

，

共轴.故由轮换对称性得公共的Miquel点就是

的三线性极线

与

围成完全四边形的Miquel点.下面由Steiner定理知Miquel点关于四边的对称点所共直线恰为垂心线，也即

.

注意到所共点显然不可能是

(可以取

为内心看出

不共线)，所以有如下推论.

推论2：

共线，也即

的垂极点为

.

下面问题2就是显然的了.

问题2的证明:

的Ceva圆与九点圆相切等价于

，等价于

共线.

---

下面这个问题来自于 2614 ，在贴吧里一直没有解答，今天正好碰了上面两个题，就也试着做了一下，没想到还真做出来了...

问题3：给定

和一点

,证明

的垂足圆、

的Ceva圆和九点圆共轴等价于

在其Ceva三角形

的Kiepert双曲线上.

我们需要几个引理.

引理2：设

关于

中点对称，则

和

有公共的重心.

这个引理是平凡的，但其可以直接推出一个不平凡的推论：

推论3：给定

和其截线

，则

中点共线，且所共线平行于

的等截共轭线（也是三线性极点的等截共轭像的三线性极线）.

引理3：给定

，

和

的反Ceva三角形的外心连线垂直于

的三线性极线.

引理3的证明：由引理2，设

的三线性极线为

，反Ceva三角形为

，其外心为

.则显然

到

的圆幂相等，又由

关于

共轭，故

到上述三圆的圆幂均为

半径的平方，故

垂直于这三圆圆心连线，由推论3即得结论成立.

下面这个定理来自于T神在新星网上写的文章.（进行了射影推广，这里不再叙述证明）

定理3(TelvCohl)：给定

和一定点

.设

为

的三线性极线，若

为给定的角度

，则

的轨迹为一条过

和重心

的圆锥曲线

.

验证顶点即可得：

引理4：

为Kiepert双曲线.

其和引理3结合得到：

推论4：给定

，则

经过

的反Ceva三角形的外心当且仅当

在Kiepert双曲线上.

（哭了，做完发现好像豪神已经在 4406 里发过这个证法了）

下面回到原问题.

问题3的证明：由推论4，

在

的Kiepert双曲线上等价于

共线，由推论2，等价于

共线，等价于

共外接等轴双曲线，等价于

.而问题中三圆显然也共点

，故三圆共轴等价于

在其Ceva三角形的Kiepert双曲线上.