歐拉乘積
/ OY-ler /
歐拉乘積是把ζ函數從關於和的奇趣，變成數論主鑰的那一個恆等式：對 Re s > 1，zeta(s) = sum over n of 1/n^s 等於一個對質數的乘積，product over primes p of 1/(1 - p^(-s))。左邊跑遍所有正整數；右邊只跑遍質數 2, 3, 5, 7, 11, ...。歐拉驚人的發現是：這兩個看來截然不同的表達式相等。
它為何成立？每個因子都是偽裝的幾何級數：1/(1 - p^(-s)) = 1 + p^(-s) + p^(-2s) + p^(-3s) + ...。當你把這些幾何級數對「所有」質數相乘並展開時，乘積中一個典型項從每個質數的因子中各挑一個冪 p^(-k s) 相乘，給出 (p_1^(a_1) p_2^(a_2) ...)^(-s) = 1/n^s，對應某個整數 n。算術基本定理——每個整數以恰好一種方式分解成質數——保證每個 1/n^s 恰好出現一次。所以展開後的乘積正是那個和。歐拉乘積「就是」唯一分解定理的解析寫法。
後果極為深遠。由於每個因子 1/(1 - p^(-s)) 皆不為零、且乘積在 Re s > 1 上收斂，zeta(s) 在該半平面上沒有零點——這個事實立刻給出歐拉關於「質數有無窮多個」的解析證明（若質數只有有限個，乘積即使在 s = 1 處也會是有限數，與極點矛盾）。更深一層，取歐拉乘積的對數，把 zeta 的零點與質數的分布關聯起來，這正是質數定理背後的引擎。一個提醒：乘積只在它收斂之處（Re s > 1）等於 zeta；要讀出抵達臨界帶的質數結構，必須透過解析延拓。
在 s = 2 處核對前幾個因子，那裡 zeta(2) = pi^2/6 = 1.6449...。乘積 1/(1 - 1/4) * 1/(1 - 1/9) * 1/(1 - 1/25) * 1/(1 - 1/49) * ... = (4/3)(9/8)(25/24)(49/48)... 隨著納入更多質數而向 1.6449 攀升。光是質數 2, 3, 5, 7 就給出 1.5 * 1.125 * 1.0417 * 1.0208 = ...，穩定地收斂到 pi^2/6。
每個質數貢獻一個幾何級數因子；唯一分解正是乘積等於和的原因。
歐拉乘積只在半平面 Re s > 1 上收斂。它「不」延伸到臨界帶，所以你無法直接從它讀出 zeta 有趣的零點——那些零點住在乘積已失效、只剩延拓後函數的地方。