Beweis der Irrationalität der eulerschen Zahl

mehrere verschiedene mathematische Beweise

Der Beweis der Irrationalität der eulerschen Zahl kann auf mehrere Arten geführt werden. Beweise der Irrationalität von e gaben zuerst Leonhard Euler 1737,[1] Johann Heinrich Lambert 1768 (beide über Kettenbruchentwicklung) und Joseph Fourier in seinen Vorlesungen an der Ecole Polytechnique 1815 (ein „elementarer“ Beweis als Widerspruchsbeweis). Der Beweis von Fourier ist von Joseph Liouville auch auf den Irrationalitätsbeweis von ausgedehnt worden.[2] Später wurden noch einige weitere Beweise gegeben.

Der Beweis, dass sogar transzendent ist, ist komplizierter und wurde zuerst 1873 von Charles Hermite geführt.[3][4]

Dargestellt wird der Beweis von Fourier.

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

 .

Wie sich leicht zeigen lässt, gilt  .

Wir nehmen nun an, die reelle Eulersche Zahl   sei rational. Dann ließe sie sich als vollständig gekürzter Bruch   mit   darstellen. Da  , ist   keine ganze Zahl, und somit ist q > 1. Wir multiplizieren die Reihenentwicklung mit  , womit wir diese neue Reihe erhalten:

 

Linke Seite

Bearbeiten

Es ist  , da nach Voraussetzung  .

Rechte Seite, erste Teilsumme

Bearbeiten

Die Glieder   bis   auf der rechten Seite der Gleichung   sind ebenfalls alle natürlich, da alle Nenner   bis   Teiler des Zählers   sind. Die Summe dieser natürlichen Zahlen ist wieder eine natürliche Zahl.

Rechte Seite, zweite Teilsumme

Bearbeiten

Die Summe aller Glieder, vom Glied   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  , da  , das zweite Glied ist  , das dritte Glied ist  , etc.

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

 .

Für die zweite Teilsumme   gilt also  , daher ist   keine ganze Zahl.

Widerspruch

Bearbeiten

Der Ausdruck   führt zu dem gewünschten Widerspruch, da die rechte Seite,  , anders als die linke Seite,  , keine ganze und damit keine natürliche Zahl ist.

Damit ist die Voraussetzung widerlegt und es gilt  , d. h.,   ist irrational.

Einzelnachweise

Bearbeiten
  1. Euler: De fractionibus continuis dissertatio. Comm. Acad. Sci. Petrop., Band 9, 1737 (erschienen 1744), 98-137, (E 71), sein Aufsatz über Kettenbrüche. Er geht darauf auch kurz in seiner Introductio in analysin infinitorum, Band 1, 1748 ein. Dass dies ein vollgültiger Beweis war, zeigt (Euler zeigt unter Verwendung der Riccatischen Differentialgleichung, dass die Kettenbruchentwicklung von e nicht abbricht) zum Beispiel Ed Sandifer in seiner Kolumne How Euler did it, Who proved e is irrational ? (MAA online, Februar 2006), PDF.
  2. Liouville: Sur l´irrationalité du nombre e. J. Math. Pures Appl., 5, 1840, 192.
  3. O. Perron: Irrationalzahlen. de Gruyter, Berlin 1910.
  4. E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 81–83.