I've run into the following identity and trying to prove it:
Let j∈N and f:N→R, then
j∑t=1t∑r=1(−1)r+t(j−1t−1)(t−1r−1)f(r)=f(j)
I've so far tried to find some connection with the multinomial theorem, since the product of the two binomials in the expression is just multinomial (j−1k1,k2,k3). So perhaps something like (f(j)−1+1)j−1, but it does not quite fit. I am missing something, any ideas how to proceed?
Edit: Further attempt, trying to collect "coefficients" of f(r) yields
j∑t=r(−1)r+t(j−1t−1)(t−1r−1)=j∑t=r(−1)r+t(j−1t−1)
It should be enough to show that this is 1 when j=r and 0 otherwise. First one is simple
r∑t=r(−1)r+t(r−1t−1)=(−1)2r(r−1r−1)=1
Answer
We seek to verify that
n∑k=1k∑q=1(−1)k+q(n−1k−1)(k−1q−1)f(q)=f(n).
Exchange sums to obtain
n∑q=1n∑k=q(−1)k+q(n−1k−1)(k−1q−1)f(q)=n∑q=1f(q)n∑k=q(−1)k+q(n−1k−1)(k−1q−1).
Now we get for the inner coefficient
(n−1k−1)(k−1q−1)=(n−1)!(n−k)!(q−1)!(k−q)!=(n−1q−1)(n−qn−k).
This yields for the sum
n∑q=1f(q)(n−1q−1)(−1)qn∑k=q(n−qn−k)(−1)k=n∑q=1f(q)(n−1q−1)n−q∑k=0(n−qn−q−k)(−1)k=n∑q=1f(q)(n−1q−1)n−q∑k=0(n−qk)(−1)k.
We get
n∑q=1f(q)(n−1q−1)[[n−q=0]]=f(n)(n−1n−1)=f(n).
No comments:
Post a Comment