欧拉是如何计算圆周率的
从牛顿时代以后,计算圆周率就不是必要的工作了,而是一种消遣。牛顿计算的时候,用的是面积法,或者反正弦函数的多项式展开。
欧拉也用一种展开式,反正切的展开式。但是,很独特,与现在常用的反正切大为不同。现在常用的反正切展开式是:
反正切的一种展开
这个公式在欧拉出生前就存在了,为什么呢?据我考证,欧拉出生于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
来源:简书
简书著作权归作者所有,任何形式的转载都请联系作者获得授权并注明出处。