Over de korreksieterm in het teorema van Taylor en de differentie quotienten (dividierte Differenzen) van Thiele. (Q1457574)

Es sei \(f(x)\) im Intervall \(a \leqq x \leqq b\), bzw. \(b \leqq x \leqq a\) reell, und es werde gesetzt \[ (1)\quad f_n(a_1a_2,\dots,a_{n+1})=\sum \frac{f(a_1)}{(a_1- a_2)(a_1-a_3)\dots (a_1-a_{n+1})}, \] falls \(a_1,\dots,a_{n+1}\) verschiedene Punkte im gegebenen Intervall bezeichnen; die Summe in der rechten Seite von (1) enthält \(n + 1\) Glieder. Beweis der Sätze: 1. Ist \(f(x)\) im Punkte \(x = a\) zumindest \(n\)-mal nach rechts, bzw. nach links differentiierbar, so ist \[ f(b)=\sum_{h=0}^n \frac{(b-a)^h}{h!} f^{(h)}(a) +(b-a)^n \tau \;\text{mit}\;\lim_{b \to a} \tau=0. \] 2. Ist \(f(x)\) im festen Punkt \(a_1\) zumindest \(n\)-mal differentiierbar, und streben \(a_2,a_3,\dots,a_{n+1}\) nach \(a_1\), so strebt \(f_n(a_1,a_2,\dots,a_{n+1})\) nach \(\frac{f^{(n)}(a_1)}{n!}\). 3. Ist \(f(x)\) im festen Punkt \(a_1\) zumindest \(n - 1\)-mal differentiierbar, und hat \(f_n(a_1,\dots,a_{n+1})\) einen Grenzwert \(L\), falls \(a_2,a_3,\dots,a_{n+1}\) nach \(a_1\) streben, so ist \(f(x)\) Punkt \(a_1\) zumindest \(n\)-mal differentiierbar, und es ist dann \[ L=\frac{f^{(n)}(a_1)}{n!}. \]