Satz von Beal: Unterschied zwischen den Versionen
(Satz von Beal) |
K (Satz von Beal) |
||
| Zeile 1: | Zeile 1: | ||
| − | Für <math>a^m + b^n = c^k</math> mit <math>a, b, c, d, e, s \in \mathbb{N}^{*}</math> und <math>k, m, n \in \mathbb{N}_{\ge 3}</math> gilt ggT<math>(a, b, c) > 1.</math> | + | Für <math>a^m + b^n = c^k</math> mit <math>a, b, c, d, e, s \in \mathbb{N}^{*}</math> und <math>k, m, n \in \mathbb{N}_{\ge 3}</math> gilt <math>d :=</math> ggT<math>(a, b, c) > 1.</math> |
'''Beweis:''' Sei <math>(dc)^n - (db)^n = (da)^m</math> der notwendige Ansatz, um <math>d</math> herauszukürzen nach Rechnen modulo <math>d</math>. Dann erzwingt die allgemeine Rücktransformation von <math>c^n - b^n = e^m (\cdot d^{sm})</math>, dass <math>b = 1</math> und <math>c = d</math> ist. Mit der zweiten allgemeinen Form <math>1 + d^n = e^m</math> folgt die Behauptung durch Widerspruch.<math>\square</math> | '''Beweis:''' Sei <math>(dc)^n - (db)^n = (da)^m</math> der notwendige Ansatz, um <math>d</math> herauszukürzen nach Rechnen modulo <math>d</math>. Dann erzwingt die allgemeine Rücktransformation von <math>c^n - b^n = e^m (\cdot d^{sm})</math>, dass <math>b = 1</math> und <math>c = d</math> ist. Mit der zweiten allgemeinen Form <math>1 + d^n = e^m</math> folgt die Behauptung durch Widerspruch.<math>\square</math> | ||
Version vom 4. August 2024, 19:51 Uhr
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 [math]\displaystyle{ d := }[/math] 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]