Hola Valentina,
Te puedo decir cómo la razono yo. Por ahí ayuda en algo. Toda la notación que uso es igual que en las notas.
Lo primero a tener en cuenta es lo que queremos demostrar: una fórmula de representación del error. Esa fórmula dice que, dado
, el error de interpolación se puede reescribir (exactamente) en términos de la derivada
-ésima en algún punto (también aparece el factorial y el polinomio nodal evaluado en
, pero concentrémonos en la derivada). No es casualidad que el polinomio tenga grado
y que en el error aparezca la derivada de orden
: en algún sentido, esto quiere decir que el polinomio puede "capturar" información de las primeras
derivadas de
. Además, la derivada
-ésima de
es constante
.
La función
toma el error en un punto genérico
y lo corrige con una constante (
está fijo) por un cierto polinomio de grado
(el polinomio
). Fijate que en la constante aparece el término que
, que es el que querés representar de otra forma. El truco está en que si tomás la derivada
-ésima de
te queda la del error (que no es otra cosa que la derivada
-ésima de
) menos la constante por la derivada
-ésima de
(que es una constante). Entonces, si encontrás un punto en el que la derivada
-ésima de
se anula, vas a haber encontrado una forma nueva de escribir
.
Lo interesante está en cómo tomar el factor de corrección (constante*polinomio de grado
). Por ahora, lo único que sabemos es que queremos que la constante tenga
en algún lado. Como nuestro objetivo es lograr que en algún lugar la derivada
-ésima de
se anule, hay que buscar en la caja de herramientas algún resultado que nos permita asegurar que la derivada de una función se anula en algún punto. Ahí aparece el Teorema de Rolle.
Como vamos a tener que irnos hasta la derivada de orden
, vamos a tener que aplicar Rolle
veces. Por cada vez que aplicás Rolle perdés un cero, por lo que la demostración va a andar si lográs construir una
como arriba y que tenga al menos
raíces. Esta condición es la que permite elegir el factor de corrección. Como uno sabe que el error de interpolación se anula en los
puntos por los que interpolamos, ahí ya nos queda determinado que el polinomio de grado
tiene que tener raíces en
: tiene que ser el polinomio nodal
(a menos de una constante multiplicativa). Falta elegir la constante que lo multiplica, y para eso tenemos que lograr inventarnos otra raíz de
. El candidato natural es el punto
, y el factor
se elige simplemente para poder asegurar que
.
------------------------
Creo que está bueno contrastar esto con la demostración del Teorema 3.4.2 (para la interpolación cúbica de Hermite). La filosofía es la misma, pero como cambia la interpolación, hay que hacer algún ajuste en cómo se elige el factor de corrección en la
. Lo que se hace en esa demostración es explotar que el error de interpolación tiene raíces dobles en
y
. Eso hace que si bien probás que
tiene 3 raíces en
y por lo tanto Rolle te permite asegurar que
tiene al menos dos puntos con derivada nula en
, ahora puedas "agregar" que
y con eso ganar un poco más de aire para avanzar hasta derivadas de orden más alto.