BadNick

Talk about problems, the longest standing math problem in the world is standing no more; i.e. Fermat's Last Theorem.

While this might be old news to all you math buffs, I'll take the liberty to post about it here hoping that this might be one of the longest posts in the longest thread. It doesn't have to be "longest"; "one of the longest" is good enough for me until further notice.

Fermat proposed that x^n + y^n = z^n has no non-zero integer solutions for x, y and z when n > 2. This simple conjecture was not solved for over 350 years and through the centuries became one of math’s greatest puzzles.

Then came along Andrew Wiles. As a child Wiles loved doing math problems. When he was ten he came across Fermat’s Last Theorem which was, at the time, unsolved for 300 years. “It looked so simple, and yet all the great mathematicians in history couldn’t solve it,” said Wiles. “I had to solve it.”

Wiles quickly became obsessed with solving the problem. Throughout his teenage and college years he worked on it, using his own methods and that of the mathematicians who had worked on it before him. However, when he became a research student he decided to put the problem aside. Wiles realized that current techniques could not solve the problem and that one could spend years without making any progress. Also, a proof of Fermat’s Last Theorem would be completely useless to mathematics – it would not lead to anything useful for mathematicians. Instead, he went on to study elliptical curves at Cambridge.

His study of elliptical curves would prove useful, for in 1986 a new possibility was presented to Wiles. Ken Ribet linked Fermat’s Last Theorem to another unsolved problem, the Taniyama-Shimura conjecture, which happened to be about elliptical curves. If one conjecture was true, both were – thus, if Wiles could prove the Taniyama-Shimura conjecture, he could prove Fermat’s Last Theorem as well.

From that moment on he was determined to solve the riddle. He dropped all other projects he was working on and concentrated on the Taniyama-Shimura conjecture – in secrecy and isolation. “I realized that anything to do with Fermat’s Last Theorem generates too much interest. You can’t really focus yourself for years unless you have undivided concentration, which too many spectators would have destroyed.” His wife did not even know that he was working on the problem until he told her during their honeymoon.

Wiles worked on the problem alone for seven years. He devoted all of his time to working on the proof, the only exception being spending time with his family. He had a few breakthroughs but not a complete proof until one day in spring of 1993 in which he had the idea of examining the elliptical curves from the prime five instead of the prime three. Working feverishly (and forgetting to eat lunch), Wiles went to his wife that afternoon saying he had the proof.

Wiles introduced the proof in a series of three lectures which made no mention of Fermat’s Last Theorem, but rather of elliptical curves. However, the audience realized by the end of the third lecture what Wiles was leading them towards. Once Wiles had finished his proof of the Taniyama-Shimura conjecture, he put Fermat’s Last Theorem on the board then concluded saying, “I think I’ll stop there.”

Wiles gained instant fame for having developed a solution to Fermat’s Last Theorem. However, soon Nick Katz discovered that there was an error in a key section of his original proof. This setback proved difficult for Wiles to overcome, and none of the methods he tried could solve the error. He was about to give up when he re-examined his original (though discarded) method and found that there was actually a way to use it to resolve his mistake. “It was so indescribably beautiful,” said Wiles about the moment he solved the problem. “It was so simple and so elegant, and I just stared in disbelief for twenty minutes.” Thus, in 1994 the final proof of Fermat’s Last Theorem was complete, weighing it at 200 pages, more complex than most people can understand.

The full riddle, however, is still not completely solved, for it remains unknown whether Fermat ever really had a brilliant proof to his conjecture. Fermat could not have thought of Wiles’ proof – Wiles says that, “the techniques used in this proof just weren’t around in Fermat’s time.” With the many mathematicians who had thought they’d solved it in the past, it is possible that Fermat deluded himself as well – but a simpler solution may still exist. Wiles, however, is content with his difficult proof – “I had this very rare privilege of being able to pursue in my adult life what had been my childhood dream.”


I hope they named A & W Root Beer after Andrew Wiles in honor of this achievement.