标签：
我很早就一直想写一篇文章，跟大家聊一聊： $$\frac{1}{1^2}+\frac{1}{2^2} +\frac{1}{3^2} +\frac{1}{4^2} +\frac{1}{5^2} +\cdots\ =\ \frac{π^2}{6}$$本文假设读者热爱数学，并且曾经掌握过高中数学知识。
首先我们要复习一下三角函数。
对于任意的角 $x$， 我们有 ${\sin^2 x}+\cos^2x=1$，这跟勾股定理是一回事。
接下来是一个重要的公式，稍微有点难，画个图兴许就能理解了。
$$\sin(x+y) = \sin x \cos y + \cos x \sin y$$其实，我们不需要用到这个这个公式，我们需要的只是一个特例:
当 $x=y$ 时，也就是 $$\sin(2x) = 2 \sin x \cos x$$我相信只要是爱好数学的读者，看这两张图，一定能把这个公式证明出来
上图是 $\sin(2x) = 2 \sin x \cos x$ 的证明
上图是 $\sin(x+y) = \sin x \cos y + \cos x \sin y$ 的证明
通过画出三角函数图像的方式，
我们还可以轻易验证
$$\cos x = \sin (x+\frac{π}{2})$$ 以及 $$\sin(π-x) = \sin x$$
接下来就可以开始证明了，
（该证明取自美国数学月刊2002年2月第109期 pp. 196-200 作者系Josef Hofbauer）
由于 $\sin(2x) = 2 \sin x \cos x$
所以 $\sin x= 2 \sin(\frac{x}{2})\cos(\frac{x}{2})$
取倒数，平方，得 $$\frac{1}{\sin^2 x} = \frac{1}{4}\frac{1}{\sin^2(x/2)\cos^2(x/2)}$$然后根据 ${\sin^2 x}+\cos^2x=1$
我们有
$$\frac{1}{\sin^2 x} = \frac{1}{4}\frac{\sin^2 (x/2)+\cos^2 (x/2)}{\sin^2(x/2)\cos^2(x/2)}=\frac{1}{4}( \frac{1}{\cos^2(x/2)} + \frac{1}{\sin^2(x/2)})$$接下来利用性质，$\cos(x/2) = \sin((x+π)/2)$
就得到核心关系式：
$$\frac{1}{\sin^2 x} = \frac{1}{4} (\frac{1}{\sin^2\frac{x}{2}} + \frac{1}{\sin^2\frac{x+π}{2}}) \ \ \ \ \ (*) $$这是证明中最最核心的一步，我们称这个关系式为“(*)”
现在我们根据定义可知 $\sin(π/2) =\, \sin90°=1$
然后平方，取倒数，并反复利用(*)式，我们有
\begin{split}
1 & = \frac{1}{\sin^2(π/2)} \\
& =\frac{1}{4} (\frac{1}{\sin^2(π/4)} + \frac{1}{\sin^2(3π/4)}) \\
& =\frac{1}{4^2} (\frac{1}{\sin^2(π/8)} + \frac{1}{\sin^2(3π/8)}+\frac{1}{\sin^2(5π/8)} + \frac{1}{\sin^2(7π/8)})\\
& = \dots
\end{split} 可以这样一直做下去。
现在，利用恒等式 $\sin(π-x)=\sin x$
就能得到
\begin{split}
1 & =\frac{2}{4^2} (\frac{1}{\sin^2(π/8)} + \frac{1}{\sin^2(3π/8)}) \\
& =\frac{2}{4^3} (\frac{1}{\sin^2(π/16)} + \frac{1}{\sin^2(3π/16)}+\frac{1}{\sin^2(5π/16)} + \frac{1}{\sin^2(7π/16)}) \\
& ={\frac{2}{4^4} (\frac{1}{\sin^2(π/32)} + \frac{1}{\sin^2(3π/32)}+\frac{1}{\sin^2(5π/32)} +\dots + \frac{1}{\sin^2(15π/32)})}\\
& = \dots
\end{split}我们将这个关系称为“(**)”式
有读者可能要问，为什么要这样做，其实原因马上就很清楚了，目的只有一个，让所有 $\sin()$里的值都是锐角。
因为对于锐角x 我们有 $\sin x < x < \tan x$， 请看下图
取倒数，平方，得
$$\frac{1}{\sin^2 x} > \frac{1}{x^2} > \frac{1}{\tan^2 x}$$而我们又知道
$$\frac{1}{\tan^2 x}=\frac{\cos^2 x}{\sin^2 x}=\frac{1-\sin^2 x}{\sin^2 x}=\frac{1}{\sin^2 x}-1$$所以
$$\frac{1}{\sin^2 x}-1<\frac{1}{x^2}<\frac{1}{\sin^2 x}$$
现在结合前面推导的关系(**):
$$
1 ={\frac{2}{4^4} (\frac{1}{\sin^2(π/32)} + \frac{1}{\sin^2(3π/32)}+\frac{1}{\sin^2(5π/32)} +\dots + \frac{1}{\sin^2(15π/32)})}
$$
我们可以得到如下不等关系
\begin{split}
1-\frac{2}{4^4}*2^3 & <{\frac{2}{4^4} (\frac{1}{(π/32)^2} + \frac{1}{(3π/32)^2}+\frac{1}{(5π/32)^2} +\dots + \frac{1}{(15π/32)^2})} < 1\\
1-\frac{2}{4^4}*2^3 & < {\frac{2}{4^4}* 4^5 (\frac{1}{π^2} + \frac{1}{(3π)^2}+\frac{1}{(5π)^2} +\dots + \frac{1}{(15π)^2})} <1\\
1-\frac{1}{2^4}& < {8(\frac{1}{π^2} + \frac{1}{(3π)^2}+\frac{1}{(5π)^2} +\dots + \frac{1}{(15π)^2})} <1
\end{split}
（各位读者请注意，刚才这三个不等关系可能需要花时间仔细读懂，是全文中最难理解的一步，希望读者能耐心地读懂每一行的逻辑。）
通过观察，我们可以发现，之前在(**)中，我们只用到$$1 = {\frac{2}{4^4} (\frac{1}{\sin^2(π/32)} + \frac{1}{\sin^2(3π/32)}+\frac{1}{\sin^2(5π/32)} +\dots + \frac{1}{\sin^2(15π/32)})}$$
如果在第一步，多利用(*)几次，
使得(**)中 $\sin$ 的项数由 $8=2^3$ 项 增长为 $2^n$ 项
则有
$$1-\frac{1}{2^{n+1}} < {8(\frac{1}{π^2} + \frac{1}{(3π)^2}+\frac{1}{(5π)^2} +\dots +
\frac{1}{((2^{n+1}-1)π)^2})}<1$$
所以，当n很大时，\frac{1}{2^{n+1}} 可以忽略不计，我们有
$${\,8\,(\frac{1}{π^2} + \frac{1}{(3π)^2}+\frac{1}{(5π)^2}+\frac{1}{(7π)^2} +\dots +
)}= 1$$
即 $$\frac{1}{1^2}+\frac{1}{3^2} +\frac{1}{5^2} +\frac{1}{7^2} +\cdots =\frac{π^2}{8} $$
现在我们离结论只有一步之遥
令 $\zeta(2) = 1/1^2 + 1/2^2 + 1/3^2 + 1/4^2 + 1/5^2 + \dots$
那么 $\zeta(2)/4 = 1/2^2 + 1/4^2 + 1/6^2 + 1/8^2 + 1/10^2 + \dots$
两式相减，就能得到
$\zeta(2)-\zeta(2)/4= 1/1^2 + 1/3^2 + 1/5^2 + 1/7^2 + \dots= π^2/8$
所以 $3\zeta(2) /4 = π^2/8$，求得 $\zeta(2) = π^2/6$，即我们要证的结论：
$$\frac{1}{1^2}+\frac{1}{2^2} +\frac{1}{3^2} +\frac{1}{4^2} +\frac{1}{5^2} +\cdots\ =\ \frac{π^2}{6}$$
怎么样，好玩吧，数学永远是这样，用最巧妙的逻辑链条构造最美丽的证明。
只要有一点点好奇心，和足够的耐心，人人都可以享受数学的乐趣。
祝大家暑假愉快。
贾博名
2014年6月20日 于 美国俄亥俄州哥伦布市
（最新一次更新于2016年6月18日，感谢孙豪同学对本文初稿的认真阅读）
标签：
原文地址：http://www.cnblogs.com/jiab/p/5596688.html
