原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
圆周率pi的BBP计算公式之详细证明
Generated by Foxit PDF Creator © Foxit Software
For evaluation only.
圆周率pi 的BBP 计算公式之详细证明 1
圆周率pi 的BBP 计算公式之详细证明
Rockins Chen ybc2084@ UESTC, Chengdu 4/6/2009
摘要 [1,2,3]
：本文给出了用于计算圆周率pi 的BBP 公式的详细证明。主要是对文献 的翻译和
解释。
关键字：圆周率pi BBP 公式
1 求解pi 的历史
第一个尝试严格计算 的人是公元前250 年的阿基米德，他采用内接多边形和外切多
10 1
边形逼近的办法确定出 的范围是3 71 3 7 ，换句话说就是3.1408... 3.1428... 。公元
5 世纪，中国古代数学家祖冲之采用阿基米德方法的一种变体将 求到了小数点后7 位。
到了17 世纪，微积分被牛顿和莱布尼兹发现之后，大量计算 的公式被发现了。著名
的Gregory-Leibniz 公式就是其中一个：
4 1 1 3 1 5 1 7 1 9 1 11 L (1)
这个公式很容易得到。根据微积分公式和级数展开公式，可以将tan 1 x 展开成下面的级
数：
1 x dt x 2 4 6
tan x 0 1 t2 0 (1 t t t L)dt (2)
x x3 3 x5 5 x 7 7 x9 9 L
代入x 1 即可得到Gregory-Leibniz 公式。Gregory-Leibniz 公式简洁优美，但是可惜的
是，这个公式中的级数收敛得非常慢，以至于仅需要计算 的小数点后两位有效数字时，
就需要计算级数中的前面数百项。
随后，一个和Gregory-Leibniz 公式类似但是收敛速度快得多的公式被提了出来，这个
公式要归功于Machin：
4 4tan 1(1 5) tan 1(1 239) (3)
1873 年，Shanks 采用Machin 的方案将 计算到了小数点后707 位，不过可惜的是，
Rockins Chen ybc2084@ UESTC, Chengdu 4/6/2009
Generated by Foxit PDF Creator © Foxit Software
For evaluation only.
圆周率pi 的BBP 计算公式之详细证明 2
后来发现Shanks 的计算结果中第527 位以后的数字是错误的。但这仍然是一个很大的进步。
在不断追求计算更高精度 的过程中，一些和 有关的重要问题被解决了。17 世纪晚
期，Lambert 和 Legendre 证明了 是无理数。
文档评论（0）