Difference between revisions of "Beal's theorem"
Borishaase (talk | contribs) (Beal's theorem) |
Borishaase (talk | contribs) |
||
| Line 2: | Line 2: | ||
'''Proof''': The claim follows from <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> where <math>p \in \mathbb{P}</math> and <math>q \in \mathbb{N}^{*}</math> imply <math>d^2(pq)^k = 4b^n</math> for <math>d \in \mathbb{N}^{*}</math> and thus <math>p \mid b.\square</math> | '''Proof''': The claim follows from <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> where <math>p \in \mathbb{P}</math> and <math>q \in \mathbb{N}^{*}</math> imply <math>d^2(pq)^k = 4b^n</math> for <math>d \in \mathbb{N}^{*}</math> and thus <math>p \mid b.\square</math> | ||
| + | |||
| + | == See also == | ||
| + | * [[List of mathematical symbols]] | ||
| + | * [[w:Beal conjecture|<span class="wikipedia">Beal conjecture</span>]] | ||
| + | [[Category:Areas of mathematics]] | ||
[[de:Satz von Beal]] | [[de:Satz von Beal]] | ||
Revision as of 16:17, 26 February 2023
The equation [math]\displaystyle{ a^m + b^n = c^k }[/math] where [math]\displaystyle{ a, b, c \in \mathbb{N}^{*} }[/math] and [math]\displaystyle{ k, m, n \in \mathbb{N}_{\ge 3} }[/math] implies gcd[math]\displaystyle{ (a, b, c) \gt 1. }[/math]
Proof: The claim follows from [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] where [math]\displaystyle{ p \in \mathbb{P} }[/math] and [math]\displaystyle{ q \in \mathbb{N}^{*} }[/math] imply [math]\displaystyle{ d^2(pq)^k = 4b^n }[/math] for [math]\displaystyle{ d \in \mathbb{N}^{*} }[/math] and thus [math]\displaystyle{ p \mid b.\square }[/math]