Lattice triangles whose centers are lattice points

クリスティアン・エビとグラント・ケインズの論文「格子点を中心とする格子三角形」の詳細な技術的要旨を以下に示す。

1. 問題の提示

本論文は、格子幾何学（整数幾何学）とユークリッド幾何学の交点を調査する。具体的には、以下の問いに答えるものである：
頂点が整数格子 $\mathbb{Z}^2$ 上にある特定の種類の三角形（鋭角、鈍角、または直角）が与えられたとき、その古典的な中心（外心 $F$、重心 $G$、または垂心 $H$）のいずれかが格子点である場合、その*格子周長 $\ell$ として取りうる値は何か？*

定義：

• 格子点： $\mathbb{Z}^2$ の要素。
• 格子長さ： 2 つの格子点を結ぶ線分の場合、格子長さはその線分上の格子点の数から 1 を引いたものである。
• 格子周長（$\ell$）： 多角形の辺の格子長さの和。これは多角形の境界上の格子点の総数と等価である。
• 中心：
  • $F$：外心（垂直二等分線の交点）。
  • $G$：重心（中線の交点）。
  • $H$：垂心（高さの交点）。

著者らは主に鋭角三角形に焦点を当てており、鈍角および直角三角形の条件はより制限が緩いことが示されている。

2. 手法

著者らは、数論的議論、幾何学的構成、および格子不変量の代数的解析の組み合わせを用いている。

• 代数的公式： 頂点座標を用いた $F$、$G$、$H$ の明示的な座標公式を利用する。使用される重要な恒等式は、オイラー線の関係式：$2F + H = 3G$ である。
• 格子不変量：
  • 補題 1： 任意の格子三角形について、任意の 2 つの辺の長さの最大公約数（GCD）は、3 つの辺の長さ全体の GCD に等しいことを確立する。
  • 補題 2 と 3： 三角形の角度を、頂点から垂心への線分の格子長さに関連付ける。具体的には、$H$ が格子点である場合、$\tan(\theta) = \ell_{\theta}/m$ となり、ここで $\ell_{\theta}$ は対辺の長さ、$m$ は頂点から $H$ への線分の格子長さである。
  • 偶奇の議論（補題 4 と系 1）： 外心への制約を決定するために座標の偶奇（偶数/奇数）を分析する。$F$ が格子点である場合、頂点は特定の偶奇の性質を共有しなければならず、これにより格子周長は偶数でなければならない。
  • 合同算術（補題 7）： 重心 $G$ が格子点であり、かつ 1 つの辺の長さが 3 の倍数である場合、すべての辺の長さは 3 の倍数でなければならない。
• 構成証明： 有効な $\ell$ に対する存在を証明するために、著者らは必要な条件を満たす頂点 $O(0,0)$、$A(z,0)$、$B(x,y)$ を持つ三角形を明示的に構成する。
• 除外証明： 無効な $\ell$ に対する非存在を証明するために、$\ell$ を 3 つの辺の長さに分割するすべての可能な整数分割を列挙し、上記の補題を用いて矛盾を示す（例えば、三角形が鋭角になり得ないこと、または GCD の条件が満たされないことを示す）。
• 数値的検証： 定理 2 の証明において、特定の角度の組み合わせが $\pi$（180 度）に合計できないことを示すために、逆正接の和の数値計算を用いることで、特定の格子周長を排除する。

3. 主要な貢献と結果

本論文は、3 つの古典的中心のそれぞれについて、格子中心を持つ鋭角格子三角形の存在に対する必要十分条件を確立する。

A. 垂心（$H$）

• 定理 1： 格子周長 $\ell$ を持ち、格子垂心を持つ鋭角格子三角形が存在するのは、$\ell = 6$ または $\ell \geq 8$ である場合に限る。
• 除外される値： $\ell \in \{3, 4, 5, 7\}$。
• 洞察： 7 のような小さな整数の除外は、3 つの互いに素な整数の和に関する数論的な興味深い事柄と関連している。

B. 外心（$F$）

• 定理 2： 格子周長 $\ell$ を持ち、格子外心を持つ鋭角格子三角形が存在するのは、$\ell$ が偶数であり、かつ（$\ell = 8$ または $\ell \geq 12$）である場合に限る。
• 除外される値： 偶数 $\ell \in \{2, 4, 6, 10\}$。
• 制約： 格子周長は偶数でなければならない（系 1 の帰結）。$\ell \neq 10$ という条件は、逆正接を含む複雑な角度分析から導き出される。

C. 重心（$G$）

• 定理 3： 格子周長 $\ell$ を持ち、格子重心を持つ鋭角格子三角形が存在するのは、$\ell \geq 3$ かつ $\ell \notin \{5, 11\}$ である場合に限る。
• 除外される値： $\ell \in \{1, 2, 5, 11\}$。
• 洞察： 5 と 11 の除外は、3 と互いに素な整数の和に関する数論的命題に関連している。

D. 組み合わせ中心

本論文は、複数の中心が格子点である場合も分析する：

• $G$ と $H$ が格子点である場合： $\ell$ は 3 の倍数で $\ell \geq 9$ でなければならない（3 と 6 を除く）。
• $F, G, H$ がすべて格子点である場合： $\ell$ は 6 の倍数で $\ell \geq 12$ でなければならない（6 を除く）。
• 注記： $F$ が格子点である場合、オイラー線を通じて $H$ も自動的に格子点となる。

E. 鈍角および直角三角形

著者らは、これらの結果を非鋭角三角形と比較する：

• 垂心： 鈍角/直角三角形の場合、任意の $\ell \geq 3$ が可能である。
• 外心： 鈍角/直角三角形の場合、任意の 偶数 $\ell \geq 4$ が可能である。
• 重心： 鈍角三角形については $\ell \notin \{5, 11\}$ という制限が成り立つが、直角三角形については $\ell$ は 3 の倍数（かつ $\geq 9$）でなければならない。

4. 意義

• 分野の架け橋： 本論文は、格子幾何学の変換群（$GL(2, \mathbb{Z})$）とユークリッド幾何学（$O(2, \mathbb{R})$）の間の緊張関係を浮き彫りにする。初等的な幾何学的制約が、非自明な数論的制限へと至りうることを示している。
• 興味深い除外： 結果は、可能な格子周長の集合における「隙間」を明らかにする（例えば、なぜ垂心に対して 7 が不可能なのか、あるいはなぜ重心に対して 5 と 11 が不可能なのか）。これらの隙間は恣意的なものではなく、整数分割と互いに素性の深い性質に由来する。
• 未解決問題： 論文は、内心に関する未解決問題を提起して終わる。著者らは同様の結果が存在すると疑っているが、分母に辺の長さを含む内心の公式の複雑さから、この問題は著しく困難である可能性が示唆される。彼らは、内心が格子点であるが内接円半径が無理数である例を提供し、この場合の固有の課題を例示している。

5. 結論

エビとケインズは、格子中心を持つ鋭角格子三角形の格子周長に関する完全な分類を提供する。彼らの研究は、幾何学的な問いを解ける数論的問題へと変換し、周長に対する正確な「禁止」値を特定し、すべての有効なケースに対して構成証明を提供する。結果は論文の表 3に要約されており、これは様々な中心制約の下で達成可能な格子周長に関する包括的な参照資料として機能する。