🎛️ Cherche tous les jumeaux premiers ≤ N
Bouge N pour découvrir le nombre de paires (p, p+2) premières. Tous les jumeaux ≥ (5,7) ont la forme (6k−1, 6k+1).
Jumeaux trouvés
35
Dernière paire ≤ N
(881, 883)
Estimation Hardy
≈ 30.5
N = 1 000 : 35 paires de jumeaux trouvées. L'estimation de Hardy-Littlewood prédit 30.5 (assez précis).
👯 La définition la plus simple du monde
Deux nombres premiers p et p+2 forment un couple de jumeaux si les deux sont premiers. Quelques exemples :
- (3, 5)
- (5, 7)
- (11, 13)
- (17, 19)
- (29, 31)
- (41, 43)
- (59, 61)
- (71, 73)
- ...
- (2 996 863 034 895 ± 1) — le plus grand connu depuis 2016, à 388 342 chiffres
Conjecture des nombres premiers jumeaux
Il existe une infinité de paires (p, p+2) où p et p+2 sont premiers.
📜 Une question vieille de 2 300 ans
Euclide (~300 av. J.-C.) a démontré qu'il existe une infinité de nombres premiers (« les premiers sont en nombre infini »). Sa démonstration par l'absurde est l'une des plus élégantes des mathématiques.
Mais Euclide n'a jamais répondu : existe-t-il une infinité de couples (p, p+2) ? La question reste sans réponse depuis. C'est l'une des plus vieilles conjectures ouvertes des mathématiques.
🚀 2013 : Zhang frappe fort
Pendant des décennies, le problème semblait totalement intraitable. Aucune méthode connue ne produisait de progrès. Et puis, en mai 2013, l'incroyable arrive.
Yitang Zhang, mathématicien chinois-américain de 58 ans, professeur dans une petite université du New Hampshire (peu reconnue), publie un papier au Annals of Mathematics. Son titre : « Bounded gaps between primes » (Écarts bornés entre nombres premiers).
Son résultat : il existe une infinité de paires de nombres premiers séparées d'au plus 70 000 000. C'est-à-dire qu'il existe une constante C ≤ 70 000 000 telle qu'il y a une infinité de paires (p, q) de premiers avec q − p ≤ C.
📉 La course de la borne : 70M → 6
Une fois la barrière à 70 millions franchie, les mathématiciens du monde entier se sont précipités pour réduire la borne. Le projet collaboratif en ligne Polymath, lancé par Terence Tao, a réduit la borne en quelques semaines :
- Mai 2013 — Zhang : C ≤ 70 000 000
- Juin 2013 — Polymath : C ≤ 12 006
- Juillet 2013 : C ≤ 4 680
- Novembre 2013 — Maynard et Tao indépendamment : C ≤ 600 (par une méthode différente).
- Mai 2014 — Polymath : C ≤ 246.
La borne actuelle : C ≤ 246. La cible ultime serait C = 2 — qui démontrerait directement la conjecture des jumeaux. Mais pour passer de 246 à 2, il faut une idée radicalement nouvelle qui n'est pas encore connue.
💎 La constante de Brun (1919) : une preuve étrange
Si on suppose la conjecture vraie, la somme des inverses des jumeaux est :
B = (1/3 + 1/5) + (1/5 + 1/7) + (1/11 + 1/13) + ... ≈ 1.902 160 583 104 ...
Brun a démontré en 1919 que cette somme converge (constante finie). C'est une preuve indirecte que les jumeaux sont « rares » — bien plus rares que les premiers ordinaires (dont la somme ∑ 1/p diverge).
Conséquence : même s'il y a une infinité de jumeaux, ils représentent une partie négligeable de tous les premiers. La densité des jumeaux décroît bien plus vite que celle des premiers.
🎯 La conjecture de Hardy-Littlewood (1923)
En 1923, Hardy et Littlewood conjecturent une formule plus précise :
π₂(N) ~ 2·C₂·N / (ln N)²
où π₂(N) = nombre de paires de jumeaux ≤ N, et C₂ ≈ 0.6601 est la constante des jumeaux.
Cette conjecture n'est pas démontrée, mais elle est numériquement vérifiée avec une précision remarquable. Quelques valeurs :
- π₂(10⁵) = 1 224, estimation ≈ 1 249 (erreur 2%)
- π₂(10⁹) = 3 424 506, estimation ≈ 3 425 308 (erreur 0.02%)
- π₂(10¹⁴) = 1 870 585 220 ..., estimation excellent
🌍 Les enjeux pratiques
Pourquoi se soucier des jumeaux premiers en pratique ?
- Cryptographie : si la conjecture est démontrée et qu'on a une formule exacte pour π₂(N), on saura combien de paires de premiers proches sont disponibles pour certains schémas cryptographiques.
- Génération de premiers aléatoires : tester si un grand premier admet un « jumeau » est un sous-cas de problèmes plus larges sur la densité des premiers.
- Théorie analytique des nombres : les jumeaux sont liés à la conjecture de Bateman-Horn, qui généralise l'hypothèse à toutes les paires de polynômes (p, p+2k).
🏆 Récompenses et reconnaissance
Zhang a reçu la MacArthur Fellowship en 2014 (« Genius Grant ») et le Prix Cole en 2014. Il est devenu professeur à UC Santa Barbara. Sa percée est désormais l'un des récits les plus inspirants des maths modernes : un mathématicien obscur, après des décennies de travail solitaire, fait la plus grande avancée du domaine en 100 ans.
James Maynard, qui a indépendamment réduit la borne à 600 (et plus tard à 246 en équipe), a reçu la médaille Fields en 2022 pour ses contributions à la théorie analytique des nombres.
📐 Le lien avec ton programme
Les jumeaux mobilisent des notions élémentaires accessibles au BAC SM :
- Nombres premiers (programme arithmétique 2BAC SM).
- Divisibilité par 2, 3, 6 : tout jumeau (p, p+2) avec p ≥ 5 doit avoir p ≡ −1 (mod 6) et p+2 ≡ +1 (mod 6).
- Congruences modulo (2BAC SM, chapitre arithmétique) : les jumeaux ≥ 5 sont de la forme (6k − 1, 6k + 1).
- Logarithme : la densité des jumeaux est 1/(ln N)², à comparer à 1/ln(N) pour les premiers ordinaires.
🌟 Une propriété étonnante
Sauf pour (3, 5), tous les couples jumeaux (p, p+2) avec p ≥ 5 satisfont :
Le nombre entre p et p+2 est divisible par 6
Exemple : entre 11 et 13 il y a 12 = 6×2. Entre 17 et 19 il y a 18 = 6×3. Entre 29 et 31 il y a 30 = 6×5. Démonstration facile : si p ≥ 5, alors p est impair (sinon p pair > 2, donc non premier), et p, p+1, p+2 sont 3 entiers consécutifs, donc l'un d'eux est divisible par 3. Comme p et p+2 sont premiers > 3, c'est p+1 qui est divisible par 3. Et p+1 est pair (entre 2 impairs). Donc p+1 est divisible par 2 et 3, donc par 6.