Notes on Kakeya's theorem on algebraic functions. (Q571835)

Es sei \[ f(z) = a_0z^n+a_1z^{n-1} + \cdots + a_n \] vorgelegt. Verf. beweist folgendermaßen den \textit{Kakeya}schen Satz: Die Wurzeln von \[ (z-1)f(z) = a_0 z^{n+1} - (a_0 - a_1)z^n \cdots - (a_{n-1} - a_n)z - a_n = 0 \] sind bekanntlich dem Betrage nach nicht größer als \[ \text{ Max } \left(1, \frac {|a_0 - a_1| + \cdots +|a_{n-1} - a_n| + | a_n|}{|a_0|} \right) . \] Wenn nun \(a_0 \geqq a_1 \geqq \cdots \geqq a_n > 0\) ist, dann wird das Maximum gleich Eins, d. h. die Wurzeln von \(f(z) = 0\) liegen im Einheitskreis. Entsprechend zeigt Verf: Ist \[ a_k = p_k + iq_k \qquad \text{ mit } \qquad p_0 \geqq p_1 \geqq \cdots \geqq p_n > 0, \quad q_0 \geqq q_1 \geqq \cdots \geqq q_n > 0, \] so sind alle Wurzeln dem Betrage nach kleiner als \(\sqrt{2}\). Für den allgemeineren Fall \(| a_0| > |a_1| > \cdots > | a_n |\) gibt Verf. eine Schranke an, die noch von den \(a_k\) abhängt.