En análisis matemático , el teorema del valor medio para diferencias divididas generaliza el teorema del valor medio a derivadas superiores. [1]
Para cualquier n + 1 puntos distintos por pares x 0 , ..., x n en el dominio de una función diferenciable n veces f , existe un punto interior
Sea el polinomio de interpolación de Lagrange para f en x 0 , ..., x n . Entonces se sigue de la forma de Newton de que el término más alto de es .
Sea el resto de la interpolación, definida por . Luego tiene ceros: x 0 , ..., x n . Aplicando el teorema de Rolle primero a , luego a , y así sucesivamente hasta que encontramos que tiene un cero . Esto significa que