Tiling a triangle into a prime number of congruent triangles

Technische Zusammenfassung: Kachelung eines Dreiecks in eine Primzahl von kongruenten Dreiecken

Problemstellung
Diese Arbeit befasst sich mit der Charakterisierung der ganzen Zahlen $N$, für die ein Dreieck $T$ in $N$ kongruente Dreiecke $R$ zerlegt werden kann. Insbesondere wird untersucht, unter welchen Bedingungen $N$ eine Primzahl sein kann. Die Arbeit baut auf vorangegangener Forschung zu Erdős-Problem 633 (bezüglich nicht-quadratischer Kachelungen) und Erdős-Problem 634 (Charakterisierung von $N$, für die keine Kachelung existiert) auf. Die zentrale Frage lautet: Kann, abgesehen von bekannten Ausnahmen, ein Dreieck durch eine Primzahl $N > 3$ kongruenter Dreiecke gekachelt werden?

Methodik
Der Autor verwendet eine fallbasierte Analyse, die auf der Klassifizierung von Kachelformen und der Kommensurabilität von Winkeln und Seiten beruht. Die Methodik verläuft wie folgt:

1. Klassifizierung der Fälle: Die Analyse trennt Dreiecke $T$ danach, ob sie gleichseitig, gleichschenklig oder ungleichseitig sind und ob ihre Winkel kommensurabel (rationale Vielfache von $\pi$) oder inkommensurabel sind.
2. Nutzung vorangegangener Ergebnisse: Die Arbeit stützt sich auf etablierte Sätze (zitiert aus Arbeiten von Laczkovich, Beeson und anderen), um Fälle auszuschließen, in denen $T$ gleichseitig, gleichschenklig oder mit kommensurablen Winkeln ist. Diese vorangegangenen Ergebnisse stellen weitgehend fest, dass $N$ für solche Dreiecke entweder nicht prim ist oder auf spezifische kleine Werte ($N=2, 3$) beschränkt ist.
3. Fokus auf inkommensurable Winkel: Der Kern der Arbeit adressert den verbleibenden schwierigen Fall: $T$ hat inkommensurable Winkel, ist weder gleichseitig noch gleichschenklig, und wird durch einen Kacheltyp $R$ mit den Winkeln $(\alpha, \beta, \gamma)$ gekachelt.
   • Gemäß Theorem 2 muss $R$, falls $R$ inkommensurable Winkel besitzt und nicht ähnlich zu $T$ ist, kommensurable Seiten haben. Dies ermöglicht es, die Seiten von $R$ als ganze Zahlen $(a, b, c)$ zu behandeln.
   • Die Analyse konzentriert sich auf „Gruppe 2“-Kachelungen, definiert durch die Bedingung $3\alpha + 3\beta = \pi$ (was $\gamma = 2\pi/3$ impliziert). Gruppe 1 Kachelungen ($3\alpha + 2\beta = \pi$) wurden bereits gelöst.
4. Algebraische Zahlentheorie: Für die vier möglichen Formen von $T$ in Gruppe 2 leitet der Autor explizite Formeln her, die die Seitenlängen des Dreiecks $T$ mit den Seitenlängen der Kachel in Beziehung setzen.
   • Unter Verwendung des Sinussatzes und Flächengleichungen werden die Seitenlängen von $T$ als Linearkombinationen der Seiten der Kachel ausgedrückt.
   • Es wird bewiesen, dass der Proportionalitätsfaktor $\lambda$ zwischen den Seiten von $T$ und einem primitiven ganzzahligen Tripel eine ganze Zahl ist (Lemma 14).
   • Die Fläche von $T$ wird mit $N$ mal der Fläche der Kachel gleichgesetzt, was eine Faktorisierung von $N$ in Abhängigkeit von $\lambda$ und den Seitenlängen der Kachel ergibt.

Wesentliche Beiträge und Ergebnisse
Die Arbeit beweist, dass wenn ein Dreieck $T$ durch $N$ kongruente Dreiecke $R$ gekachelt wird (wobei $T$ nicht ähnlich zu $R$ ist) und $N > 3$, dann $N$ keine Primzahl sein kann.

Die spezifischen Ergebnisse für die vier Formen von $T$ im inkommensurablen Fall der Gruppe 2 sind:

• Fall 1: $T$ hat die Winkel $(\alpha, 2\alpha, 3\beta)$. Die Anzahl der Kacheln ist $N = 3\lambda^2(a + 2b)(a + b)$. Da $a, b, \lambda$ positive ganze Zahlen sind, ist $N$ zusammengesetzt.
• Fall 2: $T$ hat die Winkel $(\alpha, 2\beta, 2\alpha + \beta)$. Die Anzahl der Kacheln ist $N = \lambda^2(2a + b)(a + b)$, was zusammengesetzt ist.
• Fall 3: $T$ hat die Winkel $(\alpha, \alpha + \beta, \alpha + 2\beta)$. Die Anzahl der Kacheln ist $N = \lambda^2(a + b)/b$. Der Autor beweist, dass $a+b$ zusammengesetzt ist (Lemma 15), wodurch sichergestellt wird, dass $N$ nicht prim ist.
• Fall 4: $T$ hat die Winkel $(2\alpha, 2\beta, \alpha + \beta)$. Die Anzahl der Kacheln ist $N = \lambda^2(a + 2b)(2a + b)$, was zusammengesetzt ist.

Bedeutung und Haupttheorem
Die Arbeit gipfelt in Theorem 22, welches besagt: Sei ein Dreieck $T$ durch eine nicht zu $T$ ähnliche Kachel $N$-gekachelt. Angenommen, $N > 3$. Dann ist $N$ keine Primzahl.

In Kombination mit vorangegangenen Ergebnissen zu Reptilings (Kachelungen, bei denen die Kachel ähnlich zu $T$ ist) und den bekannten Ausnahmen (gleichschenkliges $N=2$, gleichseitiges $N=3$ und spezifische rechtwinklige Dreiecke) liefert das Paper eine vollständige Charakterisierung der Primzahl-Kachelungen in Korollar 23:

• Eine $N$-Kachelung eines Dreiecks existiert für eine Primzahl $N$ genau dann, wenn:
  • $N = 2$ (jedes gleichschenklige Dreieck, das durch die Höhe geteilt wird);
  • $N = 3$ (ein 30-60-90 Dreieck);
  • $N \equiv 1 \pmod 4$ (ein rechtwinkliges Dreieck mit Seitenverhältnis $M/K$, wobei $N = M^2 + K^2$).

Folglich besteht die Menge der Primzahlen $N$, für die kein Dreieck in $N$ kongruente Dreiecke gekachelt werden kann, exakt aus jenen Primzahlen größer als 3, die kongruent zu $3 \pmod 4$ sind.

Bescheidenheit und Umfang
Das Paper räumt ein, dass das „Bulldozer-Style“-Argument die Überprüfung einer endlichen Anzahl von Fällen beinhaltet. Es stellt fest, dass die beteiligte Zahlentheorie einfacher ist als die, die für das verwandte Erdős-Problem 633 (welches sich mit nicht-quadratischen Kachelungen befasste und elliptische Gleichungen erforderte) notwendig war, da die primäre Schwierigkeit hier in der Handhabung von gleichschenkligen Dreiecken liegt, welche bereits in der vorangegangenen Literatur gelöst wurden. Das Paper schreibt zudem die Entdeckung von Lemma 14 und Lemma 16 einem KI-Assistenten (Claude Fable) zu und hebt damit die Rolle computationaler Werkzeuge bei der Verifizierung spezifischer zahlentheoretischer Schritte innerhalb des geometrischen Beweises hervor.