Satz von Catalan

Es gilt [math]\displaystyle{ \{(m, n, x, y) \in {}^{\omega}\mathbb{N}_{\ge 2}^4 : 1 + x^m = y^n\} = \{(3, 2, 2, 3)\} }[/math].

Indirekter Beweis: Seien [math]\displaystyle{ \overset{\scriptsize{\grave{}}}{r}, s, t \in {}^{\omega}\mathbb{N}^{*} }[/math]. Der Satz von Beal zeigt min[math]\displaystyle{ (m, n) = 2 }[/math] auf. Aus [math]\displaystyle{ \acute{n} \in {}^{\omega}2\mathbb{N}^{*} }[/math] folgt [math]\displaystyle{ 1 + x^2 \equiv 2 \ne 0 \equiv 2^n{\check{y}}^n }[/math] mod [math]\displaystyle{ 8 }[/math] und [math]\displaystyle{ 1 + 4{\check{x}}^2 = (1 + 2{\check{y}})^n }[/math] bzw. [math]\displaystyle{ 4{\check{x}}^2 = 2\check{y}((1 + 2\check{y})^{\acute{n}} + ... + 1) }[/math] mit [math]\displaystyle{ \check{y} = \hat{z} \in {}^{\omega}\mathbb{N}^{*} }[/math] und [math]\displaystyle{ 1 + 4{\check{x}}^2 \equiv r \ne -1 \equiv (1+ 4z)^n }[/math], da ggT[math]\displaystyle{ (x, 2 + 4z) \nmid (1 + 4z) }[/math] zu [math]\displaystyle{ 2{\check{x}}^2 \equiv r \ne -1 }[/math] mod [math]\displaystyle{ (2 + 4z) }[/math] führt, weil [math]\displaystyle{ {\check{x}}^2 \gt z }[/math] ist. Aus [math]\displaystyle{ \acute{m} \in {}^{\omega}2\mathbb{N}_{\ge 4} }[/math] folgt [math]\displaystyle{ 1 + x^m \ne y^2 }[/math] wegen [math]\displaystyle{ x^m \ne s^m(2 + s^m) }[/math] und [math]\displaystyle{ t^m \ne 2 + s^m }[/math]. Also bleibt [math]\displaystyle{ 1 + {8\check{x}}^3 = (1 + 4\check{y}^2)^2 }[/math], [math]\displaystyle{ 2{\check{x}}^3 = s^3(1 + s^3) }[/math] bzw. [math]\displaystyle{ s^3 - t^3 = t^3 - 1 }[/math] übrig und liefert die angegebene Lösung.[math]\displaystyle{ \square }[/math]

Siehe auch

• Liste mathematischer Symbole
• Catalansche Vermutung