Prueba combinatoria del teorema factorial y binomial descendente

Para norte , metro , k norte , prueba la igualdad

( norte + metro ) k _ = i = 0 k ( k i ) norte k i _ metro i _
Aquí, X j _ denota un factorial descendente, definido por X j _ = X ! ( X j ) ! = X ( X 1 ) ( X j + 1 ) .

Puedo probar el teorema del binomio por sí mismo combinatoriamente y también la versión factorial descendente del mismo, pero combinado golpeo una pared. ¿Alguna sugerencia?

¿Puedes definir el "factorial descendente"?
norte k _ = norte ! ( norte k ) !
X k _ = i = 0 k 1 ( X i ) (o X ( X 1 ) ( X k + 1 ) ) es una mejor definición, ya que también funciona para valores de X donde no está claro qué X ! significaría (como enteros negativos).

Respuestas (3)

¿De cuántas maneras puedes elegir? k bolas de un conjunto de norte diferentes bolas rojas y metro bolas verdes diferentes?

Respuesta

( norte + metro ) k _

Pero puedes contarlos de otra manera. Supongamos primero que el k las bolas son rojas, entonces k 1 son rojos y 1 es verde, etc

Esto da

j = 0 k ( k j ) norte j _ metro k j _

Prefiero mucho más el argumento combinatorio, pero es útil poder manipular sumas y factoriales descendentes, así que aquí para que conste está el paso de inducción de la prueba por inducción en k .

i = 0 k + 1 ( k + 1 i ) norte k + 1 i _ metro i _ = i = 0 k + 1 ( ( k i ) + ( k i 1 ) ) norte k + 1 i _ metro i _ = i = 0 k ( k i ) norte k + 1 i _ metro i _ + i = 0 k ( k i ) norte k i _ metro i + 1 _ = i = 0 k ( k i ) ( norte k + 1 i _ metro i _ + norte k i _ metro i + 1 _ ) = i = 0 k ( k i ) norte k i _ metro i _ ( ( norte k + i ) + ( metro i ) ) = i = 0 k ( k i ) norte k i _ metro i _ ( norte k + metro ) = ( norte + metro k ) ( norte + metro ) k _ = ( norte + metro ) k + 1 _ .

Esto también se sigue de la identidad de Vandermonde, es decir

( norte + metro k ) = i = 0 k ( norte i ) ( metro k i )
que se puede probar usando un argumento tipo comité, a saber, dos formas de elegir un grupo de k gente de norte hombres y metro mujer. Multiplica ambos lados por k ! para conseguir eso
( norte + metro ) k _ = i = 0 k ( k i ) norte i _ metro k i _
como se desee.