Privacy Policy Cookie Policy Terms and Conditions Beweis der Irrationalität der Eulerschen Zahl - Wikipedia

Beweis der Irrationalität der Eulerschen Zahl

aus Wikipedia, der freien Enzyklopädie

Der Beweis der Irrationalität der Eulerschen Zahl e ist mit elementaren Mitteln der Analysis als Widerspruchsbeweis durchführbar. Er wurde zuerst 1737 von Leonhard Euler in der hier angegebenen Weise geführt.

Der Beweis, dass e sogar transzendent ist, ist komplizierter und wurde zuerst 1873 von Charles Hermite geführt.

[Bearbeiten] Beweis

[Bearbeiten] Annahme

Wir starten mit der von Leonhard Euler stammenden Darstellung der Eulersche Zahl e als Reihe

e = 1 + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} + \dots           = \sum_{n=0}^{\infty}{\frac{1}{n!}}.

Wie sich leicht zeigen lässt, gilt 2<e<3\!.

Wir nehmen nun an, die reelle Eulersche Zahl e sei rational. Dann ließe sie sich als vollständig gekürzter Bruch e = \frac{p}{q} mit p, q \in \mathbb{N} darstellen. Wir multiplizieren die Reihenentwicklung mit q!, womit wir diese neue Reihe erhalten:

\begin{matrix}           \underbrace{q! \cdot e} &=& \\           \in \mathbb{N}        \end{matrix}        \begin{matrix}           \underbrace{q! + \frac{q!}{1!} + \frac{q!}{2!} + \frac{q!}{3!} + \cdots + \frac{q!}{q!}} &+& \\           N \in \mathbb{N}         \end{matrix}        \begin{matrix}           \underbrace{\frac{q!}{(q+1)!} + \frac{q!}{(q+2)!} + \cdots} \quad &(*)& \\           0 < M < 1         \end{matrix}

[Bearbeiten] Linke Seite

Es ist q! \cdot e = q! \cdot \frac{p}{q} = (q-1)! \cdot p \in \mathbb{N}, da nach Voraussetzung p, q \in \mathbb{N}.

[Bearbeiten] Rechte Seite, erste Teilsumme

Die Glieder q! bis \frac{q!}{q!} = 1 auf der rechten Seite der Gleichung ( * ) sind ebenfalls alle natürlich, da alle Nenner 1! bis q! Teiler des Zählers q! sind. Die Summe dieser natürlichen Zahlen ist wieder eine natürliche Zahl.

[Bearbeiten] Rechte Seite, zweite Teilsumme

Die Summe aller Glieder, vom Glied \frac{q!}{(q+1)!} ist größer 0, da alle Zähler und Nenner von Null verschieden und positiv sind, und zudem kleiner 1, wie folgende Überlegung zeigt:

Das erste Glied ist \frac{q!}{(q+1)!} = \frac{1}{q+1} < \frac{1}{2}, da q > 1, das zweite Glied ist \frac{q!}{(q+2)!} = \frac{1}{(q+1)(q+2)} < \frac{1}{4}, das dritte Glied ist < \frac{1}{8}, etc.

Die Summe dieser oberen Schranken ist eine unendliche, so genannte geometrische Reihe und konvergiert:

\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots \ = \         \sum_{i=1}^\infty \frac{1}{2^i} \ = \         \frac{1}{2} \sum_{i=0}^\infty \frac{1}{2^i} \ = \         \frac{1}{2} \cdot \frac{1}{1 - \frac{1}{2}} \ = \         1.

Für die zweite Teilsumme M gilt also 0 < M < 1, daher ist M keine natürliche Zahl.

[Bearbeiten] Widerspruch

Der Ausdruck ( * ) führt zu dem gewünschten Widerspruch, da die rechte Seite, N + M, anders als die linke Seite, q! \cdot e, keine natürliche Zahl ist.

[Bearbeiten] Schluss

Damit ist die Voraussetzung widerlegt und es gilt e \in \mathbb{R} \setminus \mathbb{Q}, d. h. e ist irrational.

Andere Sprachen

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -