Der Satz von Fermat, auch bekannt als Fermats letzter Satz, besagt, dass es keine drei positiven ganzen Zahlen \(a\), \(b\) und \(c\) gibt, die die Gleichung \(a^n + b^n = c^n\) für ein ganzzahliges \(n > 2\) erfüllen. Dieser Satz wurde von Pierre de Fermat im Jahr 1637 formuliert, aber erst 1994 von Andrew Wiles bewiesen. Der Satz ist ein bedeutendes Ergebnis in der Zahlentheorie und hat eine lange Geschichte der Forschung und Spekulationen über seinen Beweis.