Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f$ be a polynomial of degree $m$ in $t$. The following curious identity holds for $n \geq m$, \begin{align} \binom{t}{n+1} \sum_{j = 0}^{n} (-1)^{j} \binom{n}{j} \frac{f(j)}{t - j} = (-1)^{n} \frac{f(t)}{n + 1}. \end{align} The proof follows by transforming it into the identity \begin{align} \sum_{j = 0}^{n} \sum_{k = j}^{n} (-1)^{k-j} \binom{k}{j} \binom{t}{k} f(j) = \sum_{k = 0}^{n} \binom{t}{k} (\Delta^{k} f)(0) = f(t), \end{align} where $\Delta^{k}$ is the $k^{\text{th}}$ forward difference operator. However, I'd like to prove the aforementioned identity directly, without recourse to the calculus of finite differences. Any hints are appreciated!


share|improve this question

2 Answers 2

up vote 6 down vote accepted

This is just Lagrange interpolation for the values $0, 1, \dots, n$.

This means that after cancelling the denominators on the left you can easily check that the equality holds for $t=0, \dots, n$.

share|improve this answer
Lagrange interpolation is derived using the Calculus of Finite Differences. Is there another way to see the identity directly? –  user02138 May 4 '11 at 18:59
In my answer I said how you can prove Lagrange interpolation directly if you know that it is enough to check a polynomial identity of degree $m$ on $m+1$ places. Do you consider the last result to be equivalent to a proof using the Calculus of Finite Differences? –  Phira May 4 '11 at 19:03
@02138: finite differences is only one way to derive a formula for the interpolating polynomial. At least, the form I am accustomed to sets up products of monomials $x-i$ and multiplies them by appropriate weights. So, objecting to 9325's answer as using finite differences isn't very justified. –  J. M. May 4 '11 at 20:00
I think that it is possible to regard Lagrange interpolation as being tied to finite differences, but with that point of view a proof without finite differences becomes impossible by definition. (In particular, one has to view the mere act of dividing out zeros of polynomials as instances of finite differences.) –  Phira May 4 '11 at 22:14
Agreed. All good comments. Thank you! –  user02138 May 5 '11 at 14:04

I just ran across this question after working on this answer, and realized that the same method could be used here.

Notice that your equation is equivalent to $$ \sum_{j=0}^n(-1)^{n-j}\binom{n}{j}\frac{f(j)}{t-j}=\frac{n!f(t)}{t(t-1)(t-2)\dots(t-n)} $$ As long as $f$ is a polynomial of degree $n$ or less, apply the Heaviside Method for Partial Fractions to the right hand side to get the left hand side.

That is, to compute the coefficient of $\frac1{t-j}$ on the left hand side, multiply both sides by $t-j$ and set $t=j$. The right hand side becomes $$ \frac{n!f(j)}{j(j-1)(j-2)\dots1(-1)(-2)\dots(j-n)}=(-1)^{n-j}\binom{n}{j}f(j) $$

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.