explicit formula for divided differences
Theorem 1.
The -th divided difference of a function
can be written explicitly as
Proof.
We will proceed by recursion on . When , the formula to be provenreduces to
which agrees with the definition of .
To prove that this is correct when , one needs to check that it the recurrence relation for divided differences.
Thus, we see that, if
then
Hence, by induction, the formula holds for all .∎
This formula may be phrased another way by introducing the polynomials defined as
We may write
Either form of the explicit formula makes it obvious that divided differencesare symmetric functions of .