Tiling a triangle into a prime number of congruent triangles

技術要約：三角形を素数個の合同な三角形にタイル分割する問題

問題提起
本論文は、三角形 $T$ が $N$ 個の合同な三角形 $R$ に分割可能であるような整数 $N$ の特性を記述する問題を扱う。特に、$N$ が素数となり得る条件について調査する。本研究は、非正方形のタイル分割に関するエルデシュ問題633（および $N$ に対してタイル分割が存在しない条件に関するエルデシュ問題634）に関する先行研究に基づいている。中心となる問いは、「既知の例外を除いて、三角形を $N > 3$ 個の素数個の合同な三角形でタイル分割することは可能か？」という点である。

手法
著者は、タイルの形状の分類と、角度および辺の可換性に基づいたケース分けによる分析を採用している。その手法は以下の通りである。

1. ケースの分類： 三角形 $T$ を、正三角形、二等辺三角形、または不等辺三角形であるか、また、その角が可換（$\pi$ の有理倍）であるか、あるいは非可換であるかに基づいて分類する。
2. 先行研究の活用： 著者は、三角形 $T$ が正三角形、二等辺三角形、または可換な角を持つ場合に、それらを排除するための確立された定理（Laczkovich、Beesonらによる著作から引用）を利用する。これらの先行研究は、そのような三角形の場合、$N$ は素数ではないか、あるいは $N=2, 3$ といった特定の小さな値に限定されることを概ね確立している。
3. 非可換な角への焦点： 本論文の核心は、最も困難なケースである「$T$ が非可換な角を持ち、かつ正三角形や二等辺三角形ではなく、角度 $(\alpha, \beta, \gamma)$ を持つタイル $R$ によってタイル分割されている」場合に対処することである。
   • 定理2によれば、$R$ が非可換な角を持ち、かつ $T$ と相似でない場合、$R$ は可換な辺を持つ必要がある。これにより、$R$ の辺を整数 $(a, b, c)$ として扱うことが可能になる。
   • 分析は、「グループ2」のタイル分割に焦点を当てる。これは $3\alpha + 3\beta = \pi$（すなわち $\gamma = 2\pi/3$ を意味する）という条件によって定義される。グループ1（$3\alpha + 2\beta = \pi$）のタイル分割は既に解決されている。
4. 代数的数論： グループ2における4つの可能な $T$ の形状に対して、著者はタイルの辺の長さと $N$ の関係式を明示的に導出する。
   • 正弦定理と面積の方程式を用いて、$T$ の辺の長さをタイルの辺の線形結合として表現する。
   • $T$ の辺と原始的な整数組との間の比例係数 $\lambda$ が整数であることを証明する（補題14）。
   • $T$ の面積を $N$ 倍のタイルの面積と等置することで、$N$ を $\lambda$ とタイルの辺の長さを用いて因数分解する。

主要な貢献と結果
本論文は、三角形 $T$ が（$T$ と相似ではない）$N$ 個の合同な三角形 $R$ によってタイル分割されており、$N > 3$ であるならば、$N$ は素数ではあり得ないことを証明する。

非可換なグループ2における $T$ の4つの形状に対する具体的な結果は以下の通りである：

• ケース1： $T$ が角度 $(\alpha, 2\alpha, 3\beta)$ を持つ場合。タイル数は $N = 3\lambda^2(a + 2b)(a + b)$ である。$a, b, \lambda$ は正の整数であるため、$N$ は合成数である。
• ケース2： $T$ が角度 $(\alpha, 2\beta, 2\alpha + \beta)$ を持つ場合。タイル数は $N = \lambda^2(2a + b)(a + b)$ であり、これは合成数である。
• ケース3： $T$ が角度 $(\alpha, \alpha + \beta, \alpha + 2\beta)$ を持つ場合。タイル数は $N = \lambda^2(a + b)/b$ である。著者は $a+b$ が合成数であることを証明し（補題15）、$N$ が素数ではないことを保証している。
• ケース4： $T$ が角度 $(2\alpha, 2\beta, \alpha + \beta)$ を持つ場合。タイル数は $N = \lambda^2(a + 2b)(2a + b)$ であり、これは合成数である。

意義と主定理
本論文は、以下の定理22によって締めくくられる：三角形 $T$ が、$T$ と相似ではないタイルによって $N$ 個にタイル分割されているとする。$N > 3$ であるとき、$N$ は素数ではない。

レプティリング（タイルが $T$ と相似であるタイル分割）に関する先行研究および既知の例外（二等辺三角形 $N=2$、正三角形 $N=3$、および特定の直角三角形）と組み合わせることで、本論文は素数 $N$ によるタイル分割の完全な特性を系23として提供する：

• ある素数 $N$ に対して、何らかの三角形の $N$ 個タイル分割が存在するのは、以下の通りである場合のみである：
  • $N = 2$ （高さを分線とした任意の二等辺三角形）
  • $N = 3$ （30-60-90三角形）
  • $N \equiv 1 \pmod 4$ （脚の比が $M/K$ であり、$N = M^2 + K^2$ となる直角三角形）

結論として、三角形を $N$ 個の合同な三角形にタイル分割することができない素数 $N$ の集合は、正確に「3より大きい $4k+3$ 型の素数」である。

謙虚さと範囲
本論文は、「ブルドーザー・スタイル」の議論には有限のケースチェックが含まれることを認めている。また、ここでの数論的扱いは、非正方形のタイル分割を扱い、楕円方程式を必要とした関連するエルデシュ問題633よりも単純であることを指摘している。なぜなら、ここでの主な困難は、先行文献ですでに解決されている二等辺三角形の扱いにあるからである。また、本論文は、補題14および補題16の発見がAIアシスタント（Claude Fable）によるものであることを明記しており、幾何学的な証明内における特定の数論的ステップの検証において、計算ツールの役割を強調している。