symmetry of divided differences
Theorem 1.
If is a permutation of , then
Proof.
We proceed by induction. When , we have, from the definition,
Since the only permutations of two elements are the identity and thetransposition
, we see that the first divided differrence is symmetric
.
Now suppose that we already know that the -th divided differenceis symmetric under permutation of its arguments for some .We will prove that the -st divided difference is also symmmetricunder all permutations of its arguments.
The divided difference is symmetric under transposing with:
The divided difference is symmetric under transposing with:
The divided difference is symmetric under transposing with when :
Since any permutation of can begenreated from the transpositions of with for between and , it follows thatis symmetric under all permutaions of .∎