Demuestra que ∑a2bc=(n+36)+(n+26)∑a2bc=(n+36)+(n+26)\sum{a^{2}bc}=\binom{n+3}{6 }+\binom{n+2}{6}

Pregunta

Definimos S como el conjunto de tripletes enteros positivos ( a , b , C ) tal que a + b + C = norte . Quiero probar que la siguiente expresión es correcta:

S a 2 b C = ( norte + 3 6 ) + ( norte + 2 6 )

Mi solución

Lado izquierdo

Di que hay una línea de norte pelotas. Coloreamos el primero a bolas rojas, la siguiente b bolas verdes y el resto azules. Luego elegimos dos bolas rojas al azar con reemplazo, elegimos una bola verde al azar y elegimos una bola azul al azar. El número de posibilidades está dado por S a 2 b C

Lado derecho

Si se elige dos veces la misma bola roja;

X 1  las bolas rojas se encuentran a la izquierda de la bola roja elegida X 2  las bolas rojas se encuentran a la derecha de la bola roja elegida X 3  las bolas verdes se encuentran a la izquierda de la bola verde elegida X 4  las bolas verdes se encuentran a la derecha de la bola verde elegida X 5  las bolas azules se encuentran a la izquierda de la bola azul elegida X 6  las bolas azules se encuentran a la derecha de la bola azul elegida

Desde i = 1 6 X i = norte 3 , usando estrellas y barras obtenemos ( norte + 2 5 ) posibilidades.

Si se eligen diferentes bolas rojas, el enfoque es el mismo, pero también debemos contar el número de bolas rojas entre las dos bolas rojas elegidas y multiplicarlas por dos porque cualquiera de las bolas rojas se puede elegir primero. esto nos da 2 ( norte + 2 6 ) posibilidades.

Como conté las mismas posibilidades, entonces las expresiones deben ser iguales:

S a 2 b C = 2 ( norte + 2 6 ) + ( norte + 2 5 ) = ( norte + 3 6 ) + ( norte + 2 6 )

Me gustaría saber si mi solución es correcta y si hay una solución alternativa o discusión.

¿Las bolas del mismo color son diferentes entre sí?
@Sukhoi234 sí, en este caso se distinguen

Respuestas (1)

Solución alternativa: consideremos las siguientes funciones generadoras (serie de potencias con ρ = 1 ):

A ( X ) = a 1 a 2 X a , B ( X ) = b 1 b X b , C ( X ) = C 1 C X C .
La suma a 2 b C sobre los triples de enteros positivos tales que a + b + C = norte es exactamente el coeficiente de X norte en A ( X ) B ( X ) C ( X ) . Por estrellas y barras tenemos (formalmente, puntualmente para cualquier X ( 1 , 1 ) y uniformemente sobre los subconjuntos compactos de ( 1 , 1 ) )
B ( X ) = C ( X ) = X ( 1 X ) 2 , A ( X ) = X ( 1 + X ) ( 1 X ) 3
entonces
a + b + C = norte a 2 b C = [ X norte ] X 3 + X 4 ( 1 X ) 7 = [ X norte 3 ] 1 ( 1 X ) 7 + [ X norte 4 ] 1 ( 1 X ) 7
donde, como siempre, [ X norte ] F ( X ) representa el coeficiente de X norte en la serie Maclaurin de F ( X ) .
Siempre por estrellas y barras tenemos
1 ( 1 X ) 7 = norte 0 ( norte + 6 6 ) X norte
entonces
a + b + C = norte a 2 b C = ( norte + 2 6 ) + ( norte + 3 6 )
como quería

¡Vaya, eso es impresionante!
@RezhaAdrianTanuharja: las funciones generadoras merecen ser estudiadas. Si aún no lo sabe, sugiero este gran libro: www2.math.upenn.edu/~wilf/DownldGF.html (Wilf's Generatingfunctionology se puede descargar gratuitamente desde la página vinculada, no estoy violando ninguna ley de derechos de autor aquí) . Mejoró mucho mi "magia matemática" .
¡Seguro lo haré! He visto a muchas personas usarlo antes, pero no he tenido la oportunidad de aprenderlo desde que comencé a trabajar.