Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Universelles Mehrschrittverfahren)
K (→‎Beweis:)
(33 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 2: Zeile 2:
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
 
== Sätze des Monats ==
 
== Sätze des Monats ==
 +
=== Leibnizsche Differentiationsregel ===
  
−
=== Universelles Mehrschrittverfahren ===
+
Für <math>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>s \in {}^{(\omega)}\mathbb{K} \setminus \{{x}_{1}\}</math> gilt bei Wahl von <math>\curvearrowright a(x) = a(\curvearrowright x)</math> und <math>\curvearrowright b(x) = b(\curvearrowright x)</math><div style="text-align:center;"><math>\tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right)={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}t}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,a(x)).</math></div>
  
−
Mit <math>n \in {}^{\nu}\mathbb{N}_{\le p}, k, m, p \in {}^{\nu}\mathbb{N}^{*}, d_{\curvearrowright B} x \in\, ]0, 1[, x \in [a, b] \subseteq {}^{\omega}\mathbb{R}, y : [a, b] \rightarrow {}^{\omega}\mathbb{R}^q, f : [a, b] \times {}^{\omega}\mathbb{R}^{q \times n} \rightarrow {}^{\omega}\mathbb{R}^q, g_k(\curvearrowright B x) := g_{\acute{k}}(x)</math> und <math>g_0(a) = f((\curvearrowleft B)a, y_0, ... , y_{\acute{n}})</math> ergibt die Taylorreihe des Anfangswertproblems <math>n</math>-ter Ordnung <math>y^\prime(x) = f(x, y((\curvearrowright B)^0 x), ... , y((\curvearrowright B)^{\acute{n}} x))</math><div style="text-align:center;"><math>y(\curvearrowright B x) = y(x) - d_{\curvearrowright B}x\sum\limits_{k=1}^{p}{i^{2k} g_{p-k}((\curvearrowright B) x)\sum\limits_{m=k}^{p}{\widehat{m!}\binom{\acute{m}}{\acute{k}}}} + \mathcal{O}((d_{\curvearrowright B} x)^{\grave{p}}).\square</math></div>
+
==== Beweis: ====
 +
<div style="text-align:center;"><math>\begin{aligned}\tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right) &={\left( {\uparrow}_{a(\curvearrowright x)}^{b(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t}-{\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\left( {\uparrow}_{a(x)}^{b(x)}{(f(\curvearrowright x,t)-f(x,t)){\downarrow}t}+{\uparrow}_{b(x)}^{b(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t}-{\uparrow}_{a(x)}^{a(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}t}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,a(x)).\square\end{aligned}</math></div>
  
−
=== Satz von Goldbach ===
+
=== Satz von Beal ===
−
 
+
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>
−
Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.
 
  
 
==== Beweis: ====
 
==== Beweis: ====
−
Induktion über alle Primzahlabstände bis zum jeweils maximal möglichen.<math>\square</math>
+
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_0, r_0) = \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>
  
−
=== Fundierungssatz ===
+
===Folgerung: ===
−
 
+
Die Fermat-Catalan-Vermutung lässt sich analog beweisen und ein unendlicher Abstieg wegen ggT<math>(a,b,c)>1</math> ergibt, dass <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>
−
Erst die Forderung des Fundierungsaxioms, dass jede nichtleere Teilmenge <math>X \subseteq Y</math> ein Element <math>x_0</math> enthält, sodass <math>X</math> und <math>x_0</math> disjunkt sind, garantiert Zyklenfreiheit.
 
−
 
 
−
==== Beweis: ====
 
−
Es wird <math>X := \{x_m : x_0 := \{\emptyset\}, x_{\omega} := \{x_1\}</math> und <math>x_{\acute{n}} := \{x_n\}</math> mit <math>m \in {}^{\omega}\mathbb{N}</math> und <math>n \in {}^{\omega}\mathbb{N}_{\ge 2}\}</math> gesetzt.<math>\square</math>
 
  
 
== Leseempfehlung ==
 
== Leseempfehlung ==

Version vom 4. März 2024, 08:15 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]

[math]\displaystyle{ \tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right)={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}t}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,a(x)). }[/math]

Beweis:

[math]\displaystyle{ \begin{aligned}\tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right) &={\left( {\uparrow}_{a(\curvearrowright x)}^{b(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t}-{\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}t} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\left( {\uparrow}_{a(x)}^{b(x)}{(f(\curvearrowright x,t)-f(x,t)){\downarrow}t}+{\uparrow}_{b(x)}^{b(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t}-{\uparrow}_{a(x)}^{a(\curvearrowright x)}{f(\curvearrowright x,t){\downarrow}t} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}t}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright x,a(x)).\square\end{aligned} }[/math]

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_0, r_0) = \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]

Leseempfehlung

Nichtstandardmathematik

Abgerufen von „https://de.mwiki.de/index.php?title=Hauptseite&oldid=296“