Hauptseite
Willkommen bei MWiki
Sätze des Monats
Größte-Primzahl-Kriterium
Hat eine reelle Zahl bei gekürzten Brüchen die Darstellung [math]\displaystyle{ \widetilde{ap}b \pm \tilde{s}t }[/math] mit natürlichen [math]\displaystyle{ a, b, s }[/math] und [math]\displaystyle{ t, abst \ne 0 }[/math] und [math]\displaystyle{ a + s > 2 }[/math] sowie der (zweit-) größten Primzahl [math]\displaystyle{ p \in {}^{\omega }\mathbb{P}, p \nmid b }[/math] und [math]\displaystyle{ p \nmid s }[/math], so ist sie [math]\displaystyle{ \omega }[/math]-transzendent.
Beweis:
Der Nenner von [math]\displaystyle{ \widetilde{aps} (bs \pm apt) }[/math] ist [math]\displaystyle{ \ge \hat{p} \ge \hat{\omega} - \mathcal{O}({_e}\omega{\omega}^{\tilde{2}}) > \omega }[/math] aufgrund des Primzahlsatzes.[math]\displaystyle{ \square }[/math]
Transzendenz der Eulerschen Konstante
Mit [math]\displaystyle{ s(x) := {+}_{n=1}^{\omega}{\tilde{n}{{x}^{n}}} }[/math] für [math]\displaystyle{ x \in {}^{\omega }{\mathbb{R}} }[/math] sei die Eulersche Konstante [math]\displaystyle{ \gamma := s(1) - {_e}\omega = {\uparrow}_{1}^{\omega}{\left( \widetilde{\left\lfloor x \right\rfloor} - \tilde{x} \right)\downarrow x} }[/math], wobei Umsummieren [math]\displaystyle{ \gamma \in \; ]0, 1[ }[/math] zeigt.
Wird [math]\displaystyle{ {_e}\omega = s(\tilde{2})\;{_2}\omega }[/math] akzeptiert, so gilt [math]\displaystyle{ \gamma \in {}^{\omega }\mathbb{T}_{\mathbb{R}} }[/math] auf [math]\displaystyle{ \mathcal{O}({2}^{-\omega}\tilde{\omega}\;{_e}\omega) }[/math] genau.
Beweis:
Die exakte Integration macht [math]\displaystyle{ -{_e}(-\acute{x}) = s(x) + \mathcal{O}(\tilde{\omega}{x}^{\grave{\omega}}/\acute{x}) + t(x)dx }[/math] für [math]\displaystyle{ x \in [-1, 1 - \tilde{\nu}] }[/math] und [math]\displaystyle{ t(x) \in {}^{\omega }{\mathbb{R}} }[/math] aus der geometrischen Reihe.
Wird der kleine fermatsche Satz auf den Zähler von [math]\displaystyle{ \tilde{p}(1 - 2^{-p}\,{_2}\omega) }[/math] für [math]\displaystyle{ p = \max \, {}^{\omega}\mathbb{P} }[/math] angewandt, liefert das Größte-Primzahl-Kriterium die Behauptung.[math]\displaystyle{ \square }[/math]