Satz von Beal: Unterschied zwischen den Versionen
(Satz von Beal) |
|||
| Zeile 2: | Zeile 2: | ||
'''Beweis:''' Aus <math>(a^{\check{m}} + ib^{\check{n}})^2 (a^{\check{m}} - ib^{\check{n}})^2 = (pq)^{2k} = (a^m + b^n - 2b^{\check{n}}(b^{\check{n}} - ia^{\check{m}}))(a^m + b^n - 2b^{\check{n}}(b^{\check{n}} + ia^{\check{m}})) = c^{2k} > 1</math> mit <math>p \in \mathbb{P}</math> und <math>q \in \mathbb{N}^{*}</math> folgt <math>d^2(pq)^k = 4b^n</math> für <math>d \in \mathbb{N}^{*}</math> und damit <math>p \mid b</math> sowie die Behauptung.<math>\square</math> | '''Beweis:''' Aus <math>(a^{\check{m}} + ib^{\check{n}})^2 (a^{\check{m}} - ib^{\check{n}})^2 = (pq)^{2k} = (a^m + b^n - 2b^{\check{n}}(b^{\check{n}} - ia^{\check{m}}))(a^m + b^n - 2b^{\check{n}}(b^{\check{n}} + ia^{\check{m}})) = c^{2k} > 1</math> mit <math>p \in \mathbb{P}</math> und <math>q \in \mathbb{N}^{*}</math> folgt <math>d^2(pq)^k = 4b^n</math> für <math>d \in \mathbb{N}^{*}</math> und damit <math>p \mid b</math> sowie die Behauptung.<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 26. Februar 2023, 16:13 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: Aus [math]\displaystyle{ (a^{\check{m}} + ib^{\check{n}})^2 (a^{\check{m}} - ib^{\check{n}})^2 = (pq)^{2k} = (a^m + b^n - 2b^{\check{n}}(b^{\check{n}} - ia^{\check{m}}))(a^m + b^n - 2b^{\check{n}}(b^{\check{n}} + ia^{\check{m}})) = c^{2k} \gt 1 }[/math] mit [math]\displaystyle{ p \in \mathbb{P} }[/math] und [math]\displaystyle{ q \in \mathbb{N}^{*} }[/math] folgt [math]\displaystyle{ d^2(pq)^k = 4b^n }[/math] für [math]\displaystyle{ d \in \mathbb{N}^{*} }[/math] und damit [math]\displaystyle{ p \mid b }[/math] sowie die Behauptung.[math]\displaystyle{ \square }[/math]