Formation Zeta HR Ch05

← Chapitre 4 · Sommaire · Chapitre 6 →

Chapitre 5 — Module |e^{iθ}|=1 et |n⁻ˢ|

Sources fusionnées : Kimi (Screenshot 3-4, deux onglets), Grok (Bloc 5), DeepSeek. Fil conducteur : « règle LAB gravée » — $Z(t)=e^{i\theta(t)}\zeta(\tfrac12+it)$.

Formule clé

$$|e^{i\theta}|=1, \qquad |n^{-s}|=n^{-\sigma}, \qquad Z(t) = e^{i\theta(t)},\zeta!\left(\tfrac12+it\right)\in\mathbb{R}$$

Statut : le module $|e^{i\theta}|=1$ et $|n^{-s}|=n^{-\sigma}$ sont des théorèmes prouvés. Le caractère réel de $Z(t)$ est prouvé (conséquence de l'équation fonctionnelle, chapitre 11). Que $Z$ s'annule exactement aux ordonnées des zéros non triviaux de $\zeta$ sur la droite critique est prouvé. Que tous les zéros non triviaux de $\zeta$ soient sur cette droite (HR) reste une conjecture, seulement corroborée numériquement.

---

🟢 Niveau Débutant — Lycée

Le module d'un nombre complexe, c'est sa distance à l'origine. $e^{i\theta}$ étant toujours sur le cercle de rayon 1, sa distance à l'origine est toujours 1, quel que soit l'angle $\theta$.

---

🔵 Niveau Intermédiaire — L1/L2

Démonstration. $|z|^2 = z\bar z$. Avec $z=e^{i\theta}=\cos\theta+i\sin\theta$, $\bar z=\cos\theta-i\sin\theta$ :

$$|e^{i\theta}|^2 = (\cos\theta+i\sin\theta)(\cos\theta-i\sin\theta) = \cos^2\theta+\sin^2\theta = 1$$

Généralisation. Pour $z=x+iy$ quelconque : $e^{z}=e^{x}\cdot e^{iy}$, donc $|e^z|=|e^x|\cdot|e^{iy}|=e^x\cdot1=e^{\mathrm{Re}(z)}$.

Conséquence directe (Chapitre 1, maintenant complètement démontrée) :

$$|n^{-s}| = |n^{-\sigma}\cdot e^{-it\ln n}| = n^{-\sigma}\cdot\underbrace{|e^{-it\ln n}|}_{=1} = n^{-\sigma}$$

---

🟠 Niveau Expert — L3/M1/ingénieur

Borne triviale. Pour $\sigma>1$, l'inégalité triangulaire donne :

$$|\zeta(\sigma+it)| = \left|\sum_{n=1}^\infty n^{-s}\right| \le \sum_{n=1}^\infty |n^{-s}| = \sum_{n=1}^\infty n^{-\sigma} = \zeta(\sigma)$$

Vérification numérique (mpmath, dps=25). $|\zeta(2+5i)|\approx0{,}856702$, et $\zeta(2)\approx1{,}644934$ : on a bien $0{,}856702\le1{,}644934$. ✓

---

🔴 Niveau Très Expert / Chercheur — M2/doctorat

La fonction $Z(t)$ de Hardy. Sur la droite critique $s=\tfrac12+it$, tous les termes $n^{-s}$ ont le même module $n^{-1/2}$ — seule leur phase diffère. On définit :

$$\theta(t) = \arg\Gamma!\left(\tfrac14+\tfrac{it}{2}\right) - \frac{t}{2}\ln\pi \qquad\text{(fonction thêta de Riemann-Siegel, détaillée au Chapitre 10)}$$

$$Z(t) = e^{i\theta(t)},\zeta!\left(\tfrac12+it\right)$$

Le choix précis de $\theta(t)$ (justifié par l'équation fonctionnelle, Chapitre 11) fait que $Z(t)$ est réelle pour $t$ réel, et $|Z(t)|=|\zeta(\tfrac12+it)|$. Ses zéros réels sont donc exactement les ordonnées des zéros de $\zeta$ sur la droite critique — détectables par simple changement de signe, sans aucune manipulation complexe.

Vérification numérique (mpmath.siegelz, dps=15) : $Z(14{,}134725)\approx-1{,}12\times10^{-7}$, $Z(21{,}022040)\approx-4{,}11\times10^{-7}$ — quasi nuls aux deux premières ordonnées connues des zéros non triviaux (valeurs LMFDB), confirmant numériquement (non prouvant) la correspondance.

---

📐 Exemple numérique

$|e^{i\cdot0{,}7}|=1$ exactement (recalculé). Borne triviale vérifiée : $|\zeta(2+5i)|\approx0{,}8567\le\zeta(2)\approx1{,}6449$. $Z(t)$ recalculé aux deux premiers zéros connus : $Z(14{,}134725)\approx-1{,}1\times10^{-7}$, $Z(21{,}022040)\approx-4{,}1\times10^{-7}$.

⚠️ Piège / limite

$|e^{i\theta}|=1$ ne signifie pas $e^{i\theta}=1$ (vrai seulement si $\theta\in2\pi\mathbb{Z}$) — confusion module/valeur, erreur n°1 des débutants. Second piège, documenté dans le CLAUDE.md du projet : utiliser $\mathrm{Re}(\zeta(\tfrac12+it))$ seul comme détecteur de zéro produit de faux positifs par simple rotation de phase — $Z(t)$ (réelle par construction) est le seul détecteur fiable.

🔗 Lien avec le LAB

C'est la règle gravée du projet : Z(t) = e^{iθ(t)}·ζ(½+it), jamais Re(ζ) seul. Elle évite les faux changements de signe et les débordements GMP — c'est la brique n°1 de compute_zeros_*.

Schéma — La fonction Z(t) de Hardy

Source éditable : figures/ch05_fonction_Z.svg. Courbe recalculée point par point via mpmath.siegelz.

---

← Chapitre 4 · Sommaire · Chapitre 6 →

---

Mis à jour le 12 novembre 2026 — hprzeta — github.com/hprzeta/Riemann_Lab

Nombre de lignes du fichier : 85