Ueber Gleichungen mit rationalen Coefficienten. (Q1528590)

Ist \(\alpha\) eine beliebige reelle positive Zahl, so setze man \[ \frac{1}{\alpha} = a_1 + \varepsilon_1, \quad \frac{2 \varepsilon_1}{\alpha^2} = a_2 + \varepsilon_2, \quad \frac{3 \varepsilon_2}{\alpha^2} = a_3 + \varepsilon_3, \quad \frac{4 \varepsilon_3}{\alpha^2} = a_4 + \varepsilon_4, \quad \ldots, \] wo die Zahlen \(a\) als grösste Ganze bestimmt sind und die Grössen \(\varepsilon\) mithin sämtlich der Bedingung \[ 0 \leqq \varepsilon < 1 \] genügen. Die beständig convergente Potenzreihe \[ \psi (x) = -1 + a_1\;\frac{x}{1} + a_2\;\frac{x^3}{1.2} + a_3\;\frac{x^5}{1.2.3} + a_4\;\frac{x^7}{1.2.3.4} + \cdots \] ist dann eine solche, welche nur die eine reelle Nullstelle \(x = \alpha\) besitzt. In der That wegen \[ -1 + a_1\;\frac{\alpha}{1} + a_2\;\frac{\alpha^3}{1.2} + \cdots + a_n\;\frac{\alpha^{2n - 1}}{n!} = - \varepsilon_n\;\frac{\alpha^{2n - 1}}{n!} \] verschwindet notwendig \(\psi (\alpha)\). Andererseits ist ersichtlich, dass gleichzeitig mit \(x\) auch \(\psi (x)\) das ganze reelle Gebiet von \(- \infty\) bis \(+ \infty\) stets wachsend durchlaufen muss und folglich nur für den einen Wert \(x = \alpha\) den Wert 0 erhalten kann. Bekanntlich gilt für algebraische Gleichungen mit rationalen Zahlencoefficienten der Satz, dass, wenn die irreducible Gleichung \(\varphi (x) = 0\) mit der Gleichung \(\psi (x) = 0\) eine Wurzel gemein hat, jede Wurzel von \(\varphi (x)= 0\) auch Wurzel von \(\psi(x) = 0\) ist. Durch das Vorstehende ist die Unzulässigkeit dieses Satzes für transcendente Gleichungen gezeigt.