🔢 mathematics

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

Cet article fournit deux preuves élémentaires pour les congruences $a(4n+2) \equiv 0 \pmod{2}$ et $a(4n+3) \equiv 0 \pmod{2}$ , où $a(n)$ compte les partitions de $n$ dont les parties impaires sont répétées au plus deux fois, répondant ainsi à une demande faite par Merca.

Auteurs originaux : James A. Sellers

Publié 2026-06-29

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : James A. Sellers

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous avez un sac géant de blocs numérotés. Votre travail consiste à construire des « tours » (que les mathématiciens appellent des partitions) en empilant ces blocs afin que leur somme totale soit égale à un nombre spécifique, disons $n$ .

Habituellement, vous pouvez empiler les blocs comme bon vous semble. Mais dans cet article, nous jouons à un jeu très spécifique avec une règle spéciale : vous ne pouvez utiliser les blocs de nombres « impairs » (1, 3, 5, etc.) qu'au maximum deux fois dans une seule tour. Vous pouvez utiliser les blocs de nombres « pairs » (2, 4, 6, etc.) autant de fois que vous le souhaitez.

Appelons $a(n)$ le nombre de tours différentes que vous pouvez construire pour un nombre $n$ .

Le Mystère

Un mathématicien nommé Merca a observé ce jeu et a remarqué quelque chose d'étrange. Il a découvert que si vous essayez de construire des tours pour des nombres qui ressemblent à $4n + 2$ (comme 2, 6, 10, 14...) ou $4n + 3$ (comme 3, 7, 11, 15...), le nombre total de façons de les construire est toujours un nombre pair.

En termes mathématiques, il a prouvé :

$a(4n + 2)$ est divisible par 2.
$a(4n + 3)$ est divisible par 2.

Merca a prouvé cela en utilisant une méthode informatique très puissante et automatisée. Bien que correcte, c'était comme résoudre un puzzle par la force brute ; cela n'expliquait pas pourquoi la réponse était paire. Il a demandé une preuve « classique » ou « élémentaire » — une explication simple, logique, qu'un humain pourrait suivre sans superordinateur.

James Sellers, l'auteur de cet article, déclare : « Défi accepté ! » Il propose deux manières simples de le prouver.

Méthode 1 : Le « Filtre Magique » (Fonctions Génératrices)

Considérez une fonction génératrice comme une machine magique qui prend une liste de nombres et les transforme en une immense recette algébrique (un polynôme). Si vous développez cette recette, le nombre de fois qu'un terme spécifique apparaît vous indique combien de tours existent.

La recette originale de Merca pour ce problème était incroyablement complexe et désordonnée, comme un manuel d'instructions de 20 pages comportant des centaines d'étapes.

La première preuve de Sellers est comme la recherche d'une version simplifiée de ce manuel.

Il prend la recette complexe et utilise quelques astuces algébriques ingénieuses (appelées « dissections ») pour la découper.
Il sépare la recette en deux parties : une pour les nombres pairs et une pour les nombres impairs.
Lorsqu'il examine spécifiquement les parties pour $4n+2$ et $4n+3$ , il découvre quelque chose d'incroyable : la recette entière pour ces nombres spécifiques possède un « 2 » placé juste devant elle.

L'analogie : Imaginez que vous cuisinez des biscuits. La recette originale dit : « Mélangez la farine, le sucre, les œufs et un ingrédient secret. » La preuve de Sellers montre que pour la fournée spécifique de biscuits étiquetée « 4n+2 », la recette dit en réalité : « Prenez 2 fournées de ce mélange. »
Si vous avez 2 fournées, vous avez automatiquement un nombre pair de biscuits. Peu importe la façon dont vous les comptez, le total est pair. Cela prouve la règle simplement en regardant la structure de la recette.

Méthode 2 : La « Chasse aux Carrés » (Fonctions Thêta)

La seconde preuve ressemble davantage à une histoire de détective impliquant des carrés.

Sellers relie le jeu de construction de tours à un objet mathématique spécial appelé Fonction Thêta. Considérez cette fonction comme une lampe de poche qui n'éclaire que les nombres qui peuvent être écrits sous une forme très spécifique : $3k^2 + 2k$ (où $k$ est un nombre entier).

Si un nombre correspond à cette forme, la lampe de poche s'allume (la valeur est 1).
Si elle ne correspond pas, la lampe reste éteinte (la valeur est 0).

La preuve relie ensuite le comptage des tours ( $a(n)$ ) à ces nombres de lampes de poche. Il s'avère que le nombre de tours pour $n$ est lié à une somme de ces nombres de lampes de poche.

Le travail de détective :
Sellers demande : « Les nombres $4n + 2$ ou $4n + 3$ peuvent-ils un jour correspondre à la forme $3k^2 + 2k$ ? »

Il effectue un calcul rapide et réalise que si $4n + 2$ correspondait à la forme, ce serait un nombre qui, lorsqu'on le multiplie par 3 et qu'on lui ajoute 1, devient un carré parfait.
Cependant, il vérifie les calculs et constate que $4n + 2$ (et $4n + 3$ ) donnent toujours des nombres qui ne peuvent pas être des carrés parfaits (ils laissent un reste de 3 ou 2 lorsqu'ils sont divisés par 4, et les carrés ne font jamais cela).

La conclusion :
Puisque la lampe de poche ne s'allume jamais pour ces nombres spécifiques (la valeur est toujours 0), la somme qui détermine le nombre de tours devient nulle (ou paire).

L'analogie : Imaginez que vous cherchez une clé spécifique dans un immense tas de clés. La « clé » que vous cherchez n'existe que si le nombre est un carré parfait. Vous vérifiez les nombres 2, 6, 10, 14... et réalisez qu'aucun d'eux n'est un carré parfait. Par conséquent, la clé n'existe pas. Si la clé n'existe pas, le « compte » des clés est de zéro. Puisque zéro est un nombre pair, la règle est respectée.

Résumé

L'article ne se contente pas de dire « c'est vrai parce qu'un ordinateur l'a dit ». Au lieu de cela, il offre deux raisons claires et lisibles par l'humain :

La méthode de la Recette : La formule mathématique pour ces nombres possède littéralement un « 2 » multiplié devant elle, garantissant un résultat pair.
La méthode du Carré : Les nombres en question ( $4n+2$ et $4n+3$ ) sont mathématiquement « interdits » de devenir des carrés parfaits, ce qui force le compte des partitions à être pair.

Ces deux méthodes confirment l'observation de Merca en utilisant une logique classique simple plutôt qu'une automatisation complexe.

Résumé technique : Preuves élémentaires de deux congruences pour les partitions avec des parties impaires répétées au plus deux fois

Énoncé du problème
L'article traite d'un problème spécifique dans la théorie des partitions concernant la fonction auxiliaire $a(n)$ , qui compte le nombre de partitions d'un entier $n$ où les parties impaires sont répétées au plus deux fois (sans restriction sur les parties paires). Cette fonction est équivalente au comptage des partitions de $n$ où aucune partie n'est congrue à 3 modulo 6. Dans une étude récente sur les surpartitions, Merca a établi deux congruences pour cette fonction :

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

Bien que Merca ait fourni des preuves pour ces résultats en utilisant des techniques automatisées basées sur les travaux de Radu et Smoot, il a noté que ces méthodes n'offraient aucune perspective sur la structure sous-jacente des résultats et a sollicité une preuve « classique » ou élémentaire. L'objectif de cet article est de répondre à cette demande en fournissant de telles preuves.

Méthodologie
L'auteur, James A. Sellers, emploie deux approches élémentaires distinctes pour prouver les congruences, évitant ainsi la machinerie complexe et automatisée utilisée dans les travaux précédents.

Identités de fonctions génératrices simplifiées (Section 2) :
La première méthode repose sur la dissection des fonctions génératrices. L'auteur utilise deux lemmes élémentaires concernant la dissection de $f_3/f_1$ et $1/f_1^2$ (citant da Silva et Sellers). En appliquant ces lemmes à la fonction génératrice de $a(n)$ , définie par $\sum a(n)q^n = f_3 / (f_1 f_6)$ , l'auteur effectue des 2-dissections successives. Ce processus isole les termes correspondant à $a(4n+2)$ et $a(4n+3)$ , produisant des identités de fonctions génératrices nettement plus simples que celles précédemment dérivées par Merca.
Fonction thêta et arithmétique modulaire (Section 3) :
La seconde méthode lie la fonction génératrice de $a(n)$ à une fonction thêta spécifique, $G(q) = f_2^2 f_3 f_{12} / (f_1 f_4 f_6)$ , qui est une forme modulaire holomorphe de poids 1/2. L'auteur établit une congruence modulo 2 entre la fonction génératrice de $a(n)$ et le produit de la fonction génératrice de la fonction de partition $p(n)$ et de la fonction thêta $G(q)$ .
Les coefficients de $G(q)$ , notés $g(n)$ , ne sont non nuls que lorsque $n$ prend la forme $3k^2 + 2k$ . La preuve se réduit alors à un argument de théorie des nombres : elle démontre que les progressions arithmétiques $4N+2$ et $4N+3$ ne peuvent pas être représentées sous la forme $3k^2 + 2k$ . Cela est démontré en analysant l'équation quadratique $3n+1 = (3k+1)^2$ et en observant que pour $n \in \{4N+2, 4N+3\}$ , la valeur $3n+1$ résultante est congrue à 3 ou 2 modulo 4, respectivement. Comme aucun carré parfait n'est congru à 2 ou 3 modulo 4, les coefficients $g(4N+2)$ et $g(4N+3)$ sont identiquement nuls.

Principales contributions et résultats

Preuves élémentaires : L'article fournit deux preuves « véritablement élémentaires » pour les congruences $a(4n+2) \equiv 0 \pmod 2$ et $a(4n+3) \equiv 0 \pmod 2$ , répondant directement à la demande de Merca pour une approche classique.
Identités simplifiées : L'auteur dérive de nouvelles identités de fonctions génératrices beaucoup plus simples pour les sous-séquences $a(4n+2)$ et $a(4n+3)$ (Théorèmes 1.4 et 1.5), qui sont bien moins complexes que les identités précédemment établies par Merca (Théorèmes 1.1 et 1.2).
Perspective structurelle : La seconde méthode de preuve éclaire le pourquoi de l'apparition de ces progressions arithmétiques spécifiques. En liant le problème à la non-existence de carrés dans certaines progressions arithmétiques (spécifiquement modulo 4), l'article révèle le mécanisme de théorie des nombres qui régit la divisibilité par 2.

Signification
L'article revendique sa signification principalement par sa valeur pédagogique et explicative. L'auteur note que si les preuves automatisées de Radu et Smoot sont correctes, elles sont « inutiles » en termes de puissance et n'apportent « aucune perspective sur les résultats eux-mêmes ». En revanche, ces preuves élémentaires :

Répondent à la demande spécifique de Merca pour une approche classique.
Démontrent qu'il existe des identités de fonctions génératrices plus simples pour ces congruences.
Offrent une explication claire, combinatoire et de théorie des nombres pour les propriétés de divisibilité, en soulignant spécifiquement le rôle des résidus quadratiques modulo 4.

Le travail ne propose pas de nouvelles applications ou de futures directions expérimentales, mais sert plutôt à clarifier et simplifier des résultats existants dans la théorie des partitions et des surpartitions.

Le Mystère

Méthode 1 : Le « Filtre Magique » (Fonctions Génératrices)

Méthode 2 : La « Chasse aux Carrés » (Fonctions Thêta)

Résumé

Articles similaires