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, 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. 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.
Beweis Bearbeiten
Annahme Bearbeiten
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.
Schluss Bearbeiten
Damit ist die Voraussetzung widerlegt und es gilt , d. h., ist irrational.
Einzelnachweise Bearbeiten
- 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.
- Liouville: Sur l´irrationalité du nombre e. J. Math. Pures Appl., 5, 1840, 192.
- O. Perron: Irrationalzahlen. de Gruyter, Berlin 1910.
- E. Krätzel: Zahlentheorie. VEB Deutscher Verlag der Wissenschaften, Berlin 1981, S. 81–83.