Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Primzahlsatz)
K (→‎Beweis:)
(70 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 
__NOTOC__
 
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
−
== Satz des Monats ==
+
== Sätze des Monats ==
−
=== Primzahlsatz ===
+
=== Leibnizsche Differentiationsregel ===
  
−
Für <math>\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|</math> gilt <math>\pi(\omega) = \widehat{{_e}\omega}\omega + \mathcal{O}({_e}\omega\sqrt{\omega})</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>
  
 
==== Beweis: ====
 
==== Beweis: ====
−
Im Sieb des Eratosthenes nehmen die Primzahlanzahlen nahezu regelmäßig ab. Aus Intervallen fester Länge <math>y \in {}^{\omega}{\mathbb{R}_{&gt;0}}</math> lassen sich <math>\hat{2}y</math> Mengen-2-Tupel von Primzahlen so bilden, dass das erste Intervall eine unveränderte repräsentative Primzahldichte hat und das zweite Intervall leer ist, dann auf ein Intervall mit den zweitmeisten eines mit den zweitwenigsten Primzahlen folgt usw.
+
<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>
  
−
Ist mit Induktionsanfang <math>n</math> = 2 bzw. 3 die Induktionsannahme, dass mit <math>n \in {}^{\omega}{\mathbb{N}_{\ge2}}</math> und beliebigem <math>x_4 \in [2, 4[</math> das erste Intervall <math>x_n/{_e}x_n</math> Primzahlen enthält, so beweist die Betrachtung der Primzahllücken von primen <math>p\# /q + 1</math> mit <math>p, q \in {}^{\omega}\mathbb{P}</math> im Induktionsschritt von <math>x_n</math> nach <math>x_n^2</math>, dass sich dann <math>\pi(x_n^2) = \pi(x_n) x_n/2</math> Primzahlen nur aus <math>\pi(x_n) = x_n/{_e}x_n</math> ergeben. Der durchschnittliche Primzahlabstand beträgt <math>{_e}x_n</math> und die maximale Entsprechung von <math>x_n^2</math> zu <math>x_n</math> ist <math>\omega</math> zu <math>\sqrt{\omega}.\square</math>
+
=== 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: ====
 +
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>
 +
 
 +
===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>
  
 
== 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“