Über die Nullstellen gewisser rationaler Funktionen. (Q2605806)

Anschließend an einen Satz von \textit{N. Obrechkoff} beweist Verf. mehrere Sätze. (1) Sind die Nullstellen des Polynoms \(f(z)\) \(n\)-ten Grades alle reell, so wird die algebraische Fläche \((n + 1)\)-ter Ordnung \[ \begin{multlined} F(x, \, y, \, z) \equiv \left( f(x) - \frac{f^{\prime \prime}(x)}{2!} y^2 + \frac{f^{(4)}(x)}{4!} y^4 - \cdots \right) \\ + yz \left( f'(x) - \frac{f^{\prime \prime \prime}(x)}{3!} y^2 + \frac{f^{(5)}(x)}{5!} y^4 - \cdots \right) = 0 \end{multlined} \] von jeder zur \(x\)-Achse parallelen Geraden in lauter reellen Punkten getroffen. (2) Sind \(\alpha_i\) \((i=1, \ldots \!, n)\) die Nullstellen von \(f(z)\) und ist \(\gamma\) eine beliebige Zahl, für welche \(\omega = \, \text{arc} \; \gamma \neq 0\) und \(-\pi < \omega \leqq \pi\) ist, so liegt jede Nullstelle des Polynoms \(g(z)=f(z+\delta)-\gamma f(z-\delta)\), \(\delta\) eine beliebige komplexe Zahl, mindestens in einem Kreiszweieck \(K_k \left( \alpha_k-\delta, \, \alpha_k+\delta; \, \dfrac{\omega}{n} \right)\) \((k=1, \, 2, \ldots \!, n)\), von dessen Randpunkten die orientierte Strecke \((\alpha_k-\delta, \, \alpha_k+\delta)\) unter dem Winkel \(\omega/n\) oder \(\omega/n-2\pi/n\) bzw. \(\omega/n\) oder \(\omega/n+2\pi/n\) erscheint, je nachdem \(\omega>0\) bzw. \(\omega<0\) ist. \textit{Ergänzungen}: Bilden \(p\) Kreiszweiecke einen zusammenhängenden Bereich \((p \geqq 1)\), der keinen Punkt der übrigen \(n-p\) Kreiszweiecke enthält, so enthält er genau \(p\) Nullstellen von \(g(z)\). (Ist \(\alpha_k\) eine \(q\)-fache Nullstelle von \(f(z)\), so ist das Kreiszweieck \(K_k\) \(q\)-fach zu rechnen.) -- Die \(n\) kongruenten Kreiszweiecke lassen sich im allgemeinen durch keine kleineren kongruenten Kreiszweiecke ersetzen, in denen die Nullstellen jedes Polynoms \(g(z)\) enthalten sind. (3) Bestehen die Ungleichungen \(| \, \delta \, | \leqq \delta_0\) und \(0<\omega_0 \leqq | \, \omega \, | \leqq \pi\), so liegt keine Nullsteile von \(g(z)\) außerhalb der sämtlichen \(n\) Kreisflächen, die den Halbmesser \(\delta_0 \, \text{ctg} \, \dfrac{\omega_0}{2n}\) haben und deren Mittelpunkte die Nullstellen von \(f(z)\) sind. Enthalten \(p\) von diesen Kreisflächen keinen gemeinsamen Punkt der übrigen \(n - p\) Kreisflächen, so enthalten sie zusammen genau \(p\) Nullstellen von \(g(z)\). Diese Sätze lassen sich auch für gebrochene rationale Funktionen verallgemeinern. Haben z. B. die Polynome \(f(z)\) und \(h(z)\) \(n\)-ten bzw. \(m\)-ten Grades keinen gemeinsamen Teiler und sind \(f(\alpha_i)=0\) \((i=1, \ldots \!, n)\) und \(h(\beta_j)=0\) \((j=1, \ldots \!, m)\), so liegt keine Nullstelle der rationalen Funktion \(\dfrac{f(z+\delta)}{g(z+\delta)} - \gamma \dfrac{f(z-\delta)}{g(z-\delta)}\) außerhalb der \(n + m\) Kreise mit den Gleichungen \[ \left| \, \frac{\alpha_k-\delta-z}{\alpha_k+\delta-z} \, \right| = | \, \gamma \, |^{\frac{1}{m+n}} \quad \text{und} \quad \left| \, \frac{\beta_h+\delta-z}{\beta_h-\delta-z} \, \right| = | \, \gamma \, |^{\frac{1}{m+n}} \qquad \left( \begin{aligned} k & = 1, \ldots \!, n \\ h & = 1, \ldots \!, m \end{aligned} \right), \] vorausgesetzt, daß \(| \, \gamma \, | \neq 0, \, 1, \, \infty\) gilt.