Some Geometric Properties of the Yff Points of a Triangle

技術要約：三角形のYff点に関する幾何学的性質のいくつか

問題提起
1963年にピーター・イフ（Peter Yff）によって導入された三角形のYff点（$Y_1$および$Y_2$）は、特定の線分が三次方程式 $x^3 = (a-x)(b-x)(c-x)$ の実数根 $u$ に等しくなるように構成されたチェビアン（中線や角の二等分線などの割線）の共線性によって定義される。その定義にもかかわらず、文献にはイフによる当初の知見を超えた事実はほとんど存在しない。イフの知見は、それらが等積共役であること、およびそれらを結ぶ直線が内心（$X_1$）と外心（$X_3$）を結ぶ直線に垂直であることを確立した。本論文は、特定の形状や構成を持つ三角形におけるYff点に関する既知の幾何学的性質の欠如に対処するものである。

方法論
著者らは、「コンピュータによって発見される数学」というアプローチを採用し、ソフトウェア Mathematica を用いて幾何学的な予想を生成し、検証している。プロセスは2つの異なるフェーズで構成される：

1. 数値的探索： 著者らはランダムな数値的三角形および特定のクラスの三角形（例：直角三角形、七角形三角形、等差数列三角形）を生成する。そして、Yff点と既知の様々な三角形の中心（$n, m \in [1, 30]$ に対する $X_n$）との間の幾何学的な一致（平行、共線性、垂直、等角）を数値的にチェックする。
2. 記号的検証： 数値的な性質が特定された後（10桁の精度で検証後）、著者らは厳密な記号計算へと移行する。著者らは重心座標、直線交差のためのベクトル外積、および消去理論（具体的にはグレブナー基底と Eliminate 関数）を利用して、結果を形式的に証明する。これには、$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$ を辺 $BC$に関する$Y_1$の鏡像とすると、$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$ の二等辺三角形であることと同値である。
• チェビアン三角形の面積： 著者らは、$Y_1$（および $Y_2$）のチェビアン三角形の面積に関するイフの公式について、純粋に幾何学的な証明を提供しており、それが $u^3 / (2R)$（$R$ は外接円の半径）に等しいことを示している。
• 特殊な点： 本論文は、$Y_1Y_2$ の中点、および $A, B, C, Y_1, Y_2$ を通る円錐曲線（conic）の中心を、現在の三角形中心の百科事典（ETC）にはカタログされていない新しい三角形の中心として特定している。

意義と主張
著者らは、本論文の貢献を、以前は知られていなかった「いくつかの幾何学的性質」の発見として控えめに位置づけている。その意義は、1963年以来、ほとんど変化のなかったYff点に関する限られた知識体系を拡張することにある。本論文は、初期の知見が数値的なものであり、形式的な証明がコンピュータ・代数システムに大きく依存しており、結果として「膨大な」計算を伴い、直感的な合成幾何学的な優雅さに欠けることを明示的に認めている。したがって、本論文は、提示された定理（特に直角三角形および七角形三角形の結果）に対する「純粋な合成幾何学的証明」の存在に関する未解決の問いを投げかけることで締めくくられている。本研究は、特定の三角形クラスに対して検証された性質のカタログとして機能し、さらなる理論的調査を促すものである。