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

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

反正切的一种展开

这个公式在欧拉出生前就存在了,为什么呢?据我考证,欧拉出生于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
来源:简书
简书著作权归作者所有,任何形式的转载都请联系作者获得授权并注明出处。

欧拉是如何计算圆周率的相关推荐

  1. 圆周率怎么计算来的?教你利用欧拉恒等式,生成圆周率万能公式!

    原文链接:http://www.twoeggz.com/news/4791962.html 在古代,缺少数学技巧的情况下,圆周率的计算是相当困难的,我们国家伟大的数学家,天文学家祖冲之(429-500 ...

  2. 多线程之基于积分法与欧拉恒等式法的圆周率计算及OMP优化

    文章目录 一.问题描述 二.积分法 算法推导 编程实现 OMP优化 三.欧拉恒等式 算法推导 编程实现 前期准备 加法 减法 乘法 除法 算法实现 OMP优化 四.总结 积分法与欧拉恒等式法的对比 O ...

  3. 欧拉:他停止了生命和计算

    欧拉:他停止了生命和计算 一 小国里出现的巨匠 在一个小国家里诞生一位科学巨匠,这在世界史上并不多见,瑞士数学家.物理学家莱昂纳尔·欧拉便是其中最出色的一位.虽然他成年以后一直生活在两座遥远的异国城市 ...

  4. 数学小白的探索-欧拉和费马

    文章目录 一些数学趣史 关于欧拉猜想以及欧拉公式 费马大定理特殊情况最简单证明 题外话-三千年一遇的一元二次方程解法 写在最后 一些数学趣史 很久没有发表文章了,也许是最近闲的让一向数学其差的我没事看 ...

  5. 数论 GCD 最大公约数 欧拉函数经典题 洛谷 CF1295D Same GCDs Codeforces1295D

    ​前言 两个月了,我终于更了-- 这两个月忙(chen)于(mi)内(xiang)卷(le),现在终于出新文章啦,(也算兑现了当初的出数论题文章的承诺)~ 不说废话了,今天给大家介绍一道CF/洛谷上的 ...

  6. 常见的几种求模运算(mod)——加减乘、除的小费马定理、指数的欧拉降幂

    在C/C++中,+,-的优先级低于/,*,%,而/,*,%优先级一样,所以就从左到右 1.乘法 我们在做题的时候,遇到(a*b)%c,由于可能a*b先计算的话,会超精度,所以我们可以这么转化 (a*b ...

  7. 歪写数学史(分析的化身——欧拉)

    即使在完全失聪的最后几年,贝多芬(Beethoven)依然创作了弦乐四重奏,钢琴奏鸣曲第30,31,32号,庄严弥撒和第九交响曲.对于一个没有听觉的人来说,音乐是什么?我无法回答,但是我想应该是超越了 ...

  8. 向前欧拉公式例题_欧拉方程的求解

    1 欧拉方程的求解 1. 引言 在数学研究领域,我们经常会看到以数学家名字命名的概念.公式.定 理等等,让人敬佩跟羡慕 . 但是,迄今为止,哪位数学家的名字出现得最多 呢?他就是数学史上与阿基米德. ...

  9. 科普|关于《失效的欧拉方程》

    失效的欧拉方程 这是一篇来自公众号"原理"的文章,我对其作了一些注释.推导与思考,相应的,可能会有一篇或一系列总结类或者拓展类的文章陆续上传. 这篇博客的目的是介绍一些文章中涉及的 ...

最新文章

  1. 实践 Network Policy - 每天5分钟玩转 Docker 容器技术(172)
  2. UVA 10534 - Wavio Sequence
  3. flex项目,file not found错误解决
  4. android sdk里的各目录作用
  5. strace命令用法
  6. HDU5971【瞎搞】
  7. jpane1_IDEA插件开发,Jpane中集成Web页面
  8. Redis站点流量统计HyperLogLog
  9. editplus来编写SQL
  10. mysql - 索引_07
  11. js+svg实现的一个环图
  12. paip.java c# .net php python调用c++ c dll so windows api 总结
  13. 视频教程-三课时精通matlab拉普拉斯变换和逆变换-Matlab
  14. 抖音便捷小空调特效 html+css+js
  15. 3大领域,4大方向,做好数据分析岗位的职业规划
  16. lua——牛牛牌型处理相关算法(下)——牌型比较
  17. java短信接口_java调用短信接口代码
  18. java解析ip地址_通过JAVA解析IP地址
  19. 英语老师唱歌软件测试,【出彩教育人】课上打电话,课下能K歌,这样的英语课给我来一打!...
  20. 怎么看计算机配件型号,笔记本屏幕型号怎么看_笔记本电脑屏幕型号的查看步骤-win7之家...

热门文章

  1. 1NF,2NF,3NF,BCNF范式(学习笔记)
  2. LabVIEW 通讯与罗克韦尔 AB Allen Bradley PLC通讯 EhernetIP 网口TCP标签通讯 SL500实测通过
  3. 【ESAPI】WEB安全ESAPI使用
  4. ios实时卡顿检测和优化方案
  5. 照片文件与计算机系统,照片文件格式怎么修改
  6. 【Python】原来处理大文件也可以这么简单?
  7. 简单爬取猫眼实时票房数据
  8. 《AngularJS深度剖析与最佳实践》一1.6 实现AOP功能
  9. 【Rust 日报】2021-11-11 保持冷静,学习Rust,我们很快就会在Linux中更多的看到这种语言...
  10. VS2017下解决:error LNK2019: 无法解析的外部符号 __iob_func