Difference between revisions of "Fermat's Last Theorem"

Revision as of 22:18, July 28, 2010

Pierre de Fermat

Fermat's Last Theorem asserts that the well-known Pythagorean Theorem has no solutions for higher powers. That is,

has infinitely many solutions, such as {3, 4, 5} or {5, 12, 13}; but

has no solutions using positive whole numbers.

It was conjectured by the French mathematician Pierre de Fermat. He said he had proved this problem but that there was not enough room in the margin to state his proof:^[1]

"Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."

The English translation of Fermat's Latin statement is:^[2]

"It is impossible for a cube to be the sum of two cubes, a fourth power to be the sum of two fourth powers, or in general for any number that is a power greater than the second to be the sum of two like powers. I have discovered a truly marvelous demonstration of this proposition that this margin is too narrow to contain."

This problem has confounded mathematicians for centuries, and there still is no proof for it using elementary techniques. Gauss and other mathematicians doubt that Fermat was able to prove it himself, but Cal Tech mathematics Professor E.T. Bell, who wrote the standard biography of all the great mathematicians, wryly observed that "the fox who could not get at the grapes declared they were sour." ^[3] "And so for all of [Fermat's] positive assertions with the one exception of the seemingly simple one which he made in his Last Theorem and which mathematicians, struggling for nearly 300 years, have been unable to prove: whenever Fermat asserted that he had proved anything, the statement, with the one exception noted, has subsequently been proved. Both his scrupulously honest character and his unrivalled penetration as an arithmetician substantiate the claim made for him by some, but not by all, that he knew what he was talking about when he asserted that he possessed a proof of his theorem."^[4]

The theorem is as follows:

Andrew Wiles

For integers n > 2, there are no nonzero integral solutions to: xⁿ + yⁿ = zⁿ

In the summer of 1986, Ken Ribet proved that Fermat's Last Theorem is a special case of the Taniyama–Shimura Conjecture.

In a series of lectures in 1993, mathematician Andrew Wiles announced a proof using techniques in algebraic geometry, relying on the nonconstructive Axiom of Choice.^[5] A flaw was found before publication, and Wiles spent a year on fixing the flaw. Then, in September 1994, he and Richard Taylor announced a new version of the proof. However, criticism does continue on the internet.^[5] Further criticism came from Marilyn vos Savant, known for her very high IQ and commentary on mathematics, in her column and book.^[6][7] She questioned the use of Non-Euclidean geometry and the Axiom of Choice, among other points. She retracted her argument in a 1995 addendum to the book.

The Wiles-Taylor proof also makes use of some Grothendieck tools in cohomological number theory that use an axiom beyond the standard ZFC axioms. It is an open question whether these tools can be formalized into a ZFC proof.^[8]

References

1. ↑ Nagell 1951, p. 252.
2. ↑ http://mathworld.wolfram.com/FermatsLastTheorem.html
3. ↑ E.T. Bell, "Men of Mathematics" 72 (1937).
4. ↑ E.T. Bell, "Men of Mathematics" 71 (1937).
5. ↑ ^{5.0 5.1} http://www.occampress.com/fermat.pdf Page 5
6. ↑ Ask Marilyn ® by Marilyn vos Savant, Parade Magazine. November 21, 1993
7. ↑ The World's Most Famous Math Problem: The Proof of Fermat's Last Theorem and Other Mathematical Mysteries, Marilyn vos Savant. St. Martin's Griffin, 1993
8. ↑ Colin Mclarty http://www.cwru.edu/artsci/phil/Proving_FLT.pdf