欧拉是如何计算圆周率的

从牛顿时代以后,计算圆周率就不是必要的工作了,而是一种消遣。牛顿计算的时候,用的是面积法,或者反正弦函数的多项式展开。

欧拉也用一种展开式,反正切的展开式。但是,很独特,与现在常用的反正切大为不同。现在常用的反正切展开式是:

反正切的一种展开

这个公式在欧拉出生前就存在了,为什么呢?据我考证,欧拉出生于1707年,马青发现马青公式的年份是1706年。马青早就把圆周率计算超过了100位。马青用的是这种展开。这种展开,是1671年2月15日,詹姆斯-格雷戈里发现的。公式的限制条件是x大于-1,小于等于1。因此,欧拉计算圆周率纯属消遣。

欧拉使用的独特的反正切展开:

欧拉的反正切公式

尽管直接用arctan(1)可以得到一个简洁优美的表达式,但传说中欧拉使用的是PI/4= arctan(1/7)+arctan(3/4) 来计算的。

复数的乘法

这样两个复数的乘积表明,可以这样选择。欧拉喜欢用复数,不太用正切的和角公式。

反正切之和表示

关键是,1/7并没有带来我们通常以为的麻烦,在欧拉的公式中,变成了0.02的幂。欧拉用这个公式,在1个小时之内完成了20位圆周率的计算。现代的人,必须用计算机才能完成。
前几项的结果如下:

2.48 0.46826667 0.13282986 0.040952686 0.01310424
0.004288649 0.0014251509 4.788507e-4 1.6224588e-4
5.5334385e-5 1.897179e-5 6.5328945e-6 2.2577683e-6
7.82693e-7 2.720533e-7 9.477986e-8 3.308679e-8
1.1570922e-8 4.05295e-9
1.4216501e-9 4.9931126e-10
1.7557178e-10 6.1801265e-11 2.1775085e-11


欧拉的公式

这些公式,不是为了计算圆周率而开发的。相反,是为了计算右边的那些和,而得到的结果。碰巧,结果里有π
那么,为什么要计算这些结果呢?因为欧拉的老师要计算。

很多的结果都有了,后来就有了黎曼的ζ函数。

黎曼ζ函数

黎曼的ζ函数。这个函数的定义域本来是复数。那么,在实数领域的自然数领域,自然应该先计算一些结果。

(希腊字母ζ 读作/'zi:tə/ zeta 泽塔;)
(数学符号真的很混乱,必须吐槽。拉丁字母和希腊字母以及阿拉伯数字都不够用,再加上物理和化学中,混用的符合。还有数学家经常用的怪怪的花体。)

s=1 的时候,是大名鼎鼎的调和级数,虽然是发散的,但也是可以计算的,欧拉给出了结果,与对数和欧拉常数有关,不在这里讨论了。

s为偶数的时候,与π有关。

那么,这些结果是如何得到的呢?

从最简单的平方倒数和开始吧。我见过用傅立叶级数展开二次函数的,然后直接赋值,得证。那种方法应该叫做验证,不能叫做证明,也不是推导。因为欧拉生活的年代比傅立叶早几十年。用傅立叶的级数来证明欧拉的公式,做法就好像用两点间距离公式证明勾股定理一样。尽管数学领域里,定理之间条条大路能相通,但还是应该看看当初是如何走的。

从哪儿开始讨论呢?

大约应该从伯努利数开始。因为欧拉也有老师,欧拉的老师是约翰伯努利。但伯努利数,好像是雅各布伯努利发现的。总之,伯努利兄弟中的一位发现的,他们俩一起研究的。

这种数有什么特点呢?就是出现在自然数幂和中。

自然数幂的和

只有这几个公式,伯努利兄弟是不满意的。他们要求出任意的幂和。也就是说,5次方,6次方,7次方......

任意幂和

这个和怎么求呢?

伯努利数与自然数幂和

其中,括号里的是选择数,Bn是伯努利数。

伯努利数递归计算

对于大于或等于3奇数n,Bn=0

从下标0开始,最初的几个伯努利数是:
0 ; -1/2 ; 1/6; 0; -1/30; 0; 1/42; 0; -1/30; 0; 5/66; 0 ; -691/2730; 0 ; 7/6

这里不推导和计算。过程是比较繁复的。总之,伯努利兄弟解决了所有的自然数幂和。但遇到倒数和的时候,竟然束手无策。可惜的是,当欧拉计算出来的时候,他的老师已经去世了,欧拉只好对着上天告慰。

那么,欧拉究竟是如何计算的呢?

这要从正弦函数的展开说起。早在牛顿之前的时代,人们就已经知晓很多函数的展开。欧拉最喜欢的是e的展开。

exp

那么,

exp(-x)

两个算式相加,平均以后得到

cosh(x)

这些函数的定义域都是复数域,用ix代入,则有:

cos(x)

结果正好跟余弦函数的展开一致。也就是说cos(x)=cosh(ix)。

同样的道理,相减处理后可以得到 sinh(ix)=i sin(x)
以及正弦函数的展开:

sin(x)

然后,用一个特殊值代替x

特殊值平方根

设有这样一个方程:

方程一

这个方程,欧拉用肉眼观察的解是

方程的解

你也能观察出来。

那么,根据韦达定理,已知一个一元多次方程的n个根,方程可以写成这样的形式

韦达定理

先看一个三次方程的例子:

三次方程

左边展开以后,x的系数是多少呢?显然是

系数

也就是说,x的一次幂的系数是:所有的根的倒数和乘以所有根的乘积。而所有根的乘积就是方程的常数项。
如果是偶数个根,添加一个负号。

从上面展开式中,看到,方程的常数项正好是1。一次幂的系数是3的阶乘的相反数。那么,所有根的倒数和就是1/6。

根的倒数和

因此,顺理成章,有:

倒数平方和

同他的老师一样,欧拉不会仅仅满足于求到倒数的平方和,他还要求立方和,4次方和,5次方和...直到找到最普适的公式。

且听下回分解。

作者:aubell
链接:https://www.jianshu.com/p/37ffc5cb33a5
来源:简书
简书著作权归作者所有,任何形式的转载都请联系作者获得授权并注明出处。

(0)

相关推荐