Über den Mittelwertsatz \(n\)-ter Ordnung. (Q2614580)

Es wird bewiesen: Für die Gültigkeit des Mittelwertsatzes \[ \textstyle\int\limits_{x_0}^{x}\int\limits_{x_1}^{x}\cdots \int\limits_{x_{n-1}}^{x}\varphi ^{(n)}(x)\,dx^n=\varphi ^{(n)}(\xi )\int\limits_{x_0}^{x}\int\limits_{x_1}^{x}\cdots \int\limits_{x_{n-1}}^{x}dx^n, \] wo die \(x\), \(x_{0}\), \(x_1\),\dots, \(x_{n-1}\) und \(\xi \) alle im Intervall \((a, b)\) liegen und \(\varphi (x)\) eine im Intervall \((a, b)\) \(n\)-mal differenzierbare Funktion ist, ist notwendig und hinreichend, daß die Funktion \[ \textstyle \sum\limits_{i=0}^{n-2} \displaystyle v_i(\xi )\frac{(x_i-\xi )^{n-i-1}}{(n-i-1)\,!}\int\limits_{x_0}^{x}\int\limits_{x_1}^{x}\cdots \int\limits_{x_{i-1}}^{x}dx^i+v_{-1}(\xi )\frac{(x-\xi )^{n-1}}{(n-1)!} \] für alle \(\xi \) bis auf \(x\), \(x_{0}\), \(x_{1}\), \(x_{2}\),\dots, \(x_{n}\) ihr Vorzeichen nicht ändert. Hier bedeutet \[ \begin{alignedat}{2} &v_i(\zeta )&&=\bigg\{\begin{alignedat}{2} &\text{sign}\;(x_{n-1}-x)\quad&&\text{für}\;\;\zeta \subset[x_i, x_{n-1}]\\ &0&&\text{in anderen Fällen,}\end{alignedat}\\ &v_{-1}(\zeta )&&=\bigg\{\begin{alignedat}{2} &\text{sign}\;(x-x_{n-1})\quad&&\text{für}\;\;\zeta \subset[x, x_{n-1}]\\ &0&&\text{in anderen Fällen,}\end{alignedat}\end{alignedat} \] wobei mit [\(x_1\), \(x_2\),\dots, \(x_{n}]\) das kleinste abgeschlossene Intervall bezeichnet wird, das die \(n\) Punkte \(x_1\), \(x_2\),\dots, \(x_{n}\) enthält. (IV 3 C.)