Mathematics Atlas

How Proof Is Made
Theorems

Fermat's Last Theorem

fair-MAH, silent final t; named for Pierre de Fermat
Also Known As Fermat's Conjecture
Number Theory

Citation Formats

General Reference

APA Style

BibTeX

The atlas's own conjecture-become-theorem precedent, carried here as a theorem rather than a conjecture because it is now proved, with both ends of its 358-year history on record: Pierre de Fermat's 1637 marginal claim to a proof too large for the margin to hold, and Andrew Wiles's corrected 1995 proof, produced with Richard Taylor after a gap found in Wiles's original 1993 announcement. No trace of any proof by Fermat himself survives, and mathematicians generally believe the elementary methods available in 1637 could not have proved the general case; Sophie Germain, among others, proved significant partial results toward it in the intervening centuries. Wiles's proof works by establishing enough of a separate, deep conjecture, the modularity theorem linking elliptic curves and modular forms, to force Fermat's claim as a consequence.

Facts
Statement
No three positive integers a, b and c can satisfy the equation a to the n plus b to the n equals c to the n, for any integer value of n strictly greater than two. 1
Proof Year
1995 1
Wiles announced a proof in June 1993; reviewers found a gap the same year, and the corrected proof, with Richard Taylor, was published in 1995.
Cross-Tradition Connections

Associated With

Beal Conjecture, Conjectures

Fermat's Last Theorem is the special case of the Beal conjecture where the three exponents are forced equal, per Wikipedia's Relation to other conjectures section.

In Branch

Additional Source Wikipedia: Fermat's Last TheoremWiles's general proof section

Posed By

Proved By

Sources
1. Encyclopaedia Britannica, Mathematics
Encyclopaedia Britannica, Inc.
Fermat (Wiktionary)
Wikimedia FoundationPronunciation section, General American
Quote, Pronunciation section, General American
/ˈfɜɹmæt/, /ˈfɜɹmɑ/, /ˈfɛɹmɑ/
View the Source
Beal Conjecture (Wikipedia)
Wikimedia FoundationAssociated With: Beal Conjecture, Relation to other conjectures section
Quote, Associated With: Beal Conjecture, Relation to other conjectures section
Fermat's Last Theorem can be seen as a special case of the Beal conjecture restricted to x = y = z.
View the Source
Wikipedia: Fermat's Last Theorem
Wikimedia FoundationPosed By: Pierre de Fermat, History section
Quote, Posed By: Pierre de Fermat, History section
Around 1637, Fermat wrote his Last Theorem in Latin in the margin of his copy of the Arithmetica next to Diophantus's sum-of-squares problem
View the Source
Wikipedia: Fermat's Last Theorem
Wikimedia FoundationProved By: Andrew Wiles, Lead section
Quote, Proved By: Andrew Wiles, Lead section
After 358 years of effort by mathematicians, the first successful proof was released in 1994 by Andrew Wiles and formally published in 1995.
View the Source
Wikipedia: Fermat's Last Theorem
Wikimedia FoundationIn Branch: Number Theory, Lead section
Quote, In Branch: Number Theory, Lead section
In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that there are no positive integers a, b, c, n with n > 2 such that a^n + b^n = c^n.
View the Source
Wikipedia: Fermat's Last Theorem
Wikimedia FoundationIn Branch: Algebraic Number Theory, Wiles's general proof section
Quote, In Branch: Algebraic Number Theory, Wiles's general proof section
The proof's method of identification of a deformation ring with a Hecke algebra (now referred to as an R=T theorem) to prove modularity lifting theorems has been an influential development in algebraic number theory.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.