Пусть функция f(x) п+1 раз дифференцируема в некоторой окрестности точки а. Тогда для x, достаточно близких к а, справедлива формула
, где при
Легко видеть, что многочлен имеет в точке а те же производные (до n-й включительно), что и f(x).