🎛️ Décompose n'importe quel pair en somme de 2 premiers
Bouge le curseur. Tous les pairs ≥ 4 ont (au moins) une décomposition de Goldbach. Le nombre de décompositions augmente avec n.
Décompositions
6
Première
3 + 97
Vérifié jusqu'à
4 · 10¹⁸
n = 100 : 6 décompositions en somme de 2 premiers. Première : 3 + 97. Augmente n pour voir le « comète de Goldbach ».
✉️ 1742 : une lettre à Euler
Le 7 juin 1742, le mathématicien Christian Goldbach (1690-1764), basé en Russie, écrit une lettre à son ami Leonhard Euler. Il y propose une observation : « il me semble que tout entier supérieur à 2 peut s'écrire comme somme de trois nombres premiers ».
Euler répond en juin 1742 en reformulant : « ta proposition est équivalente à dire que tout nombre pair supérieur ou égal à 4 est somme de deux nombres premiers ». Et il ajoute : « je tiens cela pour un théorème absolument certain, sans pouvoir le démontrer ».
Conjecture de Goldbach (forme forte)
∀ n pair ≥ 4, ∃ p, q premiers tels que n = p + q.
Vérifie sur les premiers exemples :
- 4 = 2 + 2 ✓
- 6 = 3 + 3 ✓
- 8 = 3 + 5 ✓
- 10 = 3 + 7 = 5 + 5 ✓ (deux décompositions)
- 12 = 5 + 7 ✓
- 14 = 3 + 11 = 7 + 7 ✓
- 16 = 3 + 13 = 5 + 11 ✓
- …
- 100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53 ✓ (6 décompositions)
🔍 L'état actuel : presque vrai, jamais démontré
Ce qui est démontré (approximations)
- Conjecture faible de Goldbach : tout impair ≥ 7 est somme de 3 premiers. Démontrée par Helfgott en 2013 après 271 ans d'efforts.
- Théorème de Vinogradov (1937) : presque tous les pairs sont somme de 2 premiers — pour les nombres « assez grands ».
- Théorème de Chen (1973) : tout pair assez grand est somme d'un premier et d'un nombre ayant au plus 2 facteurs premiers (« presque deux premiers »).
Ce qui a été vérifié par ordinateur
Au 28 décembre 2013, la conjecture forte a été vérifiée pour tous les pairs jusqu'à 4 · 10¹⁸. C'est :
4 000 000 000 000 000 000
4 milliards de milliards. Et pourtant, ce n'est pas une démonstration. Un pair plus grand pourrait toujours être un contre-exemple. Goldbach reste ouvert.
🌌 Le « comète de Goldbach » : viz mythique
Si tu traces, pour chaque pair n, le nombre de décompositions g(n) en somme de 2 premiers, tu obtiens un graphique fascinant. Le nuage de points dessine une forme de comète — d'où le nom « Goldbach's comet ».
- Pour n = 100 : g(n) = 6 décompositions.
- Pour n = 1 000 : g(n) ≈ 28.
- Pour n = 10 000 : g(n) ≈ 127.
- Pour n = 100 000 : g(n) ≈ 650.
Hardy et Littlewood ont conjecturé en 1923 une formule asymptotique :
g(n) ~ 2·C₂·n / (ln n)²
Où C₂ ≈ 0.6601 est la constante des premiers jumeaux. Une connexion étonnante entre Goldbach et les nombres premiers jumeaux.
🚧 Les barrières à la démonstration
Pourquoi Goldbach résiste depuis 283 ans ?
- Goldbach concerne l'addition de premiers, alors que les premiers sont définis par la multiplication (un premier n'a que 1 et lui-même comme diviseurs). On manque d'outils mathématiques pour relier les deux opérations.
- Les méthodes analytiques de la méthode du cercle de Hardy-Littlewood donnent Goldbach pour les « grands » pairs, mais pas pour tous.
- L'hypothèse de Riemann généralisée impliquerait Goldbach, mais elle aussi reste ouverte.
🏆 Récompense pour Goldbach
Goldbach n'est pas dans la liste des 7 problèmes du millénaire du Clay Institute, donc il n'y a pas de prime de 1 million $ pour sa résolution.
Mais en 2000, l'éditeur britannique Faber & Faber a offert 1 million de livres sterling pour une démonstration, comme coup de promotion du roman « Uncle Petros and Goldbach's Conjecture » d'Apostolos Doxiadis. L'offre expirait en 2002. Personne n'a réclamé.
📐 Le lien avec ton programme
Goldbach mobilise des notions accessibles au BAC SM :
- Nombres premiers (programme 2BAC SM, chapitre arithmétique) : le concept de base.
- Crible d'Ératosthène : algorithme classique pour énumérer les premiers.
- Démonstrations par récurrence : technique standard, même si elle ne suffit pas ici.
- Sommes et décompositions : raisonner sur les sommes de deux nombres appartenant à un ensemble donné.
🎯 Variantes et extensions
- Conjecture forte de Goldbach : tout pair ≥ 4 = somme de 2 premiers (la version classique).
- Conjecture faible de Goldbach : tout impair ≥ 7 = somme de 3 premiers (démontrée en 2013).
- Conjecture de Levy : tout impair ≥ 7 = premier + 2·premier.
- Conjecture de Lemoine : tout impair ≥ 5 = premier + 2·premier (variante).
📐 La force de Goldbach pédagogiquement
Goldbach est probablement le plus beau problème d'enseignement de la théorie des nombres. Son énoncé est compréhensible par un enfant de 10 ans. Sa vérification numérique fait travailler toutes les notions de base (primalité, crible, complexité). Et son statut « ouvert » montre que les mathématiques sont une science vivante.