Problema de funciones de generación de particiones enteras

Esta es una pregunta de tarea, por lo que preferiría no recibir una solución completa, sino una pista.

la pregunta es que r 3 ( norte ) denota el número de particiones de un entero norte en partes que no son múltiplos de 3 y s 2 ( norte ) denota el número de particiones de un entero norte en el que no hay más que 2 partes del mismo tamaño. tengo que demostrar que r 3 ( norte ) = s 2 ( norte ) para todos norte 0 mostrando que las funciones generadoras de las sucesiones ( r 3 ( norte ) ) norte 0 y ( s 2 ( norte ) ) norte 0 son lo mismo.

He demostrado que la función generadora para ( r 3 ( norte ) ) norte 0 es norte = 1 1 ( 1 X 3 norte 2 ) ( 1 X 3 norte 1 ) = ( 1 + X + X 2 + . . . ) ( 1 + X 2 + X 4 + . . . . ) ( 1 + X 4 + X 8 + . . . ) ( 1 + X 5 + X 10 + . . . ) . . . .

y la función generadora de ( s 2 ( norte ) ) norte 0 es norte = 1 ( 1 + X norte + X 2 norte ) = ( 1 + X + X 2 ) ( 1 + X 2 + X 4 ) ( 1 + X 3 + X 6 ) ( 1 + X 4 + X 8 ) . . . . .

¿Son correctas estas funciones generadoras? En caso afirmativo, ¿puedo recibir una pista sobre cómo demostrar que son iguales?

Respuestas (2)

Sí, ambas funciones generadoras son correctas. Aquí está tu pista:

1 + X norte + ( X norte ) 2 = 1 ( X norte ) 3 1 X norte

Has calculado correctamente la función generadora para r 3 ( norte ) ser

( 1 + X + X 2 + X 3 + ) ( 1 + X 2 + ( X 2 ) 2 + ( X 2 ) 3 ) + ) ( 1 + X 4 + ( X 4 ) 2 + ( X 4 ) 3 ) + )

que prefiero escribir como

3 k 1 1 X k

particularmente porque (pista:) deja en claro que esto es

k 1 1 X k 3 k 1 1 X k


¿Puedes ver cómo relacionar esa fórmula de fracción anidada con la función generadora para s 2 ( norte ) , que también ha calculado con éxito para ser

k ( 1 + X k + ( X k ) 2 )

Dejaré una pista más para esta manipulación debajo del pliegue:

Intenta escribir PAG ( X ) = k 1 1 X k . Entonces la función generadora de r 3 ( norte ) es PAG ( X ) PAG ( X 3 ) .


Espero que esto ayude ^_^