MathLabs

解法:Beukers–Calabi–Kolk 的二重积分证明(1993年)

第 6/6 步:回到 ζ(2)
通俗地说

三角形的面积仅靠微积分与几何计算得出,完全不见无穷乘积的踪影;把这个数值代回第1步的等式,就还原出 ζ(2)\zeta(2),完成了从一个和,到一个积分,到一个三角形,再回到一个和的闭环。

ζ(2)=43⋅π28=π26\zeta(2)=\frac43\cdot\frac{\pi^2}{8}=\frac{\pi^2}{6}
详细分析

把三角形的面积代回第1步的恒等式,得到 π2/6\pi^2/6——正是欧拉在1735年得到的同一个数,但这里完全通过多元微积分得到,既不用无穷乘积,也不依赖 sin⁡x\sin x 的麦克劳林级数。

本步骤用到的知识