1963
All'età di 10 anni, Andrew Wiles trova un libro sull'ultimo teorema di Fermat nella biblioteca locale. Da quel momento, decide che sarà lui a risolverlo.
"Ho una meravigliosa dimostrazione di questo teorema, che non può essere contenuta nel margine troppo stretto di questa pagina."
Pierre de Fermat non era un matematico di professione, ma un uomo di legge con un talento prodigioso. La sua copia dell'Arithmetica di Diofanto divenne leggendaria quando, nel 1637, annotò scarabocchiando nel margine:
"È impossibile separare un cubo in due cubi, o una quarta potenza in due quarte potenze, o in generale, qualsiasi potenza superiore alla seconda in due potenze simili. Ho scoperto una dimostrazione veramente meravigliosa, che questo margine è troppo stretto per contenere."
Questa sfida rimase aperta per secoli. Mentre geni come Eulero dimostrarono il caso n=3 e Sophie Germain fece balzi da gigante per molti numeri primi, la prova generale sembrava sfuggire a ogni logica conosciuta.
Non basta trovare che "un numero non funziona". Bisogna dimostrare che nessuna combinazione di infiniti numeri interi potrà mai soddisfare l'equazione per ogni n superiore a 2. È una ricerca dell'impossibile nell'infinito.
Negli anni '80, accadde qualcosa di magico. I matematici iniziarono a collegare l'equazione di Fermat (teoria dei numeri) a due campi completamente diversi: le Curve Ellittiche e le Forme Modulari.
Gerhard Frey ebbe un'idea folle: "Se Fermat avesse torto e esistesse una soluzione (a, b, c), potrei costruire una curva ellittica speciale usando quei numeri". Questa divenne nota come la Curva di Frey.
Ken Ribet (protagonista del video Numberphile) dimostrò che la curva di Frey era talmente strana da non poter essere modulare. Non aveva le simmetrie necessarie.
Se qualcuno avesse dimostrato che TUTTE le curve ellittiche sono modulari (Congettura di Taniyama-Shimura), allora la curva di Frey non potrebbe esistere. E se non esiste la curva, Fermat deve avere ragione!
Per n=2, esistono infinite soluzioni intere.
Esempio: 3² + 4² = 5² (9 + 16 = 25).
Per n > 2, non esistono soluzioni intere positive.
Se provi con i cubi: 3³ + 4³ = 27 + 64 = 91.
Ma 5³ = 125. Non c'è uguaglianza!
All'età di 10 anni, Andrew Wiles trova un libro sull'ultimo teorema di Fermat nella biblioteca locale. Da quel momento, decide che sarà lui a risolverlo.
Ken Ribet dimostra la "Congettura di Frey". Se qualcuno dimostra la Congettura di Taniyama-Shimura, allora Fermat è dimostrato. Wiles capisce che è giunto il momento: lavorerà in segreto nel suo soffitto per 7 anni.
Wiles tiene tre conferenze a Cambridge. L'ultima finisce con la frase: "Penso che mi fermerò qui". Il mondo è in visibilio. Fermat è risolto.
Nel 1993, durante la revisione rigorosa del manoscritto di 200 pagine, il matematico Nick Katz notò un "buco". Il metodo di Kolyvagin-Flach usato da Wiles non funzionava in alcuni casi specifici. Wiles tornò in isolamento, questa volta sotto la pressione di tutto il mondo. Era sull'orlo di un fallimento pubblico colossale.
Stremato, Wiles decise di dare un'ultima occhiata a una tecnica che aveva scartato anni prima: la Teoria di Iwasawa. Improvvisamente capì che ciò che rendeva debole Kolyvagin-Flach era esattamente ciò che serviva alla Teoria di Iwasawa per funzionare. "È stato così incredibilmente bello... sono rimasto a fissare il foglio per venti minuti senza crederci". L'errore era riparato.
Come si dimostra un problema così semplice con strumenti così complessi? Ecco i due pilastri:
Non sono ellissi, ma curve definite da equazioni come y² = x³ + ax + b. Sono fondamentali perché ci permettono di trasformare un problema di "numeri interi" in un problema di "geometria". Se sommiamo due punti sulla curva, ne otteniamo un terzo: questa struttura di gruppo è ciò che Wiles ha analizzato per anni.
Oggetti matematici dotati di una simmetria infinita. Vivono nel piano complesso e hanno proprietà così speciali che sembrano magiche. Immaginale come la massima espressione della perfezione geometrica e analitica. La sfida era legarle alle curve ellittiche.
La grande intuizione fu che queste due cose, apparentemente diverse, sono in realtà lo stesso oggetto visto da prospettive differenti. Ogni curva ellittica ha un "DNA" modulare.
Per capire meglio il legame tra le curve di Frey e il teorema, guarda questa splendida spiegazione di Numberphile:
Guarda il Video di Numberphile