Quelles sont les congruences de Ramanujan pour les partitions ?

Ramanujan a découvert trois congruences remarquables pour la fonction de partition : p(5k+4) est divisible par 5, p(7k+5) est divisible par 7, et p(11k+6) est divisible par 11, pour chaque entier non négatif k. Exemples : p(4)=5, p(9)=30, p(14)=135 sont tous divisibles par 5. Le calculateur signale chaque fois que le n choisi correspond à l'un de ces trois modèles.

Calculateur de Fonction de Partition

Q: Qu'est-ce que la fonction de partition p(n) ?

La fonction de partition p(n) compte le nombre de façons d'écrire un entier positif n comme une somme d'entiers positifs, où l'ordre des termes n'a pas d'importance. Par exemple, p(4) est égal à 5 car 4 peut s'écrire comme 4, 3+1, 2+2, 2+1+1 ou 1+1+1+1. Par convention, p(0) est égal à 1 (la partition vide).

Q: Qu'est-ce qu'un diagramme de Young ou de Ferrers ?

Un diagramme de Young (également appelé diagramme de Ferrers) est une représentation visuelle d'une partition où chaque partie est dessinée comme une rangée de cases. Les parties sont ordonnées de la plus grande à la plus petite, de haut en bas. Pour la partition 4+2+1 de 7, le diagramme comporte une rangée de 4 cases, une rangée de 2 cases et une rangée de 1 case. Les diagrammes de Young facilitent la visualisation des propriétés structurelles des partitions et la définition d'opérations comme la conjugaison.

Q: Que dit le théorème des partitions d'Euler ?

Le théorème des partitions d'Euler stipule que pour tout entier positif n, le nombre de partitions de n en parties distinctes est égal au nombre de partitions de n en parties impaires. Par exemple, pour n = 5, les partitions distinctes sont {5}, {4+1}, {3+2} (trois au total), et les partitions impaires sont {5}, {3+1+1}, {1+1+1+1+1} (également trois). Ce calculateur affiche les deux nombres afin que vous puissiez vérifier l'égalité instantanément.

Q: Quelle est la formule asymptotique de Hardy-Ramanujan pour p(n) ?

La formule asymptotique de Hardy-Ramanujan stipule que p(n) est approximativement égal à exp(pi fois la racine carrée de 2n sur 3), divisé par 4n fois la racine carrée de 3, lorsque n tend vers l'infini. Découverte par G.H. Hardy et Srinivasa Ramanujan en 1918, ce fut la première formule à donner le véritable ordre de croissance de la fonction de partition. Hans Rademacher l'a plus tard étendue en une série convergente exacte.

Calculez la fonction de partition p(n), le nombre de façons d'écrire n comme une somme d'entiers positifs. Énumérez chaque partition pour de petits n avec des diagrammes de Young (Ferrers) animés, comparez les parties distinctes q(n) par rapport aux parties impaires o(n) (théorème d'Euler), tracez la courbe de croissance et comparez avec l'approximation asymptotique de Hardy-Ramanujan.

Calculateur de Fonction de Partition

Embed Calculateur de Fonction de Partition Widget

Calculateur de Fonction de Partition

Bienvenue sur le Calculateur de fonction de partition, un explorateur complet pour l'un des objets les plus fascinants de la combinatoire. Saisissez n'importe quel entier non négatif $n$ et cet outil calculera $p(n)$ — le nombre de façons d'écrire $n$ comme une somme d'entiers positifs où l'ordre n'importe pas — ainsi que le nombre de partitions en parties distinctes $q(n)$, le nombre de partitions en parties impaires $o(n)$, l'estimation asymptotique de Hardy-Ramanujan, chaque congruence de Ramanujan correspondante et (pour les petits $n$) chaque partition individuelle rendue sous forme de diagramme de Young animé.

Qu'est-ce que la fonction de partition p(n) ?

La fonction de partition $p(n)$ compte le nombre de façons d'écrire $n$ comme une somme d'entiers positifs, sans tenir compte de l'ordre. Deux sommes qui ne diffèrent que par l'ordre de leurs termes sont considérées comme la même partition. Par exemple, les partitions de 4 sont :

4
3 + 1
2 + 2
2 + 1 + 1
1 + 1 + 1 + 1

Cela donne $p(4) = 5$. Par convention $p(0) = 1$, comptant la "partition vide". Quelques autres valeurs : $p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292.$

Fonction génératrice

Leonhard Euler a découvert que la fonction génératrice de $p(n)$ possède une forme de produit magnifiquement compacte :

Fonction génératrice d'Euler pour p(n)

$$\sum_{n=0}^{\infty} p(n)\, x^n \;=\; \prod_{k=1}^{\infty} \frac{1}{1 - x^k}$$

Chaque facteur $1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots$ contribue au choix du nombre de fois que la partie $k$ apparaît dans la partition. En multipliant les facteurs ensemble, on génère chaque partition exactement une fois.

Diagrammes de Young (Ferrers)

Un diagramme de Young (également appelé diagramme de Ferrers) représente visuellement une partition sous la forme d'un tableau de cases aligné à gauche. Chaque ligne correspond à une partie, et les lignes sont listées de la plus grande à la plus petite. Par exemple, la partition $4 + 2 + 1$ de 7 devient :

Les diagrammes de Young permettent de "voir" les identités de partition. Refléter un diagramme par rapport à sa diagonale principale transforme les lignes en colonnes, ce qui correspond à la partition conjuguée. Ce calculateur génère un diagramme de Young pour chaque partition de $n$ lorsque $n \le 15$.

Théorème des partitions d'Euler

L'un des résultats les plus élégants d'Euler stipule :

Théorème d'Euler (distinctes = impaires)

$$\#\{\text{partitions de } n \text{ en parties distinctes}\} \;=\; \#\{\text{partitions de } n \text{ en parties impaires}\}$$

Par exemple, les partitions de 7 en parties distinctes sont $\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}$ — au nombre de cinq. Les partitions de 7 en parties impaires sont $\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}$ — également cinq. Le panneau de résumé du calculateur affiche à la fois $q(n)$ et $o(n)$ afin que vous puissiez vérifier cette identité pour le $n$ choisi.

L'asymptotique de Hardy-Ramanujan

En 1918, G.H. Hardy et Srinivasa Ramanujan ont prouvé la première formule capturant le véritable taux de croissance de $p(n)$ pour les grands $n$ :

Formule asymptotique de Hardy-Ramanujan (1918)

$$p(n) \;\sim\; \frac{1}{4n\sqrt{3}} \, \exp\!\left( \pi \sqrt{\tfrac{2n}{3}} \right)$$

Le résultat est issu de la méthode du cercle de Hardy-Ramanujan, qui intègre la fonction génératrice autour des singularités sur le cercle unité. Hans Rademacher l'a affinée en 1937 en une série convergente exacte — l'une des formules les plus célèbres de la théorie analytique des nombres.

Congruences de partition de Ramanujan

En étudiant le tableau des valeurs de partition, Ramanujan a remarqué trois motifs de divisibilité étonnants :

Congruences de Ramanujan

$$p(5k+4) \equiv 0 \pmod{5}, \quad p(7k+5) \equiv 0 \pmod{7}, \quad p(11k+6) \equiv 0 \pmod{11}$$

Par exemple, $p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575$ sont tous divisibles par 5. Le calculateur signale automatiquement chaque fois que votre $n$ choisi appartient à l'une de ces classes.

Comment utiliser ce calculateur

Saisissez un entier non négatif jusqu'à 500 dans le champ de saisie, ou cliquez sur l'un des exemples célèbres rapides (0, 4, 10, 42, 100, 200).
Cliquez sur "Calculer les partitions". L'outil calcule $p(n)$, $q(n)$, $o(n)$, et l'estimation de Hardy-Ramanujan.
Consultez le panneau principal affichant $p(n)$ comme un grand titre, puis parcourez la grille de résumé pour les parties distinctes, les parties impaires, l'estimation asymptotique et l'erreur en pourcentage.
Inspectez les diagrammes de Young — si $n \le 15$, chaque partition est dessinée sous forme de diagramme de Young animé dans une grille réactive.
Explorez le graphique de croissance — il trace $p(k)$, $q(k)$ et la courbe de Hardy-Ramanujan pour $k = 0, 1, \ldots, n$. Basculez entre l'échelle linéaire et logarithmique pour voir la forme asymptotique.
Lisez le tableau de croissance — une vue ligne par ligne de $p(k), q(k), o(k)$ pour les petits $k$. Utilisez-le pour repérer la première occurrence de chaque congruence de Ramanujan.

Exemple concret : Partitions de 5

Parcourons $n = 5$. Toutes les partitions sont :

$5$
$4 + 1$
$3 + 2$
$3 + 1 + 1$
$2 + 2 + 1$
$2 + 1 + 1 + 1$
$1 + 1 + 1 + 1 + 1$

Donc $p(5) = 7$. Partitions en parties distinctes : $\{5\}, \{4+1\}, \{3+2\}$ — au nombre de trois, donc $q(5) = 3$. Partitions en parties impaires : $\{5\}, \{3+1+1\}, \{1+1+1+1+1\}$ — également trois, donc $o(5) = 3$. Le théorème d'Euler est vérifié. Enfin, $n = 5 \equiv 0 \pmod 5$ n'est pas de la forme $5k+4$, donc la congruence de $5$ ne s'applique pas ; cependant, $p(4) = 5$ satisfait bien $p(5k+4) \equiv 0 \pmod 5$.

Valeurs classiques de p(n)

n	p(n)	Note
0	1	Partition vide (convention)
1	1	Partition unique : {1}
5	7	Premier exemple à indice premier
10	42	"La Réponse"
20	627
50	204 226
100	190 569 292	Calculé par MacMahon à la main, 1915
200	3 972 999 029 388
500	2 300 165 032 574 323,995,027	Environ $2.3 \times 10^{21}$

Histoire

Années 1750 : Leonhard Euler étudie les partitions et découvre l'identité de la fonction génératrice ainsi que le théorème "distinctes = impaires".
1915 : Le major Percy MacMahon publie une table de $p(n)$ pour $n$ jusqu'à 200 — calculée à la main.
1918 : Hardy et Ramanujan prouvent la formule asymptotique en utilisant la méthode du cercle.
1919 : Ramanujan publie les célèbres congruences $p(5k+4),\ p(7k+5),\ p(11k+6)$.
1937 : Hans Rademacher affine Hardy-Ramanujan en une série convergente exacte.
2011 : Ken Ono et Jan Bruinier prouvent que $p(n)$ peut être exprimé comme une somme algébrique finie pour chaque entier positif.

Applications

Combinatoire et théorie des représentations — les partitions indexent les représentations irréductibles du groupe symétrique $S_n$.
Mécanique statistique — les comptes de partitions apparaissent dans l'entropie des gaz quantiques idéaux et dans les fonctions de partition de la théorie des cordes.
Formes modulaires — la fonction génératrice de $p(n)$ est étroitement liée à la fonction êta de Dedekind.
Informatique — les benchmarks d'énumération pour le problème de la somme de sous-ensembles et la programmation entière utilisent fréquemment les comptes de partitions.

Foire aux questions

Qu'est-ce que la fonction de partition p(n) ?

$p(n)$ compte le nombre de façons d'exprimer $n$ comme une somme d'entiers positifs où l'ordre n'a pas d'importance. $p(4) = 5$ car 4 peut être écrit comme $4$, $3+1$, $2+2$, $2+1+1$ ou $1+1+1+1$. Par convention $p(0) = 1$.

Qu'est-ce qu'un diagramme de Young ou de Ferrers ?

Un diagramme de Young est une représentation visuelle d'une partition : chaque partie devient une rangée de cases alignées à gauche, les parties étant listées de la plus grande à la plus petite du haut vers le bas. Pour $4+2+1$, dessinez une rangée de 4, une rangée de 2 et une rangée de 1. Ce calculateur génère un diagramme de Young pour chaque partition quand $n \le 15$.

Que dit le théorème des partitions d'Euler ?

Pour chaque entier positif $n$, le nombre de partitions de $n$ en parties distinctes est égal au nombre de partitions de $n$ en parties impaires. Pour $n = 5$ : les parties distinctes donnent $\{5\}, \{4+1\}, \{3+2\}$ ; les parties impaires donnent $\{5\}, \{3+1+1\}, \{1+1+1+1+1\}$. Les deux comptes sont égaux à 3.

Quelle est la formule asymptotique de Hardy-Ramanujan ?

Elle stipule que $p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)$ quand $n \to \infty$. Ce fut la première formule à décrire le taux de croissance exact de $p(n)$, découverte en 1918 par G.H. Hardy et Srinivasa Ramanujan.

Quelles sont les congruences de partition de Ramanujan ?

Trois motifs de divisibilité remarquables : $p(5k+4) \equiv 0 \pmod 5$, $p(7k+5) \equiv 0 \pmod 7$, et $p(11k+6) \equiv 0 \pmod{11}$. Par exemple, $p(4)=5, p(9)=30, p(14)=135$ sont tous divisibles par 5.

À quelle vitesse p(n) croît-elle ?

p(n) croît de manière sous-exponentielle mais plus rapidement que n'importe quel polynôme, environ comme $\exp(\pi \sqrt{2n/3})$. À titre de comparaison : $p(10)=42$, $p(50)=204{,}226$, $p(100)=190{,}569{,}292$, et $p(200) \approx 4 \times 10^{12}$. Utilisez l'échelle logarithmique du graphique pour visualiser cette courbe de croissance.

Ressources supplémentaires

Citez ce contenu, cette page ou cet outil comme suit :

"Calculateur de Fonction de Partition" sur https://MiniWebtool.com/fr/calculateur-de-fonction-de-partition/ de MiniWebtool, https://MiniWebtool.com/

par l'équipe miniwebtool. Mis à jour : 19 avril 2026

Vous pouvez également essayer notre Résolveur Mathématique IA GPT pour résoudre vos problèmes mathématiques grâce à des questions-réponses en langage naturel.

Autres outils connexes:

Calculatrice de séquence arithmétique haute précision

Générateur de Nombres de CatalanNouveau

Calculateur de la Conjecture de CollatzNouveau

Calculatrice de Combinaison

Liste des Nombres de Fibonacci

Générateur du Triangle de PascalNouveau

Outils séquentiels:

Calculatrice de séquence arithmétique haute précision
Liste des numéros de cubes
Les n premiers nombres premiers
Calculatrice de Suite Géométrique
Liste des Nombres de Fibonacci
Liste des nombres premiers
Liste des Numéros Carrés
Calculateur de la Conjecture de Collatz Nouveau
Calculateur de Nombre Heureux Nouveau
Générateur de Carré Magique Nouveau
Générateur de Nombres de Catalan Nouveau
Calculateur de Notation Sigma (Sommation) Nouveau
Calculateur de Notation Produit (Notation Pi) Nouveau
Générateur du Triangle de Pascal Nouveau
Chercheur de Nombres Premiers Jumeaux Nouveau
Calculateur de Fonction de Partition Nouveau

Calculateur de Fonction de Partition

Calculateur de Fonction de Partition

Qu'est-ce que la fonction de partition p(n) ?

Fonction génératrice

Diagrammes de Young (Ferrers)

Théorème des partitions d'Euler

L'asymptotique de Hardy-Ramanujan

Congruences de partition de Ramanujan

Comment utiliser ce calculateur

Exemple concret : Partitions de 5

Valeurs classiques de p(n)

Histoire

Applications

Foire aux questions

Qu'est-ce que la fonction de partition p(n) ?

Qu'est-ce qu'un diagramme de Young ou de Ferrers ?

Que dit le théorème des partitions d'Euler ?

Quelle est la formule asymptotique de Hardy-Ramanujan ?

Quelles sont les congruences de partition de Ramanujan ?

À quelle vitesse p(n) croît-elle ?

Ressources supplémentaires

Autres outils connexes:

Outils séquentiels:

Outils en vedette: