Über Wurzelabschätzungen bei algebraischen Gleichungen. (Q2590339)

Für eine Gleichung \[ f(z) = c_0 + c_1z + c_2z+\cdots + c_nz^n = 0 \] mit von 0 verschiedenen Koeffizienten \(c_0\), \(c_n\) setze man: \[ \begin{matrix} \alpha_\nu=\text{Max}(|c_kc^{-1}_n|); \quad \alpha_\nu^\prime=\text{Max}(|c_{n-1-k}c^{-1}_n|)\hfill\\ \noalign{\vskip0.5ex} \beta_\nu=\text{Max}(|c_{k+1}c^{-1}_0|); \quad \beta_\nu^\prime=\mathop{\text{Max}}(|c_{n-k}c^{-1}_0|)\hfill \end{matrix} \qquad (k=0,\,1,\,\ldots,\,\nu-1) \] für \(\nu =1,\,2,\,\ldots,\,n\) und \[ n\alpha=\sum\alpha_\nu;\quad n\alpha^\prime=\sum\alpha_\nu^\prime;\quad n\beta=\sum\beta_\nu;\quad n\beta^\prime=\sum\beta_\nu^\prime. \] Dann liegen die Wurzeln von \(f (z) = 0\) in den beiden Ringgebieten \[ |z|\leqq1,\quad R_n\left(\frac1\beta\right)\leqq|z|\leqq\left( R_n\left(\frac1\alpha\right)\right)^{-1} \text{und}\, |z|\geqq1,\quad R_n\left(\frac1{\beta'}\right)\leqq|z|\leqq\left( R_n\left(\frac1{\alpha'}\right)\right)^{-1}, \] wenn noch \(R_n (\lambda)\) die einzige reelle positive Wurzel der Gleichung \[ x+x^2 + x^3+\cdots + x^n = \lambda \] bezeichnet.