Book summary “Fermat's Last Theorem”: summary

Introduction

You face complex problems that can resist solutions for centuries. Mathematics is full of such riddles, and none is more famous than the challenge left by Pierre de Fermat. You will discover how a single marginal note sparked a three-hundred-year pursuit that consumed the greatest minds in science.

Andrew Wiles solved a 358-year-old mathematical riddle by bridging elliptic curves and modular forms.

This book traces the dramatic history of that quest from ancient Greece to the twentieth century. You will explore the failures of legendary mathematicians, the emergence of abstract theories, and the secret seven-year labor that finally broke the curse.

• How did the Pythagorean brotherhood spark the entire tradition of mathematical proof?
• What drove a seventeenth-century French civil servant to hide his methods in the margins?
• Why did a seemingly simple equation defeat generations of brilliant scholars?
• How did a wild conjecture about two entirely different mathematical realms unlock the final solution?

1. The Pythagorean Brotherhood

Pythagoras founded a secretive religious community that worshipped numbers and discovered the foundational rules of mathematical proof and musical harmony.

Everything is Number.

Pythagoras believed that all natural phenomena could be understood through mathematics. By analyzing the weights of blacksmith hammers and the lengths of vibrating lyre strings, he realized that harmonious notes correspond to simple fractional ratios.

Fixing a lyre string exactly halfway along its length generates a tone one octave higher and in harmony with the original tone. The followers of Pythagoras built an entire musical system upon these ratios using the tetrachord.

Mathematical proof relies on infallible step-by-step logic derived from axioms and provides absolute certainty. Scientific proof relies on fallible observation and approximation.

Scientific theories can never be proven with absolute finality and are continually refined or overturned. Proven mathematical theorems remain true for eternity.

The mutilated chessboard problem demonstrates that logical deduction can prove the impossibility of covering 62 squares with 31 dominoes, whereas experiment alone can never achieve absolute certainty.

Proof by induction can demonstrate that mathematical formulae work for every number up to infinity by proving the base case and showing that the rule propagates to the next step. The first step proves a formula works for n equals 1. The second step shows that if the formula holds true for any value n, it must also hold true for n plus 1, acting like falling dominoes that guarantee universal truth.

You can verify formulae using a reliable sequence:

• Show that the formula works for the first case, n = 1.
• Show that if the formula is true for any value n, it must also be true for n + 1.

2. The Riddler of seventeenth-century France

Pierre de Fermat balanced a demanding career as a high-ranking civil servant and judge with a passionate, isolated hobby of mathematics. You might expect a breakthrough of his magnitude to emerge from a university chair, but Fermat worked entirely alone as the Prince of Amateurs.

Born in France on 20 August 1601, Fermat became a councillor at the Chamber of Petitions in 1631 and later a supreme judge. Because seventeenth-century judges were discouraged from socialising to avoid favouritism, and due to the constant threat of the plague and political intrigues under Cardinal Richelieu, Fermat maintained a quiet personal life and devoted his spare time to mathematics without seeking public recognition or publishing formal textbooks. In 1652, he suffered a severe bout of the plague.

Sir Kenelm Digby noted in a letter that Fermat was delayed from meeting him because he was occupied with capital cases, including sentencing an abusive priest to be burned at the stake.

Father Marin Mersenne played a crucial role in seventeenth-century mathematics by building an international communication network and fighting against the tradition of secrecy.

While professional problem-solvers traditionally guarded their calculation methods to maintain their reputation, Father Mersenne travelled and wrote prolifically to connect isolated mathematicians, frequently sharing confidential letters and papers to stimulate the collective advancement of the field. Mersenne joined the order of Minims in 1611. After his death, 78 different correspondents were found in Mersenne's room.

Mersenne maintained a regular correspondence with Pierre de Fermat, serving as his primary conduit to the wider mathematical community.

While studying Diophantus's Arithmetica, Fermat formulated his Last Theorem by altering the powers in Pythagoras's equation. Fermat noticed that while Pythagoras's equation for squares has an infinite number of whole number solutions, changing the power from squares to cubes or any power greater than two yields no whole number solutions. He jotted this observation in the margin of the book alongside a famous claim that his proof was too large for the margin to contain.

Fermat wrote his marginal note next to Problem 8 in Book II of Claude Gaspar Bachet's Latin translation of Diophantus's Arithmetica, which was published in 1621. He made the note around 1637. The observation eventually appeared in the 1670 publication of Diophantus's Arithmetica Containing Observations by P. de Fermat by Clément-Samuel in Toulouse, after Fermat signed his last arrêt on 9 January 1665 before dying.

3. A Mathematical Disgrace

Generations of mathematicians failed to prove Fermat's Last Theorem, while Sophie Germain and Ernst Kummer made vital partial progress constrained by unique factorisation.

Leonhard Euler made the first historical breakthrough toward Fermat's Last Theorem by proving the case for $n = 3$ using imaginary numbers. Euler attempted to generalize Fermat's method of infinite descent from $n = 4$ down to $n = 3$. To bridge the logical gaps, he incorporated imaginary numbers, successfully proving that no whole number solutions exist for $x^3 + y^3 = z^3$.

Euler announced his proof to Christian Goldbach on 4 August 1753, marking the first progress in a century.

Sophie Germain developed a general approach to Fermat's Last Theorem using specific prime numbers, making the first major progress since Euler.

Working under the pseudonym Monsieur Le Blanc due to gender discrimination, Germain focused on primes $p$ where $2p + 1$ is also prime, showing that solutions to $x^n + y^n = z^n$ likely do not exist. In 1806, Germain wrote to General Pernety to protect Gauss during the invasion of Prussia.

Her method enabled Adrien-Marie Legendre and Gustav Lejeune-Dirichlet to prove the case for $n = 5$ in 1825, and Gabriel Lamé proved $n = 7$ in 1839.

Ernst Kummer proved that Cauchy and Lamé's attempted proofs for Fermat's Last Theorem failed because introducing imaginary numbers destroys unique factorisation.

While Euclid's fundamental theorem of arithmetic guarantees unique factorisation for real counting numbers, Kummer demonstrated that complex numbers permit multiple factorisation paths, creating irregular primes that prevent a universal proof. Kummer wrote a letter to Joseph Liouville read on 24 May 1847, halting the race between Cauchy and Lamé at the French Academy of Sciences. The dramatic French Academy meeting on 1 March and 24 May 1847 exposed the deep flaw in the reasoning.

Kummer identified several problematic numbers:

• $31$ as the highest prime number up to which unique factorisation could be easily restored;
• $37$ as an awkward irregular prime that resisted easy methods;
• $59$ as an irregular prime preventing a complete proof;
• $67$ as an irregular prime preventing a complete proof.

In 1857, Cauchy wrote the closing report on the Academy's Fermat prize.

4. Into Abstraction and the Taniyama-Shimura Conjecture

Taniyama and Shimura proposed a revolutionary bridge connecting elliptic curves and modular forms, creating the ultimate tool to solve Fermat's puzzle.

Andrew Wiles began his career as a graduate student at Cambridge University in 1975. John Coates directed Andrew Wiles to study elliptic curves during his graduate studies at Cambridge, pointing him toward the mathematical area that would eventually provide the bridge to Fermat's Last Theorem.

Elliptic equations occupy a complex niche of solubility. Because finding whole number solutions in infinite space is difficult, you utilize clock arithmetic to calculate the number of solutions across different moduli. This process generates an E-series that acts like biological DNA for the equation.

A separate mathematical universe contained modular forms, which are functions boasting immense symmetry. At the September 1955 international symposium held in Tokyo, Yutaka Taniyama presented problems hinting at the unexpected relationship between modular forms and elliptic equations. Young Japanese researchers at the symposium handed round 36 problems.

Taniyama and Shimura proposed the revolutionary hypothesis that every elliptic equation has an equivalent modular form, sharing identical mathematical DNA through their E-series and M-series. The observation that specific series matched perfectly led to the bold generalization that elliptic equations and modular forms are the same thing.

Gerhard Frey demonstrated that a counterexample to Fermat's Last Theorem would generate an exotic elliptic equation so bizarre that it could never be modular.

At the autumn symposium in Oberwolfach in 1984, Gerhard Frey presented his link. Frey rearranged a hypothetical solution to Fermat's equation into an elliptic equation, arguing that its existence would violate the Taniyama-Shimura conjecture.

If anyone could prove that all elliptic equations were modular, they would simultaneously prove that Fermat's Last Theorem was true. A counterexample to Fermat would spawn Frey's elliptic equation, which was too eccentric to possess a modular form. Proving the Taniyama-Shimura conjecture meant such an eccentric equation could never exist.

5. The Secret Calculation and Triumph

Andrew Wiles worked in total isolation for seven years, ultimately rescuing a flawed proof with the Kolyvagin-Flach method and Iwasawa theory.

Wiles made the remarkable decision to work in complete isolation and secrecy to avoid distraction and protect his work from rivals. By cutting off communication and retreating to his attic study, Wiles avoided the standard collaborative culture of modern mathematics to maintain undivided concentration for years. He spent eighteen months gathering weapons and familiarising himself with elliptic equations and modular forms, anticipating that a serious attempt on the proof would take ten years. Wiles told his wife Nada about his secret quest on their honeymoon just days after they married.

Mathematical induction allows proving a statement for an infinite number of cases by applying the domino effect. Instead of checking infinite cases individually, induction proves a statement for the first case and then shows that any case implies the next, causing a chain reaction of truth. Wiles adopted induction to show that the infinity of elliptic equations could be matched to the infinity of modular forms. When you apply induction, you follow two strict rules:

• Prove that the statement is true for the first case.
• Prove that if the statement is true for any one case, then it must be true for the next case.

Wiles's 200-page manuscript underwent unprecedented scrutiny by six referees, leading to the discovery of a fundamental error in chapter 3 involving the Kolyvagin-Flach method. Barry Mazur appointed six referees to review the massive proof, dividing it into six sections. Nick Katz and Luc Illusie meticulously checked chapter 3 line by line during the summer, where there are normally 30,000 papers published annually in journals worldwide. By late August, Katz identified a subtle and fundamental flaw indicating that the Kolyvagin-Flach method did not guarantee success for every element of all E-series and M-series as required.

Nick Katz and Luc Illusie spent the summer in Paris meeting multiple times a week to lecture to each other and comb through Wiles's manuscript line by line, eventually flagging the problematic step around August 23. The reviewed chapter spanned 70 pages, and a mathematician typically required 2 to 3 months to study that part of the manuscript in detail. Katz emailed Andrew regarding the problematic issue on 23 August.

On September 19, 1994, Wiles experienced a sudden revelation that the Kolyvagin-Flach method could be combined with his original Iwasawa theory to successfully mend his proof. After abandoning Iwasawa theory 3 years prior in favor of Kolyvagin-Flach, Wiles sat at his desk reviewing the Kolyvagin-Flach method just to explain why it failed. He suddenly realized that it provided precisely what was needed to make his original Iwasawa theory work, bridging the gap perfectly in an elegant and simple synthesis.

Wiles spent the morning of Monday, September 19, 1994, examining the Kolyvagin-Flach method at his desk before realizing the two incomplete approaches complemented each other perfectly. He stared in disbelief at his discovery for 20 minutes, and finished checking his work at 11 o'clock the following morning.

10 Key Ideas

1. Pythagoras founded a secretive religious community that worshipped numbers and discovered the foundational rules of mathematical proof and musical harmony.
2. While studying Diophantus's Arithmetica, Fermat formulated his Last Theorem by altering the powers in Pythagoras's equation and jotting his famous marginal note.
3. Leonhard Euler made the first historical breakthrough toward Fermat's Last Theorem by proving the case for $n = 3$ using imaginary numbers.
4. Sophie Germain developed a general approach to Fermat's Last Theorem using specific prime numbers, making the first major progress since Euler.
5. Ernst Kummer proved that Cauchy and Lamé's attempted proofs for Fermat's Last Theorem failed because introducing imaginary numbers destroys unique factorisation.
6. Taniyama and Shimura proposed a revolutionary bridge connecting elliptic curves and modular forms, creating the ultimate tool to solve Fermat's puzzle.
7. Gerhard Frey demonstrated that a counterexample to Fermat's Last Theorem would generate an exotic elliptic equation so bizarre that it could never be modular.
8. Andrew Wiles worked in total isolation for seven years, ultimately rescuing a flawed proof with the Kolyvagin-Flach method and Iwasawa theory.
9. Wiles's 200-page manuscript underwent unprecedented scrutiny by six referees, leading to the discovery of a fundamental error in chapter 3 involving the Kolyvagin-Flach method.
10. On September 19, 1994, Wiles experienced a sudden revelation that the Kolyvagin-Flach method could be combined with his original Iwasawa theory to successfully mend his proof.