🔢 mathematics

Seven squares from three numbers

Il paper dimostra che esistono infinite terne di numeri razionali distinti e non nulli tali che la somma di ogni elemento con 1 e il prodotto di ogni coppia o di tutti e tre gli elementi con 1 siano quadrati perfetti, mentre nessuna terna di numeri interi positivi possiede questa proprietà.

Autori originali: Andrej Dujella, Matija Kazalicki, Vinko Petričević

Pubblicato 2026-04-13

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Andrej Dujella, Matija Kazalicki, Vinko Petričević

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 essere un architetto matematico che costruisce torri con dei mattoni speciali. Questi mattoni non sono fatti di argilla o cemento, ma di numeri.

La regola del gioco è molto semplice ma molto rigida: se prendi due mattoni qualsiasi, li moltiplichi tra loro e aggiungi un piccolo "tassello" (il numero 1), il risultato deve essere un quadrato perfetto.

Un "quadrato perfetto" è un numero che puoi ottenere moltiplicando un intero per se stesso (come 4, perché $2 \times 2 = 4$ , o 9, perché $3 \times 3 = 9$ ). È come se il risultato della tua costruzione dovesse formare un pavimento perfettamente quadrato, senza buchi né sporgenze.

Il Problema dei "Tre Numeri Esotici"

Gli autori di questo articolo, tre matematici croati (Dujella, Kazalicki e Petričević), si sono chiesti: "Possiamo trovare tre numeri diversi che, presi singolarmente o a coppie, rispettino questa regola, e che facciano anche un'ultima cosa molto strana?"

La regola base per tre numeri ( $a, b, c$ ) è che:

$a+1$ è un quadrato.
$b+1$ è un quadrato.
$c+1$ è un quadrato.
$a \times b + 1$ è un quadrato.
$a \times c + 1$ è un quadrato.
$b \times c + 1$ è un quadrato.

Fin qui, è un gioco già noto. Ma c'è un settimo requisito, quello che rende questi numeri "esotici":
7. Se moltiplichi tutti e tre insieme ( $a \times b \times c$ ) e aggiungi 1, il risultato deve essere anche lui un quadrato perfetto.

È come se avessi tre amici che si piacciono a due a due, ma devono anche piacersi tutti e tre insieme in un modo speciale.

Cosa hanno scoperto?

Gli autori hanno scoperto due cose opposte, come due facce della stessa medaglia:

1. Nel mondo dei "Numeri Frazionari" (Razionali): C'è un'infinità di soluzioni!

Se permettiamo ai nostri mattoni di essere numeri con la virgola (frazioni, come $3/4$ o $11/192$ ), allora il gioco è infinitamente possibile.
Hanno dimostrato che esistono infinite combinazioni di tre numeri che soddisfano tutte e sette le regole.

Come ci sono arrivati?
Hanno usato una sorta di "mappa magica" chiamata curva ellittica. Immagina questa curva come un sentiero infinito che si ripiega su se stesso in modo complicato. Hanno scoperto che ogni punto su questo sentiero corrisponde a un nuovo trio di numeri esotici.

L'analogia: È come se avessero trovato un albero magico. Ogni volta che sali su un nuovo ramo (un nuovo punto sulla mappa), trovi un nuovo trio di numeri che funziona perfettamente. Non importa quanto cerchi, ne troverai sempre di nuovi.

2. Nel mondo dei "Numeri Interi" (Senza virgola): È impossibile!

Se invece proviamo a usare solo numeri interi positivi (1, 2, 3, 4, 5...), la situazione cambia drasticamente.
Hanno dimostrato che non esiste assolutamente nessun trio di numeri interi che soddisfi tutte e sette le condizioni.

La prova (il "trucco" matematico):
Immagina di costruire una scala. Se provi a costruire questa scala con mattoni interi, ti accorgi che c'è sempre un "passo" che non quadra.
Gli autori hanno usato un ragionamento logico molto elegante (una "trappola" matematica):

Hanno assunto che un tale trio esistesse.
Hanno calcolato un numero speciale (chiamato $M$ ) basato su questi numeri.
Hanno dimostrato che questo numero $M$ dovrebbe essere un numero intero, ma allo stesso tempo dovrebbe trovarsi in uno spazio così piccolo (tra due numeri interi consecutivi) che non può esistere.
È come dire: "Devi essere un numero intero, ma devi stare esattamente a metà strada tra il 5 e il 6". È impossibile. Quindi, la nostra assunzione iniziale era sbagliata: un tale trio non esiste.

Perché è importante?

Questo lavoro è importante perché ci dice che la matematica ha regole molto sottili.

Se allenti un po' le regole (usando le frazioni), il mondo diventa pieno di meraviglie infinite.
Se mantieni le regole rigide (usando solo interi), a volte la natura ci dice "No, qui non puoi andare".

In sintesi, gli autori hanno trovato un tesoro infinito di numeri "esotici" se guardiamo nel mondo delle frazioni, ma hanno anche chiuso la porta a qualsiasi possibilità di trovarli nel mondo degli interi, dimostrando che alcuni misteri matematici hanno una soluzione unica: l'impossibilità.

Titolo: Sette quadrati da tre numeri

Autori: Andrej Dujella, Matija Kazalicki, Vinko Petričević

1. Il Problema

Il lavoro si concentra sullo studio di terne $\{a, b, c\}$ di numeri razionali distinti e non nulli che soddisfano una condizione di "quadratura" molto forte. Nello specifico, gli autori cercano terne tali che le seguenti sette espressioni siano tutte quadrati perfetti:

$a + 1$
$b + 1$
$c + 1$
$ab + 1$
$ac + 1$
$bc + 1$
$abc + 1$

Tali terne sono definite dall'autore come "terne Diophantine esotiche".
Equivalentemente, il problema può essere riformulato come la ricerca di una terna $\{a, b, c\}$ tale che l'insieme $\{1, a, b, c\}$ costituisca una quadrupla Diophantina razionale (dove il prodotto di ogni coppia distinta più uno è un quadrato) e, in aggiunta, il prodotto di tutti e tre gli elementi più uno ($abc + 1$) sia anch'esso un quadrato perfetto.

Il paper indaga la possibilità di esistenza di tali terne sia nel dominio dei numeri razionali che in quello dei numeri interi positivi.

2. Metodologia

Gli autori adottano un approccio ibrido che combina ricerca numerica, teoria delle curve ellittiche e dimostrazioni analitiche.

A. Caso Razionale (Dimostrazione dell'Esistenza Infinita)

Per il Teorema 1, la metodologia si basa sulla costruzione di famiglie infinite di soluzioni:

Ricerca Numerica: Gli autori hanno iniziato con una ricerca numerica che ha identificato esempi specifici (es. $\{8, 312/529, 495/529\}$ ).
Concetto di Regolarità: È stato introdotto il concetto di "regolarità" per terne e quadruple Diophantine. Una terna $(a, b, c)$ è regolare se soddisfa una specifica equazione polinomiale $r_3(a, b, c) = 0$ .
Riduzione Algebrica: Osservando che per le terne esotiche trovate il quadruplo $\{1, a, b, c\}$ era spesso regolare, gli autori hanno imposto la condizione di regolarità anche sulla terna $\{1, ab, c\}$ . Questo porta a un sistema di equazioni che forza $abc+1$ a essere un quadrato.
Parametrizzazione: Ponendo $a = r^2 - 1$ e $b = s^2 - 1$ (per garantire che $a+1$ e $b+1$ siano quadrati), il problema si riduce allo studio di un sistema di equazioni in $r, s, c$ .
Teoria delle Curve Ellittiche: La differenza tra i polinomi del sistema porta a due casi:
- Un caso che genera una curva di genere 1 birazionalmente equivalente a una curva ellittica con rango di Mordell-Weil nullo (nessuna soluzione infinita).
- Un secondo caso che genera curve birazionalmente equivalenti alla curva ellittica $E_2: y^2 = x^3 - 111x + 450$ .
Generazione di Soluzioni: Poiché il gruppo di Mordell-Weil di $E_2$ su $\mathbb{Q}$ ha rango infinito (generato da un punto di ordine infinito), ogni punto razionale su questa curva (con alcune eccezioni di degenerazione) genera una terna esotica distinta.

B. Caso Intero (Dimostrazione di Non Esistenza)

Per il Teorema 2, gli autori utilizzano un metodo di disuguaglianze e stime analitiche per dimostrare l'impossibilità di soluzioni intere positive:

Ipotesi di Contraddizione: Si assume l'esistenza di interi $3 \le a < b < c$ che soddisfano le condizioni.
Definizione di Variabili: Si definiscono $r, s, t, z, u$ tali che $ab+1=r^2$ , $ac+1=s^2$ , $bc+1=t^2$ , $c+1=z^2$ , $abc+1=u^2$ .
Identità Chiave: Viene stabilita l'identità $(zu)^2 - (st)^2 = c(a-1)(b-1)$ .
Stime Superiori e Inferiori: Definendo un intero $M = 2r(zu - st)$, gli autori derivano stime rigorose per $M$ basate sulle disuguaglianze $c > 4ab$ (proprietà delle quadruple Diophantine intere).
Contraddizione: Le stime mostrano che $M$ deve essere strettamente compreso tra $(a-1)(b-1)$ e $(a-1)(b-1) + 1/2$ . Poiché $M$ è un intero, non può esistere in tale intervallo, portando a una contraddizione.

3. Risultati Chiave

Il paper presenta due teoremi fondamentali:

Teorema 1 (Esistenza Infinita nel Caso Razionale): Esistono infinitamente molte terne esotiche Diophantine razionali. Gli autori forniscono una costruzione esplicita basata sui punti razionali della curva ellittica $E_2$ , generando famiglie infinite di soluzioni. Vengono forniti diversi esempi numerici concreti derivati da punti specifici sulla curva.
Teorema 2 (Non Esistenza nel Caso Intero): Non esistono nessuna terna esotica Diophantina composta da interi positivi. La dimostrazione è rigorosa e si basa sull'impossibilità di soddisfare le condizioni di quadratura simultanea per interi distinti maggiori di 1.

4. Contributi e Significato

Estensione del Problema di Gowland: Il lavoro risolve una variante del problema studiato da Dujella e Szalay (che consideravano solo $ab+1, ac+1, bc+1, abc+1$), aggiungendo le condizioni $a+1, b+1, c+1$ .
Distinzione tra Razionali e Interi: Il risultato evidenzia una profonda differenza strutturale tra il mondo razionale e quello intero in questo specifico contesto Diophantino. Mentre i razionali offrono una ricchezza di soluzioni infinite grazie alla struttura delle curve ellittiche, gli interi sono estremamente rigidi, escludendo completamente tali configurazioni.
Metodologia Ibrida: L'uso combinato di ricerca computazionale per ipotizzare la regolarità, seguito da una riduzione a curve ellittiche per la costruzione, e da un'analisi analitica fine per l'impossibilità intera, rappresenta un approccio moderno ed efficace nella teoria dei numeri.
Implicazioni per le Quadruple Diophantine: Il risultato conferma che l'estensione di una quadrupla Diophantina razionale $\{1, a, b, c\}$ a una configurazione "esotica" (dove anche $abc+1$ è quadrato) è possibile solo nel dominio razionale, fornendo nuovi esempi di strutture algebriche complesse.

In sintesi, il paper chiude la questione sull'esistenza di tali terne dimostrando che sono abbondanti nel campo razionale ma inesistenti in quello intero, offrendo al contempo una costruzione esplicita e una dimostrazione di non-esistenza elegante.