從階乘走向質數
本階梯的前兩篇打造了伽瑪函數——階乘那平滑的複數內插——並以反射公式與斯特靈漸近式馴服了它的增長。伽瑪函數是同一個函數披上了許多種外衣。我們現在要遇見的黎曼ζ函數，則是一種不同而更深刻的物件：它一開始只是個看似天真的無窮和，卻最終把兩個彷彿毫不相干的世界編織在一起——計數的加法世界（1、2、3、4……）與質數的乘法世界（2、3、5、7、11……）。連接兩者的橋樑是一條方程式，正是本篇的主題。
定義如下。對於複數 s = sigma + i t（數論學家把變數寫成 s，實部記為 sigma，虛部記為 t——我們沿用這個傳統），黎曼ζ函數是這個和 zeta(s) = sum over n >= 1 of 1/n^s = 1 + 1/2^s + 1/3^s + 1/4^s + ……。每一項 1/n^s 都是複數冪 n^(-s) = e^(-s log n)，其中 log n 是普通的實對數，所以這裡完全沒有分支的含糊——n 是正整數，log n 就是唯一一個實數。唯一的問題是這個無窮和何時收斂，我們現在就來看。
級數的居所：半平面 Re(s) > 1
收斂與否，完全由 s 的實部決定。一項的大小是 |1/n^s| = |n^(-s)| = |e^(-s log n)| = e^(-sigma log n) = n^(-sigma)，其中 sigma = Re(s)。虛部 i t 只是讓每一項旋轉一個相位 e^(-i t log n)；它讓該項繞著半徑為 n^(-sigma) 的圓轉動，卻從不改變其長度。於是絕對值之和恰好就是 sum of 1/n^sigma——我們熟悉的實 p 級數——它正好在 sigma > 1 時收斂。這唯一一條不等式，就道盡了原始級數在何處有意義。
在半平面 Re(s) > 1 上，這個函數不僅有定義，而且是真正全純的。級數在那裡絕對收斂，而在任何保持在 sigma = 1 + delta（比方說）右側的緊緻片段上，收斂是均勻的——每一項都被 n^(-(1+delta)) 所控制，那是一個與 t 無關的固定收斂級數。由「全純函數的局部均勻極限仍是全純」這條定理，zeta(s) 在開半平面 Re(s) > 1 上是全純的。它是一整個家族中最乾淨的一員：一個 狄利克雷級數。
狄利克雷級數與收斂橫坐標
一個狄利克雷級數是任何形如 sum over n >= 1 of a_n / n^s 的和，其中 a_n 是一串複係數。ζ函數是每個 a_n = 1 的特例。它們對算術所扮演的組織角色，正如普通冪級數 sum a_n (z - z_0)^n 對分析所扮演的：正如一個冪級數在一個半徑為其收斂半徑的圓盤內收斂，一個狄利克雷級數則在一個半平面 Re(s) > sigma_c 內收斂，也就是一條鉛直線的右側。那道分界 sigma_c 就稱為收斂橫坐標。
這個幾何值得停下來體會，因為它是個一再出現的驚奇。對冪級數而言，收斂的邊界是一個圓，因為 |z^n| 只依賴 |z|；對狄利克雷級數而言，邊界是一條鉛直線，因為正如我們剛才所見，|n^(-s)| 只依賴 Re(s)。有一個微妙之處從實理論延續過來，並在此更為尖銳：絕對收斂的橫坐標可能嚴格地落在普通收斂橫坐標的右側，所以一個狄利克雷級數可以在一條它並不絕對收斂的窄帶裡條件收斂。對 zeta 而言兩個橫坐標都等於 1，所以暫時不必為這個區別操心——但對 zeta 那個交錯的表親而言，它日後會成為問題的核心。
歐拉取遍質數的乘積
現在輪到那個發現登場——它出自歐拉在 1737 年——使 zeta 變得非凡，而不只是收斂而已。對 Re(s) > 1，取遍所有整數的和，等於只取遍質數的乘積：zeta(s) = product over primes p of 1/(1 - p^(-s))。左邊是每一個正整數；右邊只有 2、3、5、7、11……。在一個加法的和與一個乘法的乘積之間畫上等號，這就是 歐拉乘積，它正是「每個整數都恰以唯一方式分解為質數之積」這件事的精確解析陳述。
它從何而來？把每個因子展開成幾何級數，這是合法的，因為當 sigma > 1 時 |p^(-s)| = p^(-sigma) < 1。質數 p 的因子變成 1/(1 - p^(-s)) = 1 + p^(-s) + p^(-2s) + p^(-3s) + ……，一個取遍該質數所有冪次的和。現在把這些幾何級數對每個質數相乘起來，並問：展開後乘積中的某一單項長什麼樣子。
1/(1 - 2^-s) = 1 + 2^-s + 4^-s + 8^-s + ... 1/(1 - 3^-s) = 1 + 3^-s + 9^-s + ... 1/(1 - 5^-s) = 1 + 5^-s + ... Pick one term from each row and multiply: 2^-s * 3^-s * 1 * 1 * ... = (2*3)^-s = 6^-s 4^-s * 1 * 5^-s * ... = (4*5)^-s = 20^-s Each choice 2^a * 3^b * 5^c * ... = n^-s hits exactly one integer n, ONCE (unique prime factorization). Summing over all choices rebuilds 1 + 2^-s + 3^-s + ... = zeta(s).
要從展開後的乘積中挑出一項，你從每個質數的幾何級數裡選一個冪 p^(-a*s)——一個 2 的冪，乘上一個 3 的冪，乘上一個 5 的冪，依此類推——再把它們相乘。乘積是 (2^a * 3^b * 5^c * ……)^(-s) = n^(-s)，對應整數 n = 2^a * 3^b * 5^c * ……。算術基本定理說每個 n 都恰好來自這樣一組唯一的指數選擇，所以當我們遍歷所有選擇時，每個 1/n^s 都恰被命中一次、且僅僅一次。把它們全部加回去，就重建了 1 + 1/2^s + 1/3^s + …… = zeta(s)。整數的唯一分解，就是歐拉乘積。
為何這乘積重要：zeta 認得質數
歐拉乘積不是奇趣玩物；它是解析數論的門扉，而它憑一個立即的推論便贏得這個地位。這個乘積是一個各因子皆非零的無窮乘積，每個因子是 1/(1 - p^(-s))，而一個由非零項構成的收斂無窮乘積不可能等於零。因此 zeta(s) 在半平面 Re(s) > 1 上永不為零。整整一片開區域免費被掃淨了零點，純粹只因每個整數都分解為質數——一件算術的事實，遞送出一件全純函數的事實。
把這個邏輯反過來走，你就能在 zeta 之中聽見質數。對歐拉乘積取對數，把乘積化為和：log zeta(s) = sum over primes p of -log(1 - p^(-s)) = sum over primes p of (p^(-s) + (1/2) p^(-2s) + ……)。就主導項而言，log zeta(s) 約略是 sum over primes of p^(-s)，一個單單取遍質數的和。所以 zeta 在 s = 1 附近的解析行為——回想一下，那裡調和級數發散、zeta 爆掉——是由質數如何分布所掌控的。這正是那條線索，只要拉得夠用力，就會導出質數定理：不超過 x 的質數個數漸近於 x / log x。