A new proof of a theorem of Eisenstein. (Q1525168)

Es handelt sich um den von Eisenstein ohne Beweis veröffentlichten, später von Heine und Hrn. Hermite bewiesenen Satz: ``Eine Potenzreihe mit rationalen Coefficienten \[ y = \sum_{n=0}^{n=\infty} c_nx^n = \mathfrak P(x) \] kann nur dann einer algebraischen Gleichung, deren Coefficienten ganze Zahlen sind, genügen, wenn eine ganze Zahl \(a\) existirt, für welche die Coefficienten von \(ax\mathfrak P(ax)\) ganze Zahlen sind.'' Wenn \(y=\mathfrak P(x)\) einer algebraischen Gleichung mit ganzzahligen Coefficienten \(f(x,y)=0\) genügt, so müssen \(f(x,\mathfrak P(x))\) und die sämtlichen Differentialquotienten \(f^{(\nu)}(x,\mathfrak P(x))\) identisch zu Null werden. Bildet man also den \(n^{\text{ten}}\) Differentialquotienten von \(f(x,y)\) nach \(x\), führt dann \(y=\mathfrak P(x)\) ein und setzt schliesslich \(x=0\), so erhält man eine Relation zwischen den Coefficienten \(c\). Aus dieser folgt nicht nur der obige Satz, sondern auch der Wert der Zahl \(a\). Als Beispiele wählt der Verfasser die beiden Gleichungen \[ y^n - (1+x)^{\pm r} = 0\text{ und }y^2 - (1-xa+a^2)^{-1} = 0, \] aus denen folgt, dass \(\left(\frac{\pm r}a\right)_sn^{2s-1}\) und die Coefficienten von \(x\) in \(2^{n-1}P^{(n)}(x)\) ganze Zahlen sind, wobei der \(s^{\text{te}}\) Binomialcoefficient von \(\frac{\pm r}n\) und \(P^{(n)}(x)\) die Kugelfunction \(n^{\text{ter}}\) Ordnung ist.