This is it – the entire story of Fermat’s Last Theorem in a couple of thousand words. If this is a bit daunting, click here to see Fermat’s Last Theorem in 100 Words.

### The Quest to Solve the World’s Most Notorious Mathematical Problem

In 1963 a 10-year old boy borrowed a book from his local library in Cambridge, England. The boy was Andrew Wiles, a schoolchild with a passion for mathematics, and the book that had caught his eye was ‘The Last Problem’ by the mathematician Eric Temple Bell. The book recounted the history of Fermat’s Last Theorem, the most famous problem in mathematics, which had baffled the greatest minds on the planet for over three centuries.

There can be no problem in the field of physics, chemistry or biology that has so vehemently resisted attack for so many years. Indeed E.T. Bell predicted that civilisation would come to an end as a result of nuclear war before Fermat’s Last Theorem would ever be resolved. Nonetheless young Wiles was undaunted. He promised himself that he would devote the rest of his life to addressing the ancient challenge.

### Pierre De Fermat

The 17th century mathematician Pierre de Fermat created the Last Theorem while studying Arithmetica, an ancient Greek text written in about AD 250 by Diophantus of Alexandria. This was a manual on number theory, the purest form of mathematics, concerned with the study of whole numbers, the relationships between them, and the patterns they form.

The page of Arithmetica which inspired Fermat to create the Last Theorem discussed various aspects of Pythagoras’ Theorem, which states that:

In a right-angled triangle the square of the hypotenuse is equal to the sum of the squares on the other two sides.

In other words (or rather symbols):

x^{2} + y^{2} = z^{2}

where z is the length of the hypotenuse, the longest side, and x and y are the lengths of the other two sides.

In particular, Arithmetica asked its readers to find solutions to Pythagoras’ equation, such that x, y, and z could be any whole number, except zero. For example, 3^{2} + 4^{2} = 5^{2} (i.e. 9 + 16 = 25) or 5^{2} + 12^{2} = 13^{2} (i.e. 25 + 144 = 169). Fermat must have been bored with such a tried and tested equation, and as a result he considered a slightly mutated version of the equation:

x^{3} + y^{3} = z^{3}

The equation is now said to be to the power 3, rather than the power 2. Surprisingly, the Frenchman came to the conclusion that among the infinity of numbers there were none that fitted this new equation. Whereas Pythagoras’ equation had many possible solutions, Fermat claimed that his equation was insoluble.

Fermat went even further, believing that if the power of the equation were increased further, then these equations would also have no solutions:

x^{3} + y^{3} = z^{3},

x^{4} + y^{4} = z^{4},

x^{5} + y^{5} = z^{5},

x^{6} + y^{6} = z^{6},

:

:

The mathematical short-hand for this family of insoluble equations is:

x^{n} + y^{n} = z^{n}, where n is any number greater than 2.

According to Fermat, none of these equations could be solved and he noted this in the margin of his Arithmetica. To back up his theorem he had developed an argument or mathematical proof, and following the first marginal note he scribbled the most tantalising comment in the history of mathematics:

I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.

Fermat believed he could prove his theorem, but he never committed his proof to paper. After his death, mathematicians across Europe tried to rediscover the proof of what became known as Fermat’s Last Theorem. It was as though Fermat had buried an incredible treasure, but he had not written down the map. Mathematicians could not resist the lure of such an intellectual treasure and competed to find it first.

### Three Centuries of Failure

Throughout the eighteenth and nineteenth centuries no mathematician could find a counter-example, a set of numbers that fitted Fermat’s equation. Hence, it seemed that the Last Theorem was true, but without a proof nobody could be as sure as Fermat seemed to be. Some of the greatest mathematicians were able to devise specific proofs for individual equations (e.g. n = 3 and n = 5), but nobody was able to match Fermat’s general proof for all equations.

The longer that the Last Theorem remained unproven, the more important it became, and the more effort was put into finding a proof. It is worth noting that finding proof was unlikely to yield any useful application, but the simple joy of solving an innocent riddle was enough to spur on generations of number theorists. Although all their attempts ended in failure, a great deal of new mathematics was inspired along the way, and it can be argued that the progress of number theory has been largely inspired by the desire to prove Fermat’s Last Theorem.

The history of Fermat’s Last Theorem is a tale of intrigue, rivalry, rich prizes, suicide and death, involving characters who became obsessed by Fermat’s accidental challenge. One of the most intriguing stories concerns the most famous prize offered for a proof of the Last Theorem. It is said that toward the end of the nineteenth century Paul Wolfskehl, a German industrialist and amateur mathematician, was on the point of suicide. Some historians claim his depression was the result of a failed romance, others believe it was due to the onset of multiple sclerosis. He appointed a date for his suicide and intended to shoot himself through the head at the stroke of midnight. In the hours before his planned suicide Wolfskehl visited his library and began reading about the latest research on the Last Theorem.

Suddenly, he believed he could see a way of proving the theorem, and he became engrossed in exploring his newfound strategy. After hours of algebra Wolfskehl realised that his method had reached a dead-end, but the good news was that the appointed time of his suicide had passed. Despite his failure, Wolfskehl had been reminded of the beauty and elegance of number theory, and consequently he abandoned his plan to kill himself. Mathematics had renewed his desire for life. As a way of repaying a debt to the problem which saved his life, he rewrote his will and bequeathed 100,000 Marks (worth $2 million in today’s money) to whoever succeeded in proving Fermat’s Last Theorem.

Soon after his death in 1906, the Wolfskehl Prize was announced, generating an enormous amount of publicity and introducing the problem to the general public. Within the first year 621 proofs were sent in, most of them from amateur problem-solvers, all of them flawed.

### The Infinite Nightmare

One of the reasons why Fermat’s Last Theorem is so difficult to prove is that it applies to an infinite number of equations: x^{n} + y^{n} = z^{n}, where n is any number greater than 2. Even the advent of computers was of no help, because, although they could be employed to help perform sophisticated calculations, they could at best deal with only a finite number of equations.

Soon after the Second World War computers helped to prove the theorem for all values of n up to five hundred, then one thousand, and then ten thousand. In the 1980’s Samuel S. Wagstaff of the University of Illinois raised the limit to 25,000 and more recently mathematicians could claim that Fermat’s Last Theorem was true for all values of n up to four million. In other words, for the first four million equations mathematicians had proved that there were no numbers that fitted any of them.

This may seem to be a significant contribution toward finding a complete proof, but the standards of mathematical proofs demand absolute confidence that no numbers fit the equations for all values of n. Even though the theorem had been proven for all values n up to four million, there is no reason why it should be true for n = 4,000,001. And if in the future supercomputers proved the theorem for all values n up to one zillion, there is no reason why it should be true for n = one zillion and one. And so on ad infinitum. Infinity is unobtainable by the mere brute force of computerised number crunching.

The mathematician’s desire for an absolute proof up to infinity may seem unreasonable, but the case of Euler’s conjecture demonstrates the necessity of unequivocal truth. The 17th century Swiss mathematician Leonhard Euler claimed that there are no whole number solutions to an equation not dissimilar to Fermat’s equation:

Euler’s equation: x^{4} + y^{4} + z^{4} = w^{4}

For two hundred years nobody could prove Euler’s conjecture, but on the other hand nobody could disprove it by finding a counter-example. First manual searches and then years of computer sifting failed to find a solution. Lack of a counter-example appeared to be strong evidence in favour of the conjecture. Then in 1988 Noam Elkies of Harvard University discovered the following solution:

2,682,440^{4} + 15,365,639^{4} + 18,796,760^{4} = 20,615,673^{4}

Despite all the previous evidence, Euler’s conjecture turned out to be false. In fact Elkies proved that there are infinitely many solutions to the equation. The moral of the story is that you cannot use evidence from the first million numbers to prove absolutely a conjecture about all numbers.

After three centuries of failure mathematicians were beginning to lose hope that a proof for Fermat’s Last Theorem would ever be found. When the logician David Hilbert, one of the greatest mathematicians of the 20th century, was asked why he never attempted a proof of Fermat’s Last Theorem, he replied, “Before beginning I should have to put in three years of intensive study, and I haven’t that much time to squander on a probable failure.”

The problem still held a special place in the hearts of number theorists, but now they viewed it in the same way that chemists thought about alchemy. Both were foolish, impossible dreams from a bygone age.

### The Shimura-Taniyama Conjecture

Between 1954 and 1986 a chain of events of occurred which brought Fermat’s Last Theorem back into the mainstream. The incident which began everything happened in post-war Japan, when Yutaka Taniyama and Goro Shimura, two young academics, decided to collaborate on the study of elliptic curves and modular forms. These entities are from opposite ends of the mathematical spectrum, and had previously been studied in isolations.

Elliptic curves, which have been studied since the time of Diophantus, concern cubic equations of the form:

y^{2} = (x + a).(x + b).(x + c), where a, b & c can be any whole number, except zero.

The challenge is to identify and quantify the whole solutions to the equations, the solutions differing according to the values of a, b, and c.

Modular forms are a much more modern mathematical entity, born in the nineteenth century. They are functions, not so different to functions such as sine and cosine, but modular forms are exceptional because they exhibit a high degree of symmetry. For example, the sine function is slightly symmetrical because 2p can be added to any number, x, and yet the result of the function remains unchanged, i.e., sine (x) = sine (x + 2p). However, for modular forms the number x can be transformed in an infinite number of ways and yet the outcome of the function remains unchanged, hence they are said to be extraordinarily symmetric. I will not describe the transformations in any further detail because they involve relatively complicated mathematics and the numbers in question (x) are so-called complex numbers, composed of real and imaginary parts.

Despite belonging to a completely different area of the mathematics, Shimura and Taniyama began to suspect that the elliptic curves might be related to modular forms in a fundamental way. It seemed that the solutions for any one of the infinite number of elliptic curves could be derived from one of the infinite number of modular forms. Each elliptic curve seemed to be a modular form in disguise.

This apparent unification became known as the Shimura-Taniyama conjecture, reflecting the fact that mathematicians were confident that it was true, but as yet were unable to prove it. The conjecture was considered important because if it were true problems about elliptic curves, which hitherto had been insoluble, could potentially be solved by using techniques developed for modular forms, and vice versa.

Relationships between apparently different subjects are as creatively important in mathematics as they are in any discipline. The relationship hints at some underlying truth that enriches both subjects. For example, in the nineteenth century theorists and experimentalists realised that electricity and magnetism, which had previously been studied in isolation, were intimately related. This resulted in a deeper understanding of both phenomena. Electric currents generate magnetic fields, and magnets can induce electricity in wires passing close to them. This led to the invention of dynamos and electric motors, and ultimately the discovery that light itself is the result of magnetic and electric fields oscillating in harmony.

Even though the Shimura-Taniyama conjecture could not be proved, as the decades passed it gradually became increasingly influential, and by the 1970s mathematicians would begin papers by assuming the Shimura-Taniyama conjecture and then derive some new result. In due course many major results came to rely on the conjecture being proved, but these results could themselves only be classified as conjectures, because they were conditional on the proof of the Shimura-Taniyama conjecture. Despite its pivotal role, few believed it would be proved this century.

Then, in 1986, Kenneth A Ribet of the University of California at Berkeley, building on the work of Gerhard Frey of the University of Saarlands, made an astonishing breakthrough. He was unable to prove the Shimura-Taniyama conjecture, but he was able to link it with Fermat’s Last Theorem.

The link occurred by contemplating the unthinkable – what would happen if Fermat’s Last Theorem was not true? This would mean that there existed a set of solutions to Fermat’s equation, and therefore this hypothetical combination of numbers could be used as the basis for constructing a hypothetical elliptic curve. Ribet demonstrated that this elliptic curve could not possibly be related to a modular form, and as such it would defy the Shimura-Taniyama conjecture.

Running the argument backwards, if somebody could prove the Shimura-Taniyama conjecture then every elliptic curve must be related to a modular form, hence any solution to Fermat’s equation is forbidden to exist, and hence Fermat’s Theorem must be true. If somebody could prove the Shimura-Taniyama conjecture, then this would immediately imply the proof of Fermat’s Last Theorem. By proving one of the most important conjectures of the twentieth century, mathematicians could solve a riddle from the seventeenth century.

### Childhood Dream, Adult Obsession

The Shimura-Taniyama conjecture had remained unproven since the 1950s and so there was little optimism that it was a realistic route to a proof of Fermat’s Last Theorem. Some mathematicians joked that, if anything, the Shimura-Taniyama conjecture was even further out of reach, because, by definition, anything that led to a proof of the Last Theorem must be impossible.

But for Wiles, anything that would lead to the Last Theorem was worth pursuing. He knew that this might be his only chance to realise his childhood dream and he had the audacity to attack the Shimura-Taniyama conjecture. As a graduate student at Cambridge University, he had concentrated on studying elliptic curves, and then as a professor at Princeton University he had continued his research, putting him in an ideal position for attempting a proof.

As he embarked on his proof, Wiles made the extraordinary decision to conduct his research in complete secrecy. He did not want the pressure of public attention, nor did he want to risk others copying his ideas and stealing the prize. In order not to arouse suspicion Wiles devised a cunning ploy that would throw his colleagues off the scent. During the early 1980s he had been working on a major piece of research on a particular type of elliptic curve, which he was about to publish in its entirety until the discoveries of Ribet and Frey made him change his mind. Wiles decided to publish his research bit by bit, releasing another minor paper every six months or so. This apparent productivity would convince his colleagues that Wiles was still continuing with his usual research. For as long as he could maintain this charade Wiles could continue working on his true obsession without revealing any of his breakthroughs. For the next seven years he worked in isolation, and his colleagues were oblivious to what he was doing. The only person who knew of his secret project was his wife – he told her during their honeymoon.

The number of elliptic curves and modular forms is infinite, and the Shimura-Taniyama conjecture claimed each elliptic curve could be matched with a modular. However, to succeed Wiles did not have to prove the full Shimura-Taniyama conjecture. Instead he only had to show that a particular subset of elliptic curves (one which would include the hypothetical Fermat elliptic curve) is modular. However, this subset is still infinite in size and it includes the majority of interesting curves.

To prove that something is true for an infinite number of cases required Wiles to pull together some of the most recent breakthroughs in number theory, and in addition invent new techniques of his own. He adopted a strategy loosely based on a method known as induction. Proof by induction can prove something for an infinite number of cases by invoking a domino toppling approach, i.e., to knock down an infinite number of dominoes, one merely has to ensure that knocking down any domino will always topple the next domino. In other words, Wiles had to develop an argument in which he could prove the first case, and then be sure that proving any one case would implicitly prove the next one.

At each stage Wiles could never be sure that he could complete his proof. He realised that even if he did have the correct strategy, the mathematical techniques required might not yet exist – he might be on the right track, but living in the wrong century. Eventually, in 1993, Wiles felt confident that his proof was reaching completion. The opportunity arose to announce his proof of a major section of the Shimura-Taniyama conjecture, and hence Fermat’s Last Theorem, at a special conference to be held at the Isaac Newton Institute in Cambridge, England. Because this was his home town, where he had encountered the Last Theorem as a child, he decided to make a concerted effort to complete the proof in time for the conference. On June 23rd he announced his seven-year calculation to a stunned audience.

His secret research programme had apparently been a success, and the mathematical community and the world’s press rejoiced. The front page of the New York Times exclaimed “At Last, Shout of ‘Eureka!’ in Age-Old Math Mystery”, and Wiles appeared on television stations around the world. People magazine even listed him among “The 25 Most Intriguing People of the Year’, alongside such luminaries as Oprah Winfrey, but the ultimate accolade came from an international clothing chain who asked the mild-mannered genius to endorse their new range of menswear.

The most unlikely consequence of Wiles’ success was consternation among fans of the TV series, Star Trek. In one particular episode (The Royale, 1989) Jean-Luc Picard, the captain of the Starship Enterprise, was seen trying to find a proof of Fermat’s Last Theorem. He was apparently unaware that it had been already been proved in the twentieth century by Andrew Wiles.

While the media circus continued, the official peer review process began. Over the summer the 200-page proof was examined line by line by a team of referees. The manuscript was split into seven chapters, and each chapter was sent to a pair of expert examiners. Wiles checked and double-checked the proof before releasing it to the referees, so he was expecting little more than the mathematical equivalent of grammatical and typographic errors, trivial mistakes that he could fix immediately. However, gradually it emerged that there was a fundamental and devastating flaw in one stage of the argument.

Essentially, the inductive argument used by Wiles could not guarantee that if one domino toppled, then so would the next. Over the course of the next year his childhood dream turned into a nightmare. Each attempt to fix the error ended in failure, each attempt to by-pass the error ended in a dead-end. And throughout this period the manuscript had only been seen by the small team of referees and Wiles himself. There were calls from the mathematics community to publish the flawed proof, which would allow others to try and fix it, but Wiles steadfastly refused. He believed that he deserved the first chance to correct a piece of work that had already taken him seven years.

After months of failure Wiles did take into his confidence Richard Taylor, a former student of his, hoping that this would give him someone to bounce ideas off, someone who could inspire him to consider alternative strategies. By September 1994 they were at the point of admitting defeat, ready to release the flawed proof so that others could try and fix it. Then on September 19th they made the vital breakthrough. Many years earlier, when he was working in secrecy, Wiles had considered using an alternative approach, but it floundered and so he had abandoned it. Now they realised that what was causing the more recent method to fail was exactly what would make the abandoned approach succeed.

Wiles recalls his reaction to the discovery: “It was so indescribably beautiful, it was so simple and so elegant. The first night I went back home and slept on it. I checked through it again the next morning and, and I went down and told me wife, ‘I’ve got it! I think I’ve found it !’. And it was so unexpected that she thought I was talking about a children’s toy or something, and she said, ‘Got what?’ I said, ‘I’ve fixed my proof. I’ve got it.'”

### Fermat’s Lost Proof?

The rules of the Wolfskehl Prize demanded two years of scrutiny following publication of the proof, so it was not until June 27th 1997 that Andrew could collect his reward. When it was originally established, the Wolfskehl prize was worth $2 million dollars, but hyperinflation followed by the devaluation of the Reichsmark had reduced its value to $50,000. For Wiles, the sum of money was unimportant. His proof is the realization of a childhood dream and the culmination of a decade of concentrated effort.

Wiles’ proof of Fermat’s Last Theorem relies on verifying a conjecture born in the 1950s, which in turn shows that there is a fundamental relationship between elliptic curves and modular forms. The argument exploits a series of mathematical techniques developed in the last decade, some of which were invented by Wiles himself. The proof is a masterpiece of modern mathematics, which leads to the inevitable conclusion that Wiles’ proof of the Last Theorem can not possibly be the same as Fermat’s.

If Fermat did not have Wiles’ proof, then what did he have? The hard-headed sceptics believe that Fermat’s Last Theorem was the result of a rare moment of weakness by the seventeenth century genius. They claim that although Fermat wrote “I have discovered a truly marvellous proof”, he had in fact only found a flawed proof. Other mathematicians, the romantic optimists, believe that Fermat may have had a genuine proof. Whatever this proof might have been, it would have been based on 17th century techniques and would have involved an argument so cunning that it has eluded everybody else. Indeed there are plenty of mathematicians who believe that they can still achieve fame and glory by discovering Fermat’s original proof.

As far as Wiles is concerned the battle to prove Fermat is over: “There’s no other problem that will mean the same to me. This was my childhood passion. There’s nothing to replace that. I had this very rare privilege of being able to pursue in my adult life what had been my childhood dream. I know it’s a rare privilege, but if you can tackle something in adult life that means that much to you, then it’s more rewarding than anything imaginable.”