Elementary proof of Taylor's theorem by functions of an imaginary variable (Q1549044)

Es sei \[ z=x+yi \quad {\text{und}} \quad Fz=\varphi(x, y)+i\psi(x,y) \] eine Function von \(z\), stetig für alle betrachteten Werte von \(x, y\) und also den Bedingungen \[ {\partial\varphi\over \partial x}={\partial\psi\over \partial y},\quad {\partial\varphi\over \partial y}=-{\partial\psi\over \partial x},\quad F'z={\partial\varphi\over \partial x}+i\;{\partial\psi\over \partial x} \] genügend, \(y= \chi_x\) sei ferner eine Curve, stetig von \({y=y_0}\atop {x=x_0}\) bis \({x=X}\atop {y=Y}\). Dann hat man \[ F(X+Yi)-F(x_0+y_0i)=FZ-Fz_0=\lim \overset{Z}{\underset{z_0} S}\,F'z\varDelta z \] als Grenze der Summen, genommen längs der Curve \(y= \chi_x\). Setzt man \[ Fz=fZ-\left[fz+{Z-z\over 1}\;f'z+{(Z-z)^2\over 1.2}\;f''z+\cdots+{(Z-z)^{n-1}\over 1.2\dots{}(n-1)}\;f^{n-1}z\right] \] in die vorhergehende Formel, so findet man den Satz von Taylor oder vielmehr von Cauchy: \[ FZ=fz_0+{Z-z_0\over 1}\;f'z_0+{(Z-z_0)^2\over 1.2}\;f''z_0+\cdots+{(Z-z_0)^{n-1} \over 1.2\dots{}(n-1)}\;f^{n-1}z_0+R_n, \] \[ R_n=\int_{z_0}^Z {(Z-z)^{n-1}f^n(z)dz\over 1.2\dots{}(n-1)}. \] Aus dieser Form für den Rest dann man die von Darboux (Liouville J. (3) II. 291-294) und Falk (Mém. de Ups. 1877) herleiten. Dies kann auch direct direct geschhen, indem man sich auf den Satz vov Rolle in der Weise stützt, dass das letzte Princip genügt, um die Theorie aller elementaren Functionen aufzustellen.