Alternatively, one can get explicit expression for a fixed $r$ via generating functions by noticing that the given sum equals $$[y^{n+a}z^r]\ (y+1+z)^n (1+y(1+z))^n (1+z)^{-n}$$ and rewriting it as $$[y^{n+a}z^r]\ \big((1+y)^2 + \frac{z^2}{1+z}y\big)^n = [y^{n+a}z^r]\ \sum_{i=0}^{\lfloor r/2\rfloor} \binom{n}{i} (1+y)^{2(n-i)} y^i\left(\frac{z^2}{1+z}\right)^i.$$ Then for $r>0$ we evaluate it as $$[y^{n+a}]\ \sum_{i=0}^{r} \binom{n}i\binom{-i}{r-2i} (1+y)^{2(n-i)}y^i = (-1)^r \sum_{i=1}^{\lfloor r/2\rfloor} \binom{n}i \binom{r-i-1}{r-2i} \binom{2(n-i)}{n+a-i}.$$
4 of 5
added 19 characters in body; deleted 9 characters in body; deleted 7 characters in body
Max Alekseyev
- 34.4k
- 5
- 74
- 152
Max Alekseyev
- 34.4k
- 5
- 74
- 152