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 :

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 :

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

1. 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.
2. 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.
3. 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)\).
4. É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.
5. 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.
6. 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

Comportement asymptotique

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

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

• Conjecture de Goldbach — Wikipédia
• Comète de Goldbach — Wikipédia (Anglais)
• Conjecture de Goldbach — MathWorld (Anglais)