La conjecture de Goldbach

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.

About these ads

22 réponses à La conjecture de Goldbach

  1. Christophe dit :

    Tu peux compliquer la conjecture avec les nombres premiers jumeaux. 3 et 5 sont des nombres premiers jumeaux car 3+2=5, mais 23 ne l’est pas (car 21=3*7 et 25=5*5).
    La conjecture avancée dit que tout nombre pair (sauf une liste finie que voici : 0,2, 4, 94, 96, 98, 400, 402, 404, 514, 516, 518, 784, 786, 788, 904, 906, 908, 1114, 1116, 1118, 1144, 1146, 1148, 1264, 1266, 1268, 1354, 1356, 1358, 3244, 3246, 3248, 4204, 4206, 4208) est la somme de deux nombres premiers jumeaux (mais pas forcément jumeaux entre eux ainsi 6=3+3 et 48=19+29). La conjecture est encore plus difficile mais semble vraie pour tout n > 4208. Je ne sais pas s’il existe d’ailleurs des pistes statistiques sur ce genre de conjecture. Là aussi, la conjecture avancée a été vérifiée jusqu’à un très grand nombre….
    On sait bien peu de choses !

    • etonon dit :

      Mazette ! Je ne connaissais pas cette conjecture avancée ! C’est vraiment violent car on a l’impression qu’il n’y a vraiment pas assez de nombres premiers jumeaux pour que ça puisse fonctionner. Ca suppose que du coup qu’il en existe une infinité.

      Je ne pense pas qu’on puisse avoir un argument statistique similaire dans cette version avancée de la conjecture, puisque dans la version "normale", l’argument repose sur le fait qu’on sait à peu près comment se distribuent les nombres premiers : entre 0 et N il y en a en gros ln(N). Si on connaissait une loi de distribution similaire pour les nombres premiers jumeaux, j’imagine qu’on saurait prouver qu’il y en a une infinité.

      • Christophe dit :

        oui tu as tout compris. ça montre aussi que la conjecture de base est vraisemblablement très faible. Et que donc le théorème qui se base sur la somme de 6 nombres premiers est un peu ridicule….
        De plus, dans mes domaines de recherche, on sait qu’il existe un nombre N qui ne dépend que de la taille de la proposition, au delà duquel il n’est pas nécessaire de vérifier la formule (elle sera automatiquement vraie). Bien sur, aucune idée constructive de calculer N, ça serait trop facile :) Mais ça laisse songeur, car peut-être a-t-on déjà dépasser N sans le savoir pour ces différents propositions….

  2. J. dit :

    Je pensais que l’asterisque allait renvoyer a une note du style "qu’on aille me chercher un enfant de 3eme!". Mais je vois que c’est plus serieux que ca….

    Autrement, j’aime beaucoup ces petits articles!

    • etonon dit :

      Oui je ne suis pas sûr qu’un enfant de troisième saurait systématiquement. De la différence entre la théorie des programmes et la pratique. Ca me rappelle ma folle jeunesse où je me suis trouvé en CE1/CE2 pendant cette époque bénie où figurait au programme l’apprentissage des bases. Au CE2 j’ai donc appris à compter en base 4, 7, 13,…très utile !

  3. [...] This post was Twitted by gtouze [...]

  4. Mireille dit :

    Je ne m’était jamais posé la question, je viens de taper une tonne de nombre sur ce site : http://www.dcode.fr/conjecture-goldbach
    En effet ça marche !
    Il y a un lien pour la démonstration de 6 nombres premiers ?

    • etonon dit :

      La démo pour 6 nombres premiers se trouve ici :

      http://math.univ-lille1.fr/~ramare/Maths/Article.pdf

      Mais personnellement je ne l’ai pas lu. Le titre (la constante de Snirelman) fait référence au mathématicien russe qui a démontré qu’existait un nombre N tel qu’on peut écrire tout nombre pair ou impair comme somme de N nombres premiers. Mais Snirelman n’a pas calculé une borne sur N.

      O. Ramaré prouve que "Goldbach avec 6 nombres" est vrai, ce qui implique N<=7.

  5. MORVAN dit :

    Je suis un amateur, et je prétends avoir démontré la conjecture de Goldbach.
    Les mathématiciens spécialisés dans la théorie des nombres traînent les pieds pour le reconnaître.
    C’est l’un des plus grands scandales mathématiques.

    • Alors je vous propose la chose suivante : n’envoyez surtout pas votre démonstration à un mathématicien réputé du domaine !

      Envoyez la plutôt disons à un jeune étudiant qui commence tout juste une thèse en théorie des nombres. En effet ce dernier aura le temps de vous lire, mais surtout il n’a rien à perdre :

      - si votre démo est juste, il sera ravi de partager un petit bout de la gloire;
      - si elle est fausse et que l’erreur est subtile, la trouver constituera pour lui un excellent exercice;
      - si elle est fausse et que l’erreur est évidente, il ne perdra que 2 minutes.

      Il y a des années, j’avais proposé comme sujet d’exercice en licence (de physique) de prendre une théorie de "relativité alternative", et de chercher à trouver l’erreur. Parfois il faut vraiment se gratter la tête, et c’est assez souvent instructif.

  6. [...] et j’ai déjà eu l’occasion d’écrire des billets sur la conjecture de Goldbach (ici) et sur celle de Syracuse [...]

  7. Blondot dit :

    Je vous propose une énigme de mon crue utilisant la conjecture de Golbach, jusqu’à maintenant une seule personne a trouvé. J’attends vos réponses.

    LES 2 PRISONNIERS

    L’énigme que je vous propose est une application de la conjecture suivante:
    Tout nombre pair peut se décomposer en la somme de 2 nombres premiers .
    Cette affirmation écrite en 1742 par le mathématicien allemand GOLDBACH à son
    célèbre confrère suisse EULER n’a jamais été démontrée et jusqu’ à maintenant aucun
    contre- exemple n’a été trouvé.
    Pour solutionner cette énigme, aucune connaissance mathématique particulière n’est nécessaire.
    Un collégien ( il est vrai quand même très doué ) ayant le niveau du brevet d’étude du 1er cycle pourrait la résoudre. Tout est une question de logique.

    Mise en garde :

    Les 3 premières parties sont indépendantes mais je vous conseille de les traiter dans l’ordre
    car elles sont de difficultés croissantes.

    L’informatique peut être une aide précieuse mais nécessite beaucoup d’heures de
    calcul pour trouver les 4 solutions.
    En revanche, en raisonnant , vous pouvez éliminer nombre de possibilités.

    En tout cas bon courage, car à moins d’être un extra-terrestre, quelques longues soirées
    d’hiver seront nécessaires pour trouver les 4 bonnes réponses.

    Mao BLONDOT
    Place Demangin
    71240 GIGNY – SUR – SAONE
    maoblondot@gmail.com

    Les 2 prisonniers

    Un directeur de prison voulant rendre la liberté à deux prisonniers particulièrement intelligents leur propose le problème suivant:
    Soit a, b deux entiers >1. Le prisonnier Paul a le produit a x b, le prisonnier Serge a la somme a + b.
    Paul devra deviner la somme, et Serge le produit pour trouver le code qui est la somme suivie du produit.
    Les prisonniers seront libres lorsqu’ils trouveront successivement 3 codes qui commandent chacun l’ouverture d’une porte.
    Code 1 : ouverture des portes des cellules.
    Serge et Paul sont dans des cellules séparées. Serge analysant sa somme, appelle le directeur et
    lui dit : "ça commence mal , je ne trouve pas et je sais que Paul ne peut pas trouver.
    Le directeur lui répond : "le code comporte 4 chiffres ".
    Alors j’ai trouvé lui dit Serge.
    Le directeur va voir Paul et celui-ci lui dit: "Je ne trouve pas".
    "Je sais", répond le directeur, "Serge me l’a dit".
    "Alors j’ai trouvé!" s’exclame Paul.
    Les prisonniers entrent le code et se rendent vers la porte du couloir où attend le directeur.
    Code 2 : ouverture de la porte du couloir.
    Le directeur leur donne une nouvelle somme et un nouveau produit.
    Paul dit à Serge: "Je ne trouve pas".
    Serge lui répond: "Je sais que tu ne peux pas trouver ".
    "Alors j’ai trouvé", dit Paul, et il annonce la somme de Serge.
    "Moi aussi j’ai trouvé!", répond Serge, et il donne le produit de Paul.
    Le directeur entre les chiffres proposés et la porte du couloir s’ouvre.
    Code 3 : ouverture de la porte de sortie.
    Les prisonniers sont devant la porte de sortie de la prison avec pour Paul un nouveau produit et
    pour Serge une nouvelle somme.
    Ils ignorent le nombre de chiffres que comporte le code et même avec cette information Serge
    serait dans l’incapacité de trouver du premier coup.
    Paul dit à Serge: "Je ne trouve pas ".
    Serge lui répond: "Je sais que tu ne peux pas trouver ".
    Paul: " Je ne trouve toujours pas".
    Serge le sait mais se contente de dire : " moi non plus ".
    Devant ce blocage, le directeur leur précise que le code a 6 chiffres.
    Paul: "J’ai trouvé ! "et donne la somme de Serge et aussitôt Serge répond "Moi aussi, j’ai trouvé ".
    et donne le produit de Paul.
    Admiratif le directeur entre les chiffres proposés et les prisonniers retrouvent la liberté.
    Code 4 : Code du compte en banque.
    Pour profiter de leur liberté, le directeur propose aux 2 prisonniers une nouvelle somme pour Serge et un nouveau produit pour Paul qui donnent le numéro d’un compte en banque où les attend un joli pécule. Comme précédemment, ce numéro est composé de la somme suivie du produit.
    Le scénario précédent se répète, pour débloquer la situation le directeur leur annonce que la somme de Serge a 3 chiffres et que le produit des chiffres qui composent le produit de Paul est une puissance de 4.
    Paul: "J’ai trouvé ! "et donne la somme de Serge et aussitôt Serge répond "Moi aussi, j’ai trouvé ".
    et donne le produit de Paul.

    A vous, qui n’avez ni la somme ni le produit, de trouver ces 4 codes. Le second code comporte 5 chiffres.

  8. […] et j’ai déjà eu l’occasion d’écrire des billets sur la conjecture de Goldbach (ici) et sur celle de Syracuse […]

  9. […] premiers ! Non seulement ils sont à la base de problèmes simples mais encore non-résolus, comme la conjecture de Goldbach dont je parlais ici (tout nombre pair serait la somme de deux nombres premiers), mais les nombres premiers […]

  10. Chouar dit :

    Bonjour,

    Je suis heureux de vous informer, que j’ai résolu le problème de la répartition des nombres premiers le 29 octobres .
    Je décris en détail cette découverte historique sur mon site :
    https://sites.google.com/site/loqiquedespremiers/
    Cordialement .

  11. scienc.info dit :

    Bonjour,
    Les nombres premiers apparaissent selon deux séries simples: un tableau sur http://www.scienc.info,rubrique mathématique ou mathematics, montre leur apparitions en deux colonnes.
    Des formules sur les nombres premiers sont ensuite proposées dans un second article.
    A partir de ces formules, deux démonstrations en théorie des nombres et en théorie des ensembles sont hypothétiquement proposées dans un troisième article à propos de la conjecture de Goldbach.
    Cependant, l’essentiel est dans le premier article: NOMBRES PREMIERS: COMMENT?
    Bien à vous,
    SCIENC.INFO
    PS: comme http://www.SCIENC.INFO vient d’être créé, http://www.SCIENC.INFO n’apparaît pas toujours sur les moteurs de recherche. En entrant SCIENC.INFO tout court dans la barre d’adresses en haut à gauche de l’écran, on tombe directement sur le site.

  12. Achraf Azize dit :

    2=1+1 alors que 1 n’est pas premier http://fr.wikipedia.org/wiki/Nombre_premier
    C’est pas un contre-exemple

  13. Boris Abdelghani dit :

    Peut-être la correcte question est :Tout nombre pair plus grand que 2 ,strictement , est la somme de deux nombres premiers.
    Car pour 2=1+1 ,ça marche pas parce-que 1 n’est un nombre premier. http://fr.wikipedia.org/wiki/Nombre_premier

  14. Rone dit :

    Il y a des mathématiciens, notamment africains, qui prétendent avoir démontré la conjecture de Goldbach et même la conjecture de Riemann. Avez-vous eu echo de ces prétendues preuves ? Sont elles validés par la communauté des mathématiciens ? Que pensez-vous ?

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

Suivre

Recevez les nouvelles publications par mail.

Rejoignez 4 616 autres abonnés

%d bloggers like this: