The identity $\binom{n+k}{k} = \sum_i \binom{n}{i}\binom{k}{i}$

binomial-coefficientscombinatorics

I've been working out some representation theory problems and I've stumbled upon the following identity:
$$
\binom{n+k}{k} = \sum_i \binom{n}{i}\binom{k}{i}
$$

Proof: consider the subgroup $S_n\times S_k\leq S_{n+k}$. The index is equal to both sides: for the left hand side by simply considering the orders of the respective groups, for the right hand side by noting that a left coset is determined by choosing how many elements switch sides and where they land. (I've also checked this identity experimentally for $n,k$ up to 20.)

I was wondering if there is an easy, elementary combinatorial proof.

Best Answer

Choosing $k$ people from $n$ boys and $k$ girls. The group consist of $i$ boys and $k-i$ girls. Remember that $\binom{k}{i}=\binom{k}{k-i}$