MathDB
SUM_u (n+u-1 binom u) (n binom k-2u) = (n+k-1 binom k)

Source: 4th QEDMO, created by myself

March 6, 2007
functioncombinatorics proposedcombinatorics

Problem Statement

Let nn and kk be integers such that 0kn0\leq k\leq n. Prove that u=0k(n+u1u)(nk2u)=(n+k1k)\sum_{u=0}^{k}\binom{n+u-1}{u}\binom{n}{k-2u}=\binom{n+k-1}{k}. Note that we use the following conventions: (r0)=1\binom{r}{0}=1 for every integer rr; (uv)=0\binom{u}{v}=0 if uu is a nonnegative integer and vv is an integer satisfying v<0v<0 or v>uv>u. Darij