Prueba algebraica y combinatoria de una identidad

Para dos enteros cualesquiera 2 k norte 2 , ahí está la identidad

( norte 2 ) = ( k 2 ) + k ( norte k ) + ( norte k 2 ) .

a) Da una prueba algebraica de esta identidad, escribiendo los coeficientes binomiales en términos de factoriales y simplificando.

b) Dar una prueba combinatoria (e interpretación) de esta identidad.

Para la parte a, convertí las combinaciones en factoriales y traté de hacer que la RHS fuera igual a la LFS, que es norte ! 2 ! ( norte 2 ) ! . Sin embargo, me quedé atascado en el tercer paso con todo el k 'arena ( norte k ) ! 's.

Para la parte b, llegué a decir que eliges 2 niños de n niños para recibir dulces en LHS. veo el k y norte k en cierto modo se dan cuenta unos de otros a la derecha, pero no puedo explicar esto con palabras.

Soy bastante nuevo en las pruebas matemáticas y cualquier ayuda es apreciada. ¡Gracias!

Respuestas (3)

AYUDA: Para (a), tienes

( k 2 ) + k ( norte k ) + ( norte k 2 ) = k ! 2 ! ( k 2 ) ! + k ( norte k ) + ( norte k ) ! 2 ! ( norte k 2 ) ! .

Comience haciendo muchas cancelaciones:

norte ! ( norte 2 ) ! = norte ( norte 1 ) k ! ( k 2 ) ! = k ( k 1 ) ,  y  ( norte k ) ! ( norte k 2 ) ! = ( norte k ) ( norte k 1 ) .

Una vez que hayas hecho eso, el álgebra se vuelve muy sencillo.

Para (b), suponga que hay k chicos y norte k chicas. Entonces ( k 2 ) es el número de maneras de elegir dos niños, ( norte k 2 ) es el número de maneras de elegir dos niñas, y k ( norte k ) es el número de formas de elegir ... ¿cuáles?

La parte (a) es sencilla:

( k 2 ) + k ( norte k ) + ( norte k 2 ) = k ! ( k 2 ) ! 2 ! + k ( norte k ) + ( norte k ) ! 2 ! ( norte k 2 ) ! = k ( k 1 ) 2 + k ( norte k ) + ( norte k ) ( norte k 1 ) 2 = k 2 k + 2 norte k 2 k 2 + norte 2 2 norte k norte + k 2 + k 2 = norte ( norte 1 ) 2 = ( norte 2 ) .

La parte (b) también es sencilla. El LHS mide cuántas maneras hay de elegir 2 bolas de n. Esto es lo mismo que contar las formas de elegir 2 de los primeros k, o 2 de los últimos nk, o uno en los primeros k y uno en los últimos nk.