高中数学强基招生训练和数学奥赛拓展导数专题之巴塞尔Basel问题的22种证法.docxVIP

强基计划招生训练和数学奥林匹克竞赛拓展

导数专题之巴塞尔Basel问题的22种证法

1.欧拉的证明

欧拉的证明是十分聪明的。他只是将幂级数同有限的多项式联系到了一起，就得到了答案。首先注意到

sin

从而

sin

但是sinx

x=n?π,

故我们可以假定

sin

=

(PS：欧拉似乎没有证明这个无穷积，直到100年后魏尔斯特拉斯得到了他著名的“魏尔斯特拉斯分解定理”(Weierstrassfactorizationtheorem,详情可见wiki相应条目)。利用这个方法得到函数时要特别小心，我以前看到的一个反例就可以说明这个问题)

从而我们对这个无穷乘积的：x2项进行研究，可以知道

?

所以

?

这样就得到了答案。

注：欧拉给出过严谨的证明，但是由于他的第一个证明太广为人知，所以有时候会认为他没给出真正的证明。不过贴吧里的tf唐乾吧友提醒了我，实际上，欧拉有他真正的证明。是通过如下方式：首先令N为奇数

z

令z=1+x/N,a=1?x/N,且n=N,有

1+

考虑一次项系数知道CN=2成立，而在N→∞时，左边是e??e??,右边通过cosy≈1?y2/2,

e

比较三次项系数可知答案

2.一个初等的证明

以下证明第一次来自IoannisPapadimitriou于1973年在AmericanMathMonthly80(4):424-425页发表的。Apostol在同一份杂志425-430发表了用这个方法计算ζ(2n)的方法。

这似乎是这个问题最“初等”的一个证明了，只需要知道三角函数相应知识就能够完成。我们先证明一个恒等式：

Lemma:令ωm

cot

证明：由于

sin

=

很显然，令n=2m+1,则我们有cot2ω?,cot22ω?

的根。从而利用韦达定理我们就完成了引理的证明。

由于三角不等式sinxxtanx在x∈0π2)成立，我们知道了cot

cot

所以应用上面引理，就可以得到

m

令m趋于无穷大，结论自然就成立了。

3.数学分析的证明

这个证明来自Apostol在1983年的“MathematicalIntelligencer”,只需要简单的高数知识。

注意到恒等式

1

利用单调收敛定理(MonotoneConvergenceTheorem),立即得到

1

通过换元uv=x+y2

1

S是由点(0,0),(1/2,-1/2),(1,0),(1/2,1/2)构成的正方形,利用正方形的对称性,那么

2s

=4

利用恒等式arctanu

高度就能够得到

1

4.数学分析的证明

(Calabi,Beukers和Kock.)同样利用上一问的结论,不过这次我们计算的是:

1

做代换

u

从而有x

雅可比行列式即为

=1?

从而

3

其中A=uv|u0,v0,u+vπ

5.复分析的证明

这个证明在很多复分析书上都有。我们同样可以利用留数计算该结果，考虑fx=z?2cotπz,积分路径P?为在中心为原点的长形如图实轴交点为：±n+1

|

从而很容易就能知道|cotπz|2对于每根积分曲线成立，于此同时，

|

成立，在n→∞

利用留数定理，则有

2πi

而每一点的留数，计算有Resz?2cotπz

2

答案显而易见了。

6.复数积分的证明

本证明由DennisC.Russell给出。考虑积分

I=

那么利用cos的欧拉公式2cosx=e??+e???=e??1+e?2??从而

I=

再利用ln1+x

ln

代入知为

ln

从而积分就有

0

但是由于e?iπ

0

故如前面式子有

I=i

由于左边是实数，右边是纯虚数，从而只能两边都为0，即ζ2

0

7.泰勒公式证明

(BooRimChoe在1987AmericanMathematicalMonthly上发表)利用反三角函数arcsinx的泰勒展开

arcsin

对于|x|≤1成立，从而令x=sint,有

t=

对于|t|≤π

0

故而对两边从0到π/2积分有

π

同样可得

8.复分析证明

(T.Marshall在AmericanMathMonthly,2010)对于z∈D=C0,1,令

R

这个和是对于每一个log的分支加起来.在D中所有点有领域使log(z)的分支解析.由于这个级数在z=1之外一致收敛,R(z)在D上解析.

这里有几个Claim:

当z→0时，级数每一项趋于0.由于一致收敛我们知道z=0是可去奇点，我们可令R0=0.R的唯一奇点是z=1的二阶极点，是由logz的主分支.我们有limz→1z?12Rz=1.R1z

R

现在