Tiling a triangle into a prime number of congruent triangles

Résumé technique : Pavage d'un triangle en un nombre premier de triangles congruents

Énoncé du problème
Cet article traite du problème de la caractérisation des entiers $N$ pour lesquels un triangle $T$ peut être divisé en $N$ triangles congruents $R$. Il étudie spécifiquement les conditions sous lesquelles $N$ peut être un nombre premier. Le travail s'appuie sur des recherches antérieures concernant le problème d'Erdős 633 (concernant les pavages non carrés) et le problème d'Erdős 634 (caractérisant $N$ pour lesquels aucun pavage n'existe). La question centrale est la suivante : en dehors des exceptions connues, un triangle peut-il être pavé par un nombre premier $N > 3$ de triangles congruents ?

Méthodologie
L'auteur emploie une analyse par cas fondée sur la classification des formes de tuiles et la commensurabilité des angles et des côtés. La méthodologie procède comme suit :

1. Classification des cas : L'analyse sépare les triangles $T$ selon qu'ils sont équilatéraux, isocèles ou scalènes, et selon que leurs angles sont commensurables (multiples rationnels de $\pi$) ou incommensurables.
2. Exploitation des résultats antérieurs : L'article s'appuie sur des théorèmes établis (cités à partir des travaux de Laczkovich, Beeson et autres) pour éliminer les cas où $T$ est équilatéral, isocèle ou possède des angles commensurables. Ces résultats antérieurs établissent largement que pour de tels triangles, $N$ n'est soit pas premier, soit restreint à des valeurs spécifiques et petites ($N=2, 3$).
3. Focus sur les angles incommensurables : Le cœur de l'article traite du cas difficile restant : $T$ possède des angles incommensurables, n'est ni équilatéral ni isocèle, et est pavé par une tuile $R$ d'angles $(\alpha, \beta, \gamma)$.
   • D'après le Théorème 2, si $R$ possède des angles incommensurables et n'est pas semblable à $T$, alors $R$ doit avoir des côtés commensurables. Cela permet de traiter les côtés de $R$ comme des entiers $(a, b, c)$.
   • L'analyse se concentre sur les pavages du « Groupe 2 », définis par la condition $3\alpha + 3\beta = \pi$ (impliquant $\gamma = 2\pi/3$). Les pavages du Groupe 1 ($3\alpha + 2\beta = \pi$) ont été résolus précédemment.
4. Théorie des nombres algébriques : Pour les quatre formes possibles de $T$ dans le Groupe 2, l'auteur dérive des formules explicites reliant le nombre de tuiles $N$ aux longueurs des côtés de la tuile.
   • En utilisant la loi des sinus et les équations d'aire, les côtés de $T$ sont exprimés comme des combinaisons linéaires des côtés de la tuile.
   • Le facteur de proportionnalité $\lambda$ entre les côtés de $T$ et un triplet entier primitif est prouvé être un entier (Lemme 14).
   • L'aire de $T$ est égalée à $N$ fois l'aire de la tuile, produisant une factorisation de $N$ en fonction de $\lambda$ et des longueurs des côtés de la tuile.

Contributions clés et résultats
L'article prouve que si un triangle $T$ est pavé par $N$ triangles congruents $R$ (où $T$ n'est pas semblable à $R$), et que $N > 3$, alors $N$ ne peut pas être un nombre premier.

Les résultats spécifiques pour les quatre formes de $T$ dans le cas incommensurable du Groupe 2 sont :

• Cas 1 : $T$ a des angles $(\alpha, 2\alpha, 3\beta)$. Le nombre de tuiles est $N = 3\lambda^2(a + 2b)(a + b)$. Puisque $a, b, \lambda$ sont des entiers positifs, $N$ est composé.
• Cas 2 : $T$ a des angles $(\alpha, 2\beta, 2\alpha + \beta)$. Le nombre de tuiles est $N = \lambda^2(2a + b)(a + b)$, ce qui est composé.
• Cas 3 : $T$ a des angles $(\alpha, \alpha + \beta, \alpha + 2\beta)$. Le nombre de tuiles est $N = \lambda^2(a + b)/b$. L'auteur prouve que $a+b$ est composé (Lemme 15), garantissant que $N$ n'est pas premier.
• Cas 4 : : $T$ a des angles $(2\alpha, 2\beta, \alpha + \beta)$. Le nombre de tuiles est $N = \lambda^2(a + 2b)(2a + b)$, ce qui est composé.

Signification et Théorème principal
L'article culmine avec le Théorème 22, qui stipule : Soit un triangle $T$ pavé par $N$ tuiles non semblables à $T$. Supposons $N > 3$. Alors $N$ n'est pas premier.

Combiné aux résultats antérieurs sur les réptiles (pavages où la tuile est semblable à $T$) et aux exceptions connues (isocèle $N=2$, équilatéral $N=3$, et triangles rectangles spécifiques), le papier fournit une caractérisation complète des pavages premiers dans le Corollaire 23 :

• Un pavage de $N$ d'un certain triangle existe si et seulement si :
  • $N = 2$ (tout triangle isocèle coupé par une hauteur) ;
  • $N = 3$ (un triangle 30-60-90) ;
  • $N \equiv 1 \pmod 4$ (un triangle rectangle avec des côtés formant un rapport $M/K$ où $N = M^2 + K^2$).

Par conséquent, l'ensemble des nombres premiers $N$ pour lesquels aucun triangle ne peut être divisé en $N$ triangles congruents consiste exactement en ces nombres premiers supérieurs à 3 qui sont congrus à $3 \pmod 4$.

Modestie et portée
L'article reconnaît que l'argument de type « bulldozer » implique la vérification d'un nombre fini de cas. Il note que la théorie des nombres impliquée est plus simple que celle requise pour le problème d'Erdős 633 associé (qui traitait des pavages non carrés et nécessitait des équations elliptiques), car la difficulté principale ici réside dans le traitement des triangles isocèles, qui ont déjà été résolus dans la littérature antérieure. Le papier crédite également la découverte du Lemme 14 et du Lemme 16 à un assistant IA (Claude Fable), soulignant le rôle des outils de calcul dans la vérification de étapes théoriques numériques spécifiques au sein de la preuve géométrique.