Sopra una nuova estensione di una formula di Curtiss. (Q2604676)

Beweis zweier Sätze. Beide handeln von einer Funktion \(f(z)\), die in der Umgebung einer Stelle \(\alpha\) regulär ist und für die \(f^{\prime\prime\prime}(\alpha)\neq 0\) ist. Beide Sätze führen drei Punkte \(z_0, z_1, z_2\) ein, setzen \[ z_3=\dfrac{z_2^2-\dfrac{z_0^2+z_0z_1+z_1^2}{3}}{2z_2-(z_0+z_1)} \] und stellen fest, daß für passendes \(\xi\) \[ \begin{vmatrix} 1 & 1 & 0\\ z_0 & z_1 & 1\\ f(z_0) & f(z_1) & f'(z_2) \end{vmatrix} = \begin{vmatrix} 1 & 1 & 0\\ z_0 & z_1 & 1 \\ z_0^2 & z_1^2 & 2z_2 \end{vmatrix} \dfrac{f''(\xi)}{2} \] gilt. Der erste Satz bezeichnet mit \(r_0\) das Maximum der \(|\alpha-z_j|\), setzt \(\alpha=z_3\) voraus und behauptet, daß \(\xi\) im Kreis \((\alpha;r_0)\) gewählt werden kann, wofern \(r_0\) eine passende Zahl \(r_0'\) nicht übertrifft. Der zweite Satz behauptet, daß es eine Kreisscheibe \((\alpha; r^*)\) gibt mit folgenden Eigenschaften: (1) \(z_0\), \(z_1\), \(z_2\), \(z_3\) liegen in \((\alpha; r^*)\), (2) \(z_2\) liegt nicht im Inneren des Kreises \[ \left(\dfrac{z_0+z_1}{2}; \quad \dfrac{|z_0-z_1|}{2}\right). \] (3) Ist \(r_0\) das Maximum der \(|z_3-z_j|\), so kann \(\xi\) in \((z_3; r_0)\) gewählt werden.