como probar eso = sin utilizar la expansión factorial de .
El lado izquierdo cuenta claramente el número de formas de elegir objetos fuera de total.
El lado derecho cuenta igual, pero su lógica es la siguiente:
Elegir primero los objetos.
De los restantes objetos, elija uno de ellos para llenar el espacio vacío restante.
Reconoce que para cada elección de objetos, este método ha contado cada uno con un total de veces, así que divide por para dar cuenta de la simetría del problema.
Esto da un total de formas de seleccionar objetos fuera de total.
Por principios fundamentales, si dos expresiones cuentan correctamente el número de resultados del mismo escenario, entonces deben ser iguales.
Es más fácil verlo si lo escribes así:
El lado izquierdo cuenta el número de formas de seleccionar elementos, luego seleccione uno de esos .
El lado derecho es el número de formas de seleccionar elementos y, a continuación, seleccione un elemento más de la elementos restantes.
Puede probar el teorema inductivamente en , usando , la identidad del triángulo de Pascal.
me saltaré el caso .
si es cierto para , entonces para tenemos:
donde la sustitución está permitida por la hipótesis de inducción.
Por otro lado, si , entonces:
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 por separado.
Entonces
y la inducción está hecha.
Aquí hay una respuesta basada en las dos identidades binomiales.
Empezamos por el lado derecho y obtenemos
Un enfoque posible es la introducción de una 'técnica' de Función Generadora . Esencialmente, solo implica la identidad. . A continuación, desarrollaré este enfoque:
Considere el gráfico bipartito donde los vértices en el lado izquierdo son los -conjuntos y vértices en el otro son -conjuntos y conectamos dos si uno contiene al otro.
Como los vértices del lado izquierdo tienen grado y los vértices de la derecha tienen grado obtenemos la igualdad deseada al contar el número de aristas.
cuenta todas las formas distintas de seleccionar de elementos y luego de aquellos . Así producir conjuntos de tamaño , , y elementos de un conjunto de elementos.
todas las formas distintas de seleccionar de elementos y luego de los restantes elementos. Así producir conjuntos de tamaño , , y elementos de un conjunto de elementos.
Estos recuentos deben ser iguales.
matemáticas duras