Note sur l'équation de Fermat

Le dernier théorème de Fermat a été énoncé pour la première fois comme un théorème par Pierre de Fermat vers 1637 dans la marge d'une copie de l'Arithmetica. Fermat a ajouté qu'il avait une preuve qui était trop grande pour tenir dans la marge. Il a prétendu avoir découvert une preuve pour l'équation a^n + b^n = c^n n'ayant pas de solutions dans les entiers positifs pour n supérieur à 2. Cependant, il n'a pas fourni les détails de sa preuve. Ce théorème est resté sans preuve pendant des siècles jusqu'à ce qu'Andrew Wiles publie une preuve en 1994. La preuve de Wiles est très éloignée d'être proche du théorème revendiqué par Fermat en raison de son extension longue, de sa complexité et des outils qui n'étaient disponibles que pendant le 20ème siècle. Ce travail pourrait être plus proche de la preuve revendiquée par Fermat.