Namespaces
Variants
Actions

Difference between revisions of "Fermat's last theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: + ZBL link)
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 
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 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100701.png" /> has no solutions in non-zero integers for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100702.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100703.png" /> there is an infinity of solutions, such as: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100704.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100705.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100706.png" />. These are called the Pythagorean triples, in view of the [[Pythagoras theorem|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" .
+
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|Pythagoras theorem]]. However, around 1637, the French jurist [[Fermat, Pierre de|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" .)
 
(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" .)
Line 7: Line 8:
 
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" .
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100707.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100708.png" />, an odd prime number. In one of the few actual proofs he left behind, Fermat himself had dealt with the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f1100709.png" />. It was many years later, in 1753, that L. Euler dealt with the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007010.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007011.png" /> in 1825 and G. Lamé settled the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007012.png" /> in 1839; Dirichlet had proved the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007013.png" /> in 1832.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007015.png" />, which were within his reach, Fermat never boasted about the matter in his correspondence in the thirty or so remaining years of his life.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007016.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007017.png" /> an odd prime number. It is now easy to show that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007018.png" />, then there is an integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007019.png" /> so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007020.png" />, whilst if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007021.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007022.png" />. Anyway, the cases <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007023.png" /> (the so-called first case), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007024.png" /> (the second case) are rather different. N.H. Abel used such formulas to show that if in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007025.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007027.png" />, one of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007029.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007030.png" /> is some prime power <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007031.png" />, then the exponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007032.png" /> must be prime number, the prime power must be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007034.png" /> differs from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007035.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007036.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007037.png" /> divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007038.png" />. Similarly, S. Germain, generalized by A.M. Legendre, showed that there is no solution for the first case if both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007040.png" /> are prime; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007041.png" /> may take various small values. It followed that there is no solution for the first case when the exponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007042.png" /> is less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007043.png" />.
+
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, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007044.png" /> equals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007045.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007046.png" /> is a primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007047.png" />th root of unity. Thus each of the principal ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007048.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007049.png" />th power of an ideal of the cyclotomic field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007050.png" />; indeed, of a principal ideal if the class number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007051.png" /> of that field is prime to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007052.png" />. 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|Bernoulli numbers]] modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007053.png" />; his study of cyclotomic number fields initiated the subject now known as [[Algebraic number theory|algebraic number theory]], and by dealing with the primes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007055.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007056.png" />, which are only  "a little irregular" , Kummer proved Fermat's last theorem beyond exponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007057.png" /> (up to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007058.png" />, where the calculations became just to burdensome).
+
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|Bernoulli numbers]] modulo $p$; his study of cyclotomic number fields initiated the subject now known as [[Algebraic number theory|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.
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007059.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007060.png" /> must divide the Fermat quotients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007061.png" /> for both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007062.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007063.png" />. However, (one now knows that) the only prime numbers up to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007064.png" />, say, satisfying the criterion for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007065.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007066.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007067.png" />, whilst for base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007068.png" /> these are just <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007069.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007070.png" />. By 1993, the first case criterion had been proved to be necessary for all bases up to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007071.png" />, settling that case beyond exponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007072.png" />.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007073.png" /> would have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007074.png" />, say, larger than about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007075.png" />. 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.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007076.png" /> given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007077.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007078.png" /> in non-zero integers. This Frey curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007079.png" /> is an [[Elliptic curve|elliptic curve]] with naive discriminant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007080.png" />. In 1985 G. Frey had remarked that, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007081.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007082.png" />, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007083.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007084.png" />, then, remarkably, the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007085.png" /> is semi-stable and its supposed existence seemed likely to contradict the Taniyama–Shimura modularity conjecture for elliptic curves over the rational number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007086.png" />. In the language of the 1970s, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007087.png" /> could apparently not be a Weil curve. A suggestion of J.-P. Serre, his so-called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007089.png" />-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.
+
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|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110070/f11007090.png" />. 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 [[#References|[a5]]].
+
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 [[#References|[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.
 
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.
Line 30: Line 31:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E.T. Bell,  "The last theorem" , Math. Assoc. America  (1990)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.M. Edwards,  "Fermat's last theorem - A genetic introduction to algebraic number theory" , Springer  (1977)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P. Ribenboim,  "13 lectures on Fermat's last theorem" , Springer  (1979)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A. van der Poorten,  "Notes on Fermat's last theorem" , Wiley–Interscience  (1996)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Wiles,  "Modular elliptic curves and Fermat's last theorem"  ''Ann. of Math.'' , '''141'''  (1995)  pp. 443–551</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  E.T. Bell,  "The last theorem" , Math. Assoc. America  (1990)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  H.M. Edwards,  "Fermat's last theorem - A genetic introduction to algebraic number theory" , Springer  (1977)</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  P. Ribenboim,  "13 lectures on Fermat's last theorem" , Springer  (1979) {{ZBL|0456.10006}}</TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top">  A. van der Poorten,  "Notes on Fermat's last theorem" , Wiley–Interscience  (1996)</TD></TR>
 +
<TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Wiles,  "Modular elliptic curves and Fermat's last theorem"  ''Ann. of Math.'' , '''141'''  (1995)  pp. 443–551</TD></TR>
 +
</table>

Latest revision as of 15:20, 17 March 2023

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" .

References

[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) Zbl 0456.10006
[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's last theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fermat%27s_last_theorem&oldid=18735
This article was adapted from an original article by A.J. van der Poorten (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article