Hauptseite: Unterschied zwischen den Versionen
(→Beweis:) |
(→Beweis:) |
||
Zeile 13: | Zeile 13: | ||
==== Beweis: ==== | ==== Beweis: ==== | ||
− | Aus <math>b^n = (c^{kq}-a^{mr})\left(c^{ | + | Aus <math>b^n = (c^{kq}-a^{mr})\left(\tilde{c}^{k\acute{q}} + \tilde{a}^{m\acute{r}}\right) = c^k - a^m + c^{kq} \tilde{a}^{m\acute{r}} - \tilde{c}^{k\acute{q}} a^{mr}</math> folgt, dass die Funktion <math>f(q,r) := c^{k(\hat{q}-1)} - a^{m(\hat{r}-1)} = 0</math> in <math>q, r \in {}^{\omega} \mathbb{R}_{>0}</math> stetig ist und insbesondere die Lösung <math>(q, r) = \left(\check{1}, \check{1}\right)</math> besitzt. Jede weitere Lösung in Brüchen ergibt nach Potenzieren ggT<math>(a, c) > 1</math> und damit die Behauptung.<math>\square</math> |
===Folgerung: === | ===Folgerung: === |
Version vom 3. März 2024, 09:24 Uhr
Willkommen bei MWiki
Sätze des Monats
Leibnizsche Differentiationsregel
Für [math]\displaystyle{ f: {}^{(\omega)}\mathbb{K}^{\grave{n}} \rightarrow {}^{(\omega)}\mathbb{K}, a, b: {}^{(\omega)}\mathbb{K}^{n} \rightarrow {}^{(\omega)}\mathbb{K}, \curvearrowright x := {(s, {x}_{2}, ..., {x}_{n})}^{T} }[/math] und [math]\displaystyle{ s \in {}^{(\omega)}\mathbb{K} \setminus \{{x}_{1}\} }[/math] gilt bei Wahl von [math]\displaystyle{ \curvearrowright a(x) = a(\curvearrowright x) }[/math] und [math]\displaystyle{ \curvearrowright b(x) = b(\curvearrowright x) }[/math]
Beweis:
Satz von Beal
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{ b^n = (c^{kq}-a^{mr})\left(\tilde{c}^{k\acute{q}} + \tilde{a}^{m\acute{r}}\right) = c^k - a^m + c^{kq} \tilde{a}^{m\acute{r}} - \tilde{c}^{k\acute{q}} a^{mr} }[/math] folgt, dass die Funktion [math]\displaystyle{ f(q,r) := c^{k(\hat{q}-1)} - a^{m(\hat{r}-1)} = 0 }[/math] in [math]\displaystyle{ q, r \in {}^{\omega} \mathbb{R}_{\gt 0} }[/math] stetig ist und insbesondere die Lösung [math]\displaystyle{ (q, r) = \left(\check{1}, \check{1}\right) }[/math] besitzt. Jede weitere Lösung in Brüchen ergibt nach Potenzieren ggT[math]\displaystyle{ (a, c) \gt 1 }[/math] und damit die Behauptung.[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]