(PS:本文会不断更新)
$\newcommand\R{\operatorname{Res}}$
如何计算$\zeta(2)=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\cdots$? 这个问题是在1644年由意大利数学家蒙哥利(Pietro Mengoli)提出的,而大数学家欧拉于1735年第一次解决了这个问题。他得出著名的结果:
\[\sum_{k=1}^{\infty}\frac{1}{k^2}=\frac{\pi^2}{6}\]
解决这个问题的方法在近代不断涌现。这里我从各处摘抄到一些方法,列举在此,仅供大家参考。
如有错误,请向我指出,谢谢!(PS:最近发现忻州师范学院某网页抄了我博客后不给Reference,希望大家明辨是非)
首先,我们需要知道这个问题的等价形式,将这个数列除以4,我们自然得到$\sum_{k=1}^{\infty} \frac{1}{(2k)^2}=\frac{\pi^2}{24}$,从而我们只需证明
\[\sum_{k=1}^{\infty}\frac{1}{(2k-1)^2}=\frac{\pi^2}{8}\]
而以下某些证明会用到这一点。
目录
证明1:欧拉的证明
欧拉的证明是十分聪明的。他只是将幂级数同有限的多项式联系到了一起,就得到了答案。首先注意到
\[\sin(x) = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots\]
从而
\[\frac{\sin(x)}{x} = 1 - \frac{x^2}{3!} + \frac{x^4}{5!} - \frac{x^6}{7!} + \cdots\]
但是$\frac{\sin{x}}{x}$的根集,为
\[x=n\cdot \pi,\mbox{ }(n = \pm1, \pm2, \pm3, \dots).\]
故我们可以假定
\begin{align}
\frac{\sin(x)}{x} & {} =
\left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots \notag\\
& {} = \left(1 - \frac{x^2}{\pi^2}\right)\left(1 - \frac{x^2}{4\pi^2}\right)\left(1 - \frac{x^2}{9\pi^2}\right) \notag\cdots.
\end{align}
(PS:欧拉似乎没有证明这个无穷积,直到100年后魏尔斯特拉斯得到了他著名的“魏尔斯特拉斯分解定理”(Weierstrass factorization theorem,详情可见wiki相应条目)。利用这个方法得到函数时要特别小心,我以前看到的一个反例就可以说明这个问题)
从而我们对这个无穷乘积的$x^2$项进行研究,可以知道
\[-\left(\frac{1}{\pi^2} + \frac{1}{4\pi^2} + \frac{1}{9\pi^2} + \cdots \right) =
-\frac{1}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2}.\]
所以
\[-\frac{1}{6} =
-\frac{1}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2}.\]
这样就得到了答案。
注:欧拉给出过严谨的证明,但是由于他的第一个证明太广为人知,所以有时候会认为他没给出真正的证明。不过贴吧里的 tq唐乾 吧友提醒了我,实际上,欧拉有他真正的证明。是通过如下方式:首先令$N$为奇数
$$z^n-a^n=(z-1)\prod_{k=1}^{(n-1)/2}(z^2-2az\cos{\frac{2k\pi}{n}}+a^2)$$
令$z=1+x/N,a=1-x/N$,且n=N,有
\begin{align*}\left(1+\frac{x}N\right)^N-\left(1+\frac{x}N\right)^N &=\frac{2x