Satz von Beal
Für [math]\displaystyle{ a^m + b^n = c^k }[/math] mit [math]\displaystyle{ a, b, c, d, e, s \in \mathbb{N}^{*} }[/math] und [math]\displaystyle{ k, m, n \in \mathbb{N}_{\ge 3} }[/math] gilt ggT[math]\displaystyle{ (a, b, c) \gt 1. }[/math]
Beweis: Sei [math]\displaystyle{ (dc)^n - (db)^n = (da)^m }[/math] der notwendige Ansatz, um [math]\displaystyle{ d }[/math] herauszukürzen nach Rechnen modulo [math]\displaystyle{ d }[/math]. Dann erzwingt die allgemeine Rücktransformation von [math]\displaystyle{ c^n - b^n = e^m (\cdot d^{sm}) }[/math], dass [math]\displaystyle{ b = 1 }[/math] und [math]\displaystyle{ c = d }[/math] ist. Mit der zweiten allgemeinen Form [math]\displaystyle{ 1 + d^n = e^m }[/math] folgt die Behauptung durch Widerspruch.[math]\displaystyle{ \square }[/math]
Folgerung: Die Fermat-Catalan-Vermutung lässt sich analog beweisen und ein unendlicher Abstieg wegen ggT[math]\displaystyle{ (a, b, c) \gt 1 }[/math] ergibt, dass [math]\displaystyle{ a^n + b^n = c^n }[/math] von keinem [math]\displaystyle{ n \in {}^{\omega}\mathbb{N}_{\ge 3} }[/math] für beliebige [math]\displaystyle{ a, b, c \in {}^{\omega}\mathbb{N}^{*} }[/math] erfüllt wird.[math]\displaystyle{ \square }[/math]