欧拉和的探究
欧拉和的探究
李丹宜,王云阁,邹 欢
(华中师范大学 数学与统计学学院,武汉 430079 )
摘 要:本文通过对欧拉求解自然数平方的倒数之和的解析,赏析类比法在求解这类无穷级数中的巧妙应用,并结合级数理论和复分析理论给出欧拉和的另两种解法。 关键词:欧拉和;类比;无穷级数;傅里叶级数;微积分 中图分类号: O122.7 文献标识码:A
1 引言
微积分的创立,被恩格斯誉为“人类精神的最高胜利”。18世纪微积分最重大的进步是由欧拉(Leonard Eular)作出的。欧拉在1748年出版的《无限小分析引论》(Introductio in Analysin infinitorum)以及他随后发表的《微分学》(Institutiones Calculi differentialis)和《积分学》(Institutiones Calculi integralis)是微积分史上里程碑式的著作。[1]而18世纪至今,无穷级数一直被认为是微积分的一个不可缺少的部分。当时,人们对自然数平方的倒数之和,即
1111
这一级数求解始终未能解决。瑞士伯努利家族两兄弟,雅克布·伯12223242
努利(Jacob Bernoulli)和约翰·伯努利(Johann Bernoulli)求解过几个无穷级数的和,但是他们不会求自然数平方的倒数之和。他们知道这个级数是收敛的,并求得其值小于2。雅克布说:“假如有人能够求出这个我们直到现在还没有求出的和,并通知我们,我们将会很感激他。”1724年,师从约翰·伯努利的年青数学家欧拉利用类比的数学方法一举解决了当时与费马(Fermat)大定理齐名的困扰数学家百年之久的自然数平方的倒数之和问题,完成了其导师的心愿。正是由于欧拉第一个解出自然数平方的倒数之和,固其也被称为欧拉和。
本文将给出欧拉关于自然数平方的倒数之和的证明方法,并赏析其中类比方法的巧妙应用。同时,结合高等数学知识,给出自然数平方的倒数之和的另两种解法。
2 欧拉类比求解
2.1 求解过程
欧拉利用类比方法求和,主要用到两点知识,一是多项式的根与系数的关系,一是正弦函数的泰勒(Taylor)展开式。[2]
由多项式的根与系数的关系: 对一次方程
a0a1xa0(1
a1
x)0. a0
有根
a0x,于是上式可表示为a0a1xa0(1), a1
基金项目:2011年度华中师范大学大学生科研项目
作者简介:李丹宜(1990—),男,汉族,湖北襄阳人,华中师范大学数学与统计学学院数学与应用数学 (师范)专业09级本科生。Email:[email protected]
根与系数的关系a1
a0
.
2
类似的,设二次方程a0a1xa2x0有两根1,2,方程可表示为
a0a1xa2x2a0(11
1
x
1
)(1
x
2
)0.
根与系数的关系a1a0(
对n次方程
1
2
).
a0a1xa2x2anxn0.
有n个不同是根1,2,n.设an0,通过类比有
a0a1xa2x2anxna0(1
1
1
x
1
)(1
x
2
)(1
x
n
)0.
a1a0(
在此,设2n次方程
1
2
1
n
).
b0b1x2b2x4(1)nb2nx2n0.
有2n个根
1,1,2,2,,n,n.
因式分解,有
b0b1x2b2x4(1)nb2nx2n
b0(1
x
1
)(1
x
1
)(1x2
x
2
)(1x2
xxx)(1)(1) 2nn)(1
x2
b0(1
2
1
)(11
22
1
2n
2n
).
b1b0(
由正弦函数的泰勒展开式:
21
1
22
).
x3x5
sinxx0.
3!5!
“无穷次的”多项式,有无穷多个根 sinx的展开式中有无穷多项,
0,,,2,2,3,3,,
除去0根,方程两边除以x,得
x2x410.
3!5!
根为
,,2,2,3,3,.
与2n次方程类比,欧拉得出猜想
sinxx2x4x6x2x2x2
1(12)(12)(12). x3!5!7!49
这个就是“Eular乘积公式”,也叫做“Eular猜想”。 由x的系数得
2
1111
2. 22
2349
即
11112
222. 212346
2.2 解法分析
欧拉成功解决了无穷级数自然数平方的倒数之和,这是应用类比的数学思想解决未知问题的一个经典例子。类比是指由一类事物所具有的某种属性,可以推测与其类似的事物也具有这种属性的一种推理方法。类比法是一种从一般到特殊的推理方法,其结论具有或然性,是否正确需要经过严格的证明或者实践检验。波利亚(George Polya)认为“类比就是一种相似”。拉普拉斯(Laplace)说:“甚至在数学里,发现真理的主要工具也是归纳和类比。”类比法在解数学问题的作用可见一斑。
在推证过程中,欧拉首先利用有限次方程的根与系数的关系,将有限次方程与无限次方
x3x5
0程进行类比;再将形式上只有有限项的三角方程sinx0与无限项的x
3!5!
类比;最后类比无限次方程和有限次方程的根与系数的关系,求解出无穷级数自然数平方的倒数之和。类比法只能作为解题的一种思路,真正的解决问题需要严格的证明。欧拉在类比解出自然数平方的倒数之和后同样以怀疑的态度对该问题进行进一步的检验求证,他发现用多种方法核算的结果都一致。10年后,他最终找到了严格的证明方法。
欧拉大胆的猜想,从严格的逻辑角度看,他的解法是没有根据的。他把代数方程的法则应用到非线性方程上去了,这在逻辑上是不允许的。但类比告诉他可以这样做。他的工作已经深入到了一个新的领域,这个领域就是几年后他命名的“无穷小分析”。类比的数学思想为他进一步研究无穷级数,研究微积分打开了一扇门。
3 两种解法
微积分学创立之后自身的理论体系并不完善,早期的微积分,由于无法对无穷小概念作
出令人信服的解释,在很长的一段时间内得不到发展。微积分基础严格化归功于19世纪的柯西(A.L.Cauchy)、魏尔斯特拉斯(K.Weierstrass)等一批数学家,柯西和后来的魏尔斯特拉斯完善了作为理论基础的极限理论,使微积分逐渐演变为逻辑严密的数学基础学科。可以说,欧拉之后研究分析的学者所取得的很多成果是对欧拉提出的无穷小分析的延拓和完善。下文将结合高等数学中的微积分及微积分相关分支学科的知识,给出欧拉和的两种严格证明解法。
3.1 傅里叶级数解法
将函数f(x)(x1)在(0,1)上展开成余弦级数[3]: 把f(x)展开成余弦级数,将函数f作周期为2的偶延拓,则
2
a02
10
22
f(x)dx2(x1)dx(x1)3,
0330
1
2
1
an2(x1)2cosndx
1122
(x1)sinnx2(x1)sinnxdx
00n
141
22(x1)cosnx0cosnxdx
0n
422,nbn0.
1
由收敛定理,f(x)展开成余弦级数
14
f(x)(x1)2
3n
2
cosnx
,x0,1 2
nn1
当x0时,f(x)延拓连续,得
14
1f(0)2
3
整理,得
1 2nn1
11112
. 122232426
3.2 复分析解法
先讨论Ln(1z)的主值支ln(1z)在单位圆z1内的幂级数展开[4]: 主值支ln(1z)在单位圆z1内解析,又在数学分析中
znln(1z),x(1,1).
nn1
zn
记幂级数的和函数为g(z),由幂级数和函数的解析性,g(z)在z1内解析。
nn1
由上式知,当x(1,1)时,ln(1z)g(x).由解析函数的唯一性,在单位圆z1内
zn
ln(1z),x(1,1).
nn1
即为所求主值支ln(1z)在单位圆z1内的幂级数展开。
令ze(0t2),则有
it
ln(1z)lncostisint
22sint
lncostsintiarctan
1cost
t1tt
ln22costiarctantanln2sini,222222
x2cosntsinnt
innnn1n1n1
上两式的实部与虚部比较,得
cosntt
ln2sin(0t2). n2n1
sinntt
,(0t2). n22n1
sinntt
到t积分,得 在0t上内闭一致收敛,两边从(0)n22n1
cosncosntt22
t. 22n4224n1n1n
又
lim
0
cosn21n224n2 n1n1
所以,
cosntt21
t,(0t). 22
n42n1n1n
又t0和t时,上面等式成立,则
cosntt21
t,(0t). 22
n42nn1n1
又
cosnt
在0,上关于t一致收敛,上式两边从0到t积分,有 2
nn1
sinntt321
tt,(0t). 32
n124nn1n1
此时,令t,有
1333
2.
4126n1n
整理,得
12. 2n6n1
参考文献:
[1] 李文林.数学史概论(第二版)[M].北京:高等教育出版社,2002:176-178.
[2] 张顺燕.数学的美与理[M].北京:北京大学出版社,2004:184-187.
[3] 华东师范大学数学系.数学分析(下册) (第三版)[M].北京:高等教育出版社,2009:77. [4] 刘敏思,欧阳露莎.复变函数论[M].武汉:武汉大学出版社,2010:170.
Exploration of the Sum of Eular
Li Dan-yi, Zou Huan
(School of Mathematics and Statistics, Central China Normal University,
Wuhan 430079, China)
Abstract: Based on the analysis of the solution to sum of reciprocals of the squares of natural numbers by Eular, this paper appreciates in solving this type of analogy in the ingenious application of infinite series, and then gives the other two solutions to Sum of Eular by combination of series theory and complex analysis theory.
Key words: the sum of Eular; analogy; infinite series; Fourier series; uniform convergence
指导老师 刘敏思 责任编辑