Qu'est-ce qu'une comète de Goldbach ?

La comète de Goldbach est un diagramme de dispersion de g(n) par rapport à n pour n pair. Elle tire son nom de son amas de points dense et allongé ressemblant à une queue de comète qui s'évase à mesure que n augmente. Le tracé révèle une structure surprenante : des bandes horizontales distinctes apparaissent, correspondant aux nombres dont les petits facteurs premiers sont 2, 3, 5, etc. Les nombres divisibles par de nombreux petits nombres premiers ont tendance à avoir plus de partitions.

Vérificateur de la Conjecture de Goldbach

Q: Qu'est-ce que la conjecture de Goldbach ?

La conjecture de Goldbach, proposée par le mathématicien prussien Christian Goldbach dans une lettre de 1742 adressée à Leonhard Euler, stipule que tout nombre entier pair supérieur à 2 peut être exprimé comme la somme de deux nombres premiers. Par exemple, 4 = 2 + 2, 6 = 3 + 3, 10 = 3 + 7 = 5 + 5. Bien qu'elle ait été vérifiée pour des nombres extrêmement grands, la conjecture reste non prouvée.

Q: La conjecture de Goldbach a-t-elle été prouvée ?

Non. La conjecture forte de Goldbach (tout entier pair supérieur à 2 est la somme de deux nombres premiers) reste ouverte en 2026. Elle a été vérifiée par ordinateur pour tous les nombres pairs jusqu'à 4 * 10^18 par Tomás Oliveira e Silva et ses collaborateurs, mais aucune preuve générale n'existe. La conjecture faible (ternaire) de Goldbach, selon laquelle tout nombre impair supérieur à 5 est la somme de trois nombres premiers, a été prouvée par Harald Helfgott en 2013.

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

La fonction de partition de Goldbach g(n) compte le nombre de façons d'écrire un entier pair n comme une somme non ordonnée de deux nombres premiers. Par exemple, g(10) = 2 car 10 = 3 + 7 = 5 + 5. La fonction croît approximativement de l'ordre de n divisé par le carré du log n et présente un aspect fractal célèbre connu sous le nom de comète de Goldbach lorsqu'elle est tracée en fonction de n.

Q: Pourquoi la conjecture de Goldbach ne s'applique-t-elle qu'aux entiers pairs ?

Tous les nombres premiers, sauf 2, sont impairs, et impair plus impair égale pair. Ainsi, toute somme de deux nombres premiers est soit 2 + 2 = 4, soit impair + 2 = impair, soit impair + impair = pair. La plupart des sommes de deux nombres premiers sont donc paires. La conjecture de Goldbach pose la question plus difficile dans le sens inverse : est-ce que chaque n pair supérieur à 2 peut être écrit de cette façon ? Les nombres impairs sont plutôt abordés par la conjecture faible de Goldbach.

Q: Combien de paires de nombres premiers totalisent 100 ?

Il existe 6 paires de nombres premiers dont la somme est 100 : 3 + 97, 11 + 89, 17 + 83, 29 + 71, 41 + 59, 47 + 53. Donc g(100) = 6. Vous pouvez essayer 100 dans le vérificateur ci-dessus pour voir chaque décomposition listée et visualisée.

Vérifiez la conjecture de Goldbach pour tout entier pair supérieur à 2. Décomposez votre nombre en chaque paire possible de nombres premiers dont la somme lui est égale, explorez la fonction de partition de Goldbach g(n) et visualisez la célèbre comète de Goldbach de manière interactive.

Vérificateur de la Conjecture de Goldbach

Embed Vérificateur de la Conjecture de Goldbach Widget

Vérificateur de la Conjecture de Goldbach

Bienvenue sur le Vérificateur de la conjecture de Goldbach, un outil interactif qui confirme l'un des plus anciens problèmes ouverts de la théorie des nombres pour tout entier pair supérieur à 2. Entrez votre nombre et voyez instantanément chaque paire de nombres premiers dont la somme lui est égale, la valeur de la fonction de partition de Goldbach g(n), ainsi que le célèbre graphique de la comète de Goldbach. Le diagramme de pont et le graphique de la comète rendent la structure de cette conjecture de 1742 visuellement intuitive.

Qu'est-ce que la conjecture de Goldbach ?

La conjecture de Goldbach est un énoncé de la théorie des nombres proposé par le mathématicien prussien Christian Goldbach dans une lettre adressée à Leonhard Euler le 7 juin 1742. Dans sa forme moderne, elle stipule :

Conjecture forte de Goldbach

Tout nombre entier pair supérieur à 2 peut s'écrire comme la somme de deux nombres premiers.

Par exemple : $4 = 2 + 2$, $6 = 3 + 3$, $8 = 3 + 5$, $10 = 3 + 7 = 5 + 5$, $100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53$.

Malgré la simplicité de son énoncé, la conjecture est restée non prouvée pendant près de trois siècles. Elle a été vérifiée par ordinateur pour chaque entier pair jusqu'à $4 \times 10^{18}$ lors de récents efforts à grande échelle, mais une preuve générale échappe encore aux mathématiciens.

La fonction de partition de Goldbach g(n)

Pour un entier pair $n$, le nombre de paires non ordonnées distinctes de nombres premiers dont la somme est $n$ est noté $g(n)$, la fonction de partition de Goldbach :

Fonction de partition de Goldbach

$$g(n) = \#\{(p, q) : p + q = n,\ p \le q,\ p \text{ et } q \text{ premiers}\}$$

La conjecture de Goldbach équivaut à affirmer que $g(n) \ge 1$ pour tout $n$ pair $> 2$. Tracées en fonction de $n$, les valeurs de $g(n)$ forment une figure visuellement saisissante connue sous le nom de comète de Goldbach — une bande de points dense et brillante qui s'évase à mesure que $n$ augmente. Des bandes horizontales distinctes apparaissent au sein de la comète : les nombres divisibles par 6 ont tendance à se situer plus haut que les nombres divisibles uniquement par 2, car davantage de petits nombres premiers sont disponibles comme termes de la somme.

Comment utiliser ce vérificateur

Entrez un entier pair supérieur à 2. Cliquez sur un exemple rapide (100, 1 000, 10 000, 123 456, 1 000 000) ou tapez le vôtre.
Cliquez sur "Vérifier Goldbach". L'outil trouve chaque paire de nombres premiers dont la somme est égale à votre nombre en utilisant un crible d'Ératosthène.
Lisez le verdict. La bannière verte confirme que la conjecture est vérifiée pour votre nombre, et le panneau principal affiche $g(n)$.
Étudiez le diagramme de pont. Chaque paire de nombres premiers est représentée par deux segments colorés sur une ligne de 0 à $n$, avec le marqueur central rouge à $n/2$. Les paires proches du centre sont plus équilibrées.
Explorez la comète. Le graphique de dispersion montre $g(m)$ pour les $m$ pairs proches de votre saisie, mettant en évidence votre nombre en rouge afin que vous puissiez voir où il se situe dans le motif de la comète.
Parcourez le tableau complet des paires. Chaque paire $(p, q)$ est listée avec la différence $q - p$. Copiez toutes les paires en un clic.

Qu'est-ce qui rend une paire spéciale ?

Paire avec le plus petit p — La paire qui utilise le plus petit nombre premier $p$. Souvent, il s'agit de $3$ ou $5$ pour des $n$ modérés. Lorsque $n$ est une puissance de 2 plus 2, il peut s'agir de $2 + (n-2)$ lui-même.
Paire la plus équilibrée — La paire dont $p$ est le plus proche de $n/2$. Lorsque les deux nombres premiers sont égaux à $n/2$, $n$ doit être le double d'un nombre premier (ex. : $10 = 5 + 5$, $14 = 7 + 7$, $26 = 13 + 13$).
Paire avec le plus grand p — La paire avec le plus grand $p$ tel que $p \le q$. C'est la paire "la plus équilibrée de l'autre côté" et elle donne une limite visuelle sur la proximité des nombres premiers par rapport à $n/2$.

Goldbach en chiffres

Nombres de partitions classiques

n pair	g(n)	Exemples de décompositions
10	2	3+7, 5+5
100	6	3+97, 11+89, 17+83, 29+71, 41+59, 47+53
1 000	28	3+997, 17+983, 23+977, …
10 000	127	59+9941, 71+9929, 83+9917, …
100 000	810	3+99997, 17+99983, 19+99981, …
1 000 000	5 402	17+999983, 29+999971, 41+999959, …

Comportement asymptotique

Des arguments heuristiques issus de la conjecture de Hardy-Littlewood suggèrent que $g(n)$ croît approximativement comme

Estimation de Hardy-Littlewood

$$g(n) \sim 2 \, C_2 \prod_{p \mid n,\ p > 2} \frac{p-1}{p-2} \cdot \frac{n}{(\ln n)^2}$$

où $C_2 \approx 0,66016$ est la constante des nombres premiers jumeaux. Le produit supplémentaire explique pourquoi les nombres pairs ayant de nombreux petits facteurs premiers (multiples de 6, 30, etc.) ont tendance à avoir proportionnellement beaucoup plus de paires de Goldbach — ce qui est à l'origine des bandes horizontales dans la comète.

Goldbach faible vs fort

Conjecture forte (binaire) de Goldbach — tout $n$ pair $> 2$ est une somme de deux nombres premiers. Toujours ouverte.
Conjecture faible (ternaire) de Goldbach — tout $n$ impair $> 5$ est une somme de trois nombres premiers. Prouvée par Harald Helfgott en 2013, achevant un programme de plusieurs décennies initié par Vinogradov en 1937.

La forme forte implique la forme faible : si tout $n$ pair est une somme de deux nombres premiers, alors tout $n$ impair $> 5$ est cette somme plus un $3$ supplémentaire. L'inverse, malheureusement, n'est pas connu pour être vrai.

Résultats partiels célèbres

1923 — Hardy & Littlewood : en supposant l'hypothèse de Riemann généralisée, presque tout entier pair est la somme de deux nombres premiers.
1937 — Ivan Vinogradov : a prouvé la conjecture ternaire pour tous les nombres entiers impairs suffisamment grands.
1973 — Chen Jingrun : tout entier pair suffisamment grand est la somme d'un nombre premier et d'un nombre qui est soit premier, soit le produit de deux nombres premiers (théorème de Chen).
1995 — Olivier Ramaré : tout entier pair est la somme d'au plus 6 nombres premiers.
2013 — Harald Helfgott : a prouvé la conjecture faible de Goldbach de manière inconditionnelle.
2014 — Oliveira e Silva, Herzog & Pardi : la conjecture forte a été vérifiée pour tous les $n$ pairs $\le 4 \times 10^{18}$.

Foire aux questions

Qu'est-ce que la conjecture de Goldbach ?

La conjecture de Goldbach stipule que tout nombre entier pair supérieur à 2 peut s'écrire comme la somme de deux nombres premiers. Elle a été formulée pour la première fois par Christian Goldbach en 1742 et a été vérifiée pour des nombres astronomiquement grands, mais n'a jamais été prouvée de manière générale.

La conjecture de Goldbach a-t-elle été prouvée ?

Non. En 2026, la conjecture forte de Goldbach reste un problème ouvert. La version faible (ternaire) — tout entier impair supérieur à 5 est la somme de trois nombres premiers — a été prouvée par Harald Helfgott en 2013.

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

$g(n)$ est le nombre de paires non ordonnées de nombres premiers dont la somme est égale à $n$. Par exemple, $g(10) = 2$ car $10 = 3 + 7 = 5 + 5$. La conjecture de Goldbach est l'affirmation selon laquelle $g(n) \ge 1$ pour tout $n$ pair $> 2$.

Pourquoi la conjecture de Goldbach ne s'applique-t-elle qu'aux entiers pairs ?

Tous les nombres premiers, sauf $2$, sont impairs. Impair + Impair = Pair, donc les sommes de deux nombres premiers impairs sont toujours paires. Les nombres entiers impairs sont traités par la conjecture ternaire de Goldbach, qui s'intéresse aux sommes de trois nombres premiers.

Qu'est-ce que la comète de Goldbach ?

La comète de Goldbach est un diagramme de dispersion de $g(n)$ par rapport à $n$. Elle possède une forme célèbre en bandes ressemblant à une queue. Des bandes horizontales apparaissent car les nombres pairs possédant de nombreux petits diviseurs premiers ont tendance à avoir proportionnellement plus de partitions.

Combien de paires de nombres premiers totalisent 100 ?

Il y en a six : $3+97$, $11+89$, $17+83$, $29+71$, $41+59$, $47+53$. Donc $g(100) = 6$. Essayez 100 dans le vérificateur ci-dessus pour visualiser chaque paire.

Ressources supplémentaires

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

"Vérificateur de la Conjecture de Goldbach" sur https://MiniWebtool.com/fr/verificateur-de-la-conjecture-de-goldbach/ de MiniWebtool, https://MiniWebtool.com/

par l'équipe miniwebtool. Mis à jour le : 18 avr. 2026

API développeur disponible: Exécutez cet outil depuis votre app, automatisation ou agent avec une requête HTTP JSON. Voir la documentation API

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.