Some Geometric Properties of the Yff Points of a Triangle

技术摘要：三角形 Yff 点的一些几何性质

问题陈述
Yff 点（$Y_1$ 和 $Y_2$）是由彼得·伊夫（Peter Yff）于 1963 年引入的，其定义为由构造自三角形各边的切线（cevians）所交于一点，其中特定线段等于三次方程 $x^3 = (a-x)(b-x)(c-x)$ 的一个实根 $u$。尽管已有定义，但文献中除了 Yff 最初的发现外，关于这些点的记载极少。Yff 的研究确立了这些点的存在性、它们是等积共轭点（isotomic conjugates）的地位，以及连接它们的直线与连接内心（$X_1$）与外心（$X_3$）的直线相互垂直。本文旨在解决针对特定形状和配置的三角形中 Yff 点已知几何性质匮乏的问题。

方法论
作者采用了一种“计算机发现数学”的方法，利用 Mathematica 软件生成并验证几何猜想。该过程包含两个截然不同的阶段：

1. 数值探索： 作者生成随机数值三角形和特定类别的三角形（例如：直角三角形、七边形三角形、等差数列三角形）。他们通过数值方式检查涉及 Yff 点与各种已知三角形中心（$X_n$，其中 $n, m \in [1, 30]$）的几何巧合（平行、共点、垂直、等角）。
2. 符号验证： 一旦在数值上识别出一个性质（精确至 10 位小数），作者便转向精确的符号计算。他们利用重心坐标、向量叉积进行直线交点计算，以及消除理论（特别是 Gröbner 基和 Eliminate 函数）来进行形式化证明。这包括代入 $u$ 的代数定义（或通过定义 $u$ 的三次方程消除 $u$），以验证几何条件在特定三角形类别下是否恒成立。

主要贡献与结果
论文呈现了一系列建立在不同三角形分类下的 Yff 点新几何性质的定理：

• 一般性质： 论文重新确认了 $Y_1$ 和 $Y_2$ 是等积共轭点，且 $Y_1Y_2 \perp X_1X_3$。论文提出了关于后者是否存在纯几何证明的开放性问题。
• 直角三角形：
  • 在 $\angle B = 90^\circ$ 的直角三角形中，直线 $AY_2$、$CY_1$ 与 $X_8X_{20}$ 三线共点。
  • 在 $\angle B = 90^\circ$ 且 $\angle C = 30^\circ$ 的直角三角形中，直线 $AY_1$、$BY_2$ 与 $X_8X_{21}$ 三线共点。
  • 在 $\angle B = 90^\circ$ 的直角三角形中，直线 $BX_8$ 垂直于 $Y_1Y_2$。
• 60° 三角形： 在 $\angle C = 60^\circ$ 的三角形中，直线 $AY_1$、$BY_2$ 与 $X_3X_8$ 三线共点。
• 七边形三角形：（角为 $\pi/7, 2\pi/7, 4\pi/7$ 的三角形）
  • 若 $Y'_1$ 是 $Y_1$ 关于边 $BC$的对称点，则$X_1Y_2 \parallel Y'_1C$。
  • 建立了特定的角度关系，例如 $\angle CX_1Y_2 + \angle X_1CY_1 = \pi/7$ 以及 $\angle CX_1Y_2 = \angle Y_1CX_3$。
  • 文中还指出了一些涉及中心 $X_5, X_{21}, X_{28}$ 的其他角度相等关系，但由于计算复杂度较高，未提供证明。
• 调和三角形： 当且仅当直线 $Y_1Y_2$ 通过一个顶点、内心（$X_2$）或平分一条边时，该三角形为“调和三角形”（即一侧是另外两侧的调和平均值）。在这种情况下，$Y_1Y_2$ 与中线重合。
• 等差数列（AP）三角形： 在边长成等差数列（$2a = b+c$）的三角形中，直线 $AX_1$ 平行于 $Y_1Y_2$。
• 倍角三角形： 在 $\angle A = 2\angle B$ 的三角形中，直线 $BY_2$、$CX_2$ 与 $AY_2$ 关于 $BC$ 的对称线三线共点。
• 等腰三角形： 由 $Y$ 与各边形成的三角形面积乘积 $K_b K_c$ 等于第三个面积的平方 $K_a^2$，当且仅当三角形是 $AB=AC$ 的等腰三角形。
• 切线三角形面积： 作者为 Yff 关于 $Y_1$（及 $Y_2$）的切线三角形面积公式提供了纯几何证明，表明其面积等于 $u^3 / (2R)$，其中 $R$ 为外接圆半径。
• 特殊点： 论文识别了 $Y_1Y_2$ 的中点以及经过 $A, B, C, Y_1, Y_2$ 的圆锥曲线的中心，这些都是目前尚未被收录进《三角形中心百科全书》（ETC）的新型三角形中心。

意义与主张
作者谦逊地将论文的贡献界定为发现了“一些此前未知的几何性质”。其意义在于扩展了自 1963 年以来基本处于停滞状态的 Yff 点的有限知识体系。论文明确承认，最初的发现是基于数值的，而形式化证明高度依赖于计算机代数系统，导致了“巨大”的计算量，且缺乏直观的几何优美感。因此，论文最后提出了关于所呈现定理（特别是直角三角形和七边形三角形结果）是否存在“纯几何证明”的开放性问题。这项工作作为已验证的特定三角形类别性质的目录，旨在邀请进一步的理论研究。