質數無窮之戀：第二部——分析學的黃金鑰匙與黎曼猜想的誕生 (06-12集)
第 06 集：歐拉的黃金鑰匙：當質數遇見無窮級數
1732 年，25 歲的瑞士數學天才萊昂哈德·歐拉（Leonhard Euler）輕而易舉地打破了費馬關於「費馬數全為質數」的猜想。
在 18 世紀的書房裡，歐拉正推導著聯繫質數與無窮級數的絕妙公式。
歐拉通過驚人的手算能力，發現當 $n=5$ 時：
\[F_5 = 2^{2^5} + 1 = 2^{32} + 1 = 4294967297\]這個龐大的數字並非質數，它可以被 641 整除：$4294967297 = 641 \times 6700417$。
但歐拉對質數最偉大的貢獻，絕不僅僅是推翻費馬的一個小猜想。歐拉做了一件前無古人的壯舉：他將離散、看似毫無規律的質數，與連續的微積分無窮級數聯繫在了一起。
在 18 世紀的歐洲啟蒙運動時期，學術界正經歷著一場劃時代的重大變革，數學的研究重心開始從古典幾何學全面轉向以無窮級數、函數與微積分為基礎的連續分析學。這股由牛頓和萊布尼茲開創的分析學浪潮，在歐拉的手中被推向了極致。就在 1737 年，身處這股時代浪潮最前端的歐拉，推導出了一個驚人的公式，被後世稱為「歐拉乘積公式」（Euler Product Formula）：
\[\sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p \text{ is prime}} \frac{1}{1 - p^{-s}}\]當 $s > 1$ 時，公式的左邊是所有自然數的 $s$ 次方倒數之和；而公式的右邊，則是對所有質數 $p$ 進行的一種無窮乘積。
歐拉乘積公式是一把「黃金鑰匙」，它首次向世人揭示：質數雖然分佈得雜亂無章，但當它們組合在一起時，卻與無窮級數有著精確無誤的解析關係。這為解析數論（Analytic Number Theory）的誕生奠定了基礎。
第 07 集：少年高斯的驚天直覺：素數定理的萌芽
少年高斯正凝視著質數表，試圖從混亂中尋找分佈的對數規律。
時間來到 18 世紀末。1792 年，在德國的不倫瑞克（Brunswick），一個 15 歲的少年收到了一份特別的禮物——一本包含數萬個質數的對數表。
這個少年就是卡爾·弗里德里希·高斯（Carl Friedrich Gauss）。
少年高斯對質數產生了一種近乎狂熱的迷戀。他開始用一種極其獨特的方法來觀察質數：他不關心某個特定的數字是不是質數，而是關心質數分佈的整體密度。
高斯把自然數分成若干個區間，比如 1 到 1000、1001 到 2000，然後計算每個區間內質數的比例。他驚奇地發現，隨著數字 $x$ 的增大，質數的密度似乎在以一種非常平滑、與自然對數 $\ln x$ 相關的規律在減少。
具體來說，在數字 $x$ 附近，隨機抽取一個數字是質數的概率大約是：
\[\frac{1}{\ln x}\]高斯將這個直覺轉化為了一個精確的估計：如果我們記 $\pi(x)$ 為小於或等於 $x$ 的質數個數，那麼：
\[\pi(x) \approx \int_{2}^{x} \frac{dt}{\ln t} = \text{Li}(x)\]這個積分函數 $\text{Li}(x)$ 被稱為「高斯對數積分」。
這就是著名的「素數定理」（Prime Number Theorem, PNT）的最初萌芽。15 歲的高斯憑藉著無與倫比的直覺，預言了質數分佈的終極平滑曲線。然而，他把這個發現寫在對數表的空白處，並沒有發表。
第 08 集：勒讓德與切比雪夫：縮小質數的包圍圈
19 世紀的數學家們通過嚴密的推導，逐步縮小了質數分佈的包圍圈。
在證明高斯的驚天預言的漫長征途上，19 世紀的數學家們開始了艱苦的探索。
首先做出嘗試的是法國數學家阿德里安-馬里·勒讓德（Adrien-Marie Legendre）。1798 年，勒讓德獨立於高斯提出了類似的斷言，並給出了一個更加具體的近似公式：
\[\pi(x) \approx \frac{x}{\ln x - 1.08366}\]雖然這個公式在小範圍內比高斯的原版公式更精確，但隨著 $x$ 的增大，高斯對數積分 $\text{Li}(x)$ 的優越性逐漸顯現出來。
真正取得實質性跨越的，是俄羅斯數學家帕夫努蒂·切比雪夫（Pafnuty Chebyshev）。
在 1848 年和 1850 年，切比雪夫發表了兩篇具有里程碑意義的論文。他證明了：如果 $\pi(x) / (x / \ln x)$ 當 $x$ 趨向無窮大時極限存在，那麼這個極限必定等於 1。
切比雪夫雖然未能證明這個極限確實存在，但他成功地縮小了質數的包圍圈。他證明了對於足夠大的 $x$，有：
\[0.92129 \le \frac{\pi(x)}{x / \ln x} \le 1.10555\]切比雪夫還證明了一個極其迷人的命題，稱為「貝特朗-切比雪夫定理」（Bertrand’s Postulate）：對於任何大於 1 的正整數 $n$，在 $n$ 和 $2n$ 之間，必定存在至少一個質數。
這是一次歷史性的跨越，數學家們離素數定理的王冠只剩下一步之遙。
第 09 集：黎曼的天才一躍：走進複平面的 ζ 函數
黎曼在哥廷根大學的書房中，大膽地將質數問題引向了神秘的複平面與 ζ 函數。
1859 年，在哥廷根大學，一位體弱多病但思維敏捷的數學大師——波恩哈德·黎曼（Bernhard Riemann），迎來了他學術生涯中最輝煌、最關鍵的一年。這一年，他不僅接替去世的狄利克雷被任命為哥廷根大學數學系主任，還被選為柏林科學院（Berlin Academy of Sciences）的通信院士。
按照當時科學院的章程與古老學術慣例，新當選的院士必須提交一篇研究論文，向同儕介紹自己最新的學術成果，以表達對這一崇高學術榮譽的謝意。正是在這種榮譽與職責的雙重推動下，黎曼提交了那篇後來震撼世界的《論小於給定大小的素數個數》（Über die Anzahl der Primzahlen unter einer gegebenen Grösse）。
這是黎曼一生中發表的唯一一篇關於數論的論文，僅僅只有 8 頁紙。然而，這僅有 8 頁紙的驚世之作，卻以精深無比的思想，徹底重塑了整個數學的面貌。
黎曼繼承了歐拉的遺產，他將歐拉乘積公式中的實數變量 $s$，大膽地推廣到了複數領域：
\[\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} \quad (\text{其中 } s = \sigma + it \text{ 為複數})\]當 $s$ 變成複數後，ζ 函數變成了一個能夠在複平面上進行幾何映射的複變函數。
黎曼證明了，雖然當 $\sigma > 1$ 時這個級數才收斂，但通過一種叫做「解析延拓」（Analytic Continuation）的數學魔術，可以讓 ζ 函數在除了 $s=1$ 以外的整個複平面上都擁有定義。
這是一次理智的天才一躍：黎曼將質數的分佈問題，轉化為了一個複平面上 ζ 函數的幾何圖形問題。
第 10 集：1859 年的那篇論文：黎曼猜想的誕生
ζ 函數的零點規律揭示了質數分佈的精確波動，黎曼猜想由此誕生。
在黎曼 1859 年那篇不朽的論文中，他不僅推廣了 ζ 函數，還給出了一個將小於給定大小的質數個數 $\pi(x)$ 精確表達出來的公式。
這個精確公式的形式極其優美而深奧：
\[\pi(x) \approx \text{Li}(x) - \sum_{\rho} \text{Li}(x^{\rho})\]在這個公式中，一個最核心的元素是 $\rho$：它是 ζ 函數的零點（即滿足 $\zeta(\rho) = 0$ 的複數點）。
黎曼指出，ζ 函數在實軸的負偶數點上有一系列零點：$\rho = -2, -4, -6 \dots$，這些被稱為「平凡零點」（trivial zeros）。 然而，真正控制質數分佈精確波動規律的，是 ζ 函數的非平凡零點（non-trivial zeros）。
黎曼指出，所有非平凡零點都落在一個狹窄的區域內：其部實部 $\sigma$ 介於 0 和 1 之間的臨界帶（critical strip）。
在論文的第三頁，黎曼極其輕描淡寫地寫下了一句話：
黎曼猜想 (The Riemann Hypothesis)
很有可能所有非平凡零點都精確地落在實部為 $\frac{1}{2}$ 的一條直線上（臨界線）。
這就是數學史上最著名的「黎曼猜想」。黎曼說他曾嘗試去證明這個結論，但隨後放棄了，因為這對他當下的研究並非核心。 然而，這句輕描淡寫的話，卻成為了後世數學家們追尋了一個半世紀的終極夢想。
第 11 集：摘下數論王冠：素數定理的最終獲證
1896 年，阿達馬與德·拉·瓦萊-普桑終於摘下了素數定理這顆數論王冠上的明珠。
黎曼猜想提出後，雖然沒能立刻被證明，但它為數學家們指明了一條證明素數定理（PNT）的清晰路徑。
根據黎曼的理論，如果能證明 ζ 函數在複平面上實部 $\sigma = 1$ 的那條直線上沒有任何零點，那麼素數定理就能得到證明。
這項極具挑戰性的任務落在了一代數學精英的肩上。
1896 年，兩位年輕的數學家幾乎同時、但各自獨立地完成了這個證明。他們是法國的雅克·阿達馬（Jacques Hadamard）與比利時的夏爾-讓·德·拉·瓦萊-普桑（Charles-Jean de la Vallée Poussin）。
阿達馬與德·拉·瓦萊-普桑利用複變函數論中極其高超的技巧，嚴密地證明了當 $\sigma = 1$ 時，$\zeta(1 + it) \neq 0$。
素數定理獲證 (1896)：
當 $x$ 趨向無窮大時，小於 $x$ 的質數個數 $\pi(x)$ 與高斯對數積分 $\text{Li}(x)$ 的比值趨近於 1：
\[\lim_{x \to \infty} \frac{\pi(x)}{\text{Li}(x)} = 1\]
高斯在 15 歲時寫下的驚人直覺，在歷經 104 年後，終於被阿達馬 and 德·拉·瓦萊-普桑摘下了數論王冠上的這顆明珠。全世界為之震撼。
第 12 集：希爾伯特的宏圖：將質數列為 20 世紀最大難題
在 1900 年的巴黎，希爾伯特向全世界發出了攻克黎曼猜想的豪邁號召。
素數定理雖然在 1896 年獲證，但這並未削弱黎曼猜想的熱度。相反，它進一步點燃了數學家們攻克黎曼猜想的野心。
1900 年 8 月 8 日，第二屆國際數學家大會在巴黎召開。38 歲的德國數學大師大衛·希爾伯特（David Hilbert）走上講台，發表了題為《數學問題》的著名演講。
希爾伯特列出了他認為對 20 世紀數學發展至關重要的 23 個問題。這 23 個問題在隨後的百年裡指引了整個數學界的發展方向。
其中，第八個問題就是關於質數的問題，而其核心內容正是：黎曼猜想。
希爾伯特對黎曼猜想給予了極高的評價。他曾說過，如果他能在沉睡一千年後醒來，他問的第一個問題不會是科技有何進展，而是：「黎曼猜想被證明了嗎？」
希爾伯特的宏圖將黎曼猜想提到了前所未有的高度。從此，它不再只是一個單純的數論猜測，而是被公認為全人類理智所面臨的最大挑戰之一。