Demostrar una identidad combinatoria que involucre la suma del producto de coeficientes binomiales

Encontré las siguientes dos identidades al resolver un problema combinatorio. Me pregunto si estas dos identidades se pueden probar directamente sin recurrir a argumentos combinatorios (o si existen argumentos combinatorios intuitivos simples):

i = s norte + s r ( i 1 s 1 ) ( norte i r s ) ( norte r ) = 1 ,
dónde 1 s r norte . De este modo, PAG ( i ) = ( i 1 s 1 ) ( norte i r s ) / ( norte r ) define una función de masa de probabilidad (PMF), i = s , , norte + s r . Esta se parece a la identidad de Vandermonde .

La segunda identidad implica la expectativa de i definido por el PMF anterior:

i = s norte + s r i ( i 1 s 1 ) ( norte i r s ) ( norte r ) = norte + 1 r + 1 s .

Cualquier ayuda o idea será apreciada.

Después de mover el denominador hacia arriba al lado derecho y reindexar la suma, su primera identidad se convierte en la "identidad de convolución de Vandermonde invertida" (consulte, por ejemplo, el Teorema 1 en math.stackexchange.com/questions/2587436/… ) .
En cuanto a la segunda identidad, tenga en cuenta que i ( i 1 s 1 ) = s ( i s ) .
¡Gracias por tus comentarios! De hecho, resolvieron todo mi problema.

Respuestas (2)

i = s norte + s r ( i 1 s 1 ) ( norte i r s ) ( norte r ) = ( norte r ) 1 i = s norte + s r ( i 1 i s ) ( norte i norte i r + s )
= ( norte r ) 1 i = s norte + s r ( 1 ) i s ( s i s ) ( 1 ) norte r + s i ( r + s 1 norte i r + s )
= ( norte r ) 1 ( 1 ) norte r i = s norte + s r ( s i s ) ( r + s 1 norte i r + s )
= ( norte r ) 1 ( 1 ) norte r ( r 1 norte r ) = ( norte r ) 1 ( norte norte r ) = ( norte r ) 1 ( norte r ) = 1

Por lo tanto demostramos que:

i = s norte + s r ( i 1 s 1 ) ( norte i r s ) ( norte r ) = 1

Como se desee.

Para (1) puedes darle la vuelta al argumento.

Si estamos sacando bolas (sin reemplazo) de una urna que contiene norte bolas de las cuales r están marcados, luego considere el evento de que el i El sorteo da como resultado el s se extrae la bola marcada. Esto corresponde al caso cuando el anterior ( i 1 ) los sorteos han resultado en el sorteo de s 1 bolas marcadas (cuya probabilidad es hipergeométrica y está dada por ( r s 1 ) ( norte r i s ) ( norte X 1 ) ) y el caso de que el i El sorteo resulta en el sorteo de una bola marcada (cuya probabilidad es r s + 1 norte i + 1 es decir, la proporción de bolas marcadas que quedan) y, por lo tanto, tiene la probabilidad (en el sentido clásico) igual a ( r s 1 ) ( norte r i s ) ( norte X 1 ) r s + 1 norte i + 1 = ( i 1 s 1 ) ( norte i r s ) ( norte r ) . La probabilidad total debe sumar 1 y esto prueba la identidad (los límites son precisamente el soporte de i ).

Esto se conoce como distribución hipergeométrica negativa por algunos autores.