🔢 mathematics

Integers representable as a difference of two rational fourth powers

Motivato dall'indagine di Cohen sulle somme di quarte potenze razionali, questo articolo determina l'elenco completo degli interi positivi fino a 10.000 che possono essere espressi come differenza di due quarte potenze razionali non nulle.

Autori originali: Ashleigh Ratcliffe, Tho Nguyen Xuan

Pubblicato 2026-04-28

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Ashleigh Ratcliffe, Tho Nguyen Xuan

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di avere una gigantesca scatola di blocchi da costruzione. Alcuni blocchi sono quadrati perfetti (come $2^2 = 4$ ), e altri sono cubi perfetti ( $2^3 = 8$ ). In questo articolo, gli autori stanno giocando con un tipo di blocco molto specifico e leggermente più difficile: le quarte potenze. Una quarta potenza è semplicemente un numero moltiplicato per se stesso quattro volte (come $2^4 = 16$ ).

La grande domanda che gli autori si pongono è: Puoi costruire qualsiasi numero intero (come 1, 2, 3... fino a 10.000) prendendo uno di questi blocchi a quarta potenza e sottraendone un altro?

Ad esempio, puoi trovare due frazioni (numeri razionali) tali che, quando le elevi alla quarta potenza e le sottrai, ottieni esattamente il numero 5?
$x^4 - y^4 = 5$

La Grande Sfida

Gli autori non stanno cercando solo blocchi interi; hanno il permesso di usare blocchi frazionari (come $3/2$ o $7/5$ ). Questo rende il puzzle molto più difficile perché ci sono infinite frazioni da controllare. Non puoi semplicemente provarle una per una; ti serve una mappa.

L'articolo è essenzialmente un enorme elenco "Sì/No" per ogni numero da 1 a 10.000.

Sì: "Ecco una specifica coppia di frazioni che funziona."
No: "È matematicamente impossibile costruire questo numero in questo modo."

Come l'hanno Risolto: Il Corredo dell'Investigatore

Per risolvere questo, gli autori hanno utilizzato una combinazione di strumenti matematici high-tech e un'astuta opera investigativa. Pensala come un'indagine in tre fasi:

1. La "Ricerca Semplice" (Cercare Piccoli Indizi)
Innanzitutto, hanno usato un computer per cercare soluzioni "piccole". Immagina di cercare una chiave perduta in una stanza. Se la chiave è sul pavimento, la troverai rapidamente. Il computer ha scansionato combinazioni di frazioni semplici. Se trovava una corrispondenza, il numero veniva contrassegnato come "Risolvibile".

2. Il "Mutante" (Trasformare il Problema in una Curva)
Se il computer non riusciva a trovare una risposta semplice, gli autori dovevano dimostrare che nessuna risposta esisteva. Hanno usato un trucco matematico per trasformare l'equazione $x^4 - y^4 = n$ in una forma diversa: una Curva Ellittica.

Analogia: Immagina che l'equazione originale sia un nodo aggrovigliato. Gli autori hanno trovato un modo per scioglierlo e stenderlo come una curva liscia e a spirale.
Se questa curva ha un "rango" di zero, significa che la curva è troppo piccola o rotta per contenere soluzioni. È come una strada che finisce su una scogliera; non puoi andare da nessuna parte. Questo ha dimostrato che molti numeri erano impossibili.

3. Il "Setaccio di Mordell-Weil" (Il Filtro Definitivo)
Per i numeri ostinati in cui la curva sembrava promettente (aveva un "rango positivo", il che significava che sembrava che potesse avere soluzioni), hanno utilizzato un filtro sofisticato chiamato setaccio di Mordell-Weil.

Analogia: Immagina di cercare una persona specifica in una folla enorme. Sai che indossa un cappello rosso. Chiedi a tutti nella folla: "Hai un cappello rosso?". Poi chiedi: "Hai una camicia blu?".
Il setaccio controlla i numeri contro diversi "moduli" (come controllare i resti quando si divide per 5, 7 o 11). Se la matematica dice: "Perché esista una soluzione, i numeri devono essere divisibili per 5", ma un'altra regola dice: "Non devono essere divisibili per 5", hai una contraddizione. La persona (la soluzione) non può esistere. Il setaccio ha trovato queste contraddizioni per i restanti numeri difficili.

4. Il "Trucco Pitagorico" (Usare Vecchi Amici)
Per alcuni casi specifici, hanno usato un metodo che coinvolge le triple pitagoriche (i famosi triangoli $a^2 + b^2 = c^2$ ). Hanno realizzato che se una soluzione esistesse, avrebbe dovuto adattarsi al pattern di questi antichi triangoli. Controllando se i numeri rispettavano le regole del triangolo, potevano escludere altre possibilità.

Il Risultato Finale

Dopo aver eseguito questi test su ogni numero fino a 10.000, gli autori hanno prodotto la Tabella 3.

Questa tabella elenca i numeri "fortunati" che possono essere scritti come differenza di due quarte potenze razionali.
Per questi numeri fortunati, hanno persino fornito le frazioni reali (le "chiavi") che fanno funzionare l'equazione.
Per tutti gli altri numeri, hanno dimostrato matematicamente che tali frazioni non esistono.

Perché Questo È Importante (Secondo l'Articolo)

L'articolo non afferma che questo aiuterà a costruire ponti o a curare malattie. Piuttosto, completa un puzzle su cui i matematici lavorano da molto tempo.

Completa il lavoro iniziato da altri matematici (come Cohen, Grechuk e Tho) che avevano risolto problemi simili per somme di potenze o intervalli più piccoli.
Fornisce una "mappa" definitiva per la differenza di quarte potenze fino a 10.000, colmando le lacune che i metodi precedenti non potevano risolvere.

In breve, gli autori hanno agito come cartografi maestri, tracciando il confine completo tra i numeri che possono essere costruiti da frazioni a quarta potenza e quelli che non possono.

1. Enunciato del Problema

Il lavoro affronta la risolubilità dell'equazione diofantea:
$n = x^4 - y^4$
dove $n$ è un intero positivo e $x, y$ sono numeri razionali non nulli.

Questo problema è motivato dall'Ultimo Teorema di Fermat per l'esponente $n=4$ , che implica che $1$ non può essere scritto come differenza di due potenze quarte razionali non nulle. Mentre il caso della somma di due potenze quarte razionali ( $x^4 + y^4 = n$ ) è stato in gran parte risolto da Cohen, Bremner e Tho per $n \le 10.000$ , il caso della differenza rimaneva incompleto per certi valori. Gli autori mirano a fornire un elenco completo di tutti gli interi positivi $n \le 10.000$ che possono essere rappresentati in questa forma.

Matematicamente, il problema è equivalente alla ricerca di soluzioni intere $(x, y, z)$ con $xyz \neq 0$ per l'equazione omogenea:
$x^4 - y^4 = nz^4$
A causa delle proprietà delle potenze quarte, è sufficiente analizzare gli $n$ che sono liberi da potenze quarte.

2. Metodologia

Gli autori impiegano un approccio computazionale e teorico multistrato, combinando metodi relativi alle curve ellittiche, agli ostacoli locali e alla fattorizzazione negli interi di Gauss. Il flusso di lavoro è suddiviso in tre fasi principali:

A. Riduzioni Semplici e Curve Ellittiche (Sezioni 2.1 e 2.2)

Il primo passo consiste nel ridurre il problema alla ricerca di punti razionali su specifiche curve ellittiche.

Trasformazione: Qualsiasi soluzione intera non banale di $x^4 - y^4 = nz^4$ $x^{4} - y^{4} = n z^{4}$ implica l'esistenza di punti razionali su una delle tre curve ellittiche associate:
1. $Y^2 = X^3 + nX$
2. $Y^2 = X^3 - nX$
3. $Y^2 = X^3 - n^2X$
Controllo del Rango 0: Se una di queste curve ha rango 0, l'insieme dei punti razionali è finito (solo punti di torsione). Gli autori utilizzano il sistema di algebra computazionale Magma per calcolare il rango e i punti di torsione. Se i punti di torsione non producono una soluzione valida (dove $xyz \neq 0$ ), l'equazione è dimostrata irrisolvibile.
Riduzione a Equazioni Ottiche: Per i casi in cui le curve hanno rango positivo, il problema è ridotto (tramite il Teorema 2) alla risoluzione di equazioni della forma:
$a^2u^8 + b^2v^8 = cw^4$
dove $a, b, c$ sono interi a due a due coprimi tali che $abc \in \{n/8, 2n\}$ .
Ostacoli Locali e Setaccio di Mordell-Weil:
- Ostacoli Locali: Gli autori verificano la presenza di soluzioni modulo $p^k$ . Se non esistono soluzioni coprimi modulo un primo, l'equazione globale non ha soluzioni.
- Setaccio di Mordell-Weil: Per le equazioni in cui gli ostacoli locali non riescono a escludere le soluzioni, gli autori mappano il problema sulla ricerca di punti razionali su curve ellittiche derivate dall'equazione ottica. Utilizzano il setaccio di Mordell-Weil per verificare se il gruppo generato di punti modulo un primo $p$ è disgiunto dall'insieme delle possibili soluzioni locali, dimostrando così l'irrisolubilità.

B. Metodo delle Terne Pitagoriche (Sezione 2.3)

Per casi specifici in cui il coefficiente $c$ nell'equazione ottica $a^2u^8 + b^2v^8 = cw^4$ è un quadrato perfetto ( $c=k^2$ ), l'equazione può essere trasformata in un sistema che coinvolge terne pitagoriche:
$x^2 + y^2 = z^2$
Utilizzando la parametrizzazione standard delle terne pitagoriche primitive, gli autori riducono il problema alla risoluzione di sistemi di equazioni che coinvolgono potenze quarte (ad esempio, $d^2U^8 - e^2V^8 = bv^4$ ). Questo metodo risolve con successo molti casi che il metodo del setaccio non poteva affrontare.

C. Fattorizzazione in $\mathbb{Z}[i]$ (Sezione 3 e Appendice B)

Per i rimanenti casi ostinati (elencati nella Tabella 2 del lavoro), gli autori utilizzano il metodo della fattorizzazione nell'anello degli interi di Gauss $\mathbb{Z}[i]$ .

Fattorizzazione: L'equazione $a^2u^8 + b^2v^8 = cw^4$ viene riscritta come:
$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$
Interi di Gauss: Analizzando il MCD in $\mathbb{Z}[i]$ e la fattorizzazione in primi di $c$ , gli autori deducono che:
$au^4 + bv^4i = \alpha(s + ti)^4$
dove $\alpha$ è un divisore di $c$ in $\mathbb{Z}[i]$ .
Irresolubilità Locale degli Schemi: Uguagliando le parti reali e immaginarie si ottiene un sistema di due equazioni omogenee di quarto grado nelle variabili $s, t, u, v$ . Questo definisce uno schema nello spazio proiettivo $\mathbb{P}^3(\mathbb{Q})$ . Gli autori utilizzano Magma per verificare se questo schema è localmente irresolubile in un primo specifico (solitamente 2, 3, 5 o 17). Se lo schema non ha soluzioni modulo $p$ , l'equazione diofantea originale non ha soluzioni intere.

3. Contributi Chiave

Classificazione Completa: Il lavoro fornisce l'elenco completo di tutti gli interi positivi $n \le 10.000$ rappresentabili come differenza di due potenze quarte razionali non nulle.
Risoluzione di Casi Aperti: Gli autori risolvono i casi specifici lasciati aperti da lavori precedenti (Grechuk e Tho), inclusi $n = 219, 463, 514$ e altri fino a $n=10.000$ .
Quadro Algoritmico: Il lavoro dettaglia un solido processo computazionale che combina ranghi di curve ellittiche, il setaccio di Mordell-Weil, la parametrizzazione pitagorica e la fattorizzazione negli interi di Gauss. Questo quadro è applicabile a problemi diofantei simili che coinvolgono potenze superiori.
Sequenze OEIS: I risultati sono catalogati nell'On-Line Encyclopedia of Integer Sequences (OEIS) come sequenze A393616 (potenze quarte razionali non nulle) e A393617 (consentendo lo zero).

4. Risultati

Interi Risolvibili: La Tabella 3 nel lavoro elenca 136 interi $n \le 10.000$ che sono rappresentabili come $x^4 - y^4$ . Per ciascuno, viene fornita una specifica rappresentazione razionale (ad esempio, $5 = (3/2)^4 - (1/2)^4$ ).
Interi Irrisolvibili: Il lavoro dimostra che i rimanenti interi nell'intervallo $1 \le n \le 10.000$ non hanno nessuna soluzione razionale non nulla.
Casi Specifici: Le appendici forniscono dimostrazioni esaustive per i 33 casi "difficili" che hanno richiesto il metodo di fattorizzazione in $\mathbb{Z}[i]$ . Ad esempio, per $n=463$ , l'equazione $214369u^8 + v^8 = 2w^4$ è dimostrata priva di soluzioni provando che lo schema associato è localmente irresolubile per $p=2$ e $p=3$ .

5. Significato

Completamento del Sondaggio: Questo lavoro parallela il sondaggio di Cohen sulla somma di potenze quarte, completando il quadro per il caso della differenza fino a 10.000.
Avanzamento Metodologico: Dimostra la potenza della combinazione della teoria dei numeri classica (interi di Gauss, terne pitagoriche) con strumenti computazionali moderni (Magma, setaccio di Mordell-Weil) per risolvere equazioni diofantee di alto grado.
Fondamento per la Ricerca Futura: Le appendici dettagliate e le tecniche specifiche utilizzate per i casi "difficili" forniscono una guida per affrontare problemi simili, come somme o differenze di potenze seste o esponenti superiori.

In conclusione, Ratcliffe e Tho hanno chiuso con successo il vuoto nella letteratura riguardante la differenza di potenze quarte razionali, fornendo un elenco definitivo degli interi rappresentabili e dimostrazioni rigorose per quelli non rappresentabili entro l'intervallo specificato.