Tiling a triangle into a prime number of congruent triangles

Sintesi Tecnica: Piastrellatura di un triangolo in un numero primo di triangoli congruenti

Enunciato del problema
Questo articolo affronta il problema di caratterizzare gli interi $N$ per i quali un triangolo $T$ può essere dissezione in $N$ triangoli congruenti $R$. In particolare, si investigano le condizioni sotto le quali $N$ può essere un numero primo. Il lavoro si basa su ricerche precedenti riguardanti il problema di Erdős 633 (relativo alle piastrellature non quadrate) e il problema di Erdős 634 (caratterizzazione di $N$ per i quali non esiste una piastrellatura). La domanda centrale è: a parte le eccezioni note, un triangolo può essere piastrellato da un numero primo $N > 3$ di triangoli congruenti?

Metodologia
L'autore impiega un'analisi basata su casi fondata sulla classificazione delle forme dei piastrelle e sulla commensurabilità di angoli e lati. La metodologia procede come segue:

1. Classificazione dei casi: L'analisi separa i triangoli $T$ in base al fatto che siano equilateri, isosceli o scaleni, e se i loro angoli siano commensurabili (multipli razionali di $\pi$) o incommensurabili.
2. Sfruttamento di risultati precedenti: Il documento si avvale di teoremi stabiliti (citati da lavori di Laczkovich, Beeson e altri) per eliminare i casi in cui $T$ è equilatero, isoscele o presenta angoli commensurabili. Tali risultati precedenti stabiliscono ampiamente che, per tali triangoli, $N$ non è primo o è limitato a specifici valori piccoli ($N=2, 3$).
3. Focus sugli angoli incommensurabili: Il cuore del documento affronta il caso rimanente più difficile: $T$ ha angoli incommensurabili, non è equilatero né isoscele, ed è piastrellato da una piastrella $R$ con angoli $(\alpha, \beta, \gamma)$.
   • In base al Teorema 2, se $R$ ha angoli incommensurabili e non è simile a $T$, $R$ deve avere lati commensurabili. Ciò consente di trattare i lati di $R$ come interi $(a, b, c)$.
   • L'analisi si concentra sulle piastrellature di "Gruppo 2", definite dalla condizione $3\alpha + 3\beta = \pi$ (che implica $\gamma = 2\pi/3$). Le piastrellature del Gruppo 1 ($3\alpha + 2\beta = \pi$) sono state precedentemente risolte.
4. Teoria dei numeri algebrica: Per le quattro possibili forme di $T$ nel Gruppo 2, l'autore deriva formule esplicite che mettono in relazione il numero di piastrelle $N$ con la lunghezza dei lati della piastrella.
   • Utilizzando la legge dei seni e le equazioni dell'area, i lati di $T$ sono espressi come combinazioni lineari dei lati della piastrella.
   • Il fattore di proporzionalità $\lambda$ tra i lati di $T$ e una terna intera primitiva è dimostrato essere un intero (Lemma 14).
   • L'area di $T$ viene eguagliata a $N$ volte l'area della piastrella, producendo una fattorizzazione di $N$ in termini di $\lambda$ e dei lati della piastrella.

Contributi chiave e risultati
Il documento dimostra che se un triangolo $T$ è piastrellato da $N$ triangoli congruenti $R$ (dove $T$ non è simile a $R$), e $N > 3$, allora $N$ non può essere un numero primo.

I risultati specifici per le quattro forme di $T$ nel caso incommensurabile del Gruppo 2 sono:

• Caso 1: $T$ ha angoli $(\alpha, 2\alpha, 3\beta)$. Il numero di piastrelle è $N = 3\lambda^2(a + 2b)(a + b)$. Poiché $a, b, \lambda$ sono interi positivi, $N$ è composto.
• Caso 2: $T$ ha angoli $(\alpha, 2\beta, 2\alpha + \beta)$. Il numero di piastrelle è $N = \lambda^2(2a + b)(a + b)$, che è composto.
• Caso 3: $T$ ha angoli $(\alpha, \alpha + \beta, \alpha + 2\beta)$. Il numero di piastrelle è $N = \lambda^2(a + b)/b$. L'autore dimostra che $a+b$ è composto (Lemma 15), garantendo che $N$ non sia primo.
• Caso 4: $T$ ha angoli $(2\alpha, 2\beta, \alpha + \beta)$. Il numero di piastrelle è $N = \lambda^2(a + 2b)(2a + b)$, che è composto.

Significato e Teorema Principale
Il documento culmina nel Teorema 22, che afferma: Sia $T$ un triangolo piastrellato da $N$ piastrelle non simili a $T$. Supponiamo che $N > 3$. Allora $N$ non è primo.

Combinando i risultati precedenti sulle reptilings (piastrellature in cui la piastrella è simile a $T$) e le eccezioni note (isoscele $N=2$, equilatero $N=3$, e specifici triangoli rettangoli), il documento fornisce una caratterizzazione completa delle piastrellature prime nel Corollario 23:

• Una piastrellatura $N$-aria di un certo triangolo esiste se e solo se:
  • $N = 2$ (qualsiasi triangolo isoscele tagliato dall'altezza);
  • $N = 3$ (un triangolo 30-60-90);
  • $N \equiv 1 \pmod 4$ (un triangolo rettangolo con rapporto tra i cateti $M/K$ dove $N = M^2 + K^2$).

Di conseguenza, l'insieme dei numeri primi $N$ per i quali nessun triangolo può essere piastrellato in $N$ triangoli congruenti consiste esattamente in quei numeri primi maggiori di 3 che sono congruenti a $3 \pmod 4$.

Modestia e Ambito
Il documento riconosce che l'argomentazione "stile bulldozer" comporta la verifica di un numero finito di casi. Nota che la teoria dei numeri coinvolta è più semplice di quella richiesta per il relativo problema di Erdős 633 (che trattava di piastrellature non quadrate e richiedeva equazioni ellittiche), poiché la difficoltà primaria qui risiede nel gestire i triangoli isosceli, che sono già stati risolti nella letteratura precedente. Il documento attribuisce inoltre la scoperta del Lemma 14 e del Lemma 16 a un assistente IA (Claude Fable), evidenziando il ruolo degli strumenti computazionali nella verifica di specifici passaggi numerici all'interno della dimostrazione geometrica.