Parcours complet

🗺️ Parcours complet — De zéro à l'Hypothèse de Riemann

Vue d'ensemble des 6 sessions du cours · Riemann_Lab · hprzeta

---

Tableau récapitulatif

Niveau	Titre	Concepts clés	Formule centrale	Lien ζ
🔢 0	Prérequis	Nombres complexes · Module · Argument · Cercle unité	$e^{i\theta} = \cos\theta + i\sin\theta$	$Z(t) = e^{i\theta(t)}\zeta(\tfrac{1}{2}+it)$
📈 1	Séries	Suites · Convergence · Taylor · Série de Dirichlet	$e^x = \sum_{n=0}^{\infty} \dfrac{x^n}{n!}$	$\zeta(s) = \sum_{n=1}^{\infty} \dfrac{1}{n^s}$, $\text{Re}(s)>1$
🌀 2	Analyse complexe	Holomorphie · Cauchy-Riemann · Intégrale de contour · Prolongement	$f(z_0) = \dfrac{1}{2\pi i}\oint \dfrac{f(z)}{z-z_0} dz$	$\zeta(s)$ prolongée à $\mathbb{C}\setminus{1}$
🎯 3	Gamma & Dirichlet	$\Gamma(s)$ · Récurrence · Mellin · Produit eulérien	$\Gamma(s)\zeta(s) = \int_0^\infty \dfrac{t^{s-1}}{e^t-1} dt$	Équation fonctionnelle de $\zeta$
ζ 4	Zéros & Hardy	Zéros triviaux/non triviaux · HR · Fonction Z · Riemann-Siegel	$Z(t) = e^{i\theta(t)}\zeta(\tfrac{1}{2}+it) \in \mathbb{R}$	Détection numérique des zéros
🏆 5	Expert	TNP · GUE · Fonctions $L$ · Cryptographie · Lean 4	$\psi(x) = x - \sum_\rho \dfrac{x^\rho}{\rho} - \cdots$	Distribution des premiers via les zéros

---

Progression des concepts

Niveau 0          Niveau 1          Niveau 2          Niveau 3
─────────         ─────────         ─────────         ─────────
z = a+ib     →   ζ(s) = Σ1/nˢ →   Prolongement  →   Γ(s)·ζ(s)
e^(iθ)            convergence       à C\{1}           = ∫ t^(s-1)/(e^t-1) dt
cercle unité      séries Taylor     Th. Cauchy        éq. fonctionnelle

Niveau 4          Niveau 5
─────────         ─────────
Zéros de ζ   →   Frontière recherche
Z(t) Hardy        TNP explicite
Riemann-Siegel    GUE / Montgomery
bissection        Fonctions L / GRH

---

Formules fondamentales — référence rapide

Définition et prolongement

$$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p\ \text{premier}} \frac{1}{1-p^{-s}}, \quad \text{Re}(s) > 1$$

Équation fonctionnelle

$$\zeta(s) = 2^s \pi^{s-1} \sin\left(\frac{\pi s}{2}\right)\Gamma(1-s) \zeta(1-s)$$

Forme symétrique (fonction $\xi$)

$$\xi(s) = \tfrac{1}{2}s(s-1) \pi^{-s/2} \Gamma\left(\tfrac{s}{2}\right)\zeta(s) = \xi(1-s)$$

Fonction Z de Hardy

$$Z(t) = e^{i\theta(t)} \zeta\left(\tfrac{1}{2}+it\right) \in \mathbb{R}, \qquad \theta(t) = \arg\Gamma\left(\tfrac{1}{4}+\tfrac{it}{2}\right) - \frac{t}{2}\log\pi$$

Formule de Riemann-Siegel

$$Z(t) \approx 2\sum_{n=1}^{N} \frac{\cos(\theta(t) - t\log n)}{\sqrt{n}}, \qquad N = \left\lfloor\sqrt{\frac{t}{2\pi}}\right\rfloor$$

Densité des zéros (Weyl)

$$N(T) = \frac{T}{2\pi}\log\frac{T}{2\pi e} + \frac{7}{8} + O\left(\frac{\log T}{T}\right)$$

Formule explicite de Riemann

$$\psi(x) = x - \sum_{\rho} \frac{x^{\rho}}{\rho} - \log(2\pi) - \frac{1}{2}\log\left(1-x^{-2}\right)$$

---

Scripts Python par niveau

Niveau	Script	Ce qu'il produit
0	niveau0_cercle_unite.py	Animation du cercle unité $e^{i\theta}$
1	niveau1_zeta2_convergence.py	Convergence de $\zeta(2) = \pi^2/6$
1	niveau1_taylor_euler.py	Approximation de Taylor de $e^{i\theta}$
1	niveau1_zeta_exploration.py	$\zeta(s)$ pour $s$ réel $> 1$
2	niveau2_holomorphie.py	Module de $z^2$ — conditions Cauchy-Riemann
2	niveau2_prolongement.py	Prolongement de $\sum z^n$ vs $1/(1-z)$
3	niveau3_gamma.py	Courbe de $\Gamma(s)$ sur $\mathbb{R}$
3	niveau3_dirichlet.py	Produit eulérien vers $\zeta(2)$
3	niveau3_xi.py	Fonction $\xi(s) = \xi(1-s)$ sur la droite critique
4	niveau4_zeros.py	Carte des zéros dans la bande critique
4	niveau4_densite_zeros.py	Formule de Weyl vs comptage réel
4	niveau4_hardy_Z.py	$Z(t)$ et $\theta(t)$ de Siegel
4	niveau4_riemann_siegel.py	Détection des zéros par bissection
5	niveau5_formule_explicite.py	Reconstruction de $\psi(x)$ via les zéros
5	niveau5_gue_montgomery.py	Statistiques GUE vs espacement des zéros
5	niveau5_fonctions_L.py	$L(s,\chi_4)$ sur la droite critique
5	niveau5_prng_zeta.py	Test d'uniformité du PRNG $\zeta$

---

Exercices par niveau

Niveau	Nb exercices	Thèmes couverts
0	3	Module/argument à la main · Animation $\theta(t)$ · Connexion $Z(t)$
1	4	Sommes partielles · Preuve Taylor · Vitesse de convergence · Série harmonique
2	4	Cauchy-Riemann pour $e^z$ · Intégrale de contour · Prolongement · Zéros
3	4	$\Gamma(7/2)$ · Produit eulérien $\zeta(3)$ · Éq. fonctionnelle pour $\zeta(-1)$ · Symétrie des zéros
4	4	Weyl pour $N(1000)$ · Symétrie $\rho \leftrightarrow \bar\rho$ · Riemann-Siegel à la main · 11e zéro
5	4	Formule explicite · Statistiques GUE · $L(1,\chi_3)$ · Test de Turing

---

Connexions entre les niveaux

De	Vers	Connexion
Niveau 0	Niveau 4	$e^{i\theta}$ → facteur de rotation dans $Z(t) = e^{i\theta(t)}\zeta(\tfrac{1}{2}+it)$
Niveau 1	Niveau 2	Série $\sum 1/n^s$ → prolongement analytique au-delà de $\text{Re}(s)>1$
Niveau 1	Niveau 3	Série de Taylor de $e^x$ → transformée de Mellin → $\Gamma(s)\zeta(s)$
Niveau 2	Niveau 3	Prolongement analytique → équation fonctionnelle via $\Gamma$
Niveau 3	Niveau 4	Équation fonctionnelle → symétrie des zéros autour de $\text{Re}(s)=\tfrac{1}{2}$
Niveau 4	Niveau 5	Zéros non triviaux → formule explicite → distribution des premiers → cryptographie

---

Dernière mise à jour : 22 mai 2026 — 120 lignes