一個長得比自己定義還大的函數
在上一篇，你透過黎曼ζ函數在 Re s > 1 上的兩張面孔認識了它：級數 zeta(s) = sum over n of 1/n^s，以及質數上的歐拉乘積。但這整個故事只活在單一個半平面裡。一旦 Re s 掉到 1，級數立刻發散（那裡就是調和級數），乘積也需要 Re s > 1 才收斂。所以作為公式，ζ 被困在 Re s = 1 這條線的右邊。本階梯令人驚訝的主張是：ζ 其實幾乎處處有定義——在去掉單一點 s = 1 的整個平面上——而那兩個公式不過是窺看它的一道鎖孔。
一個函數怎能在它唯一的公式失效之處還有意義？這正是複分析的核心魔法，而你早在「延拓」那個階梯的解析延拓一篇就見過這台引擎了。它的想法是拼圖。一個只在某塊區域——哪怕只是一個小圓盤——上已知的全純函數，有時可以延伸到鄰近的區域，讓它保持全純，並在重疊處吻合。拼上夠多的拼片，原本的鎖孔視野就長成了覆蓋廣大區域的全景。ζ 正是以這種方式生活、最為著名的範例。
暖身：伽瑪如何向左走過整個平面
在對付 ζ 之前，先回想本階梯前兩篇的伽瑪函數是如何逃出它自己的半平面的——它是整套手法最乾淨的範本。歐拉積分 Gamma(z) = integral from 0 to infinity of t^(z-1) e^(-t) dt 只在 Re z > 0 收斂。然而我們知道 Gamma 以一個亞純函數的身分活在整個平面上，在 0, -1, -2, ... 處有單極點，別無他處。把它帶向左方的，不是更聰明的積分，而是單一個代數恆等式：函數方程 Gamma(z+1) = z Gamma(z)。
把那個方程倒著讀——Gamma(z) = Gamma(z+1)/z——它就變成一台延拓機器。只要 z+1 落在已知區域裡，右邊就有意義，也就是 Re z > -1（要排除 z = 0）。所以單單一次移項，就把 Gamma 向左延伸了完整的一條帶子，而 z = 0 處看似的爆炸，正好顯露為一個單極點。再用一次，Gamma(z) = Gamma(z+2)/(z(z+1))，你就抵達 Re z > -2，並暴露出 z = -1 處的極點。每一步既延伸了定義域，又解釋了一個極點。這就是靠恆等式來延拓，是 ζ 即將需要的那套手法最溫和的版本。
把 ζ 延拓過 Re s = 1 這道牆
ζ 需要同樣的精神，但要更鋒利的工具，因為它的級數並不像伽瑪那樣滿足一行的位移恆等式。踏出半平面的第一步是一個小奇蹟。造出交錯的表親 eta(s) = sum over n of (-1)^(n-1)/n^s，稱為狄利克雷 η 函數。它的項彼此部分抵消，所以這個級數在大得多的半平面 Re s > 0 上就收斂。一段簡短的操作——把偶數項抽出來——給出橋樑 eta(s) = (1 - 2^(1 - s)) zeta(s)。解出 zeta，你就有了一個在 Re s > 0 上成立的公式（除了 1 - 2^(1-s) = 0 之處）。
這個操作是值得一看的一行減法。ζ 中偶數編號的項是 sum over even n of 1/n^s = 2^(-s) sum over m of 1/m^s = 2^(-s) zeta(s)。從完整的和裡減去兩倍這個偶數部分，會把偶數項的正負號翻轉，而那恰好就是 eta：zeta(s) - 2 * 2^(-s) zeta(s) = eta(s)，也就是 eta(s) = (1 - 2^(1-s)) zeta(s)。移項後，zeta(s) = eta(s)/(1 - 2^(1-s))——而右邊現在在 Re s > 0 上就有意義了，因為 eta 在那裡收斂。
光是這一座橋就已經做了極大量的工作。它把 ζ 延拓到整個半平面 Re s > 0（扣掉麻煩點），並隔離出 ζ 唯一會有的那個極點。因子 1 - 2^(1-s) 在 s = 1 處為零，而那裡 eta(s) 有限（eta(1) = log 2），所以 ζ 在那裡爆掉——s = 1 處一個留數為 1 的單極點。1 - 2^(1-s) 在 s = 1 + 2 pi i k / log 2 處的其他零點並不是 ζ 的極點：那裡 eta 也為零，看似的奇點互相抵消，留下完全有限的 ζ。永遠要檢查一個因子的零點究竟是真正的極點，還是會被抵消掉的；在這裡，除了 s = 1 以外全都抵消了。
黎曼的函數方程：把平面對折
η 橋抵達 Re s > 0，但平面的左半邊看似仍然搆不著。一舉攻克全部的器械，是函數方程，而它遠不只是一台延拓裝置——它是一個深刻的對稱。它把 ζ 在 s 處的值，與它在鏡像點 1 - s 處的值聯繫起來，這個鏡像是沿著中央那條線 Re s = 1/2 反射的。最乾淨的形式用到完備化的 ζ，即 xi(s) = pi^(-s/2) Gamma(s/2) zeta(s)，是把一個伽瑪因子黏到 ζ 上造出來的。如此一來整個陳述就只是 xi(s) = xi(1 - s)：完備化後的函數在反射 s -> 1 - s 下不變。
xi(s) = pi^(-s/2) * Gamma(s/2) * zeta(s)
xi(s) = xi(1 - s) (symmetric form)
zeta(s) = 2^s pi^(s-1) sin(pi s/2) Gamma(1-s) zeta(1-s) (unsymmetric form)請注意，伽瑪函數並不是可有可無的裝飾。黎曼的證明穿過一個 θ 函數 theta(t) = sum over n of e^(-pi n^2 t)，它遵守自己優美的變換 theta(1/t) = sqrt(t) theta(t)。把 θ 餵進一個伽瑪型（梅林）積分，恰好製造出 xi(s)，而 θ 的對稱 t -> 1/t 就變成反射 s -> 1 - s。所以 ζ 從 s 到 1-s 的對稱，是一個 θ 函數從 t 到 1/t 的對稱所投下的解析影子——數論透過你最先研讀的那個伽瑪函數，繫上了格點的幾何。
現在延拓在一次橫掃中就完成了。給定任何 Re s < 0 的 s，它的鏡像 1 - s 滿足 Re(1-s) > 1，那裡普通級數把 zeta(1-s) 定義得完美無缺。接著非對稱形式 zeta(s) = 2^s pi^(s-1) sin(pi s/2) Gamma(1-s) zeta(1-s) 就直接把 zeta(s) 交到你手上。整個左半平面，都靠把右邊的已知值反射過來填滿。兩個公式——管中間帶子的 η 橋，與管最左方的函數方程——合起來覆蓋了去掉 s = 1 那唯一極點之後的整個平面。
從方程裡讀出它的後果
函數方程不只延拓 ζ——它還精確地告訴你延拓後的函數在左半平面長什麼樣。看非對稱形式，盯著因子 sin(pi s/2)。它在偶整數處為零，而在 s = -2, -4, -6, ... 處，其他因子沒有一個爆掉來搭救這個值，所以 ζ 本身在那裡為零。這些就是 ζ 的平凡零點：沿著負實軸往外行進的一道無窮零點階梯，由方程裡的正弦免費奉送給你。
- 用右半平面的值算出左半平面的值。要求 zeta(-1)，令 s = -1，則 1 - s = 2，讀出右邊：2^(-1) pi^(-2) sin(-pi/2) Gamma(2) zeta(2)。
- 代入已知的部件：sin(-pi/2) = -1，Gamma(2) = 1! = 1，以及著名的 zeta(2) = pi^2/6。
- 乘開：(1/2) * pi^(-2) * (-1) * 1 * (pi^2/6) = -1/12。所以 zeta(-1) = -1/12。
- 誠實地讀出它的意義：-1/12 是延拓後的 ζ 在 s = -1 處的值。發散的和 1 + 2 + 3 + ... 並不「等於」-1/12；那句口號是 zeta(-1) 的簡寫，是把解析延拓在級數收斂區域之外求值的結果。
把平凡零點與那唯一的極點都交代清楚之後，真正神秘的一切都被擠進了垂直帶 0 < Re s < 1，也就是臨界帶。方程的 s <-> 1 - s 對稱意味著任何其他零點都成對出現，沿中央那條線 Re s = 1/2——臨界線——反射。本階梯接下來、也是最後一篇，將追蹤這些零點，透過歐拉乘積把它們重新連回質數，並抵達那個猜想：它們每一個都恰好坐落在那條線上。那個猜想，黎曼假設，至今仍然懸而未決。