Conjecture de Goldbach
La conjecture de Goldbach est l'assertion mathématique qui s’énonce comme suit :

Formulée en 1742 par Christian Goldbach, c’est l’un des plus vieux problèmes non résolus de la théorie des nombres et des mathématiques. Il partage avec l'hypothèse de Riemann et la conjecture des nombres premiers jumeaux le numéro 8 des problèmes de Hilbert, énoncés par celui-ci en 1900.

La figure ci-contre montre les solutions de l’équation 2N = p + q représentées par des ronds, où 2N est un nombre pair entre 4 et 50, et p et q sont deux nombres premiers : les nombres 2N sont représentés par les lignes horizontales et les nombres premiers p et q sont représentés par les lignes rouges et bleues. La conjecture de Goldbach correspond au fait qu’aussi loin qu’on prolonge la figure vers le bas, toute ligne horizontale grise contiendra au moins un rond :

La conjecture de Goldbach est un cas particulier d’une conjecture liée à l’hypothèse H de Schinzel.

Origine 

Le , le mathématicien prussien Christian Goldbach écrit au mathématicien suisse Leonhard Euler une lettre à la fin de laquelle il propose la conjecture suivante :

(Goldbach admettait 1 comme nombre premier ; la conjecture moderne exclut 1, et remplace donc 2 par 5.)

Dans sa réponse datée du , Euler rappelle à Goldbach que cet énoncé découle d'un énoncé antérieur que Goldbach lui avait déjà communiqué :

(Comme précédemment, « nombre » est à prendre au sens « entier strictement supérieur à 0 » et la conjecture moderne remplace 0 par 2.)

Selon une version plus faible de la conjecture, tout nombre impair supérieur ou égal à 9 est somme de trois nombres premiers.

Justification heuristique 
La majorité des mathématiciens pense que la conjecture de Goldbach est vraie, en se basant surtout sur des considérations statistiques axées sur la répartition des nombres premiers : plus le nombre est grand, plus il y a de manières disponibles pour le représenter sous forme de somme de deux ou trois autres nombres, et la plus « compatible » devient celle pour laquelle au moins une de ces représentations est constituée entièrement de nombres premiers.

Une version très grossière de l'argument probabiliste heuristique (pour la forme forte de la conjecture de Goldbach) est la suivante. Le théorème des nombres premiers affirme qu'un entier  sélectionné aléatoirement d'une manière brute possède  chance d'être premier. Ainsi, si  est un grand entier pair et , un nombre compris entre 3 et , alors on peut s'attendre à ce que la probabilité que  et  soient tous deux premiers soit égale à . Cet argument heuristique n'est pas rigoureux pour de nombreuses raisons ; par exemple, on suppose que les événements que  et  soient premiers sont statistiquement indépendants l'un de l'autre. Si l'on poursuit quand même ce raisonnement heuristique, on peut estimer que le nombre total de manières d'écrire un grand nombre entier pair  comme la somme de deux nombres premiers impairs vaut environ

Puisque cette quantité tend vers l'infini lorsque  augmente, on peut s'attendre à ce que tout entier pair suffisamment grand non seulement possède au moins une représentation sous forme de somme de deux nombres premiers, mais en fait en possède beaucoup.

L'argument heuristique ci-dessus est en fait quelque peu imprécis, car il ignore certaines corrélations entre les probabilités que  et  soient premiers. Par exemple, si  est impair alors  aussi, et si  est pair alors  aussi, or les nombres premiers sont tous impairs à part 2. De même, si  est divisible par 3 et si  est déjà un nombre premier distinct de 3, alors  est aussi premier avec 3 donc sa probabilité d'être premier est légèrement supérieure à celle d'un entier quelconque. En poursuivant ce type d'analyse avec plus de soin, Hardy et Littlewood conjecturèrent en 1923 (c'est une partie de la célèbre conjecture des -uplets premiers de Hardy-Littlewood) que pour tout , le nombre de représentations d'un grand entier  sous la forme de somme de  premiers  avec  devrait être équivalent à

où le produit porte sur tous les nombres premiers , et  est le nombre de solutions de l’équation  en arithmétique modulaire, soumise aux contraintes . Cette formule asymptotique a été démontrée pour  à partir du travail de Vinogradov, mais est encore à l'état de conjecture pour . Dans ce dernier cas, l'expression ci-dessus est nulle lorsque  est impair, et lorsque  est pair elle se simplifie en

où  est la constante des nombres premiers jumeaux

Cette formule asymptotique est quelquefois appelée conjecture étendue de Goldbach. La conjecture forte de Goldbach est en fait très similaire à celle des nombres premiers jumeaux, et les deux conjectures sont présumées de difficultés comparables.

État des recherches

Théorèmes apparentés 
Dans le cadre de recherches en vue de démontrer la conjecture de Goldbach, plusieurs théoriciens des nombres ont abouti à des théorèmes plus faibles que la conjecture. Le tableau suivant présente quelques étapes significatives de ces recherches. La mention f indique les théorèmes en rapport avec la conjecture faible de Goldbach, « tout nombre impair supérieur ou égal à 9 est somme de trois nombres premiers. » :

Vérifications numériques 

En 2014, les vérifications numériques publiées conduisent aux conclusions suivantes :
 la conjecture de Goldbach est vérifiée pour tous les entiers pairs jusqu’à 4.10 (Tomás Oliveira e Silva, Siegfried Herzog et Silvio Pardi) ;
 la conjecture faible de Goldbach est vérifiée pour tous les entiers impairs jusqu’à 8,875.10 (H. A. Helfgott et David J. Platt).

Dans la culture 
 En 2007, Luis Piedrahita et Rodrigo Sopeña produisent le film espagnol La Cellule de Fermat () mettant en scène un jeune mathématicien qui affirme faussement avoir démontré la conjecture et un vieux mathématicien qui, lui, l’aurait démontrée.
 Le roman Oncle Petros et la Conjecture de Goldbach , d’Apóstolos Doxiádis, raconte l’histoire fictive d’un mathématicien ayant consacré sa vie professionnelle à la seule conjecture de Goldbach, gaspillant ainsi ses ressources intellectuelles et se mettant lui-même à l’écart de la vie scientifique et de sa famille. Le roman en profite surtout pour fournir un éclairage culturel sur quelques mathématiciens et logiciens du début du siècle (Kurt Gödel, Alan Turing, Srinivasa Ramanujan, Godfrey Harold Hardy…) et les rapports entre leurs différents travaux.
 Afin de faire de la publicité pour le livre de Doxiádis, l’éditeur britannique Tony Faber offrit en 2000 un prix d'un million de dollars américains pour une preuve de la conjecture. Le prix ne pouvait être attribué qu’à condition que la preuve soit soumise à publication avant . Il n’a jamais été réclamé.
 Le roman Le Théorème du Perroquet, de Denis Guedj, met en scène un mathématicien qui, au fond de l’Amazonie, réussit à démontrer la conjecture de Goldbach. Refusant de la livrer à l’humanité, il se suicide en brûlant ses recherches. Mais avant, il la fait apprendre par son perroquet. Des mafieux veulent s’approprier l’oiseau mais ce dernier reste muet. Excédés, ils l’abattent. Le roman se termine dans la forêt où le perroquet, blessé, récite la démonstration aux autres animaux. Elle demeure ainsi inconnue des hommes.

Notes et références

Voir aussi

Articles connexes 
 Conjecture de Polignac
 Constante de Schnirelmann

Liens externes 
 Projet de calcul distribué des nombres de Goldbach
  Chris Caldwell, Goldbach’s conjecture, sur le site Prime Pages

 

Arithmétique
Goldbach
Nombre premier