Euler曾經用無窮乘積方法解決巴塞爾問題,即全體自然數的倒數平方和,這在當時不是很簡單的事,雖然現在可以用幾十種方法得到這個結果,例如對f(x)=x在一個周期內做Fourier變換.接著我們嘗試用ζ函數的語言敘述這些發現,這應該是認知ζ的最簡單的方法.
Euler猜想了一個無窮乘積表達式,在其收斂的情況下,是可以用Taylor展開計算出ζ(2)的.
由於需要求級數的係數,我們考慮對右邊做Laurent展開,這樣就能得到正偶數的一般公式.
以上只討論了在正偶數的情況,這樣的話ζ(s)相當於僅用於計算一些實級數罷了.鑑於一般來說即使是正整數,ζ(s)也很難算,雖然我們知道它大概率是無理數,但這不是易證明的顯然結果.所以,為了更好研究它,接著著眼於其作為復級數的算術性質.同時,有趣的是,Γ函數這裡居然也出現了.
藉助這個表達式的啟發,類似於此前從階乘解析延拓,這裡可用以上公式模仿之.
回憶之前曾計算過Γ函數在負整數時候的留數,而我們又通過B_n定義了ζ*Γ在負整數時候的留數,考慮留數的極限定義式,所以可以得到:
其中ζ(-1)的形式正是全體正整數的和,在複變函數裡這是一個解析延拓的值,所以這個-1/12不是通過實數的算術做到的,而是定義出來的,只不過這樣的結果是自然的,也是對後續研究必要的.有興趣可以算算其他負奇數的值,相當於得出自然數的2n+1次方和.
從這個展開式中還可以得到許多有趣的級數恆等式,不妨利用微分積分與適當的代入來看看還能得到什麼其他的恆等式.
有關於ζ的函數方程性質,需要在提到素數定理時,再做解釋.