I have been re-reading Simon Singh‘s excellent Fermat’s Last Theorem, a biography of the famous mathematical theorem (although for the past 350 years it should more accurately have been referred to as Fermat’s Last Conjecture):
Cubem autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere.
It is impossible for a cube to be written as a sum of two cubes or a fourth power to be written as the sum of two fourth powers or, in general, for any number which is a power greater than the second to be written as a sum of two like powers:
Pierre de Fermat was a French lawyer whose hobby was mathematics, a true amateur academic. Fermat is often referred to as the “Prince of Amateurs”, but his contribution to mathematics during the 17th century was so great that he should be counted as a professional mathematician.
Fermat was also well known for steadfastly refusing to reveal his proofs — publication and recognition meant nothing to him as he was satisfied with the simple pleasure of being able to solve problem in mathematics. However, this shy and retiring genius also had a mischievous streak, which, when combined with his secrecy, meant that when he did communicate with other mathematicians, it was only to tease them. He would write letters stating his most recent theorems without providing the accompanying proof, whilst also challenging his contemporaries to find the proof. Descartes called Fermat a “braggart“; English mathematician John Wallis referred to him as “That damned Frenchman“. Pascal urged Fermat to publish his work, who replied: “Whatever of my work is judged worthy of publication, I do not want my name to appear there.”
Much of Fermat’s mathematical inspiration came from his copy of Diophantus‘ Arithmetica, a collection of 130 algebraic problems giving numerical solutions of indeterminate equations (Diophantine equations). In was in the margin of his Arithmetica, next to Problem VIII, that he made his famous observation:
Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet.
I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.
This was Fermat at his most frustrating. While he left no proof of the conjecture for all , he did prove the special case . As his own words suggest, he was particularly pleased with this “truly marvellous” proof, but he had no intention of writing out the detail of the argument, let alone publishing it.
Further proofs for specific exponents were contributed by a number of mathematicians, including Euler, Legendre and Hilbert. The problem was reduced to proving the conjecture for exponents that were prime; Germain proved a special case for all primes less than 100, while Kummer proved it for all regular primes. Building on Kummer’s work, other mathematicians were able to prove the conjecture for all odd primes up to four million, but a general proof appeared to be out of reach.
The final proof of the conjecture for all came in the late 20th century. Andrew Wiles, building on the work of Gerhard Frey and Ken Ribet, presented a proof of the modularity theorem for semistable elliptic curves (via proof of the Taniyama-Shimura conjecture), applying techniques from algebraic geometry and number theory. His two manuscripts, published in 1995 in the Annals of Mathematics, were the last step in proving Fermat’s Last Theorem, 358 years after it was conjectured: “Modular elliptic curves and Fermat’s Last Theorem” and “Ring theoretic properties of certain Hecke algebras“. The proof itself is over 100 pages long and consumed seven years of Wiles’ research time.
But the question remains: did Fermat possess a general proof? Wiles’ proof relies on mathematical techniques developed in the 20th century, which would have been alien to Fermat. Most mathematicians and science historians doubt that Fermat had a valid proof of his theorem for all exponents , as it would have had to have been elementary, given mathematical knowledge of the time.
Over three centuries of effort on this problem, enhancing its notoriety as the most demanding riddle in mathematics (even transcending popular culture), all because of small margins.