Proof for $\sum_{k=1}^n k2^k \binom{2n-k-1}{n-1} = n\binom{2n}{n}$

combinatorial-proofscombinatorics

I haven't seen any similar combinatorial identities of this form in textbooks. I had the left hand side in the first place and the right hand side was given by Mathematica. I'm not sure how Mathematica was able to solve it but I do expect that this has a simple combinatorial proof. I tried to look for one but I was stuck.

Any help?

PS: I am a high school student self-studying combinatorics, so combinatorial proofs or generating-function-based proofs are the best for me. If things like hypergeometric functions or gamma functions cannot be avoided I am glad to accept them as well:) Just means that I need to go deeper. At least it's not some Mathematica magic:)

Best Answer

We seek to show that

$$\sum_{k=1}^n {2n-k-1\choose n-1} k 2^k = n {2n\choose n}.$$

The LHS is

$$\sum_{k=1}^n {2n-k-1\choose n-k} k 2^k \\ = [z^n] (1+z)^{2n-1} \sum_{k=1}^n k 2^k z^k (1+z)^{-k}.$$

Now we may extend $k$ to infinity because of the coefficient extractor in front:

$$[z^n] (1+z)^{2n-1} \sum_{k\ge 1} k 2^k z^k (1+z)^{-k} \\ = [z^n] (1+z)^{2n-1} \frac{2z/(1+z)}{(1-2z/(1+z))^2} \\ = [z^n] (1+z)^{2n} \frac{2z}{(1-z)^2} = 2\sum_{k=0}^n {2n\choose k} (n-k) \\ = 2n \sum_{k=0}^n {2n\choose k} - 2\sum_{k=1}^n {2n\choose k} k = 2n \left(\frac{1}{2} 2^{2n}+\frac{1}{2} {2n\choose n}\right) - 4n\sum_{k=1}^n {2n-1\choose k-1} \\ = n 2^{2n} + n {2n\choose n} - 4n\sum_{k=0}^{n-1} {2n-1\choose k} = n 2^{2n} + n {2n\choose n} - 4n \frac{1}{2} 2^{2n-1} \\ = n {2n\choose n}.$$

This is the claim.