On Lindemann's paper: ''On Ludolph's number''. (Q1543968)

Aus den Untersuchungen des Herrn \textit{F. Lindemann} in Berl. Ber. 1882 u. Klein Ann. 20 [siehe Berl. Ber. 1882, 679--682 (1882; JFM 14.0369.02); C. R. Acad. Sci., Paris 95, 72--74 (1883; JFM 14.0369.03); Math. Ann. 20, 213--225 (1882; JFM 14.0369.04)] hat sich der bis dahin vergebens erstrebte Beweis ergeben, dass die Zahl \(\pi\) eine transcendente Zahl ist, dass also eine Quadratur des Kreises auf constructivem Wege nicht möglich ist. In Hinsicht auf dies allgemein interessante Resultat hat es Herr Weierstrass unternommen, eine möglichst elementar gehaltene, auch auf allbekannte Sätze sich stützende Begründung der Lindemann'schen Theoreme zu geben. Dieselbe beruht hauptsächlich auf folgendem Satz: ``Es sei \(f(z)\) eine ganze Function \((n+1)^{\mathrm ten}\) Grades der Veränderlichen \(z\) mit gegebenen ganzzahligen Coefficienten, die so beschaffen sind, dass die Gleichung \[ f(z) = 0 \] \((n+1)\) von einander verschiedene Wurzeln hat, welche mit \(z_0,z_1,\dots,z_n\) bezeichnet werden mögen. Alsdann lässt sich, nach Annahme einer beliebig kleinen positiven Grösse \(\delta\), auf mannigfaltige Weise ein System von \((n+1)\) ganzen Functionen \(g_0(z), g_1(z),\dots, g_n(z)\) des Arguments \(z\) von nicht höherem als dem \(n^{\mathrm ten}\) Grade, deren Coefficienten sämtlich ganze Zahlen sind, so bestimmen, dass erstens jede der Differenzen \[ g_\nu(z_0)e^{z_\lambda} - g_\nu(z_\lambda)e^{z_0} \quad (\lambda=0,1,\dots,n;\;\nu=0,1,\dots,n) \] ihrem absoluten Betrage nach kleiner als \(\delta\) ist, und zweitens die Determinante \[ |g_\nu(z_\lambda)|\quad(\lambda,\nu=0,1,\dots,n) \] einen von Null verschiedenen Wert hat.'' Dieser Satz wird in \S 1 bewiesen. Im folgenden Paragraphen ergiebt sich dann, dass \(\pi\) eine transcendente Zahl ist, aus dem Nachweis, dass das Product \[ \prod_{\lambda=1}^r (e^{x_\lambda} +1) \] und somit auch jeder einzelne Factor desselben einen von Null verschiedenen Wert hat. Der letzte Paragraph enthält allgemeinere, auf die Exponentialfunction sich beziehende Sätze, aus denen u. a. folgende Sätze sich ergeben: ``Die Exponentialgrösse \(e^x\) ist stets eine transcendente Zahl, wenn \(x\) eine von Null verschiedene algebraische Zahl ist'', und : ``Der natürliche Logarithmus einer algebraischen Zahl \(X\) ist immer eine transcendente Zahl, wenn \(X\) nicht den Wert 1 hat.''