Aquí está un breve inductivo de la prueba, que sin embargo, puede no ser tan iluminador como una combinatoria argumento:
Teorema.
Para todos los números enteros no negativos $r$, $m$ y $n$, no tiene Vandermonde del
identidad
$$
\sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k}=\binom{m+n}{r}.
$$
Prueba.
Deje $f(m,n,r)=\sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k}$, y el uso de la
convenio que $\binom{m}{k}=0$ si $0\leq k\leq m$. Tenga en cuenta que
$f(0,n,r)=\binom{n}{r}$. Supongamos ahora que
$$
f(m,n,r)=\binom{m+n}{r}
$$
fijo $m$, y para todos los $n$$r$. De esta y de la de Pascal, la regla de la
$\binom{m+1}{k}=\binom{m}{k-1}+\binom{m}{k}$, nos encontramos con
\begin{eqnarray*}
f(m+1,n,r)&=&f(m,n,r-1)+f(m,n,r) \\
&=&\binom{m+n}{r-1}+\binom{m+n}{r}=\binom{m+n+1}{r}.\Box
\end{eqnarray*}