Fermat’s Last Theorem states that:
There are no positive integers and with if is an integer greater than 2.
For there are many solutions:
( 3, 4, 5) ( 5, 12, 13) ( 7, 24, 25) ( 8, 15, 17)
( 9, 40, 41) (11, 60, 61) (12, 35, 37) (13, 84, 85)
(16, 63, 65) (20, 21, 29) (28, 45, 53) (33, 56, 65)
(36, 77, 85) (39, 80, 89) (48, 55, 73) (65, 72, 97) … the Pythagorean triples.
In the margin of his copy of the Arithmetica of Diophantus the French jurist Fermat wrote circa 1637 that for greater no such triples can be found; he added that he had a marvelous proof for this, which however the margin was too small to contain:
Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatum in duos ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caparet.
Some of the greatest mathematical minds in history have applied their genius to this problem, none succeeded. Every other result which Fermat had announced in like manner had long ago been dealt with; only this one, the last, remained. Finally, 358 years after Fermat wrote his theorem, Andrew Wiles saw an application of elliptic curves and modular forms (20th century mathematical constructs, not known to earlier mathematicians) that could contribute to the proof.
Let with .If then
The proof follows a program formulated around 1985 by Frey and Serre[F,S]. By classical results of Fermat, Euler, Dirichlet, Legendre, and Lamé, we may assume that , an odd prime ≥ 11. Suppose and . Without loss of generality we may assume that and . Frey [F] observed that the elliptic curve has the following ‘remarkable’ properties:
(1) is semistable with conductor ; and
(2) is unramified outside and is flat at .
By the modularity theorem of Wiles and Taylor-Wiles [W,T-W], there is an eigenform such that A theorem of Mazur implies that is irreducible, so Ribet’s theorem [R] produces a Hecke eigenform such that for some But has genus zero, so . This is a contradiction and Fermat’s Last Theorem follows. Q.E.D.
[F] Frey, G.: Links between semistable elliptic curves and certain Diophantine equations. Ann. Univ. Sarav. 1 (1986), 1-40.
[R] Ribet, K.: On modular representations of arising from modular forms. Invent. Math. 100 (1990), 431-476.
[S] Serre, J.-P.: Sur les représentations modulaires de degré 2 de . Duke Math. J. 54 (1987), 179-230.
[T-W] Taylor, R. L., Wiles, A.: Ring-theoretic properties of certain Hecke algebras. Annals of Math. 141 (1995), 553-572.
[W] Wiles, A.: Modular elliptic curves and Fermat’s Last Theorem. Annals of Math. 141 (1995), 443-551.
It doesn’t fit the margin,
But it does go on a shirt.
Genealogy of a Theorem: