Particiones en partes distintas o limitadas.
Las particiones de enteros son formas de escribir un entero $n$ como una suma de enteros positivos, donde el orden de los sumandos no importa. Aunque las particiones sin restricciones son fundamentales, en las matemáticas de competencia te vas a encontrar seguido con particiones con condiciones, como pedir que todas las partes sean distintas, impares o que su tamaño esté limitado. Estas restricciones transforman el problema de un simple conteo a un estudio de estructuras algebraicas. La herramienta más poderosa que tienes para analizar estas condiciones es el método de las funciones generatrices, donde las restricciones en las partes se traducen directamente en la estructura de un producto infinito.
Uno de los resultados más famosos en este campo es el Teorema de Particiones de Euler, que establece una equivalencia sorprendente entre dos restricciones que parecen muy diferentes: el número de particiones de $n$ en partes distintas es exactamente igual al número de particiones de $n$ en partes impares. Este resultado resalta la conexión profunda entre la teoría aditiva de números y la aritmética modular. Más allá de las restricciones de partes distintas o impares, también tienes que entender las limitaciones en el tamaño de las partes (por ejemplo, partes no mayores a $k$) y en la cantidad de partes (por ejemplo, a lo más $k$ partes).
Una intuición clave para las particiones con límites de tamaño o cantidad viene de los diagramas de Ferrers (o tablas de Young). Al reflejar el diagrama sobre la diagonal principal (conjugación), puedes demostrar que el número de particiones de $n$ en a lo más $k$ partes es igual al número de particiones de $n$ en partes de tamaño máximo $k$. Esta biyección geométrica te permite traducir restricciones difíciles en formas equivalentes más sencillas, una técnica que se usa mucho en problemas de combinatoria de la AIME y la USAMO.
Función Generatriz para Partes Distintas La función generatriz para $p_d(n)$, el número de particiones de $n$ en partes distintas, es: $$ \sum_{n=0}^{\infty} p_d(n)x^n = \prod_{k=1}^{\infty} (1+x^k) = (1+x)(1+x^2)(1+x^3)\cdots $$
Función Generatriz para Partes Impares La función generatriz para $p_o(n)$, el número de particiones de $n$ en partes impares, es: $$ \sum_{n=0}^{\infty} p_o(n)x^n = \prod_{k=1}^{\infty} \frac{1}{1-x^{2k-1}} = \frac{1}{(1-x)(1-x^3)(1-x^5)\cdots} $$
Teorema de Particiones de Euler Para cualquier entero $n \ge 1$: $$ p_d(n) = p_o(n) $$
Teorema de la Partición Conjugada Sea $p(n, \text{partes} \le k)$ el número de particiones de $n$ en a lo más $k$ partes. Sea $p(n, \text{tamaño} \le k)$ el número de particiones de $n$ sin ninguna parte mayor que $k$. $$ p(n, \text{partes} \le