Sur quelques propriétés des équations algébriques qui ont toutes leurs racines réelles. (Q1550184)

Zuerst wird der Biehler'sche Satz abgeleitet (Borchardt J. LXXXVII. p. 350, s. F. d. M. XI. 1879. p. 64, JFM 11.0064.02): Sind \(\alpha _1 + \beta_1 i, \; \alpha_2+\beta_2 i, \ldots\) complexe Grössen, bei denen alle \(\beta\) dasselbe Vorzeichen haben, und setzt man \[ \varPi (x-\alpha_{\lambda} - \beta_{\lambda} i) = F(x) + i\varPhi(x), \] so hat für reelle \(p,\; q\) die Gleichung \(pF(x) + q\varPhi(x) = 0\) nur reelle Wurzeln. Daraus folgt: Hat \(f(x)=0\) nur reelle Wurzeln, und sind \(w, p, q\) reelle Grössen, setzt man ferner \[ f(x+wi) = F(x) + i\varPhi(x), \] so hat \(pF(x) + q\varPhi(x) = 0\) nur reelle Wurzeln. Entwickelt man \(\frac{1}{f^w(x)}\) nach steigenden Potenzen von \(x\) und nennt die Summe der Glieder, deren Exponenten eine beliebige Zahl \(m\) nicht überschreiten, \(\varPhi(x)\), so hat dieser Ausdruck, gleich Null gesetzt, höchstens eine reelle Wurzel. Bedeutet \(V(x)\) eine ganze Function oder eine nach aufsteigenden Potenzen von \(x\) geordnete Reihe, und bestimmt man zwei Polynome \(\varPhi(x)\) vom \(m^{\text{ten}}\), \(F(x)\) vom \(n^{\text{ten}}\) Grade, so dass die Entwickelung von \(f(x) - \frac{\varPhi(x)}{F(x)}\) mit der \((m+n+1)^{\text{ten}}\) Potenz von \(x\) beginnt, so heisst \(\frac{\varPhi(x)}{F(x)}\) ein Näherungswerth von \(V(x)\). Ist nun \(V(x)\) ein Polynom, welches in reelle Factoren ersten Grades zerlegbar ist, so hat \(F(x)\) höchstens eine reelle Wurzel. Es wird schliesslich eine Regel für die Bildung von \(\varPhi(x)\) und \(F(x)\) angegeben.