🎛️ Compare la distribution des premiers vs la prédiction de Riemann
Bouge le curseur N. L'écart entre π(n) réel et l'estimation li(n) (intégrale logarithmique) est l'erreur — Riemann a prédit qu'elle est petite.
π(N) = nombre de premiers ≤ N. li(N) = ∫₂ᴺ dt/ln(t) = estimation de Riemann.
π(N) réel
168
li(N) estimé
177.6
Écart
9.6
√N (Riemann predit)
31.6
N = 1 000 : il y a 168 nombres premiers ≤ 1000. L'estimation de Riemann li(1000) ≈ 177.6 (écart de 9.6, bien inférieur à √1000 ≈ 31.6). ✓
💎 1859 : 8 pages qui ont changé les maths
En 1859, le mathématicien allemand Bernhard Riemann (1826-1866) publie un article de 8 pages intitulé « Über die Anzahl der Primzahlen unter einer gegebenen Größe » (Sur le nombre de premiers en dessous d'une grandeur donnée).
Riemann y introduit une fonction qu'il étudie sur les nombres complexes — la fonction zêta ζ(s). Il propose une conjecture sur les zéros de cette fonction, en passant. Une remarque presque incidente. 165 ans plus tard, cette conjecture est toujours ouverte, et c'est devenu le plus grand problème non résolu des mathématiques.
🔑 La fonction zêta et les nombres premiers
La fonction zêta de Riemann est définie pour les complexes s avec Re(s) > 1 par :
ζ(s) = ∑n=1∞ 1/ns = 1 + 1/2s + 1/3s + 1/4s + …
Euler a démontré en 1737 une identité magnifique :
ζ(s) = ∏p premier (1 − p−s)−1
Cette formule, appelée produit d'Euler, connecte directement la fonction zêta aux nombres premiers. Elle dit en substance : tout ce qu'on sait sur ζ se traduit en information sur les premiers. C'est cette idée que Riemann exploite.
🎯 Le problème : prolonger ζ aux complexes
La série ∑ 1/ns ne converge que pour Re(s) > 1. Riemann a fait quelque chose d'audacieux : il a prolongé analytiquement la fonction ζ à tout le plan complexe (sauf le pôle en s = 1).
Une fois prolongée, on peut chercher les zéros de ζ (les valeurs de s où ζ(s) = 0). Il y en a deux types :
- Zéros « triviaux » : s = −2, −4, −6, … (les entiers négatifs pairs). Simples.
- Zéros « non triviaux » : des nombres complexes dans la « bande critique » 0 ≤ Re(s) ≤ 1. C'est eux qui contiennent toute l'information.
💎 L'hypothèse de Riemann (1859)
Hypothèse de Riemann (RH)
Tous les zéros non triviaux de ζ ont une partie réelle égale à 1/2.
Ils sont sur la « droite critique » Re(s) = 1/2.
En clair : tous les zéros non triviaux sont du type 1/2 + it où t est un réel. Pas 0.3 + it. Pas 0.7 + it. Pile 0.5 + it. Une condition extraordinairement précise.
🎁 Pourquoi 1 million de dollars ?
En 2000, l'Institut Clay de Mathématiques publie une liste de 7 « Problèmes du millénaire » — les 7 problèmes les plus importants des mathématiques non résolus. Chaque solution vaut 1 million de dollars. L'hypothèse de Riemann est sur la liste.
Sur ces 7 problèmes, un seul a été résolu : la conjecture de Poincaré en 2003 par Grigori Perelman, qui a refusé l'argent et la médaille Fields. Les 6 autres, dont RH, restent ouverts.
📊 Comment RH change la distribution des premiers
Le théorème des nombres premiers (démontré en 1896 par Hadamard et de la Vallée Poussin) dit que :
π(N) ~ N / ln(N) ou plus précisément π(N) ~ li(N)
Où π(N) est le nombre de premiers ≤ N et li(N) est l'intégrale logarithmique. La vraie question : quelle est la précision de cette approximation ?
Sans RH, on sait que l'erreur est O(N · e−c√(ln N)). Avec RH, l'erreur est exactement O(√N · ln N). C'est énormément plus précis.
🔬 Ce qui a été vérifié
- Les premiers 10 trilliards (10¹³) de zéros non triviaux sont sur la droite critique. Tous. Calculé par David Platt et collaborateurs.
- Hardy (1914) a démontré qu'il y a une infinité de zéros sur la droite critique.
- Selberg (1942) a démontré qu'un pourcentage positif (au moins 5%) des zéros est sur la droite critique.
- Conrey (1989) : au moins 40% des zéros y sont.
- Pratt, Sankar (2020) : au moins 41.5% (record actuel).
Mais aucun de ces résultats ne prouve que TOUS les zéros y sont. C'est ce qui manque.
🎓 Pourquoi c'est si difficile ?
Il y a plusieurs raisons :
- La fonction ζ est complexe au sens littéral (s ∈ ℂ) et au sens propre (analytiquement compliquée).
- Aucune méthode connue ne contrôle suffisamment finement les zéros pour les localiser tous sur Re(s) = 1/2.
- Des centaines de résultats équivalents existent (RH ⇔ telle inégalité, RH ⇔ tel comportement asymptotique). Aucun n'a aidé à la résoudre.
- La physique mathématique a apporté des indices (les zéros de ζ ressemblent statistiquement aux valeurs propres de matrices aléatoires hermitiennes — conjecture de Hilbert-Pólya), mais sans démonstration.
🌍 Applications surprenantes
Si RH est démontré, on aura :
- Estimation précise de π(N) : on saura compter les premiers jusqu'à N à √N près. Utilisé en cryptographie.
- Tests de primalité plus rapides : Miller-Rabin et autres deviendraient garantis.
- Théorie analytique des nombres : des centaines de théorèmes conditionnels deviendraient inconditionnels.
- Physique quantique : la conjecture de Hilbert-Pólya suggère que les zéros de ζ sont les valeurs propres d'un opérateur quantique encore inconnu.
📐 Le lien avec ton programme
RH est inaccessible au BAC SM (il faut un master pour comprendre la démonstration de RH équivalente). Mais quelques notions sont au programme :
- Sommes infinies (séries) : ζ(s) = ∑ 1/ns est l'exemple type.
- Nombres premiers (programme arithmétique 2BAC SM).
- Fonction logarithme : ln(N) apparaît dans la densité des premiers.
- Fonctions complexes (post-bac) : la fonction ζ est définie sur ℂ.