Hinweis zur Fermat-Gleichung

Der letzte Satz von Fermat wurde erstmals um 1637 von Pierre de Fermat als Theorem im Rand einer Kopie von Arithmetica formuliert. Fermat fügte hinzu, dass er einen Beweis habe, der zu groß sei, um ihn im Rand unterzubringen. Er behauptete, einen Beweis für die Gleichung a^n + b^n = c^n gefunden zu haben, die für n größer als 2 keine Lösungen in positiven ganzen Zahlen hat. Er gab jedoch keine Einzelheiten seines Beweises an. Dieses Theorem blieb über Jahrhunderte unbewiesen, bis Andrew Wiles 1994 einen Beweis veröffentlichte. Wiles' Beweis ist weit davon entfernt, dem von Fermat behaupteten Theorem ähnlich zu sein, aufgrund seiner langen Ausdehnung, Komplexität und der Werkzeuge, die erst im 20. Jahrhundert verfügbar waren. Diese Arbeit könnte näher am von Fermat behaupteten Beweis liegen.