Skip to main content
Home
plus.maths.org

Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • Main navigation

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • For

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

    Popular topics and tags

    Shapes

    • Geometry
    • Vectors and matrices
    • Topology
    • Networks and graph theory
    • Fractals

    Numbers

    • Number theory
    • Arithmetic
    • Prime numbers
    • Fermat's last theorem
    • Cryptography

    Computing and information

    • Quantum computing
    • Complexity
    • Information theory
    • Artificial intelligence and machine learning
    • Algorithm

    Data and probability

    • Statistics
    • Probability and uncertainty
    • Randomness

    Abstract structures

    • Symmetry
    • Algebra and group theory
    • Vectors and matrices

    Physics

    • Fluid dynamics
    • Quantum physics
    • General relativity, gravity and black holes
    • Entropy and thermodynamics
    • String theory and quantum gravity

    Arts, humanities and sport

    • History and philosophy of mathematics
    • Art and Music
    • Language
    • Sport

    Logic, proof and strategy

    • Logic
    • Proof
    • Game theory

    Calculus and analysis

    • Differential equations
    • Calculus

    Towards applications

    • Mathematical modelling
    • Dynamical systems and Chaos

    Applications

    • Medicine and health
    • Epidemiology
    • Biology
    • Economics and finance
    • Engineering and architecture
    • Weather forecasting
    • Climate change

    Understanding of mathematics

    • Public understanding of mathematics
    • Education

    Get your maths quickly

    • Maths in a minute

    Main menu

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • Audiences

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

    Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • A very old problem turns 20

    by
    Marianne Freiberger
    24 June, 2013

    "I think I'll stop here." This is how, on 23rd of June 1993, Andrew Wiles ended his series of lectures at the Isaac Newton Institute in Cambridge. The applause, so witnesses report, was thunderous: Wiles had just delivered a proof of a result that had haunted mathematicians for over 350 years: Fermat's last theorem.

    Wiles

    Andrew Wiles.

    Wiles' announcement now celebrates its twentieth birthday, but the result itself is linked to maths that is over 2000 years old. Most people have heard of Pythagoras' theorem: if $a$, $b$ and $c$ are the sides of a right-angled triangle, with $c$ the side opposite the right angle, then $a^2+b^2=c^2.$ There are infinitely many triples $a$, $b$ and $c$ of natural numbers which satisfy this equation. Examples are $(3,4,5)$, $(5,12,13)$ and $(6,8,10).$ They are called Pythagorean triples. Fermat's last theorem looks at similar equations but with different exponents. Are there triples of natural numbers that satisfy $a^3+b^3=c^3,$ or $a^4+b^4=c^4,$ or $a^5+b^5=c^5?$ More generally, can we find triples of natural numbers that satisfy $$a^n+b^n=c^n,$$ where $n$ is any natural number? The 17th century mathematician Pierre de Fermat convinced himself that such triples don't exist for any natural number $n>2$. In 1637 he wrote into the margin of his maths textbook that he had found a "marvellous proof" for this fact, which the margin was too narrow to contain. That tantalising scribble was to taunt mathematicians for a long time.

    When Wiles announced his proof at the Newton Institute he had spent seven years working on the problem in secret, avoiding the attention he would have attracted had he admitted to what he was doing. In fact he had been working on a more general problem, called the Taniyama-Shimura conjecture, whose solution implied Fermat's last theorem, but which was considered pretty inaccessible by most mathematicians at the time. "But Although Wiles hadn't published anything on this topic, everyone knew if anyone was to prove Fermat's last theorem, he had a good chance," recalls Tom Körner, a mathematician at the University of Cambridge. "I had interviewed Wiles for a fellowship at Trinity Hall, Cambridge, just before he moved to Princeton. Everyone said he was brilliant."

    Before Wiles announced his proof he had already lectured for two days, as part of a research programme at the Newton Institute. "Rumours were flying around that something important would happen on the third day," says Körner. "I asked his student what was happening and he said 'I can't tell you'. I asked him 'Will I regret not being there on the last day?' and he said 'Yes'."

    Wiles' lecture lived up to expectations: "The atmosphere was electric," says Körner. "After he finished, there was a storm of applause and then the few people in the audience who knew the material asked questions, and then said the result looked good."

    And it is not all about the bottom line. "Wiles' proof has had a greater impact than that of other results, like the four colour theorem, because of the mathematics that was created to prove the theorem," says Körner. As it turned out, Wiles' proof did contain a flaw which took another year and help from a former student, Richard Taylor, to fix. But in the end the 357-year-old-problem yielded to the sophisticated techniques developed to crack it.


    Further reading

    You can find out more about Andrew Wiles and Fermat's last theorem in these Plus articles:

    • Fermat's last theorem and Andrew Wiles
    • How maths can make you rich and famous
    Read more about...
    Fermat's Last Theorem
    number theory
    University of Cambridge
    • Log in or register to post comments

    Comments

    Anonymous

    25 June 2013

    Permalink

    I have to say I find Wiles' work brilliant but unsatisfying. I want to know what Fermat's proof was - it sure didn't involve the Taniyama-Shimura conjecture!

    • Log in or register to post comments

    Anonymous

    25 June 2013

    In reply to Unsatisfying by Anonymous

    Permalink

    Fermat didn't have a proof, he only thought he did.

    • Log in or register to post comments

    Anonymous

    25 June 2013

    In reply to Unsatisfying by Anonymous

    Permalink

    After writing the comment, Fermat published a proof of a special case of the theorem. He realized that his general proof didn't work. So there was no marvelous proof, after all.

    • Log in or register to post comments

    mathagnostic

    1 March 2015

    In reply to There wasn't one by Anonymous

    Permalink

    Sorry to say but you are wrong. 5^2 - 3^2 = 4^2 is also 5^2 - 3^2 = 2^4 that is every x^n can be easily described by the equation z^2 - y^2 = x^n. (Actually every integer is described by this equation for z-y=1). This is an EQUALITY. So pray tell me how one can change the difference of two squared terms to the difference of two terms raised to the same power as x^n. This was Fermat's insight which I'm sure a man of his mathematical ability turned into a proof. The unfounded ignorance that abounds on this topic astounds me!

    • Log in or register to post comments

    Anonymous

    31 July 2013

    In reply to Unsatisfying by Anonymous

    Permalink

    There's always more than one way to skin a cat!

    • Log in or register to post comments

    Anonymous

    11 November 2013

    In reply to Unsatisfying by Anonymous

    Permalink

    We just don't know whether there exists a 'short cut' proof (or, as it is sometimes called, a proof 'from the book') at all that only uses 17th century maths solving this question. As Andrew Wiles said himself, his proof was surely 20th century, so Fermat would not have had that proof. But maybe Fermat had a proof of his own, or maybe Fermat was wrong in thinking he had a proof. What is known, is that he left behind some dazzling examples of factorization that are hard to explain with 17th century tools, so he surely had capabilities...it makes the thought he just might have had a short proof even more tantalizing.
    Interesting even more is that this question on whether shorter proofs always exist (like the transcendence of pi by Hilbert, or the Prime Number Theorem by Erdos) look a lot like the P vs NP question, on whether problems that we now only can easily verify the answer of, are actually all easy problems, had mankind just been smart enough to just see these easy solutions! Maybe Wiles' proof of Fermat is as short as it gets, and if so, Fermat must have been wrong.

    • Log in or register to post comments

    Anonymous

    25 June 2013

    Permalink

    Has anybody tried to prove:
    a³+b³+c³=d³

    and for exponent n=4 you need 4 summands ...

    • Log in or register to post comments

    mathagnostic

    1 February 2015

    In reply to Has anybody tried to prove: by Anonymous

    Permalink

    As you appear to be unaware of the fact, there are infinitely, infinitely many cubic quadruples
    the smallest of which is 6^3 = 5^3 + 4^3 + 3^3 for the positive series and 9^3 = 8^3 + 6^3 - 1^3
    for the negative series.
    There are infinitely many quartic quadruples.
    An 'interesting' trio of quadruples is:
    [1] 159^4 = 158^4 + 59^4 + 1952^2
    [2] 159^4 = 134^4 + 133^4 + 1952^2
    [3] 158^4 = 134^4 + 133^4 - 59^4
    If a Fermat triple existed it would mean that a trio of quadruples, 2 positive
    and 1 negative and of the same power would also exist but the structure
    of their interrelationship would be marginally different.
    The 3 quadruples reduce to 3 Pythagorean quadruples.

    • Log in or register to post comments

    Anonymous

    19 August 2018

    In reply to Has anybody tried to prove: by Anonymous

    Permalink

    I think you might have been referring to this: https://en.m.wikipedia.org/wiki/Euler%27s_sum_of_powers_conjecture . As you can see, it was once conjectured to be the case by Leonhard Euler that you would need 2 squares to add up to a square, 3 cubes to add up to a cube, four 4th powers to add up to a 4th power, etc. In 1966, however, a computer search revealed a counterexample: namely, there are four distinct (positive) integers whose fifth powers sum up to a fifth power.

    • Log in or register to post comments

    Anonymous

    25 June 2013

    Permalink

    Nice to see this written for the anniversary of Mr. Wiles' accomplishment. I recently finished Simon Singh's book on the same topic, and also watched the British documentary produced by Mr. Singh. Fascinating story!

    • Log in or register to post comments

    Anonymous

    2 August 2013

    Permalink

    Fermat's "proof" was surely wrong.

    • Log in or register to post comments

    Anonymous

    6 February 2015

    In reply to Fermat by Anonymous

    Permalink

    Please can I ask what are the grounds for the comment you have made?

    • Log in or register to post comments

    Michael Paul Goldenberg

    25 June 2017

    In reply to Please can I ask what are the by Anonymous

    Permalink

    Plausibility: greater mathematicians than Fermat worked on this and couldn't prove it. If a 17th-century proof (so to speak) were feasible, surely Euler or Gauss - to name but two later mathematical geniuses of the highest rank - would have found it. It took 350 years or so to crack because we needed a lot of tools not available to Fermat or his successors. Many of them contributed to what culminated with Wiles/Taylor. That's not an irrefutable argument, but short of finding missing notes from Fermat, it's likely the best you'll get.

    • Log in or register to post comments

    Read more about...

    Fermat's Last Theorem
    number theory
    University of Cambridge
    University of Cambridge logo

    Plus is part of the family of activities in the Millennium Mathematics Project.
    Copyright © 1997 - 2025. University of Cambridge. All rights reserved.

    Terms