On some theorems relating to remainders. (Q1462014)

Ist \(f (x)\) eine analytische Funktion, gegeben durch ihre Maclaurinsehe Entwicklung: \[ f(x)=a_0+a_1x+a_2x^2+\dots \] und liegen \(\gamma_1\), \(\gamma_2\), \dots, \(\gamma_m\) im Innern des Konvergenzkreises \(E\), so gilt die folgende rein formale Verallgemeinerung der Lagrangeschen Interpolationsformel: \[ \begin{gathered} f(x)=f(\gamma_1)+(x-\gamma_1) \biggl\{\frac{f(\gamma_1)}{\gamma_1-\gamma_2}+ \frac{f(\gamma_2)}{\gamma_2-\gamma_1}\biggr\}\\ +(x-\gamma_1)\,(x-\gamma_2)\, \biggl\{\frac{f(\gamma_1)}{(\gamma_1-\gamma_2)\,(\gamma_1-\gamma_3)}+ \dots +\frac{f(\gamma_3)}{(\gamma_3-\gamma_1)\, (\gamma_3-\gamma_2)}\biggr\}\;\end{gathered} \] \[ \begin{multlined} \qquad\;+\dots +(x-\gamma_1)\cdots(x-\gamma_{m-1})\\ \biggl\{\frac{f(\gamma_1)}{(\gamma_1-\gamma_2)\cdots (\gamma_1-\gamma_m)}+\dots + \frac{f(\gamma_m)}{(\gamma_m-\gamma_1)\cdots (\gamma_m-\gamma_{m-1})}\biggr\}\end{multlined} \] \[ \begin{gathered} +(x-\gamma_1)\cdots(x-\gamma_m)\; \varphi_m(x),\end{gathered} \] worin \(\varphi_m(x)\) wiederum regulär analytisch in \(E\) ist und von \(\gamma_1\), \dots, \(\gamma_m\) abhängt. Sind alle betrachteten Größen reell, so hat man (in übrigens wohlbekannter Weise) \[ \begin{gathered} \varphi_m(x)=\frac{f^{(m)}(\xi)}{m\,!};\\ \text{Min}\,(\gamma_1,\dots,\gamma_m; x)<\xi< \text{Max}\,(\gamma_1,\dots,\gamma_m; x).\end{gathered} \]