Afirmación

𝑛
𝑓 𝑛+1 (𝛿)
𝜀(𝑥) = ∏(𝑥 − 𝑥𝛾 )
(𝑛 + 1)!
𝛾=0

Podemos conocer la cota del error cometido al usar el polinomio interpolador de Lagrange
para aproximar una función f(x).

El error en la interpolación de Lagrange está definido como la diferencia entre la función

original y el polinomio interpolador.

|𝜀(𝑥)| = 𝑓(𝑥) − 𝑝(𝑥)

El error del polinomio interpolador para los N nodos dados es

(𝑥 − 𝑥0 )(𝑥 − 𝑥1 ). . . (𝑥 − 𝑥𝑛 )𝑓 𝑛+1 (𝛿)
𝜀(𝑥) =
(𝑛 + 1)!
Definimos una función auxiliar g(t), siendo 𝑥, 𝑥0 𝑦 𝑥1 constantes con respecto a la
variable t.

(𝑡 − 𝑥0 )(𝑡 − 𝑥1 )
𝑔(𝑡) = 𝑓(𝑡) − 𝑃1 (𝑡) − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

Evaluamos la función auxiliar g(t) para las constantes 𝑥, 𝑥0 𝑦 𝑥1

(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )
𝑔(𝑥) = 𝑓(𝑥) − 𝑃1 (𝑥) − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

𝑔(𝑥) = 𝑓(𝑥) − 𝑃1 (𝑥) − 𝐸1 (𝑥) = 0

(𝑥0 − 𝑥0 )(𝑥0 − 𝑥1 )
𝑔(𝑥0 ) = 𝑓(𝑥0 ) − 𝑃1 (𝑥0 ) − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

𝑔(𝑥0 ) = 𝑓(𝑥) − 𝑃1 (𝑥0 ) = 0

(𝑥1 − 𝑥0 )(𝑥1 − 𝑥1 )
𝑔(𝑥1 ) = 𝑓(𝑥1 ) − 𝑃1 (𝑥1 ) − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

𝑔(𝑥1 ) = 𝑓(𝑥) − 𝑃1 (𝑥1 ) = 0

Aplicamos el teorema de Rolle a la función auxiliar, el cual indica que existirá un punto
𝑚1 tal que 𝑔′ (𝑚1 ) = 0 y 𝑔′′ (𝑚1 ) = 0 por tanto derivamos la expresión de la función
auxiliar
2𝑡
𝑔′(𝑡) = 𝑓′(𝑡) − 𝑃1 ′(𝑡) − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

2
𝑔′′(𝑡) = 𝑓′′(𝑡) − 0 − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )
Igualamos a 0 es decir 𝑔′′ (𝑚1 ) = 0 y despejamos
2
0 = 𝑓′′(𝑚1 ) − 0 − 𝐸1 (𝑥)
(𝑥 − 𝑥0 )(𝑥 − 𝑥1 )

𝑓′′(𝑚1 )
𝐸𝑛 (𝑥) = . (𝑥 − 𝑥0 )(𝑥 − 𝑥1 )
2!

Podemos extender esta definición para los casos en los que tengamos N puntos
𝑓 𝑛+1 (𝑚1 )
𝐸𝑛 (𝑥) = . (𝑥 − 𝑥0 )(𝑥 − 𝑥1 ) … (𝑥 − 𝑥𝑛 )
(𝑛 + 1)!

Que resulta ser la fórmula buscada

𝑛
𝑓 𝑛+1 (𝛿)
𝜀(𝑥) = ∏(𝑥 − 𝑥𝛾 )
(𝑛 + 1)!
𝛾=0