Considere una funcin definida en forma tabular, para la que se desconoce la expresin analtica; adems, supondremos que las abscisas de los datos tienen igual separacin con un tamao de intervalo constante :
De la tabulacin anterior definimos las -simas diferencias finitas hacia adelante:
(I)
donde:
Si , definimos las primeras diferencias finitas hacia adelante como:
(II)
Si , definimos las segundas diferencias finitas hacia adelante como:
(III)
Para de (II) tenemos:
Para de (II) tenemos:
para de (III) tenemos:
sustituyendo en tenemos:
Para de (II) tenemos:
para de (III) tenemos:
para y de (I) tenemos:
sustituyendo en tenemos:
sustituyendo en tenemos:
Del desarrollo anterior y usando la notacin siguiente, podemos expresar la funcin como:
si desarrollamos el binomio de la expresin anterior se tiene que:
Nota: Los smbolos , , etc., se denominan coeficientes binomiales y se leen coeficiente binomial 1 de k, coeficiente binomial 2 de k, etc.
Interpolacin con incrementos constantes hacia adelante
Sea la funcin definida por una tabla de diferencias finitas hacia adelante, el problema de interpolacin consiste en encontrar el valor de la funcin para un valor de incluido entre dos valores consecutivos . Un primer intento consiste en admitir que la funcin se aproxima a un polinomio de grado , que pasa por todos los puntos que define la funcin:
Si de la expresin:
le asignamos un valor cualquiera, menor que y si las -simas diferencias finitas hacia adelante son constantes, entonces todas las diferencias finitas de orden superior a sern cero, quedndonos en consecuencia:
Pero en la expresin anterior el coeficiente binomial es igual a:
y es un polinomio en de grado , por lo que tendr la forma:
Finalmente si reconsideramos la tabulacin
y observamos que:
Sustituyendo este valor de en la ltima expresin de se obtendr un polinomio en de grado de la forma:
De esto se concluye que si las -simas diferencias finitas de los puntos que definen una funcin tabular son constantes, entonces dichos puntos corresponden a un polinomio de grado . A este polinomio obtenido en esta forma se denomina Polinomio de Newton con espacios constantes.