Tout nombre pair est la somme de deux nombres premiers

Sous son apparente simplicité, cet énoncé en principe compréhensible par un enfant de 3^ème (*) constitue en fait l’une des énigmes les plus importantes des mathématiques modernes. Cette affirmation porte le nom de « Conjecture de Goldbach », en référence au mathématicien prussien qui l’a pour la première fois énoncée en 1742, dans une lettre à Leonard Euler. Ce dernier lui répondit qu’il considérait ce résultat comme « totalement certain, bien que je ne sois pas capable moi-même de le démontrer ». 268 ans plus tard, Euler peut dormir tranquille, personne n’a jamais réussi.

Si vous vous sentez un peu fatigué pour chercher directement une démonstration, on peut s’échauffer en faisant quelques tests numériques. Commençons de tête avec les premiers nombres pairs, en cherchant à les décomposer sous forme d’une somme de deux nombres premiers :

2=1+1, 4=3+1, 6=3+3, 8=5+3, 10=5+5, 12=7+5, 14=7+7, 16=5+11,…

Bien sûr il peut exister plusieurs solutions, par exemple :

100=3+97=11+89=17+83=29+71=41+59=47+53.

Maintenant pour entrer dans l’histoire des mathématiques, vous avez deux options : essayer de démontrer la conjecture de Goldbach, ou bien essayer d’en trouver un contre-exemple, c’est-à-dire un nombre pair pour lequel il n’existe aucune décomposition comme somme de deux nombres premiers.

Vous vous sentez en forme ? Alors choisissez un nombre pair et rendez vous sur cette page pour voir s’il en existe au moins une décomposition en somme de deux nombres premiers

J’ai essayé avec n= 2345678654321345678765432, et la gloire n’est pas pour aujourd’hui. Il doit exister un sacré paquet de manière de l’écrire comme somme de deux nombres premiers, et voici les 5 premières

2345678654321345678765432 =  181 + 2345678654321345678765251

2345678654321345678765432 =  421 + 2345678654321345678765011

2345678654321345678765432 =  1093 + 2345678654321345678764339

2345678654321345678765432 =  1249 + 2345678654321345678764183

2345678654321345678765432 =  1621 + 2345678654321345678763811

Intuitivement, on sent que plus les nombres sont grands, plus cela devient facile car il existe alors plus de possibilités de trouver des nombres premiers qui conviennent. Il existe dans cette veine un argument statistique qui fait dire aux mathématiciens que la conjecture est très certainement vraie. D’ailleurs en lançant des tas de calculs de ce genre sur des grosses machines, la conjecture de Goldbach a été vérifiée numériquement jusqu’à des nombres supérieurs à 1 000 000 000 000 000 000 (10^18).

La conjecture de Goldbach est vraiment une énigme fascinante : très simple à comprendre, vérifiée numériquement jusqu’à des nombres astronomiques, et pourtant à ce jour sans démonstration.

Alors la conjecture de Goldbach, bientôt démontrée ?

Pour se donner une idée de la difficulté, on peut regarder ce que les mathématiciens ont réussit jusqu’ici à démontrer dans ce domaine. Voici trois résultats démontrés, mais plus « faibles » que la conjecture de Goldbach :

D’une part il a été prouvé que s’il existe des contre-exemples à la conjecture, il y en a « infiniment peu ». Pour être précis si on note E(N) le nombre d’exceptions à la conjecture entre 1 et N, alors E(N)/N tend vers zéro. En terme techniques, on dit que la conjecture de Goldbach est vraie pour « presque tous » les nombres pairs.

En 1973 le mathématicien Chen Jingrun a montré que tout nombre pair peut s’écrire non pas comme somme de deux nombres premiers, mais comme somme d’un nombre premier et d’un nombre « semi-premier », c’est-à-dire produit de deux nombres premiers. Par exemple 42 = 17+5*5.

Enfin dernier progrès en date, en 1995, le français O. Ramaré a montré que tout nombre pair peut toujours s’écrire comme somme d’au plus 6 nombres premiers. Tour de force mathématique, mais Goldbach prétend que 2 nombres premiers suffisent. On voit donc qu’il reste du chemin à faire.

(*) D’après le Bulletin officiel spécial n° 6 du 28 août 2008, la notion de nombre premier est au programme de la classe de 3ème.