Prove the following identity:
l∑k=0(−1)k(j−kl−1)(lk)=0
for some integers l≥1 and j≥l.
Using wolfram alpha I have confirmed that this identity is true. But I am not sure how I can prove it myself. I have tried to split it into even and odd values of k, but that did not work. I have tried a proof by induction in combination with the identity (nk)=(n−1k)+(n−1k−1), but that also did not work. I think the proof might require a more sophisticated method.
Answer
Your induction idea should work. Using the identity you suggested, rewrite your expression as
l∑k=0(−1)k(j−kl−1)(lk)=l−1∑k=0(−1)k(j−kl−1)(l−1k)+l∑k=1(−1)k(j−kl−1)(l−1k−1)=l−1∑k=0(−1)k(j−kl−1)(l−1k)−l−1∑k=0(−1)k(j−1−kl−1)(l−1k).
Now use your identity a second time, applying it to the binomial coefficient (j−kl−1) in the first sum. After cancelling some terms, you will be able to apply induction on l.
No comments:
Post a Comment