Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Darstellungssätze für Integrale und Ableitungen)
K (→‎Beweis:)
(17 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 ==
−
=== Definition ===
+
=== Leibnizsche Differentiationsregel ===
  
−
Seien <math>f_n^*(z) = f(\eta_nz)</math> die <em>Schwestern</em> zur Taylorreihe <math>f(z) \in \mathcal{O}(D)</math> um 0 auf dem Gebiet <math>D \subseteq {}^{\omega}\mathbb{C}</math>  mit <math>m, n \in {}^{\omega}\mathbb{N}^{*}</math> und <math>\eta_n^m := i^{2^{\lceil m/n \rceil}}</math> sowie <math>\delta_n^*f = (f - f_n^*)/2</math> die <em>halben Schwesterabstände</em> von <math>f</math>. Mit <math>\mu_n^m := m!n!/(m + n)!</math> bilden <math>\mu</math> und <math>\eta</math> einen eigenen auf Ebene der Taylorreihen auflösbaren Kalkül, der eine einfache und endliche geschlossene Darstellung von Integralen und Ableitungen erlaubt.<math>\triangle</math>
+
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>
  
−
=== Darstellungssatz für Integrale ===
+
==== 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>
−
Die Taylorreihe (s. u.) <math>f(z) \in \mathcal{O}(D)</math> um 0 auf <math>D \subseteq {}^{\omega}\mathbb{C}</math> ergibt mit <math>\grave{m}, n \in {}^{\omega}\mathbb{N}^*</math><div style="text-align:center;"><math>\int\limits_0^z...\int\limits_0^{\zeta_2}{f(\zeta_1)\text{d}\zeta_1\;...\;\text{d}\zeta_n} = \widehat{n!} f(z\mu_n) z^n.\square</math></div>
 
−
 
 
−
=== Darstellungssatz für Ableitungen ===
 
  
−
Mit <math>\mathbb{B}_{\hat{\nu}}(0) \subset  D \subseteq {}^{\omega}\mathbb{C}</math> ergeben die Taylorreihe<div style="text-align:center;"><math>f(z):=f(0) + \sum\limits_{m=1}^{\omega }{\widehat{m!}\,{{f}^{(m)}}(0){z^m}},</math></div><math>b_{\varepsilon n} := \hat{\varepsilon}\,\acute{n}! = 2^j, j, n \in {}^{\omega}\mathbb{N}^{*}, \varepsilon \in ]0, r^n[, {{d}_{\varepsilon k n}}:={{\varepsilon}^{{\hat{n}}}}{e}^{\hat{n}k\tau i}</math> und der Konvergenzradius <math>r \in {}^{\nu}{\mathbb{R}}_{&gt;0}</math> von <math>f</math><div style="text-align:center;"><math>{{f}^{(n)}}(0)=b_{\varepsilon n}\sum\limits_{k=1}^{n}{\delta_n^* f({{d}_{\varepsilon k n}})}.</math></div>
+
=== 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>
  
 
==== Beweis: ====
 
==== Beweis: ====
−
Satz von Taylor<ref name="Remmert">[[w:Reinhold Remmert|<span class="wikipedia">Remmert, Reinhold</span>]]: ''Funktionentheorie 1'' : 3., verb. Aufl.; 1992; Springer; Berlin; ISBN 9783540552338, S. 165 f.</ref> und die Eigenschaften der Einheitswurzeln.<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>
  
−
== Einzelnachweis ==
+
===Folgerung: ===
−
<references />
+
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>
  
 
== 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“