Demuestra: ∑kk(mk)(nk)=n(m+n−1n)∑kk(mk)(nk)=n(m+n−1n)\sum_k k \binom{m}{k} \binom{ n}{k} = n\binom{m+n-1}{n}

Usualmente uso el conteo doble para probar tales afirmaciones, por ejemplo k ( r k ) ( s norte k ) = ( r + s norte ) . También estoy pensando en una forma de probarlo usando la siguiente propiedad de los binomios.

( norte metro ) = norte metro ( norte 1 metro 1 )

¿Cuál es tu idea/solución?

¿Cuál es la pregunta aquí? Parece como si ya supiera cómo probar la identidad.
@CarlMummert Sí, sé cómo probar la identidad, pero no sé exactamente cómo probar k k ( metro k ) ( norte k ) = norte ( metro + norte 1 norte ) . Creo que estoy llegando a alguna parte con la respuesta a continuación, pero cualquier sugerencia será apreciada.

Respuestas (2)

Calcular el coeficiente de X norte en la expansión de ( 1 + X ) r ( 1 + X ) s = ( 1 + X ) r + s ...(1)

Como, k ( norte k ) ( metro k ) = norte ( norte 1 k 1 ) ( metro k ) = norte ( norte 1 norte k ) ( metro k ) .

Ahora de (1), se sigue el resultado.

¿Estás sugiriendo esto para probar k k ( metro k ) ( norte k ) = norte ( metro + norte 1 norte ) ?
si, solo divide k ( norte k ) = norte ( norte 1 k 1 ) . Entonces aplica eso.

La Identidad de Vandermonde que se deriva de la doble contabilidad o la expansión ( 1 + X ) s ( 1 + X ) r = ( 1 + X ) s + r es como sigue.
k ( r k ) ( s norte k ) = ( r + s norte ) .

Ahora en el VI, pon r = metro y s = norte 1 . Entonces tenemos
k ( metro k ) ( norte 1 norte k ) = ( metro + norte 1 norte ) .
Multiplicando ambos lados de esta ecuación por norte ,
k norte ( metro k ) ( norte 1 norte k ) = norte ( metro + norte 1 norte k ) .

Porque
k k ( norte k ) ( metro k ) = k norte ( norte 1 k 1 ) ( metro k ) = k norte ( norte 1 norte k ) ( metro k ) ,
entonces
k k ( norte k ) ( metro k ) = norte ( metro + norte 1 norte k ) .

Gracias a @user152715 por su guía