Cómo probar que (nr)(nr)n \choose r = n+1−rrn+1−rr\frac{n+1-r}{r} (nr−1)(nr−1)n \choose r -1 sin usar la expansión factorial de (nr)(nr)n \choose r? [cerrado]

como probar eso ( norte r ) = norte + 1 r r ( norte r 1 ) sin utilizar la expansión factorial de ( norte r ) .

La brevedad extrema de su publicación invita a la confusión sobre qué, en lugar de "la expansión factorial", usaría para definir los coeficientes binomiales. Incluya esta configuración esencial para el problema en el cuerpo de su pregunta.

Respuestas (6)

El lado izquierdo cuenta claramente el número de formas de elegir r objetos fuera de norte total.

El lado derecho cuenta igual, pero su lógica es la siguiente:

  • Elegir r 1 primero los objetos.

  • De los restantes norte ( r 1 ) objetos, elija uno de ellos para llenar el espacio vacío restante.

  • Reconoce que para cada elección de r objetos, este método ha contado cada uno con un total de r veces, así que divide por r para dar cuenta de la simetría del problema.

Esto da un total de ( norte r 1 ) ( norte ( r 1 ) ) 1 r = norte + 1 r r ( norte r 1 ) formas de seleccionar r objetos fuera de norte total.

Por principios fundamentales, si dos expresiones cuentan correctamente el número de resultados del mismo escenario, entonces deben ser iguales.

No obtuve el punto número (3). ¿Podría por favor elaborar?
@Supermario A medida que avanzamos a través del principio de multiplicación, normalmente esperamos contar cada resultado exactamente una vez, sin embargo, en este caso, si hubiéramos aplicado el principio de multiplicación para los dos primeros pasos, de hecho, hemos contado cada resultado un total de r veces. ( por ejemplo, haber escogido { a , b , C } , { d } da el mismo resultado que { a , b , d } , { C } y { a , C , d } , { b } etc... ). Dado que cada uno se contó el mismo número de veces, si dividimos por el número de veces que se contó cada uno es como si hubiéramos contado cada uno solo una vez, que es lo que pretendíamos.

Es más fácil verlo si lo escribes así:

( norte r ) r = ( norte r 1 ) ( norte + 1 r )

El lado izquierdo cuenta el número de formas de seleccionar r elementos, luego seleccione uno de esos r .

El lado derecho es el número de formas de seleccionar r 1 elementos y, a continuación, seleccione un elemento más de la norte ( r 1 ) = norte r + 1 elementos restantes.


Puede probar el teorema inductivamente en norte , usando ( norte r ) = ( norte 1 r 1 ) + ( norte 1 r ) , la identidad del triángulo de Pascal.

me saltaré el caso norte = 1 .

si es cierto para norte , entonces para r 1 tenemos:

r ( norte + 1 r ) = r ( norte r 1 ) + r ( norte r ) (*) = r ( norte r 1 ) + ( norte r + 1 ) ( norte r 1 ) = ( norte + 1 ) ( norte r 1 )

donde la sustitución ( ) está permitida por la hipótesis de inducción.

Por otro lado, si r > 1 , entonces:

( norte + 1 r + 1 ) ( norte + 1 r 1 ) = ( norte + 2 r ) ( norte r 1 ) + ( norte + 2 r ) ( norte r 2 ) (*) = ( norte + 2 r ) ( norte r 1 ) + ( r 1 ) ( norte r 1 ) = ( norte + 1 ) ( norte r 1 )

donde nuevamente, la sustitución es permitida por la hipótesis de inducción.

Entonces los dos valores son iguales. Tienes que lidiar con el cuidado donde r = 1 por separado.

Entonces

r ( norte + 1 r ) = ( ( norte + 1 ) r + 1 ) ( norte + 1 r 1 )

y la inducción está hecha.

En realidad, estaba tratando de probar esta fórmula recursiva que estás probando a partir de la que pedí. Pero primero necesitaba probar lo que se pregunta en la pregunta.
Oh, tengo la fórmula al revés. Leer mal. Fijado.
De hecho, me gusta más esta explicación que la mía porque evita el argumento de "dividir para tener en cuenta la simetría" con el que tantas personas parecen tener problemas. +1
Sí, trate siempre de evitar la división en los argumentos de conteo, a menos que sea absolutamente necesario. :) @JMoravitz
@ThomasAndrews ¡Guau! Excelente prueba por doble conteo. ¿Podemos cumplir nuestra tarea sin usar el hecho de que ( norte r ) representa el número de formas de seleccionar r objetos fuera norte ? Usando el hecho de que ( norte r ) representa el r + 1 el término en el norte fila del triángulo de Pascal o algún otro hecho.

Aquí hay una respuesta basada en las dos identidades binomiales.

(1) ( norte r ) = ( norte norte r ) (2) ( norte r ) = ( norte 1 r 1 ) norte r

Empezamos por el lado derecho y obtenemos

norte + 1 r r ( norte r 1 ) = norte + 1 r r ( norte norte + 1 r ) ( 1 ) = norte + 1 r r norte norte + 1 r ( norte 1 norte r ) ( 2 ) = norte r ( norte 1 norte r ) = norte r ( norte 1 r 1 ) ( 1 ) = ( norte r ) ( 2 )

Un enfoque posible es la introducción de una 'técnica' de Función Generadora . Esencialmente, solo implica la identidad. r = 1 ( norte r ) z r |   | z |   <   1   =   ( 1 + z ) norte 1 . A continuación, desarrollaré este enfoque:

r = 1 norte + 1 r r ( norte r 1 ) z r = r = 0 norte r r + 1 ( norte r ) z r + 1 = ( norte + 1 ) z r = 0 ( norte r ) z r r + 1 z r = 0 ( norte r ) z r =   ( norte + 1 ) z r = 0 ( norte r ) z r 0 1 t r d t z ( 1 + z ) norte =   ( norte + 1 ) z 0 1 ( 1 + z t ) norte d t ( 1 + z ) norte + 1 + ( 1 + z ) norte = ( norte + 1 ) z ( 1 + z ) norte + 1 1 ( norte + 1 ) z ( 1 + z ) norte + 1 + ( 1 + z ) norte = ( 1 + z ) norte 1 = r = 1 ( norte r ) z r

Considere el gráfico bipartito donde los vértices en el lado izquierdo son los k -conjuntos y vértices en el otro son ( k + 1 ) -conjuntos y conectamos dos si uno contiene al otro.

Como los vértices del lado izquierdo tienen grado norte k y los vértices de la derecha tienen grado k + 1 obtenemos la igualdad deseada al contar el número de aristas.

  • ( norte r ) ( r 1 ) cuenta todas las formas distintas de seleccionar r de norte elementos y luego 1 de aquellos r . Así producir conjuntos de tamaño r 1 , 1 , y norte r elementos de un conjunto de norte elementos.

  • ( norte r 1 ) ( norte r + 1 1 ) todas las formas distintas de seleccionar r 1 de norte elementos y luego 1 de los restantes norte r + 1 elementos. Así producir conjuntos de tamaño 1 , r 1 , y norte r elementos de un conjunto de norte elementos.

  • Estos recuentos deben ser iguales.