Tiling a triangle into a prime number of congruent triangles

Technische Samenvatting: Een driehoek betegelen met een priem aantal even evenlijke driehoeken

Probleemstelling
Dit artikel behandelt het probleem van het karakteriseren van de gehele getallen $N$ waarvoor een driehoek $T$ kan worden opgedeeld in $N$ even evenlijke driehoeken $R$. Specifiek wordt onderzocht onder welke voorwaarden $N$ een priemgetal kan zijn. Het werk bouwt voort op eerder onderzoek naar Erdős-probleem 633 (betreffende niet-vierkante betegelingen) en Erdős-probleem 634 (het karakteriseren van $N$ waarvoor geen betegeling bestaat). De centrale vraag is: buiten bekende uitzonderingen om, kan een driehoek worden betegeld met een priem aantal $N > 3$ even evenlijke driehoeken?

Methodologie
De auteur hanteert een gevalgebaseerde analyse die is geworteld in de classificatie van tegelvormen en de commensurabiliteit van hoeken en zijden. De methodologie verloopt als volgt:

1. Classificatie van gevallen: De analyse scheidt driehoeken $T$ op basis van of ze gelijkzijdig, gelijkbenig of ongelijkzijdig zijn, en of hun hoeken commensurabel (rationale veelvouden van $\pi$) of incommensurabel zijn.
2. Gebruik van eerdere resultaten: Het artikel steunt op gevestigde stellingen (geciteerd uit werken van Laczkovich, Beeson en anderen) om gevallen te elimineren waarin $T$ gelijkzijdig, gelijkbenig of heeft met commensurabele hoeken. Deze eerdere resultaten stellen grotendeels vast dat voor dergelijke driehoeken $N$ ofwel niet priem is, ofwel beperkt is tot specifieke kleine waarden ($N=2, 3$).
3. Focus op incommensurabele hoeken: De kern van het artikel behandelt de resterende moeilijke casus: $T$ heeft incommensurabele hoeken, is niet gelijkzijdig of gelijkbenig, en wordt betegeld door een tegel $R$ met hoeken $(\alpha, \beta, \gamma)$.
   • Door Stelling 2 moet als $R$ incommensurabele hoeken heeft en niet zijdelings evenredig is aan $T$, $R$ commensurabele zijden hebben. Dit maakt het mogelijk om de zijden van $R$ als gehele getallen $(a, b, c)$ te behandelen.
   • De analyse richt zich op "Groep 2"-betegelingen, gedefinieerd door de conditie $3\alpha + 3\beta = \pi$ (wat $\gamma = 2\pi/3$ impliceert). Groep 1-betegelingen ($3\alpha + 2\beta = \pi$) zijn reeds opgelost.
4. Algebraïsche getaltheorie: Voor de vier mogelijke vormen van $T$ in Groep 2, leidt de auteur expliciete formules af die het aantal tegels $N$ relateren aan de zijlengtes van de tegel.
   • Met behulp van de sinuswet en oppervlaktevergelijkingen worden de zijlengtes van $T$ uitgedrukt als lineaire combinaties van de zijden van de tegel.
   • De proportionaliteitsfactor $\lambda$ tussen de zijden van $T$ en een primitieve gehele driedubbel wordt bewezen een geheel getal te zijn (Lemma 14).
   • De oppervlakte van $T$ wordt gelijkgesteld aan $N$ maal de oppervlakte van de tegel, wat een factorisatie van $N$ oplevert in termen van $\lambda$ en de zijlengtes van de tegel.

Belangrijkste bijdragen en resultaten
Het artikel bewijst dat als een driehoek $T$ wordt betegeld door $N$ even evenlijke driehoeken $R$ (waarbij $T$ niet zijdelings evenredig is aan $R$), en $N > 3$, dan $N$ geen priemgetal kan zijn.

De specifieke resultaten voor de vier vormen van $T$ in de incommensurabele Groep 2-casus zijn:

• Geval 1: $T$ heeft hoeken $(\alpha, 2\alpha, 3\beta)$. Het aantal tegels is $N = 3\lambda^2(a + 2b)(a + b)$. Aangezien $a, b, \lambda$ positieve gehele getallen zijn, is $N$ samengesteld.
• Geval 2: $T$ heeft hoeken $(\alpha, 2\beta, 2\alpha + \beta)$. Het aantal tegels is $N = \lambda^2(2a + b)(a + b)$, wat samengesteld is.
• Geval 3: $T$ heeft hoeken $(\alpha, \alpha + \beta, \alpha + 2\beta)$. Het aantal tegels is $N = \lambda^2(a + b)/b$. De auteur bewijst dat $a+b$ samengesteld is (Lemma 15), wat garandeert dat $N$ niet priem is.
• Geval 4: $T$ heeft hoeken $(2\alpha, 2\beta, \alpha + \beta)$. Het aantal tegels is $N = \lambda^2(a + 2b)(2a + b)$, wat samengesteld is.

Betekenis en Hoofdstelling
Het artikel culmineert in Stelling 22, die stelt: Laat driehoek $T$ een $N$-betegeling zijn door een tegel die niet zijdelings evenredig is aan $T$. Stel $N > 3$. Dan is $N$ niet priem.

Gecombineerd met eerdere resultaten over reptilings (betegelingen waarbij de tegel zijdelings evenredig is aan $T$) en de bekende uitzonderingen (gelijkbenige $N=2$, gelijkzijdige $N=3$, en specifieke rechthoekige driehoeken), biedt het artikel een volledige karakterisering van priem getallen in Corollary 23:

• Een $N$-betegeling van een driehoek bestaat voor een priem $N$ indien en slechts indien:
  • $N = 2$ (elke gelijkbenige driehoek gesneden door de hoogtelijn);
  • $N = 3$ (een 30-60-90 driehoek);
  • $N \equiv 1 \pmod 4$ (een rechthoekige driehoek met benen in de verhouding $M/K$ waar $N = M^2 + K^2$).

Consequent bestaat de verzameling priemgetallen $N$ waarvoor geen enkele driehoek kan worden betegeld in $N$ even evenlijke driehoeken precies uit de priemgetallen groter dan 3 die congruent zijn aan $3 \pmod 4$.

Bescheidenheid en Omvang
Het artikel erkent dat de "bulldozer-stijl" argumentatie een controle van een eindig aantal gevallen vereist. Er wordt opgemerkt dat de getaltheorie die nodig is eenvoudiger is dan die voor het verwante Erdős-probleem 633 (dat te ging over niet-vierkante betegelingen en elliptische vergelijkingen vereiste), aangezien de primaire moeilijkheid hier ligt in het behandelen van gelijkbenige driehoeken, die reeds in de eerdere literatuur waren opgelost. Het artikel geeft ook de ontdekking van Lemma 14 en Lemma 16 toe aan een AI-assistent (Claude Fable), waarmee de rol van computationele hulpmiddelen bij het verifiëren van specifieke getaltheoretische stappen binnen het geometrische bewijs wordt benadrukt.