The following theorem was stated by Pierre de Fermat in 1630 when he first studied Diophantus' "Arithmetica". He wrote:

I have discovered a truly remarkable proof which this margin is too small to contain.

Since he did not provide his proof, the theorem remained a conjecture for a long time and stimulated the research in number theory for decades and centuries. The conjecture was proven by Andrew Wiles only in the year 1995, using very complicated and sophisticated methods. It remains a mystery if Fermat really found a correct proof which was more simple.

Theorem: Fermat's Last Theorem

No $n > 2$ is an integer, no three positive integers $a,b,c\in\mathbb Z$ satisfy the equation $$a^n+b^n=c^n.$$

Proofs: 1

Theorems: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Landau, Edmund: "Vorlesungen über Zahlentheorie, Aus der Elementaren Zahlentheorie", S. Hirzel, Leipzig, 1927

Adapted from other CC BY-SA 4.0 Sources:

  1. O’Connor, John J; Robertson, Edmund F: MacTutor History of Mathematics Archive