Теорема о среднем значении (разделенные разности)

В математическом анализе теорема о среднем значении для разделенных разностей обобщает теорему о среднем значении на высшие производные. ^[1]

Для любых n  + 1 попарно различных точек x ₀ , ...,  x _n в области определения n -кратно дифференцируемой функции f существует внутренняя точка

${\displaystyle \xi \in (\min\{x_{0},\dots ,x_{n}\},\max\{x_{0},\dots ,x_{n}\})\,}$

где n- я производная функции f равна n  !, умноженному на n- ю разделенную разность в этих точках:

${\displaystyle f[x_{0},\dots ,x_{n}]={\frac {f^{(n)}(\xi )}{n!}}.}$

При n  = 1, то есть двух точках функции, получается простая теорема о среднем значении .

Пусть — интерполяционный полином Лагранжа для f при x ₀ , ...,  x _n . Тогда из формы Ньютона следует , что член высшего порядка равен .${\displaystyle P}$${\displaystyle P}$${\displaystyle P}$${\displaystyle f[x_{0},\dots ,x_{n}]x^{n}}$

Пусть будет остатком интерполяции, определяемой как . Тогда имеет нули: x ₀ , ...,  x _n . Применяя теорему Ролля сначала к , затем к , и так далее до , находим, что имеет ноль . Это означает, что${\displaystyle г}$${\displaystyle g=fP}$${\displaystyle г}$${\displaystyle n+1}$${\displaystyle г}$${\displaystyle г'}$${\displaystyle g^{(n-1)}}$${\displaystyle г^{(н)}}$${\displaystyle \xi}$

${\displaystyle 0=g^{(n)}(\xi )=f^{(n)}(\xi )-f[x_{0},\dots ,x_{n}]n!}$,

${\displaystyle f[x_{0},\dots ,x_{n}]={\frac {f^{(n)}(\xi )}{n!}}.}$

Теорему можно использовать для обобщения среднего значения Столярского на более чем две переменные.