Tiling a triangle into a prime number of congruent triangles

Resumen Técnico: Teselación de un triángulo en un número primo de triángulos congruentes

Planteamiento del problema
Este artículo aborda el problema de caracterizar los enteros $N$ para los cuales un triángulo $T$ puede ser diseccionado en $N$ triángulos congruentes $R$. Específicamente, investiga las condiciones bajo las cuales $N$ puede ser un número primo. El trabajo se basa en investigaciones previas relativas al problema de Erdős 633 (referente a teselaciones no cuadradas) y al problema de Erdős 634 (caracterización de $N$ para los cuales no existe una teselación). La cuestión central es: aparte de las excepciones conocidas, ¿puede un triángulo ser teselado por un número primo $N > 3$ de triángulos congruentes?

Metodología
El autor emplea un análisis basado en casos fundamentado en la clasificación de las formas de los teselas y la conmensurabilidad de ángulos y lados. La metodología procede de la siguiente manera:

1. Clasificación de casos: El análisis separa los triángulos $T$ basándose en si son equiláteros, isósceles o escalenos, y si sus ángulos son conmensurables (múltiplos racionales de $\pi$) o inconmensurables.
2. Aprovechamiento de resultados previos: El artículo se apoya en teoremas establecidos (citados de trabajos de Laczkovich, Beeson y otros) para eliminar los casos donde $T$ es equilátero, isósceles o tiene ángulos conmensurables. Estos resultados previos establecen en gran medida que, para tales triángulos, $N$ no es primo o está restringido a valores pequeños específicos ($N=2, 3$).
3. Enfoque en ángulos inconmensurables: El núcleo del artículo aborda el caso restante difícil: $T$ tiene ángulos inconmensurables, no es equilátero ni isósceles, y es teselado por una tesela $R$ con ángulos $(\alpha, \beta, \gamma)$.
   • Mediante el Teorema 2, si $R$ tiene ángulos inconmensurables y no es semejante a $T$, $R$ debe tener lados conmensurables. Esto permite tratar los lados de $R$ como enteros $(a, b, c)$.
   • El análisis se centra en las teselaciones del "Grupo 2", definidas por la condición $3\alpha + 3\beta = \pi$ (lo que implica $\gamma = 2\pi/3$). Las teselaciones del Grupo 1 ($3\alpha + 2\beta = \pi$) fueron resueltas previamente.
4. Teoría de números algebraicos: Para las cuatro posibles formas de $T$ en el Grupo 2, el autor deriva fórmulas explícitas que relacionan el número de teselas $N$ con las longitudes de los lados de la tesela.
   • Utilizando la Ley de los Senos y ecuaciones de área, los lados de $T$ se expresan como combinaciones lineales de los lados de la tesela.
   • Se demuestra que el factor de proporcionalidad $\lambda$ entre los lados de $T$ y una terna entera primitiva es un entero (Lema 14).
   • El área de $T$ se iguala a $N$ veces el área de la tesela, produciendo una factorización de $N$ en términos de $\lambda$ y los lados de la tesela.

Contribuciones clave y resultados
El artículo demuestra que si un triángulo $T$ es teselado por $N$ triángulos congruentes $R$ (donde $T$ no es semejante a $R$), y $N > 3$, entonces $N$ no puede ser un número primo.

Los resultados específicos para las cuatro formas de $T$ en el caso inconmensurable del Grupo 2 son:

• Caso 1: $T$ tiene ángulos $(\alpha, 2\alpha, 3\beta)$. El número de teselas es $N = 3\lambda^2(a + 2b)(a + b)$. Dado que $a, b, \lambda$ son enteros positivos, $N$ es compuesto.
• Caso 2: $T$ tiene ángulos $(\alpha, 2\beta, 2\alpha + \beta)$. El número de teselas es $N = \lambda^2(2a + b)(a + b)$, que es compuesto.
• Caso 3: $T$ tiene ángulos $(\alpha, \alpha + \beta, \alpha + 2\beta)$. El número de teselas es $N = \lambda^2(a + b)/b$. El autor demuestra que $a+b$ es compuesto (Lema 15), asegurando que $N$ no sea primo.
• Caso 4: $T$ tiene ángulos $(2\alpha, 2\beta, \alpha + \beta)$. El número de teselas es $N = \lambda^2(a + 2b)(2a + b)$, que es compuesto.

Significado y Teorema Principal
El artículo culmina en el Teorema 22, que establece: Sea $T$ un triángulo teselado por $N$ teselas no semejantes a $T$. Suponga que $N > 3$. Entonces $N$ no es primo.

Combinado con resultados previos sobre reptilaciones (teselaciones donde la tesela es semejante a $T$) y las excepciones conocidas (isósceles $N=2$, equilátero $N=3$, y triángulos rectángulos específicos), el artículo proporciona una caracterización completa de las teselaciones primas en el Corolario 23:

• Una teselación de $N$ de algún triángulo existe para un número primo $N$ si y solo si:
  • $N = 2$ (cualquier triángulo isósceles cortado por la altura);
  • $N = 3$ (un triángulo de 30-60-90);
  • $N \equiv 1 \pmod 4$ (un triángulo rectángulo con catetos en relación $M/K$ donde $N = M^2 + K^2$).

Consecuentemente, el conjunto de números primos $N$ para los cuales ningún triángulo puede ser teselado en $N$ triángulos congruentes consiste exactamente en aquellos primos mayores que 3 que son congruentes con $3 \pmod 4$.

Modestia y Alcance
El artículo reconoce que el argumento de "estilo bulldozer" implica la verificación de un número finito de casos. Observa que la teoría de números involucrada es más simple que la requerida para el problema relacionado de Erdős 633 (que trataba con teselaciones no cuadradas y requería ecuaciones elípticas), ya que la dificultad principal aquí radica en el manejo de los triángulos isósceles, los cuales ya fueron resueltos en la literatura previa. El artículo también otorga crédito al descubrimiento del Lema 14 y el Lema 16 a un asistente de IA (Claude Fable), destacando el papel de las herramientas computacionales en la verificación de pasos específicos de teoría de números dentro de la prueba geométrica.