🔢 mathematics

Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

Este artículo proporciona dos demostraciones elementales para las congruencias $a(4n+2) \equiv 0 \pmod{2}$ y $a(4n+3) \equiv 0 \pmod{2}$ , donde $a(n)$ cuenta las particiones de $n$ con partes impares repetidas como máximo dos veces, cumpliendo así con una petición realizada por Merca.

Autores originales: James A. Sellers

Publicado 2026-06-29

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: James A. Sellers

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes una bolsa gigante de bloques numerados. Tu trabajo es construir "torres" (que los matemáticos llaman particiones) apilando estos bloques de modo que su suma total sea igual a un número específico, digamos $n$ .

Normalmente, puedes apilar los bloques como quieras. Pero en este artículo, estamos jugando un juego muy específico con una regla especial: Solo puedes usar bloques con números "impares" (1, 3, 5, etc.) como máximo dos veces en una sola torre. Puedes usar los bloques con números "pares" (2, 4, 6, etc.) tantas veces como quieras.

Llamemos al número de diferentes torres que puedes construir para un número $n$ como $a(n)$ .

El Misterio

Un matemático llamado Merca observó algo extraño en este juego. Descubrió que si intentas construir torres para números que tienen la forma de $4n + 2$ (como 2, 6, 10, 14...) o $4n + 3$ (como 3, 7, 11, 15...), el número total de formas de construirlas es siempre un número par.

En términos matemáticos, él demostró:

$a(4n + 2)$ es divisible por 2.
$a(4n + 3)$ es divisible por 2.

Merca demostró esto usando un método automatizado y muy potente, similar al de una computadora. Aunque era correcto, era como resolver un rompecabezas mediante la fuerza bruta; no explicaba por qué la respuesta era par. Él pidió una prueba "clásica" o "elemental": una explicación simple y lógica que un humano pudiera seguir sin necesidad de una supercomputadora.

James Sellers, el autor de este artículo, dice: "¡Reto aceptado!". Él proporciona dos formas sencillas de demostrarlo.

Método 1: El "Filtro Mágico" (Funciones Generatrices)

Piensa en una función generatriz como una máquina mágica que toma una lista de números y la convierte en una receta algebraica gigante (un polinomio). Si expandes esta receta, el número de veces que aparece un término específico te indica cuántas torres existen para ese número.

La receta original de Merca para este problema era increíblemente compleja y desordenada, como un manual de instrucciones de 20 páginas con cientos de pasos.

La primera prueba de Sellers es como encontrar una versión simplificada de ese manual.

Toma la receta compleja y utiliza algunos trucos algebraicos ingeniosos (llamados disecciones) para dividirla.
Separa la receta en dos partes: una para números pares y otra para números impares.
Cuando observa específicamente las partes para $4n+2$ y $4n+3$ , descubre algo asombroso: la receta completa para estos números específicos tiene un "2" situado justo delante de ella.

La Analogía: Imagina que estás horneando galletas. La receta original dice: "Mezcle harina, azúcar, huevos y un ingrediente secreto". La prueba de Sellers muestra que, para el lote específico de galletas etiquetado como "4n+2", la receta en realidad dice: "Tome 2 tandas de esta mezcla".
Si tienes 2 tandas, automáticamente tienes un número par de galletas. No importa cómo las cuentes, el total es par. Esto demuestra la regla simplemente mirando la estructura de la receta.

Método 2: La "Caza de Cuadrados" (Funciones Theta)

La segunda prueba es más bien como una historia de detectives que involucra cuadrados.

Sellers conecta el juego de construcción de torres con un objeto matemático especial llamado Función Theta. Piensa en esta función como una linterna que solo ilumina números que pueden escribirse de una forma muy específica: $3k^2 + 2k$ (donde $k$ es un número entero).

Si un número encaja en esta forma, la linterna se enciende (el valor es 1).
Si no encaja, la linterna permanece apagada (el valor es 0).

La prueba luego vincula los conteos de las torres ( $a(n)$ ) con estos números de la linterna. Resulta que el número de torres para $n$ está relacionado con una suma de estos números de la linterna.

El Trabajo de Detective:
Sellers se pregunta: "¿Pueden los números $4n + 2$ o $4n + 3$ encajar en la forma $3k^2 + 2k$ ?".

Realiza un cálculo rápido y se da cuenta de que, si $4n + 2$ encajara en la forma, tendría que ser un número que, al multiplicarlo por 3 y sumarle 1, se convierta en un cuadrado perfecto.
Sin embargo, revisa las matemáticas y encuentra que $4n + 2$ (y $4n + 3$ ) siempre resultan en números que no pueden ser cuadrados perfectos (dejan un residuo de 3 o 2 al dividirse por 4, y los cuadrados nunca hacen eso).

La Conclusión:
Dado que la linterna nunca se enciende para estos números específicos (el valor siempre es 0), la suma que determina el número de torres se convierte en cero (o par).

La Analogía: Imagina que estás tratando de encontrar una llave específica en un montón gigante de llaves. La "llave" que buscas solo existe si el número es un cuadrado perfecto. Revisas los números 2, 6, 10, 14... y te das cuenta de que ninguno de ellos es un cuadrado perfecto. Por lo tanto, la llave no existe. Si la llave no existe, el "conteo" de llaves es cero. Como cero es un número par, la regla se cumple.

Resumen

El artículo no solo dice "es cierto porque una computadora lo dijo". En su lugar, ofrece dos razones claras y legibles para humanos:

El Método de la Receta: La fórmula matemática para estos números tiene literalmente un "2" multiplicado delante, garantizando un resultado par.
El Método del Cuadrado: Los números en cuestión ( $4n+2$ y $4n+3$ ) están matemáticamente "prohibidos" de ser cuadrados perfectos, lo que obliga a que el conteo de las particiones sea par.

Ambos métodos confirman la observación de Merca utilizando una lógica clásica y sencilla en lugar de una automatización compleja.

Resumen Técnico: Pruebas Elementales de Dos Congruencias para Particiones con Partes Impares Repetidas como Máximo Dos Veces

Planteamiento del Problema
El artículo aborda un problema específico en la teoría de particiones referente a la función auxiliar $a(n)$ , la cual cuenta el número de particiones de un entero $n$ donde las partes impares se repiten como máximo dos veces (sin restricciones sobre las partes pares). Esta función es equivalente a contar las particiones de $n$ donde ninguna parte es congruente con 3 módulo 6. En un estudio reciente sobre sobreparticiones, Merca estableció dos congruencias para esta función:

$a(4n + 2) \equiv 0 \pmod 2$
$a(4n + 3) \equiv 0 \pmod 2$

Aunque Merca proporcionó pruebas para estos resultados utilizando técnicas automatizadas basadas en el trabajo de Radu y Smoot, señaló que estos métodos no ofrecían información sobre la estructura subyacente de los resultados y solicitó una prueba "clásica" o elemental. El objetivo de este artículo es cumplir con dicha solicitud proporcionando tales pruebas.

Metodología
El autor, James A. Sellers, emplea dos enfoques elementales distintos para probar las congruencias, evitando la compleja maquinaria automatizada utilizada en trabajos previos.

Identidades de Funciones Generatrices Simplificadas (Sección 2):
El primer método se basa en la disección de funciones generatrices. El autor utiliza dos lemas elementales sobre la disección de $f_3/f_1$ y $1/f_1^2$ (citando a da Silva y Sellers). Al aplicar estos lemas a la función generatriz de $a(n)$ , definida como $\sum a(n)q^n = f_3 / (f_1 f_6)$ , el autor realiza sucesivas 2-disecciones. Este proceso aísla los términos correspondientes a $a(4n+2)$ y $a(4n+3)$ , obteniendo identidades de funciones generatrices significativamente más simples que las derivadas previamente por Merca.
Función Theta y Aritmética Modular (Sección 3):
El segundo método vincula la función generatriz de $a(n)$ a una función theta específica, $G(q) = f_2^2 f_3 f_{12} / (f_1 f_4 f_6)$ , que es una forma modular holomorfa de peso 1/2. El autor establece una congruencia módulo 2 entre la función generatriz de $a(n)$ y el producto de la función generatriz de la función de partición $p(n)$ y la función theta $G(q)$ .
Los coeficientes de $G(q)$ , denotados como $g(n)$ , son no nulos solo cuando $n$ toma la forma $3k^2 + 2k$ . La prueba reduce entonces el problema a un argumento de teoría de números: demuestra que las progresiones aritméticas $4N+2$ y $4N+3$ no pueden representarse de la forma $3k^2 + 2k$ . Esto se demuestra analizando la ecuación cuadrática $3n+1 = (3k+1)^2$ y observando que para $n \in \{4N+2, 4N+3\}$ , el valor resultante $3n+1$ es congruente con 3 o 2 módulo 4, respectivamente. Dado que ningún cuadrado perfecto es congruente con 2 o 3 módulo 4, los coeficientes $g(4N+2)$ y $g(4N+3)$ son idénticamente cero.

Contribuciones Clave y Resultados

Pruebas Elementales: El artículo proporciona dos pruebas "verdaderamente elementales" para las congruencias $a(4n+2) \equiv 0 \pmod 2$ y $a(4n+3) \equiv 0 \pmod 2$ , abordando directamente la solicitud de Merca de una derivación clásica.
Identidades Simplificadas: El autor deriva nuevas identidades de funciones generatrices mucho más simples para las subsecuencias $a(4n+2)$ y $a(4n+3)$ (Teoremas 1.4 y 1.5), las cuales son mucho menos complejas que las identidades establecidas previamente por Merca (Teoremas 1.1 y 1.2).
Perspectiva Estructural: El segundo método de prueba arroja luz sobre por qué surgen estas progresiones aritméticas específicas. Al vincular el problema con la no existencia de cuadrados en ciertas progresiones aritméticas (específicamente módulo 4), el artículo revela el mecanismo de teoría de números que impulsa la divisibilidad por 2.

Significancia
El artículo reclama significancia principalmente por su valor pedagógico y explicativo. El autor señala que, si bien las pruebas automatizadas de Radu y Smoot son correctas, son "innecesarias" en términos de potencia y "no ofrecen información sobre los resultados mismos". Por el contrario, estas pruebas elementales:

Cumplen con la solicitud específica de Merca de un enfoque clásico.
Demuestran que existen identidades de funciones generatrices más simples para estas congruencias.
Ofrecen una explicación clara, combinatoria y de teoría de números para las propiedades de divisibilidad, destacando específicamente el papel de los residuos cuadráticos módulo 4.

El trabajo no propone nuevas aplicaciones o direcciones experimentales futuras, sino que sirve para aclarar y simplificar resultados existentes en la teoría de particiones y sobreparticiones.

El Misterio

Método 1: El "Filtro Mágico" (Funciones Generatrices)

Método 2: La "Caza de Cuadrados" (Funciones Theta)

Resumen

Más como este