NAME______Dr. Sarah’s Worksheet on Andrew Wiles and Fermat’s Last Theorem

Andrew Wiles, 1953-present

Andrew Wiles is famous for solving Fermat’s Last Theorem. He works in the field of algebraic geometry and has received many awards, including the prestigious MacArthur Fellowship award. For seven years Andrew Wiles worked in unprecedented secrecy, struggling to solve Fermat’s Last Theorem, a problem that had perplexed and motivated mathematicians for 300 years. While the statement of Fermat’s Last Theorem itself does not seem important, attempts at solutions inspired many new mathematical ideas and theories, and so in this manner, it is very important. In addition, if Fermat’s Last Theorem had been false, this would have implied that Taniyama-Shimura, whose truth was depended on by many conjectures and ideas, was false. Andrew Wiles’ solution of Fermat’s Last Theorem brought him fame and satisfaction: I had this very rare privilege of being able to pursue in my adult life what had been my childhood dream. Yet, it also brought him pain when a subtle but fundamental error was discovered in his proof. Even though Wiles first submitted his proof before he was forty years old, by the time he eventually fixed the mistake, he was too old to earn the Field's Medal, which is mathematics’ highest award. This does not take away from his magnificent achievement because Fermat’s Last Theorem has finally been proven by Andrew Wiles.

Influences, Support and Diversity Issues As a ten year old, Andrew Wiles loved solving mathematical problems. One day, in the public library, he read about the history of Fermat’s Last Theorem in a book on mathematics. This problem fascinated and motivated him. In his early teenage years, he tried to solve Fermat’s Last Theorem by using the mathematical techniques that Pierre de Fermat had access to as a 17th century mathematician. Since Wiles loved and worked on mathematics as a child and teenager, it seems that he had the support of family and society.

In college, as he learned more mathematics, he realized that many people had continued to work on Fermat’s Last Theorem during the 18th and 19th centuries and he studied those methods. As his mathematical knowledge became more advanced, he realized that there were no new techniques available to solve Fermat’s Last Theorem and his advisor encouraged him to put the problem aside and instead study the field of algebraic geometry. It was only when Fermat’s Last Theorem became linked to modern mathematical methods in algebraic geometry that he began working on the problem as an adult. During this time, he had the support of his wife.

The people Andrew Wiles works with, his co-authors, and his PhD students are mostly white men, with the exception of some PhD students who are foreign born but are not typical minorities in mathematics. His nine PhD students have all been male, and none of them were African American. There does not seem to be any apparent multicultural or diversity issues in his experiences. Mathematical Style Andrew Wiles needs intense concentration in order to do mathematics. His devotion to and obsession with mathematics can be viewed as a weakness. While he was working on Fermat’s Last Theorem in secrecy, he published only a few papers, a problem at Princeton. These weaknesses can also be viewed as strengths. With them, he was able to solve a problem that people thought would not yield to present mathematical techniques. Even though he had no idea whether he could ever find a complete proof, especially because a proof of Fermat’s Last Theorem might have required methods well beyond present day mathematics, he never gave up.

While Andrew Wiles worked alone in unprecedented secrecy for seven years, working with others has still been important to him. He has worked alone on some of his papers, and collaborated on others. He has five different co-authors, which shows that he does indeed work with other people at times. In addition, when he was ready to publicize his proof of Fermat’s Last Theorem, he instead called in Nicholas Katz in order to explain it to him. This helped Wiles, because one really has to understand something in order to explain it to someone else. Wiles taught a course on elliptic curves, but only Katz knew that Wiles was going over the ideas in his proof. After a few weeks, Katz was the only person remaining. We can infer that Wiles is probably not a great teacher since he could have just explained the ideas to Katz outside of class. On the other hand, when he publicized his proof at a conference, his lectures were described as beautiful. Hence, Wiles can effectively communicate his ideas to colleagues. After he could not fix the fundamental error later found in his proof, he called in Richard Taylor to help him. The two eventually fixed the problem. Hence, we see that while Wiles likes working alone, collaborative efforts have also been essential to his mathematics.

Andrew Wiles describes mathematical research as follows: Perhaps I could best describe my experience of doing mathematics in terms of entering a dark mansion. One goes into the first room, and it's dark, completely dark. One stumbles around bumping into the furniture, and gradually, you learn where each piece of furniture is, and finally, after six months or so, you find the light switch. You turn it on, and suddenly, it's all illuminated. You can see exactly where you were. Then you move into the next room and spend another six months in the dark. So each of these breakthroughs, while sometimes they’re momentary, sometimes over a period of a day or two, they are the culmination of – and couldn’t exist without – the many months of stumbling around in the dark that proceed them. During the first two years that he worked on Fermat’s Last Theorem, he immersed himself in the problem, trying to find a strategy that would work. Andrew Wiles never uses a computer. Instead, he doodles, scribbles and tries to find patterns via calculations. He uses books or articles to see how certain things have been done in the past, and tries to modify old techniques for his use. When he is stuck on a problem, he tries to change it into a new version that he can solve. Sometimes he must create brand new techniques in order to solve a problem and where these come from is a mystery to him. When he is stuck, he plays with his children or walks by the lake in order to relax and allow his subconscious to work.

Andrew Wiles defines a good mathematical problem by the mathematics it generates, rather than by the problem itself. Whatever method he is using to do research, his motto can best be described from Dr. Sarah’s creative inquiry lessons for life as “make mistakes and fail but never give up. Instead, learn from your mistakes and use them to grow.” The Concept of Proof

We are familiar with integer solutions to a2 + b2 = c2, such as (3,4,5), which satisfies the equation. In fact, given any whole number n, to see that (3n, 4n, 5n) is an integer solution to a2 + b2 = c2, ie that (3n)2 + (4n)2 = (5n)2, notice that (3n)2 + (4n)2 = 32n2 + 42n2 = 9n2 + 16n2 = (25)n2 = 52n2 = (5n)2 For example, for n=1, (3,4,5) is a solution, while for n=2, (6,8,10) is a solution, and for n=3, (9,12,15) is a solution. Question: How many integer solutions does the equation a2 + b2 = c2 have? (Hint: Think about how many different solutions you can obtain by using different values of n.)

Exploration: The Pythagorean theorem says that if c is the longest side of a right triangle, and a and b are the other two sides, then a2 + b2 = c2. It would be hard to demonstrate why the Pythagorean Theorem holds just by using algebra. Instead, we will move the problem to the world of geometry, solve it there, and then look back to see what this tells us about algebra. Algebraic geometers use this process all the time to solve problems in algebra or geometry. They work in whichever realm is easiest, and then they translate the problem and solution back to the other world. Think of each side of a right triangle as also being a side of a square that is attached to the triangle. In order to show that a2 + b2 = c2, we will show that the area of the square with side c, c2, is the same as the area of the other two squares put together. Since the numbers are represented by area, this will show us that the numbers are equal. On the separate handout, cut out all three squares. Place the squares made from sides a and b on top of the square with side c, so that they fit exactly and so that there is no overlap. You will have to cut one of the smaller squares into pieces in order to get a perfect fit. Show us when you are finished.

Mathematician David Henderson explains that: A proof… is a communication -- when we prove something we are not done until we can communicate it to others and the nature of this communication, of course, depends on the community to which one is communicating and is thus in part a social phenomenon. is convincing -- a proof "works" when it convinces others. Of course some people become convinced too easily so we are more confident in the proof if it convinces someone who was originally a skeptic. Also, a proof that convinces me may not convince you or my students. answers -- Why? -- The proof should explain something that the hearer of the proof wants to have explained. I think most people in mathematics have had the experience of logically following a proof step by step but are still dissatisfied because it did not answer questions of the sort: "Why is it true?" "Where did it come from?" "How did you see it?" "What does it mean?" Question: Did the above cutout exploration satisfy David Henderson’s definition of proof as a convincing communication that answers --Why? Relate the 3 parts of his definition to your answer. Also critique the pros and cons of this exploration. Question: Fermat said that you could not find any non-zero whole number solutions to the equation an + bn = cn when n>2. In other words, there are NO non-zero integer solutions to this equation if n>2. In a mathematical proof you have to write down a line of reasoning demonstrating why there are no integer solutions. If the proof is rigorous, then nobody can ever prove it wrong. Why can’t we just ask a computer to check that there are no solutions?

Review: Recall that Andrew Wiles proved Fermat’s Last Theorem by showing that Taniyama-Shimura is true. At first glance, it appeared that Taniyama-Shimura was unrelated to Fermat’s Last Theorem. Taniyama-Shimura said that all elliptic curves (donuts) are modular forms (symmetries), and gave a dictionary in order to translate problems, intuition, equations and proofs between these two worlds. Even though Taniyama-Shimura had not yet been proven, many mathematical ideas came to depend on it. The Epsilon-Conjecture related Taniyama-Shimura to Fermat’s Last Theorem. It stated that if Fermat’s Last Theorem was false and there was a non-zero whole number solution to Fermat’s Last Theorem, then this solution would be so weird that one could use it to find an elliptic curve that was not modular, and so Taniyama-Shimura would also be false. Andrew Wiles then proved Fermat’s Last Theorem by showing that Taniyama-Shimura is true. Question: Using these ideas along with what you saw in the video, did Andrew Wiles’ proof satisfy David Henderson’s definition of proof? Review Henderson's definition and then relate this to your answer. Also critique the pros and cons of his proof.

Annotated References http://hcoonce.math.mankato.msus.edu/html/id.phtml?id=9696 I used this site to find out that Wiles has had 9 PhD students who are all men. http://www.ams.org/new-in-math/cover/wiles.html I used this site to find out his year of birth, why he did not receive the Field’s medal and obtain the picture of him that is on this worksheet. http://www.cs.appstate.edu/~sjg/class/1010/wc/creativeinquiry.html I used this site to obtain the “motto” that I used for Andrew Wiles about never giving up. http://www.pbs.org/wgbh/nova/proof/puzzle/theoremsans.html I used this site to obtain pictures and activities on the Pythagorean theorem. http://www.pbs.org/wgbh/nova/proof/wiles.html I used this site to obtain info on his early influences, mathematical style and description of research. Mathscinet search on Andrew Wiles. (2001) [On-line]. Available: http://www.ams.org/mathscinet I used this site to find his published papers and collaborators. Notable Mathematicians From Ancient Times to the Present, edited by Robyn V. Young, Gale publishing, 1998, p. 515-517. This book contains a nice overview of Wiles.