Extract of a letter to the editor. (Q1477041)

\textit{Kakeya} spricht, indem er sich auf eine frühere Arbeit beruft, ohne Beweis den Satz aus: Die endliche oder konvergente unendliche Reihe \(p_0 + p_1\varepsilon + p_2\varepsilon^2 +\cdots\), wo \(|\varepsilon| = 1\) und \(p_0\geqq p_1 >\cdots\geqq p_n\geqq 0\), kann nicht gleich Null sein. Er schließt daraus weiter: Die Nullstellen der Reihe mit positiven Koeffizienten \(a_0 + a_1x + a_2 x^2+\cdots\) liegen außerhalb eines Kreises, dessen Radius die untere Grenze der Quotienten \(\frac{a_0}{a_1}\), \(\frac{a_1}{a_2},\, \frac{a_2}{a_3},\dots\) ist. \textit{Kempner} zeigt an einfachen Beispielen, daß die beiden Sätze falsch sind. Dagegen beweist \textit{Hurwitz} sehr einfach folgendes: Es mögen die Koeffizienten der Funktion \[ f(x) =a_0 +a_1x +\cdots+ a_nx^n \] reell und positiv sein. Ist dann noch \(a_0\geqq a_1\geqq a_2\cdots\geqq a_n\), so hat die Gleichung \(f(x)= 0\) keine Wurzel, deren absoluter Betrag \(< 1\) wäre. Daraus folgt dann: Sind die Koeffizienten der Gleichung \(a_0+ a_1 x+\cdots + a_n x^n = 0\) reell und positiv, so gut für jede Wurzel \(x\) dieser Gleichung die Beziehung \(r\leqq | x|\leqq s\) wobei \(r\) den kleinsten und \(s\) den größten unter den Quotienten \(\frac{a_0}{a_1}\,,\frac{a_1}{a_2},\cdots,\frac{a_{n-1}}{a_n}\) bezeichnet. Die komplexen Wurzeln der Gleichung \(a_0+a_1x+\cdots +a_{n-1} x^{n-1} + a_nx^n = 0\) sind ihrem Betrage nach kleiner als der größte der Quotienten \(\frac{a_0}{a_1}\,,\frac{a_1}{a_2}\,,\cdots,\frac{a_{n-2}}{a_{n-1}}\) (zuerst von \textit{Hayashi} bewiesen). Die Gleichung \(a_0 + a_1x +\cdots + a_n x^n = 0\) mit reellen Koeffizienten, welche den Bedingungen \(a_0\geqq a_1\geqq a_2\geqq\cdots \geqq a_n\) genügen, besitzt stets und nur dann eine Wurzel vom Betrage 1, wenn die Koeffizienten sich in Gruppen von je \(m > 1\) aufeinanderfolgenden und untereinander gleichen einteilen lassen.