Satz von Beal: Unterschied zwischen den Versionen
(Satz von Beal) |
K (Satz von Beal) |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Für <math>a^m + b^n = c^k</math> mit <math>a, b, c \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 \in \mathbb{N}^{*}</math> und <math>k, m, n \in \mathbb{N}_{\ge 3}</math> gilt ggT<math>(a, b, c) > 1.</math> | ||
| − | '''Beweis:''' | + | '''Beweis:''' Reelle Punkte zwischen <math>r, s \in {}^{\omega}\mathbb{Q}</math> verhindern nicht, dass mit <math>p \in {}^{\omega} \mathbb{P}</math> jede nichttriviale Darstellung von <math>c^k > 1</math> durch <math>(a^{m-r} + ib^{n-s})(a^r - ib^s) =c^k +i(a^rb^{n-s} - a^{m-r}b^s)</math> vorliegt, wobei alle Beziehungen <math>a^{m-\hat{r}} = b^{n-\hat{s}}</math> dann <math>p \mid</math> ggT<math>(a, b, c)</math> sowie die Behauptung ergeben.<math>\square</math> |
| + | |||
| + | '''Folgerung''': Der vorige Satz ermöglicht einen unendlichen Abstieg wegen ggT<math>(a, b, c) > 1</math>, sodass <math>a^n + b^n = c^n</math> von keinem <math>n \in {}^{\omega}\mathbb{N}_{\ge 3}</math> für beliebige <math>a, b, c \in {}^{\omega}\mathbb{N}^{*}</math> erfüllt wird.<math>\square</math> | ||
| + | |||
| + | == Siehe auch == | ||
| + | * [[Liste mathematischer Symbole]] | ||
| + | * [[w:Andrew_Beal#Beal-Vermutung|<span class="wikipedia">Beal-Vermutung</span>]] | ||
| + | [[Kategorie:Teilgebiet der Mathematik]] | ||
[[en:Beal's theorem]] | [[en:Beal's theorem]] | ||
Version vom 1. März 2023, 16:56 Uhr
Für [math]\displaystyle{ a^m + b^n = c^k }[/math] mit [math]\displaystyle{ a, b, c \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: Reelle Punkte zwischen [math]\displaystyle{ r, s \in {}^{\omega}\mathbb{Q} }[/math] verhindern nicht, dass mit [math]\displaystyle{ p \in {}^{\omega} \mathbb{P} }[/math] jede nichttriviale Darstellung von [math]\displaystyle{ c^k \gt 1 }[/math] durch [math]\displaystyle{ (a^{m-r} + ib^{n-s})(a^r - ib^s) =c^k +i(a^rb^{n-s} - a^{m-r}b^s) }[/math] vorliegt, wobei alle Beziehungen [math]\displaystyle{ a^{m-\hat{r}} = b^{n-\hat{s}} }[/math] dann [math]\displaystyle{ p \mid }[/math] ggT[math]\displaystyle{ (a, b, c) }[/math] sowie die Behauptung ergeben.[math]\displaystyle{ \square }[/math]
Folgerung: Der vorige Satz ermöglicht einen unendlichen Abstieg wegen ggT[math]\displaystyle{ (a, b, c) \gt 1 }[/math], sodass [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]