Zur Transzendenz von \(e^\pi \). (Q563733)

Die Verf. bauen den Beweis der Transzendenz von \(e^\pi \) von \textit{A. Gelfond} (C. R. 189 (1929), 1224-1226; F. d. M. \(55_{\text{I}}\), 116) aus zur Erlangung von Ergebnissen über das Transzendenzmaß der Zahl \(e^\pi \) im Sinne der nachfolgenden Sätze. 1) Sei \(\varepsilon > 0\) und \(B(x) = b_0 + b_1x + \cdots + b_gx^g \not \equiv 0\) ein Polynom mit ganzrationalen Koeffizienten und schließlich \(B = \max \limits _{\gamma = 0, 1, \ldots, g} (|b_\gamma |,3)\), so gibt es eine nur von \(g\) und \(\varepsilon \) abhängige positive Zahl \(C\), derart daß \[ |B(e^\pi )| > C \cdot B^{-(4+\varepsilon )\frac {\log B}{\log \log B}} \] ist. 2) Ist \(e\) eine positive Zahl, \(\theta \) eine algebraische Zahl vom Grade \(g\) und von der Höhe \(B\), so gibt es eine nur von \(g\) und \(\varepsilon \) abhängige positive Zahl \(\overline {C}\), derart daß \[ |e^\pi - \theta | > \overline {C} \cdot e^{-(4+\varepsilon )\frac {\log B}{\log \log B}} \] ist. Der klare und einfache Beweis, der auch die charakteristischen Merkmale des \textit{Gelfond}schen Transzendenzbeweises von \(e^\pi \) herausstellt, gelingt durch beiderseitige Abschätzung des absoluten Betrages eines geeignet aufgebauten Approximationspolynoms.