Fermat's Last Theorem

The Statement

Fermat’s Last Theorem states that there are no positive integers

satisfying

when

For $n=2$, the equation

has many solutions, called Pythagorean triples. For example,

Fermat’s Last Theorem says that this phenomenon stops completely for powers greater than $2$.

Reduction to Prime Exponents

It is enough to prove the theorem when $n$ is prime.

Suppose

where $p$ is prime. If

then

Thus a solution for exponent $n$ would produce a solution for exponent $p$.

Therefore the main problem is to rule out solutions of

for odd primes $p$, together with the special case $n=4$.

Fermat’s Descent for $n=4$

Fermat proved the case $n=4$ using infinite descent.

The equation

would imply a related equation

Fermat showed that any positive integer solution would lead to a smaller positive integer solution.

This is impossible, because positive integers cannot decrease forever.

Infinite descent became one of the classic proof methods in number theory.

Early Special Cases

After Fermat, many mathematicians proved special cases.

Euler proved the case

Dirichlet and Legendre proved the case

Lamé proved the case

These proofs used increasingly sophisticated arithmetic, but each treated only particular exponents.

The general theorem required a much deeper structural idea.

Unique Factorization and Its Failure

A natural approach is to factor

using roots of unity:

where

is a primitive $p$-th root of unity.

This factorization takes place in the cyclotomic ring

If unique factorization held in this ring, one might hope to prove the theorem by studying the factors separately.

However, unique factorization does not always hold in cyclotomic integer rings.

This failure obstructed early attempts and led to the development of algebraic number theory.

Kummer’s Ideal Theory

Kummer introduced ideal numbers to repair the failure of unique factorization.

His work led to the modern theory of ideals in rings of algebraic integers.

Kummer proved Fermat’s Last Theorem for regular primes, a large class of primes defined through divisibility properties of class numbers of cyclotomic fields.

This was a major advance, but not a complete proof.

The theorem remained open because irregular primes could not be handled by these methods alone.

The Modern Shift

The final proof did not come from elementary manipulation of the equation itself.

Instead, it came from a deep connection between:

and

This connection is part of the Langlands program.

The key idea was to show that a hypothetical solution to Fermat’s equation would produce an elliptic curve with impossible modular properties.

The Frey Curve

Suppose there were a solution

with $p>2$.

Frey associated to such a solution an elliptic curve roughly of the form

This curve is now called the Frey curve.

The Frey curve has highly unusual arithmetic properties. It is semistable and has a conductor with special structure.

The important point is that the existence of a Fermat solution would imply the existence of an elliptic curve that should not exist.

Ribet’s Theorem

Serre formulated a precise conjectural link between the Frey curve and modular forms.

Ribet proved the key implication:

if the Frey curve existed, then it would contradict the expected modularity properties of elliptic curves.

More concretely, Ribet showed that a solution to Fermat’s equation would produce a semistable elliptic curve over $\mathbb{Q}$ that is not modular.

Thus Fermat’s Last Theorem would follow from the modularity of semistable elliptic curves.

The Modularity Theorem

The modularity theorem states that elliptic curves over $\mathbb{Q}$ are connected to modular forms.

In the semistable case, it says that every semistable elliptic curve over $\mathbb{Q}$ is modular.

Andrew Wiles proved this semistable case, with a correction completed jointly with Richard Taylor.

Combining Wiles’s modularity result with Ribet’s theorem proves Fermat’s Last Theorem.

The logic is:

Assume a Fermat solution exists.

Then construct the Frey curve.

Ribet’s theorem implies this curve is not modular.

Wiles’s theorem implies this curve is modular.

Contradiction.

Therefore no Fermat solution exists.

Why the Proof Was So Deep

The final proof used ideas far beyond the original equation.

It required:

The proof works not by directly solving

but by embedding the equation into a large arithmetic-geometric framework.

This is typical of modern number theory: an elementary problem may require a structural theorem from a much broader theory.

Conceptual Importance

Fermat’s Last Theorem is important not only because it solved a famous problem, but because of how it was solved.

It revealed that Diophantine equations are deeply connected to modular forms and elliptic curves.

The proof became a landmark example of the power of arithmetic geometry.

A simple equation about integer powers led to some of the central machinery of modern number theory.