Interpretación combinatoria para la identidad ∑i(mi)(nj−i)=(m+nj)∑i(mi)(nj−i)=(m+nj)\sum\limits_i\binom{m}{i}\ binom{n}{ji}=\binom{m+n}{j}?

Una identidad conocida de los coeficientes binomiales es que

i ( metro i ) ( norte j i ) = ( metro + norte j ) .
¿Hay una prueba/explicación combinatoria de por qué se cumple? Gracias.

Esta es la identidad de Vandermonde . Se proporciona una prueba combinatoria en wikipedia y en proofwiki . Consulte también esta pregunta: math.stackexchange.com/questions/76819
Tenemos metro marcianos y norte neptunianos, y desea seleccionar una tripulación de j "gente". El lado derecho da el número de formas. Lo mismo ocurre con el lado izquierdo, ya que podemos elegir 0 marcianos y j neptunianos, o 1 marciano y j 1 neptunianos o .
Cualquiera de los dos podría publicarse como respuesta.

Respuestas (2)

El capitán de la nave pirata Free Enterprise encuentra metro marcianos y norte Neptunianos en un bar. ¿De cuántas maneras puede seleccionar una tripulación de j criaturas para una incursión en Júpiter?

El lado derecho ( metro + norte j ) cuenta el número de formas de seleccionar j criaturas de la metro + norte criaturas disponibles.

Lo mismo ocurre con el lado izquierdo. Porque ella podría seleccionar 0 marcianos y j neptunianos. Esto se puede hacer en ( metro 0 ) ( norte j ) maneras.

O bien podría seleccionar 1 marciano y j 1 neptunianos. Esto se puede hacer en ( metro 1 ) ( norte j 1 ) maneras.

O bien podría seleccionar 2 marcianos y j 2 neptunianos. Esto se puede hacer en ( metro 2 ) ( norte j 2 ) maneras.

Etcétera. Por lo tanto, el número de formas de reclutar j criaturas viene dada por la suma del lado izquierdo.

Comentario: El resultado y el razonamiento siguen siendo correctos incluso si, por ejemplo, j > norte . Todo lo que tenemos que hacer es definir ( tu v ) ser 0 si tu < v .

Lo que necesitas probar es la identidad de Vandermonde.

La identidad de Vandermonde afirma que k = 0 r ( metro k ) ( norte r k ) = ( metro + norte r ) , que se puede probar combinatoriamente al notar que cualquier combinación de r objetos de un grupo de metro + norte los objetos deben tener alguna 0 k r objetos del grupo metro y el resto del grupo norte .