Tiling a triangle into a prime number of congruent triangles

Resumo Técnico: Ladrilhamento de um Triângulo em um Número Primo de Triângulos Congruentes

Enunciado do Problema
Este artigo aborda o problema de caracterizar os inteiros $N$ para os quais um triângulo $T$ pode ser dissesecado em $N$ triângulos congruentes $R$. Especificamente, investiga-se as condições sob as quais $N$ pode ser um número primo. O trabalho baseia-se em pesquisas anteriores relativas ao problema de Erdős 633 (referente a ladrilhamentos não quadráticos) e ao problema de Erdős 634 (caracterizando $N$ para os quais não existe ladrilhamento). A questão central é: à parte das exceções conhecidas, um triângulo pode ser ladrilhado por um número primo $N > 3$ de triângulos congruentes?

Metodologia
O autor emprega uma análise baseada em casos fundamentada na classificação das formas dos ladrilhos e na comensurabilidade de ângulos e lados. A metodologia procede da seguinte forma:

1. Classificação de Casos: A análise separa os triângulos $T$ com base em serem equiláteros, isósceles ou escalenos, e se seus ângulos são comensuráveis (múltiplos racionais de $\pi$) ou incomensuráveis.
2. Aproveitamento de Resultados Prévios: O artigo baseia-se em teoremas estabelecidos (citados de trabalhos de Laczkovich, Beeson e outros) para eliminar casos onde $T$ é equilátero, isósceles ou possui ângulos comensuráveis. Esses resultados prévios estabelecem majoritariamente que, para tais triângulos, $N$ não é primo ou é restrito a valores pequenos específicos ($N=2, 3$).
3. Foco em Ângulos Incomensuráveis: O núcleo do artigo aborda o caso restante difícil: $T$ possui ângulos incomensuráveis, não é equilátero nem isósceles, e é ladrilhado por um ladrilho $R$ com ângulos $(\alpha, \beta, \gamma)$.
   • Pelo Teorema 2, se $R$ possui ângulos incomensuráveis e não é semelhante a $T$, $R$ deve ter lados comensuráveis. Isso permite que os lados de $R$ sejam tratados como inteiros $(a, b, c)$.
   • A análise foca nos ladrilhamentos do "Grupo 2", definidos pela condição $3\alpha + 3\beta = \pi$ (implicando $\gamma = 2\pi/3$). Os ladrilhamentos do Grupo 1 ($3\alpha + 2\beta = \pi$) foram resolvidos anteriormente.
4. Teoria dos Números Algébricos: Para as quatro formas possíveis de $T$ no Grupo 2, o autor deriva fórmulas explícitas relacionando o número de ladrilhos $N$ aos comprimentos dos lados do ladrilho.
   • Usando a Lei dos Senos e equações de área, os comprimentos dos lados de $T$ são expressos como combinações lineares dos lados do ladrilho.
   • O fator de proporcionalidade $\lambda$ entre os lados de $T$ e uma terna inteira primitiva é provado como sendo um inteiro (Lema 14).
   • A área de $T$ é igualada a $N$ vezes a área do ladrilho, resultando em uma fatoração de $N$ em termos de $\lambda$ e dos lados do ladrilho.

Principais Contribuições e Resultados
O artigo prova que, se um triângulo $T$ é ladrilhado por $N$ triângulos congruentes $R$ (onde $T$ não é semelhante a $R$), e $N > 3$, então $N$ não pode ser um número primo.

Os resultados específicos para as quatro formas de $T$ no caso incomensurável do Grupo 2 são:

• Caso 1: $T$ possui ângulos $(\alpha, 2\alpha, 3\beta)$. O número de ladrilhos é $N = 3\lambda^2(a + 2b)(a + b)$. Como $a, b, \lambda$ são inteiros positivos, $N$ é composto.
• Caso 2: $T$ possui ângulos $(\alpha, 2\beta, 2\alpha + \beta)$. O número de ladrilhos é $N = \lambda^2(2a + b)(a + b)$, que é composto.
• Caso 3: $T$ possui ângulos $(\alpha, \alpha + \beta, \alpha + 2\beta)$. O número de ladrilhos é $N = \lambda^2(a + b)/b$. O autor prova que $a+b$ é composto (Lema 15), garantindo que $N$ não seja primo.
• Caso 4: $T$ possui ângulos $(2\alpha, 2\beta, \alpha + \beta)$. O número de ladrilhos é $N = \lambda^2(a + 2b)(2a + b)$, que é composto.

Significância e Teorema Principal
O artigo culmina no Teorema 22, que afirma: Seja um triângulo $T$ ladrilhado por $N$ triângulos não semelhantes a $T$. Suponha que $N > 3$. Então $N$ não é primo.

Combinado com resultados prévios sobre reptilings (ladrilhamentos onde o ladrilho é semelhante a $T$) e as exceções conhecidas (isósceles $N=2$, equilátero $N=3$, e triângulos retângulos específicos), o artigo fornece uma caracterização completa de ladrilhamentos primos no Corolário 23:

• Um $N$-ladrilhamento de algum triângulo existe para um primo $N$ se, e somente se:
  • $N = 2$ (qualquer triângulo isósceles cortado por uma altura);
  • $N = 3$ (um triângulo 30-60-90);
  • $N \equiv 1 \pmod 4$ (um triângulo retângulo com razão de catetos $M/K$ onde $N = M^2 + K^2$).

Consequentemente, o conjunto de números primos $N$ para os quais nenhum triângulo pode ser ladrilhado em $N$ triângulos congruentes consiste exatamente naqueles primos maiores que 3 que são congruentes a $3 \pmod 4$.

Modéstia e Escopo
O artigo reconhece que o argumento do estilo "bulldozer" envolve a verificação de um número finito de casos. Nota-se que a teoria dos números envolvida é mais simples do que a necessária para o problema relacionado de Erdős 633 (que lidava com ladrilhamentos não quadráticos e exigia equações elípticas), pois a principal dificuldade aqui reside em lidar com triângulos isósceles, que já foram resolvidos na literatura anterior. O artigo também credita a descoberta do Lema 14 e do Lema 16 a um assistente de IA (Claude Fable), destacando o papel das ferramentas computacionais na verificação de etapas específicas de teoria dos números dentro da prova geométrica.