Fermat's last theorem

From Encyclopedia of Mathematics
(Redirected from Fermat last theorem)
Jump to: navigation, search

Fermat's last theorem surely was mathematics' most celebrated and notorious open problem. Its investigation sparked fundamental advances in the mathematical sciences.

Fermat's last theorem is the claim that $x^n+y^n=z^n$ has no solutions in non-zero integers for $n>2$. For $n=2$ there is an infinity of solutions, such as: $3^2+4^2=5^2$; $5^2+12^2=13^2$; $8^2+15^2=17^2$. These are called the Pythagorean triples, in view of the Pythagoras theorem. However, around 1637, the French jurist P. de Fermat wrote in the margin of his copy of the Arithmetika of Diophantus that: "Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet" .

(That is, "to split a cube into two cubes, or a fourth (biquadratic) power into two fourth powers, or indeed any higher power unto infinity into two like powers, is impossible; and I have a marvelous proof for this. But the margin is too narrow to contain it" .)

On Fermat's death in 1665, his son Samuel proceeded to collect Fermat's mathematical correspondence. That, and a reprint of the Arithmetika, together with Fermat's marginal notes, was published in 1670. By the end of the eighteenth century all of Fermat's other remarks had been dealt with, one way or the other: either properly proved or shown to be false. Only this one remark remained, hence the name "last theorem" .

Of course, one need only deal with the exponents $n=4$ and $n=p$, an odd prime number. In one of the few actual proofs he left behind, Fermat himself had dealt with the case $n=4$. It was many years later, in 1753, that L. Euler dealt with the case $n=3$. There was an alleged omission in the argument, later filled in by C.F. Gauss. P.G.L. Dirichlet and A.M. Legendre proved the case $n=5$ in 1825 and G. Lamé settled the case $n=7$ in 1839; Dirichlet had proved the case $n=14$ in 1832.

It is quite absurd to suppose that Fermat had a proof of the "last theorem" , or that he even continued to believe that he had one much beyond the moment he scribbled the claim in that notorious margin. Other than for the exponents $3$ and $4$, which were within his reach, Fermat never boasted about the matter in his correspondence in the thirty or so remaining years of his life.

For symmetry, set $a^p+b^p+c^p=0$, with $p$ an odd prime number. It is now easy to show that if $p\nmid c$, then there is an integer $\gamma$ so that $a+b=\gamma^p$, whilst if $p\mid c$, then $a+b=p^{p-1}\gamma^p$. Anyway, the cases $p\nmid abc$ (the so-called first case), $p\mid abc$ (the second case) are rather different. N.H. Abel used such formulas to show that if in $x^n+y^n=z^n$, with $0<x<y<z$ and $n\geq3$, one of $x$, $y$, or $z$ is some prime power $q^r$, then the exponent $n$ must be prime number, the prime power must be $x=q$, $z$ differs from $y$ by $1$, and $n$ divides $y(y+1)$. Similarly, S. Germain, generalized by A.M. Legendre, showed that there is no solution for the first case if both $n$ and $kn+1$ are prime; here $k$ may take various small values. It followed that there is no solution for the first case when the exponent $n$ is less than $100$.

Of course, $x^p+y^p=z^p$ equals $\prod_{r=0}^{p-1}(x+\zeta_p^ry)=z^p$, where $\zeta_p$ is a primitive $p$th root of unity. Thus each of the principal ideals $(x+\zeta_p^ry)$ is the $p$th power of an ideal of the cyclotomic field $\mathbf Q(\zeta_p)$; indeed, of a principal ideal if the class number $h_p$ of that field is prime to $p$. E.E. Kummer proved Fermat's last theorem for such regular prime numbers in 1847. His researches provided a seemingly straightforward characterization of regularity in terms of the behaviour of the Bernoulli numbers modulo $p$; his study of cyclotomic number fields initiated the subject now known as algebraic number theory, and by dealing with the primes $37$, $59$ and $67$, which are only "a little irregular" , Kummer proved Fermat's last theorem beyond exponent $100$ (up to $167$, where the calculations became just to burdensome).

The next 120 years see surprisingly little fundamental advance on Kummer's contributions to Fermat's last theorem. H. Vandiver corrected part of Kummer's work and refined his criteria for irregularity. By 1993, further such refinements and ingenious computer computations had settled Fermat's last theorem for exponents up to four million.

At the turn of the century, work relying on a complicated analysis of Kummer's conditions led to the criterion that if there is to be a solution to the first case for exponent $p$, then $p$ must divide the Fermat quotients $(a^p-a)/p$ for both $a=2$ and $a=3$. However, (one now knows that) the only prime numbers up to $10^9$, say, satisfying the criterion for $a=2$ are $1093$ and $3511$, whilst for base $3$ these are just $11$ and $1006002$. By 1993, the first case criterion had been proved to be necessary for all bases up to $a=89$, settling that case beyond exponent $10^{14}$.

By applying techniques from transcendental number theory and Diophantine approximation, K. Inkeri had shown that a putative solution in the case of exponent $p$ would have $x$, say, larger than about $p^p$. Thus, by 1993 it was known that one could not state any counterexample to Fermat's claim, for if there were one it would be millions of digits long.

Consider the cubic curve $\mathcal E_{a,b,c}$ given by $y^2=x(x-a)(x+b)$, where $a+b=c$ in non-zero integers. This Frey curve $\mathcal E_{a,b,c}$ is an elliptic curve with naive discriminant $abc$. In 1985 G. Frey had remarked that, for $uvw\neq0$ and $p\geq5$, if $2\mid u$ and $v\equiv1\pmod 4$, then, remarkably, the curve $\mathcal E_{u^p,v^p,w^p}$ is semi-stable and its supposed existence seemed likely to contradict the Taniyama–Shimura modularity conjecture for elliptic curves over the rational number field $\mathbf Q$. In the language of the 1970s, $\mathcal E_{u^p,v^p,w^p}$ could apparently not be a Weil curve. A suggestion of J.-P. Serre, his so-called $\varepsilon$-conjecture, was proved by K. Ribet in 1986, entailing that indeed the truth of the modularity conjecture, and then just for semi-stable elliptic curves, implies Fermat's last theorem. At the time, though, it was believed that the modularity conjecture was inaccessible; that its proof was at least a generation away.

It was therefore an enormous surprise and excitement when, at Cambridge University in 1993, A. Wiles announced he had proved Fermat's last theorem by establishing the modularity conjecture for semi-stable elliptic curves over $\mathbf Q$. There followed a year or so of alarms in which a subtle gap in the argument had to be filled. In 1995, a paper of Wiles, augmented by a further joint note with R. Taylor, finally proved Fermat's allegation [a5].

Gauss had dismissed Fermat's equation as just one of a multitude of such Diophantine equations, and Kummer had made it clear that he valued his work on the higher reciprocity laws far more than its eventual application to Fermat's last theorem. Fittingly, Fermat's last theorem is now a corollary of far more fundamental results.

For the legends see [a1]. Kummer's work is detailed in [a2], whilst [a3] gives near complete references to work on Fermat's last theorem up to the 1970s. Finally, [a4] provides an accessible introduction to Wiles' proof "in an amusing and intriguing collection of tidbits, anecdotes, footnotes, exercises, references, illustrations, and more" .


[a1] E.T. Bell, "The last theorem" , Math. Assoc. America (1990)
[a2] H.M. Edwards, "Fermat's last theorem - A genetic introduction to algebraic number theory" , Springer (1977)
[a3] P. Ribenboim, "13 lectures on Fermat's last theorem" , Springer (1979)
[a4] A. van der Poorten, "Notes on Fermat's last theorem" , Wiley–Interscience (1996)
[a5] A. Wiles, "Modular elliptic curves and Fermat's last theorem" Ann. of Math. , 141 (1995) pp. 443–551
How to Cite This Entry:
Fermat last theorem. Encyclopedia of Mathematics. URL: