Beweisarchiv: Algebra: Körper: Transzendenz von e und π
- Halbgruppen: Linksneutrale und rechtsneutrale Elemente
- Gruppen: Bahnensatz · Elementordnung 2 und Kommutativität · Untergruppenordnung teilt Gruppenordnung · Klassifikation endlicher abelscher Gruppen · Klassifikation endlich erzeugter abelscher Gruppen · Sylow-Sätze
- Ringe: Binomischer Lehrsatz · Boolesche Ringe · Chinesischer Restsatz
- Körper: Endlicher Integritätsbereich · Approximationssatz von Liouville· Transzendenz von e und π · Zahlencharakter von e
- Moduln: freie Moduln sind projektiv
Inhaltsverzeichnis |
[Bearbeiten] Transzendenz von
und 
Der folgende Beweis beruht auf Hilberts Aufsatz "Über die Transzendenz der Zahlen
und
" (siehe unten). Er wird als Widerspruchsbeweis geführt, d.h. es wird angenommen, dass die Zahlen
und
algebraisch seien. Von fundamentaler Bedeutung ist der für alle
geltende Sachverhalt
(1)
Beim Beweis für
geht man folgendermaßen vor: Man nimmt an, dass
algebraisch sei, also einer Gleichung
(2)
mit ganzen Koeffizienten genüge. Man betrachtet nun das Integral
![\int^{\infty}_{0}=\int^{\infty}_{0}z^{k}[(z-1)(z-2)\ldots(z-n)]^{k+1}e^{-z}dz](http://upload.wikimedia.org/wikibooks/de/math/5/c/0/5c0e4d847c7849ead7c29f37f714a767.png)
dessen Integrand das Produkt der Funktionen
und
ist. Dieses Integral multipliziert man nun mit der linken Seite der Gleichung (2) und bekommt folgenden Ausdruck:

Diesen Ausdruck kann man aufspalten in
mit


Ziel ist es nun zu zeigen, dass
ungleich Null ist. Dazu weist man nach, dass
eine ganze von Null verschiedene Zahl und
kleiner als 1 ist.
Um zu zeigen, dass
eine ganze von Null verschiedene Zahl ist, zeigt man mit (1), dass das Integral
eine ganze, durch
teilbare Zahl ist und die übrigen Integrale
,
sogar mindestens durch
teilbar sind. Nach wenigen Schritten wählt man schließlich
so, dass
eine Primzahl ist, die größer als
und
ist und erhält die gewünschte Forderung für
.
Um zu zeigen, dass
ist, stellt man fest, dass die Funktionen
und 
als stetige Funktionen auf dem Intervall
durch
bzw.
beschränkt sind. Dann lassen sich die einzelnen Integrale in
sehr gut abschätzen und man kommt zu der Ungleichung:

Da
existiert ein genügend großes
sowie ein davon abhängiges
, für welche gilt:

Da es unendlich viele Primzahlen gibt, exisiert ein
, für das sowohl
als auch
gilt.
Der Transzendenzbeweis von
verläuft ähnlich. Man nimmt ebenfalls an, dass
algebraisch ist. Dann ist auch
algebraisch und Wurzel eines Polynoms mit ganzen Koeffizienten und es gilt:

wenn
ist. Es gilt:
ist als konjungiert komplexe Zahl ebenfalls Wurzel des Polynoms. Ausmultiplizieren liefert:

wobei die
die Summen der Wurzeln
sind. Einige (wie z.B.
haben den Wert 0 und tragen auf der linken Seite der Gleichung den Wert 1 bei (da
). Dann ergibt sich: 
wobei die
jene Summen der
sind, die ungleich Null sind und
ist.
Nun geht man ähnlich wie beim Transzendenzbeweis von
vor. Man multipliziert diese Gleichung wieder mit einem Integral und spaltet die sich ergebende Summe wieder in
auf. Mit Hilfe einiger Fakten aus der Theorie der symmetrischen Funktionen und einiger geschickter Abschätzungen der Integrale zeigt man, dass eine Gleichung
nicht bestehen kann.
Genauere Erläuterungen und Zwischenschritte zu den Transzendenzbeweisen von
und
kann man den ausführlichen Beweisen von Fritsch entnehmen (siehe Weblinks).
[Bearbeiten] Literatur
- D. Hilbert Über die Transcendenz der Zahlen
und
. Mathematische Annalen 43, 216-219 (1893).
[Bearbeiten] Weblinks
- Der Beweis (nach Hilbert) von Fritsch, dass
transzendent ist (als PDF) - Der Beweis (nach Hilbert) von Fritsch, dass
transzendent ist (als PDF)
[Bearbeiten] Wikipedia-Verweise
Transzendente Zahl · Kreiszahl · Eulersche Zahl
- Halbgruppen: Linksneutrale und rechtsneutrale Elemente
- Gruppen: Bahnensatz · Elementordnung 2 und Kommutativität · Untergruppenordnung teilt Gruppenordnung · Klassifikation endlicher abelscher Gruppen · Klassifikation endlich erzeugter abelscher Gruppen · Sylow-Sätze
- Ringe: Binomischer Lehrsatz · Boolesche Ringe · Chinesischer Restsatz
- Körper: Endlicher Integritätsbereich · Approximationssatz von Liouville· Transzendenz von e und π · Zahlencharakter von e
- Moduln: freie Moduln sind projektiv