近代圓周率近似值的發展
古代圓周率近似值的發展
几个文明古国 均在歷史早期就计算出了较精确的
π
{\displaystyle \pi }
的近似值以便于處理生产的需要。公元5世纪时,中國劉宋 数学家祖冲之 用几何方法将圆周率计算到小数点后7位数字。大约同一时间,印度 的数学家也将圆周率计算到小数点后5位。历史上首个
π
{\displaystyle \pi }
的精确无穷级数 公式(即π的莱布尼茨公式 )直到约1000年后才由印度数学家发现。[ 1] [ 2] 微積分 的出現,很快地將
π
{\displaystyle \pi }
的計算位數推至數百位,足以滿足任何科學工程的計算需求。在20和21世纪,由于计算机技术 的快速发展,借助计算机 的计算使得
π
{\displaystyle \pi }
的精度急速提高。截至2021年8月,
π
{\displaystyle \pi }
的十进制 精度已高达6.28×1013 位。[ 3] 当前人类计算
π
{\displaystyle \pi }
的值的主要目的是为打破记录、测试超级计算机 的计算能力和高精度乘法算法 ,因为几乎所有的科学研究对
π
{\displaystyle \pi }
的精度要求都不会超过几百位。[ 4] :17 [ 5]
近似值
經典近似值
整数 :3
分数 (依准确度顺序排列):22 / 7 、333 / 106 、355 / 113 、52163 / 16604 、103993 / 33102 、245850922 / 78256779 [ 6] (选自 A063674 及 A063673 。)
小數 (整数后首80个位):3.1415926535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899... [ 4] :240 (另见 A000796 )
其他进位制的近似值
二进制 (整数后首48个位):11.00100100 0011 1111 0110 1010 1000 1000 1000 0101 1010 0011...
十六进制 (整数后首20个位):3.243F6A88 85A3 08D3 1319... [ 4] :242
六十进制 (整数后首5个位):3;8,29,44,0,47[ 7]
连分式
和所有无理数一样,
π
{\displaystyle \pi }
也无法表達成分数 。但每个无理数包括
π
{\displaystyle \pi }
,都能表達成一系列叫连分数 的连续分数形式:
π
=
3
+
1
7
+
1
15
+
1
1
+
1
292
+
1
1
+
1
1
+
1
1
+
⋱
{\displaystyle \pi =3+\textstyle {\frac {1}{7+\textstyle {\frac {1}{15+\textstyle {\frac {1}{1+\textstyle {\frac {1}{292+\textstyle {\frac {1}{1+\textstyle {\frac {1}{1+\textstyle {\frac {1}{1+\ddots }}}}}}}}}}}}}}}
在这个连分数的任意一点截断化简,都能得到一个π 的近似值;前四个近似值是:3,
22
7
{\displaystyle {\frac {22}{7}}}
,
333
106
{\displaystyle {\frac {333}{106}}}
,
355
113
{\displaystyle {\frac {355}{113}}}
。这些数在历史上是
π
{\displaystyle \pi }
最广为人知且广為使用的几个近似值。用以上方式得出的
π
{\displaystyle \pi }
的近似值要比任何有相同或更小的整数分母的其他整数分数近似值更接近π 。[ 6] 由于
π
{\displaystyle \pi }
是一个超越数,据超越数定义来说它不是代數數 ,又因此不可能是一个二次無理數 ;是故
π
{\displaystyle \pi }
不能表示为循环连分数 。尽管
π
{\displaystyle \pi }
的简单连分数没有表现出任何其他明显规律,[ 8] 数学家们發現了数个广义连分数能表示
π
{\displaystyle \pi }
,例如:[ 9]
π
=
4
1
+
1
2
2
+
3
2
2
+
5
2
2
+
7
2
2
+
9
2
2
+
⋱
=
3
+
1
2
6
+
3
2
6
+
5
2
6
+
7
2
6
+
9
2
6
+
⋱
=
4
1
+
1
2
3
+
2
2
5
+
3
2
7
+
4
2
9
+
⋱
{\displaystyle \pi =\textstyle {\cfrac {4}{1+\textstyle {\frac {1^{2}}{2+\textstyle {\frac {3^{2}}{2+\textstyle {\frac {5^{2}}{2+\textstyle {\frac {7^{2}}{2+\textstyle {\frac {9^{2}}{2+\ddots }}}}}}}}}}}}=3+\textstyle {\frac {1^{2}}{6+\textstyle {\frac {3^{2}}{6+\textstyle {\frac {5^{2}}{6+\textstyle {\frac {7^{2}}{6+\textstyle {\frac {9^{2}}{6+\ddots }}}}}}}}}}=\textstyle {\cfrac {4}{1+\textstyle {\frac {1^{2}}{3+\textstyle {\frac {2^{2}}{5+\textstyle {\frac {3^{2}}{7+\textstyle {\frac {4^{2}}{9+\ddots }}}}}}}}}}}
歷史
遠古時期
圓周率在遠古時期已估算至前兩位(「3」和「1」)。 [谁?]
最早有記載的对圓周率估值在古埃及 和古巴比倫 出现,而它們兩個文明古国 估值都与圆周率的「精確值」相差不到百分之一,可說已是非常精準。
有不少埃及學家 認為古埃及 遠至古王國時期 時期,古埃及人已經會用
22
7
{\displaystyle {\frac {22}{7}}}
作為計算圓周率的近似值[ 10] [ 註 1] ,但這個說法受到了質疑。[ 12] [ 13] [ 14] [ 15]
古巴比倫 曾出土一塊前19世纪 至前16世纪 的泥板 ,泥板上顯示了人们当时把圓周率視同
25
8
{\displaystyle {\frac {25}{8}}}
,即等於3.125。[ 4] :167
古埃及 的莱因德数学纸草书 ,是古埃及 第二中间期 时代(约前1650年 )由僧侣 阿姆士在纸草上抄写的一部数学著作,鉴定撰寫年份為公元前1650年,但抄自一份公元前1850年的文本。它載有用作計算圓面積的公式,该公式中圓周率近似值等于
(
16
9
)
2
{\displaystyle ({\frac {16}{9}})^{2}}
,約等於3.1605。[ 4] :167
其中,古埃及 的莫斯科数学纸草书 ,也有載有用作計算圓面積的公式,圓周率近似值等于
(
16
9
)
2
{\displaystyle ({\frac {16}{9}})^{2}}
,約等於3.1605。。
印度
公元前9世紀 的《百道梵書 》中的天文學運算把
339
108
{\displaystyle {\frac {339}{108}}}
,約等於3.139,精确到99.91%,用作圓周率估值[ 16] 。
而公元前6世紀 的儀軌經 當時採用的值是
(
9785
5568
)
2
{\displaystyle \left({\frac {9785}{5568}}\right)^{2}}
,約等於3.0883265。[ 17]
而某些公元前150年前的其他印度文獻把圓周率視為
10
{\displaystyle {\sqrt {10}}}
(約等於3.1622)[ 4] :169 。
π 可以透過計算圓的外切多邊形及內接多邊形周長來估算
第一個有紀錄、嚴謹計算π 數值的演算法是透過正多邊形的幾何算法,是由希臘數學家阿基米德 在西元前250年做的。[ 4] :170
這個算法使用了有一千年之久,因而有時π 亦稱阿基米德常數。[ 4] :175、205
阿基米德的算法是在計算圓的外切正六邊形及內接正六邊形的邊長,以此計算
π
{\displaystyle \pi }
的上限及下限,之後再將六邊形變成十二邊形,繼續計算邊長,一直計算到正96邊形為止。他根據多邊形的邊長證明
223
71
<
π
<
22
7
{\displaystyle {\frac {223}{71}}<\pi <{\frac {22}{7}}}
,也就是
3.1408
<
π
<
3.1429
{\displaystyle 3.1408<\pi <3.1429}
。[ 18]
阿基米德得到的上限
22
7
{\displaystyle {\frac {22}{7}}}
也造成一個常見誤解,認為
π
{\displaystyle \pi }
就等於
22
7
{\displaystyle {\frac {22}{7}}}
[ 4] :171 。
希臘羅馬的科學家克劳狄乌斯·托勒密 在《天文学大成 》一書中提到π 的數值是3.1416,可能來自阿基米德,也可能來自阿波罗尼奥斯 。[ 4] :176 [ 19]
數學家在1630年利用多邊形的方式計算π 到第39位小數,一直到1699年,其他數學家才利用無窮級數的方式打破其紀錄,計算到第71位小數[ 20] 。
阿基米德發展了用多邊形近似π 的計算方式
中國
在中国历史 上,
π
{\displaystyle \pi }
的數值有3[ 21] 、3.1547(公元前一世紀)、
10
{\displaystyle {\sqrt {10}}}
(公元前100年,數值約3.1623)及
142
45
{\displaystyle {\frac {142}{45}}}
(第三世紀,數值約3.1556)[ 4] :176–177 。
公元5年,漢朝 的劉歆 可能計算了圓周率3.1457。[ 22]
而一百年後,約公元130年,张衡 計算了圓周率近似值
10
{\displaystyle {\sqrt {10}}}
,即約等於3.1622777。[ 23]
克劳狄乌斯·托勒密 ,也計算了圆周率近似值為
377
120
{\displaystyle {\frac {377}{120}}}
,也即是
3.141
6
¯
{\displaystyle 3.141{\overline {6}}}
。377 ⁄120
第一個已知的精確到小數點後三位的近似值正是托勒密 做的。[ 24]
這個
3
+
8
/
60
+
30
/
60
2
{\displaystyle 3+8/60+30/60^{2}}
正可用兩個六十進制 數字表示。
中國
王蕃 通曉天文數學。撰有《渾天圖記》、《渾天象注》。曾根據渾天說和長期的天象觀察,精心製作渾天儀。
他計算了圆周率近似值為
142
45
{\displaystyle {\frac {142}{45}}}
,也即是
3.1
5
¯
{\displaystyle 3.1{\overline {5}}}
。
大約在公元265年,魏國 的數學家刘徽 創立了割圆术 ,用3,072邊的正多邊形計算出π 的數值為3.1416。[ 25] [ 4] :177
刘徽後來又發明了一個較快的算法,利用邊數差兩倍的正多邊形,其面積的差值會形成等比數列,其公比為
1
4
{\displaystyle {\frac {1}{4}}}
的原理,配合96邊形
3.141024
<
π
<
3.142074
{\displaystyle 3.141024<\pi <3.142074}
算出
π
{\displaystyle \pi }
的數值為3.14。[ 25]
何承天 的调日法 。
何承天亦对圆周率 进行研究,他创立了调日法 ,计算出圆周率 近似值为111035 / 35329 ,也即約等於3.1429,准确至小数点后2位[ 26] 。
据《隋书 ·律曆志》[ 27] 记载,祖沖之以「以直徑一億為一丈,圓周盈數三丈一尺四寸一分五厘九毫二秒七忽,朒數三丈一尺四寸一分五厘九毫二秒六忽,正數在盈朒二限之間。密率,圓徑一百一十三,圓周三百五十五。約率,圓徑七,週二十二。」,以此为直径求圆周率 ,求得盈数(即过剩的近似值)为
3.1415927
{\displaystyle 3.1415927}
;肭数(即不足的近似值)为
3.1415926
{\displaystyle 3.1415926}
,圆周率的真值介于盈肭两数之间。
《隋书》没有具体说明祖冲之是用什么方法计算出盈肭两数的。一般认为,祖冲之采用的是刘徽割圆术 分割到24576边形,又用刘徽圆周率不等式 得祖冲之著名的圆周率不等式:
3.1415926
<
π
<
3.1415927
{\displaystyle 3.1415926<\pi <3.1415927}
。
祖冲之的这一结果精确到小数点后第7位,直到一千多年后才由15世纪的阿拉伯 数学家阿尔·卡西 以17位有效数字打破此记录[ 28] 。
按照当时计算使用分数的习惯,祖冲之还采用了两个分数值的圆周率 :“约率”
22
7
{\displaystyle {\tfrac {22}{7}}}
(或称之为“疏率”[ 註 2] )以及“密率”
355
113
=
3.141592920354
{\displaystyle {\tfrac {355}{113}}=3.141592920354}
。在分母<16600的所有整分数中,密率的比值最接近圆周率[ 註 3] 。祖冲之可能利用何承天 的调日法 求得圆周率的约率和密率[ 30] 。数学家华罗庚 曾认为密率的求得,说明祖冲之可能已经掌握了连分数 的概念。
日本数学家三上义夫 说,“约率
π
=
22
7
{\displaystyle \pi ={\tfrac {22}{7}}}
,无非是几百年前希腊 数学家阿基米德 已经得到的数值,但是
π
=
355
113
{\displaystyle \pi ={\tfrac {355}{113}}}
这个分数,却是翻遍古希腊,古印度和阿拉伯的数学文献都找不到的分数,希腊人肯定不知道它;在欧洲 直到1586年才由荷兰 人安托尼斯宗(Adriaan Anthoniszoon)求出了
355
113
{\displaystyle {\tfrac {355}{113}}}
这个比值。因此,中国人掌握这个非凡的圆周率分数比欧洲早出整整一千年之久”。为纪念这位伟大的中国古代数学家,三上义夫 要求把
355
113
{\displaystyle 355 \over 113}
称为“祖率”[ 31] 。
祖冲之 在公元480年利用割圆术計算12,288形的邊長,得到
π
{\displaystyle \pi }
的值在3.1415926和3.1415927之间。在之後的八百年內,這都是準確度最高的π 估計值。[ 4] :178 為紀念祖沖之 對圓周率發展的貢獻,日本 數學家三上義夫 將這一推算值命名為“祖沖之圓周率”,簡稱“祖率”。[ 32]
印度
印度天文學家阿耶波多 在公元499年的著作《阿里亚哈塔历书 》中使用了3.1416的數值。[ 4] :179
計算出出
10
{\displaystyle {\sqrt {10}}}
,也即約等於3.1622777。
斐波那契 在大約1220年利用獨立於阿基米德多邊形法,計算出3.1418[ 4] :180 。
義大利作家但丁·阿利吉耶里 則計得
3
+
2
10
≈
3.14142
{\displaystyle 3+{\frac {\sqrt {2}}{10}}\approx 3.14142}
。[ 4] :180
波斯天文學家卡西 在1424年利用3×228 邊的多邊形,計算到六十進制的第9位小數,相當十進制的第16位小數。[ 33] [ 34] 這一突破成為當時的紀錄,延續了約180年。[ 35]
法國的數學家弗朗索瓦·韦达 在1579年用3×217 邊形計算到第9位小數[ 35] 。
阿德里安·范·羅門 在1593年計算到第15位小數[ 35] 。
荷蘭數學家鲁道夫·范·科伊伦 在1596年計算到第20位小數,他之後又計算到第35位小數,因此在二十世紀初之前,圓周率在德國會稱為鲁道夫數。[ 4] :182–183
荷蘭科學家威理博·司乃耳 在1621年計算到第34位小數[ 4] :183 。
奧地利天文學家克里斯托夫·格林伯格 在1630年用1040 邊形計算到第38位小數[ 36] ,至今這仍是利用多邊形算法可以達到最準確的結果[ 4] :183 。
無窮級數
比較幾條曾用來計π 的無窮級數的收斂情形。Sn 是只取前n項的近似值。每張圖都是對應前一張圖的陰影部份,然後放大橫軸10倍。(點擊察看細節)
16世紀及17世紀時,
π
{\displaystyle \pi }
的計算開始改用無窮级数 的計算方式。無窮级数是一組無窮數列 的和[ 4] :185–191 。
無窮级数讓數學家可以計算出比阿基米德 以及其他用幾何方式計算的數學家更準確的結果。[ 4] :185–191
雖然詹姆斯·格雷果里 及戈特弗里德·莱布尼茨 等歐洲數學家利用無窮數列計算π 而使得该方法为大家所知,但这种方法最早是由印度 科學家在大約1400到1500年之間發現的。[ 4] :185-186 [ 37] 第一個记载的用無窮级数計算π 的人是约公元1500年左右时,印度天文學家尼拉卡莎·薩默亞士 在他的著作《系統匯編 》中用梵語詩所記錄。[ 38] 當時沒有這個數列對應的證明,而證明出現在另一本較晚的印度作品《基本原理 》,年代約在公元1530年。尼拉卡莎將該數列歸功於更早期的印度數學家桑加馬格拉馬的馬德哈瓦 ( 1350 – 1425)。[ 38] 有許多相關的無窮级数,包括有關
sin
{\displaystyle \sin }
、
tan
{\displaystyle \tan }
及
cos
{\displaystyle \cos }
的,現在稱為馬德哈瓦數列 或π的莱布尼茨公式 [ 38] 。瑪達瓦在1400年用無窮级数計算π 到第11位小數,但在1430年一位波斯數學家卡西 利用多邊形算法否定了他算的的結果[ 39] 。
艾萨克·牛顿 利用無窮级数計算π 到第15位,後來寫道:「我很羞愧的告訴你我為了這個計算用了多少個數字。」[ 40]
歐洲第一個發現的無窮項圓周率公式 是無窮乘積 (和一般用來計算π 的無窮級數不同),由法國科學家弗朗索瓦·韦达 在1593年發現[ 4] :187 [ 41] :
2
π
=
2
2
⋅
2
+
2
2
⋅
2
+
2
+
2
2
⋯
{\displaystyle {\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdots }
約翰·沃利斯 在1655年發現了沃利斯乘积 ,是歐洲第二個發現的無窮項圓周率公式[ 4] :187 :
π
2
=
2
1
⋅
2
3
⋅
4
3
⋅
4
5
⋅
6
5
⋅
6
7
⋅
8
7
⋅
8
9
⋯
{\displaystyle {\frac {\pi }{2}}={\frac {2}{1}}\cdot {\frac {2}{3}}\cdot {\frac {4}{3}}\cdot {\frac {4}{5}}\cdot {\frac {6}{5}}\cdot {\frac {6}{7}}\cdot {\frac {8}{7}}\cdot {\frac {8}{9}}\cdots }
微积分学 是由英國科學家艾萨克·牛顿 及德國數學家戈特弗里德·莱布尼茨 在1660年代發明,因此也出現許多計算π 的無窮級數。牛頓自己就利用反正弦 (
arcsin
{\displaystyle \arcsin }
)數列在1655年或1666年將π 近似到第15位小數,後來寫到「我很羞愧的告訴你我為了這個計算用了多少個數字,我當時沒有做其他的事。」[ 40]
蘇格蘭數學家詹姆斯·格雷果里 在1671年發現了馬德哈瓦公式,莱布尼茨也在1674年發現:[ 4] :188–189 [ 42]
arctan
z
=
z
−
z
3
3
+
z
5
5
−
z
7
7
+
⋯
{\displaystyle \arctan z=z-{\frac {z^{3}}{3}}+{\frac {z^{5}}{5}}-{\frac {z^{7}}{7}}+\cdots }
這個公式即為格雷果里-莱布尼茨公式,在
z
=
1
{\displaystyle z=1}
時數值為
π
4
{\displaystyle {\frac {\pi }{4}}}
。[ 42] 1699年時英國數學家亚伯拉罕·夏普 用格雷果里-莱布尼茨公式,在
z
=
1
3
{\displaystyle z={\frac {1}{\sqrt {3}}}}
時計算,計算到了
π
{\displaystyle \pi }
的第71位小數,打破由多邊形算法得到的第39位小數的记录。[ 4] :189 格雷果里-莱布尼茨公式在
z
=
1
{\displaystyle z=1}
時非常簡單,但收斂 到最終值的速度非常慢,因此現在不再会用此公式來計算
π
{\displaystyle \pi }
。[ 4] :156
約翰·梅欽 在1706年利用格雷果里-莱布尼茨級數產生了一個可以快速收斂的公式:[ 4] :192–193
π
4
=
4
arctan
1
5
−
arctan
1
239
{\displaystyle {\frac {\pi }{4}}=4\,\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}}
梅欽用這個公式計算到
π
{\displaystyle \pi }
的第100位小數[ 4] :72–74 後來其他數學家也發展了一些類似公式,現在稱為梅欽類公式 ,創下了許多計算
π
{\displaystyle \pi }
位數的記錄。[ 4] :72–74 在進入電腦時代時,梅欽類公式仍然是个耳熟能详的可以計算
π
{\displaystyle \pi }
的公式,而且在约250年的时间里,很多有關
π
{\displaystyle \pi }
位數的記錄都是梅欽類公式所得,比如在1946年時由達尼爾·弗格森(Daniel Ferguson )用這類公式計算到第620位小數,是在沒有計算設備輔助下的最佳紀錄。[ 4] :192–196, 205
1844年,計算天才扎卡里亞斯·達斯 在德國數學家卡爾·弗里德里希·高斯 的要求下以梅欽類公式心算了
π
{\displaystyle \pi }
的200個小數位,並創下紀錄。[ 4] :194-196 英國數學家威廉·謝克斯 花了15年的時間計算π 到小數707位,不過中間在第528位小數時出錯,因此後面的小數也都不正確。[ 4] :194–196
收敛速度
有些π 的無窮級數收斂 的比其他級數要快,數學家一般會選用收斂速度較快的級數,可以在較少的計算量下計算
π
{\displaystyle \pi }
,且達到需要的準確度[ 43] [ 4] :15–17, 70–72, 104, 156, 192–197, 201–202 。以下是π 的莱布尼茨公式 :[ 4] :69–72
π
=
4
1
−
4
3
+
4
5
−
4
7
+
4
9
−
4
11
+
4
13
−
⋯
{\displaystyle \pi ={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}-\cdots }
隨著一項一項的值加入總和中,只要項次夠多,總和最後會慢慢接近
π
{\displaystyle \pi }
。不過此數列的收斂速度很慢,要到500,000項之後,才會精確到
π
{\displaystyle \pi }
的第五小數[ 44] 。
尼拉卡莎在15世紀發展了另一個
π
{\displaystyle \pi }
的無窮級數,其收斂速度較格雷果里-萊布尼茨公式要快很多,該級數為:[ 45]
π
=
3
+
4
2
×
3
×
4
−
4
4
×
5
×
6
+
4
6
×
7
×
8
−
4
8
×
9
×
10
+
⋯
{\displaystyle \pi =3+{\frac {4}{2\times 3\times 4}}-{\frac {4}{4\times 5\times 6}}+{\frac {4}{6\times 7\times 8}}-{\frac {4}{8\times 9\times 10}}+\cdots }
以下比較二個級數的收斂速率:
π
{\displaystyle \pi }
的無窮級數
第1項
前2項
前3項
前4項
前5項
收斂到:
π
=
4
1
−
4
3
+
4
5
−
4
7
+
4
9
−
4
11
+
4
13
⋯
.
{\displaystyle \pi ={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}\cdots .}
4.0000
2.6666...
3.4666...
2.8952...
3.3396...
π = 3.1415...
π
=
3
+
4
2
×
3
×
4
−
4
4
×
5
×
6
+
4
6
×
7
×
8
⋯
.
{\displaystyle \pi ={3}+{\frac {4}{2\times 3\times 4}}-{\frac {4}{4\times 5\times 6}}+{\frac {4}{6\times 7\times 8}}\cdots .}
3.0000
3.1666...
3.1333...
3.1452...
3.1396...
計算前5項後,格雷果里-萊布尼茨級數的和跟
π
{\displaystyle \pi }
的誤差為0.2,而尼拉卡莎級數和的誤差為0.002。尼拉卡莎級數收斂的快很多,因此也比較適合用來計算
π
{\displaystyle \pi }
的數值。收斂更快的級數有梅欽類公式 及楚德诺夫斯基算法 ,後者每計算一項就可以得到14位正確的小數值數[ 43] 。
计算机时代与迭代算法
约翰·冯·诺伊曼 所在的團隊是第一個用數位計算機ENIAC 來計算π 的
高斯-勒让德算法 :
一開始設定
a
0
=
1
b
0
=
1
2
t
0
=
1
4
p
0
=
1
{\displaystyle \scriptstyle a_{0}=1\quad b_{0}={\frac {1}{\sqrt {2}}}\quad t_{0}={\frac {1}{4}}\quad p_{0}=1}
迭代計算:
a
n
+
1
=
a
n
+
b
n
2
b
n
+
1
=
a
n
b
n
{\displaystyle \scriptstyle a_{n+1}={\frac {a_{n}+b_{n}}{2}}\quad \quad b_{n+1}={\sqrt {a_{n}b_{n}}}}
t
n
+
1
=
t
n
−
p
n
(
a
n
−
a
n
+
1
)
2
p
n
+
1
=
2
p
n
{\displaystyle \scriptstyle t_{n+1}=t_{n}-p_{n}(a_{n}-a_{n+1})^{2}\quad \quad p_{n+1}=2p_{n}}
則π 的估計值為
π
≈
(
a
n
+
b
n
)
2
4
t
n
{\displaystyle \scriptstyle \pi \approx {\frac {(a_{n}+b_{n})^{2}}{4t_{n}}}}
二十世紀中期计算机技术的发展、革新再次引发了計算π 位數的熱潮。美國數學家约翰·伦奇 及李維·史密斯在1949年利用桌上型計算機計算到1,120位[ 4] :205 。同年,喬治·韋斯納(George Reitwiesner)及约翰·冯·诺伊曼 帶領的團隊利用反三角函数 (arctan)的無窮級數,通过ENIAC 計算到了小數第2,037位,花了70小時的電腦工作時間[ 46] 。這一紀錄後來多次由其他透過arctan級數计算出的結果打破(1957年到7480位小數,1958年到第一萬位數,1961年到第十萬位小數),直到1973年,人们计算出了小数点后的第一百萬位小數[ 4] :197 。
1980年代的两项發明加速了
π
{\displaystyle \pi }
的計算。第一项是人们發现了新的的迭代法去计算π 的值,其計算速度比無窮級數會要快很多。另一项是人们發现了可以快速計算大數字乘積的乘法演算法 [ 4] :15–17 。這類演算法在現代π 的計算上格外的重要,因為電腦大部分的工作時間都是在計算乘法[ 4] :131 。這類演算法包括Karatsuba算法 、Toom–Cook乘法 及以傅里叶变换 為基礎的乘法演算法(傅里叶乘法)[ 4] :132, 140 。
迭代演算法最早是在1975年至1976年间分别由美國物理學家尤金·薩拉明 及奧地利科學家理查·布蘭特 独立提出[ 4] :87 。這两个演算法没有依赖無窮級數來計算。迭代會重覆一個特定的計算,将前一次的計算結果作为這一次的輸入值,使得計算結果漸漸的趨近理想值。此方式的原始版本其實是在160年前由卡爾·弗里德里希·高斯 提出,現在稱為算术-几何平均数算法 (AGM法)或高斯-勒让德算法 [ 4] :87 。因為薩拉明及布蘭特都曾对此進行修改,因此这个算法也稱為薩拉明-布蘭特演算法。
迭代演算法因為收斂速度比無窮級數快很多,在1980年代以後廣為使用。無窮級數隨著項次的增加,一般來說正確的位數也會增加幾位,但迭代演算法每多一次計算,正確的位數會呈几何级数增长。例如薩拉明-布蘭特演算法每多一次計算,正確位數會是之前的二倍。1984年加拿大人喬納森·波温 及彼得·波温 提出一個迭代演算法,每多一次計算,正確位數會是之前的四倍,1987年時有另一個迭代演算法,每多一次計算,正確位數會是之前的五倍[ 47] 。日本數學家金田康正 使用的演算法在1955年及2002年之間創下了若干个紀錄[ 48] 。不過迭代演算法的快速收斂也有其代價,因为这个算法需要的内存的大小明顯的要比無窮級數要多[ 48] 。
计算
π
{\displaystyle \pi }
的意义
當數學家發現新的算法、電腦變得普及时,π 的已知小數位急剧增加。注意垂直坐标使用了对数坐标 。
一般而言,
π
{\displaystyle \pi }
值并不需要过于精确便能够满足大部分的数学运算的需求。按照約爾格·阿恩特(Jörg Arndt)及克里斯托夫·黑內爾(Christoph Haenel )的计算,39個數位已足夠運算絕大多數的宇宙学 的计算需求,因為這個精確度已能夠将可觀測宇宙 圆周的精确度準確至一個原子大小[ 49] 。
尽管如此,人們仍然是奋力地運算出
π
{\displaystyle \pi }
小数点后的上千甚至上百萬個數位[ 4] :17–19 。這一部分是出于人類對打破記錄的冲动,因为那些和
π
{\displaystyle \pi }
有關的成就往往成為世界各地的新聞頭條[ 50] [ 51] 。此外,这其中也有一些實際的好處,例如測試超级计算机 、測試数值分析算法等(包括高精度乘法算法 )。在純粹數學的领域中,计算
π
{\displaystyle \pi }
的位数也能让人们来评定π 的隨機性[ 4] :18 。
快速收敛级数
斯里尼瓦瑟·拉马努金 的肖像,他在印度独立工作时提出了许多新颖的计算
π
{\displaystyle \pi }
的数列。
现代计算
π
{\displaystyle \pi }
的程序不仅仅局限于迭代算法。20世纪80与90年代,人们发现了一些可用来计算
π
{\displaystyle \pi }
的新无穷级数,其收敛速度可与迭代算法媲美,而又有着复杂度、内存密集度更低的优势。[ 48] 印度数学家斯里尼瓦瑟·拉马努金 是这方面的先驱,他在1914年发表了许多与
π
{\displaystyle \pi }
相关的公式,这些公式十分新颖,极为优雅而又颇具数学深度,收敛速度也非常快。[ 4] :103–104 下式即为一例,其中用到了模方程 :
1
π
=
2
2
9801
∑
k
=
0
∞
(
4
k
)
!
(
1103
+
26390
k
)
(
k
!
)
4
(
396
4
k
)
.
{\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}(396^{4k})}}.}
这个无穷级数收敛速度远快于绝大多数反正切数列,包括梅钦公式。[ 4] :104 第一位使用拉马努金公式计算
π
{\displaystyle \pi }
并取得进展的是比尔·高斯珀 ,他在1985年算得了小数点后一千七百万位。[ 4] :104, 206 拉马努金公式开创了现代数值近似算法的先河,此后波尔文兄弟和楚德诺夫斯基兄弟 进一步发展了这类算法。[ 4] :110–111 后者于1987年提出了楚德诺夫斯基公式 ,如下所示:
1
π
=
12
640320
3
/
2
∑
k
=
0
∞
(
6
k
)
!
(
13591409
+
545140134
k
)
(
3
k
)
!
(
k
!
)
3
(
−
640320
)
3
k
.
{\displaystyle {\frac {1}{\pi }}={\frac {12}{640320^{3/2}}}\sum _{k=0}^{\infty }{\frac {(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}(-640320)^{3k}}}.}
此公式每计算一项就能得到
π
{\displaystyle \pi }
的约14位数值[ 52] ,因而用於突破圆周率的数位的计算。利用这个公式,楚德诺夫斯基兄弟于1989年算得
π
{\displaystyle \pi }
小数点后10亿(109 )位,法布里斯·贝拉 于2009年算得2.7千亿(2.7×1012 )位,亚历山大·易和近藤滋在2011年算得一万亿(1013 )位。[ 4] :110–111, 206 [ 53] [ 54] 类似的公式还有拉马努金-佐藤级数 。
2006年,加拿大数学家西蒙·普勞夫 利用PSLQ整数关系算法 [ 55] 按照以下模版生成了几个计算
π
{\displaystyle \pi }
的新公式:
π
k
=
∑
n
=
1
∞
1
n
k
(
a
q
n
−
1
+
b
q
2
n
−
1
+
c
q
4
n
−
1
)
,
{\displaystyle \pi ^{k}=\sum _{n=1}^{\infty }{\frac {1}{n^{k}}}\left({\frac {a}{q^{n}-1}}+{\frac {b}{q^{2n}-1}}+{\frac {c}{q^{4n}-1}}\right),}
其中
q
{\displaystyle q}
为e
π
{\displaystyle \pi }
,
k
{\displaystyle k}
是一个奇数 ,
a
,
b
,
c
{\displaystyle a,b,c}
是普勞夫计算出的有理常数。[ 56]
蒙特卡洛方法
蒙特卡洛方法 基于随机试验结果计算
π
{\displaystyle \pi }
的近似值
蒙特卡洛方法 是以概率统计理论为指导的一类非常重要的数值计算方法,通过进行大量重复试验计算事件发生的频率,按照大数定律 (即当试验次数充分大时,频率充分地接近于概率)可以求得
π
{\displaystyle \pi }
的近似值[ 57] 。 布豐投針問題 就是其中一个应用的例子:当一枚长度为
l
{\displaystyle l}
的针随机地往一个画满间距为
t
(
l
≤
t
)
{\displaystyle t\left(l\leq t\right)}
的平行线的平面上抛掷
n
{\displaystyle n}
次, 如果针与平行直线相交了
m
{\displaystyle m}
次,那么当
n
{\displaystyle n}
充分大时就可根据以下公式算出
π
{\displaystyle \pi }
的近似值[ 58] :
π
≈
2
n
ℓ
m
t
{\displaystyle \pi \approx {\frac {2n\ell }{mt}}}
另一个利用蒙特卡罗方法计算
π
{\displaystyle \pi }
值的例子是随机地往内切四分之一圆的正方形内抛掷大量的点,落在四分之一圆内的点的数量与抛掷点的总量的比值会近似等于
π
4
{\displaystyle {\frac {\pi }{4}}}
.[ 4] :39–40 [ 59]
此外,还可以通过进行随机游走 试验,并利用蒙特卡罗方法计算
π
{\displaystyle \pi }
值,如抛掷一枚均匀的硬币
N
{\displaystyle N}
次,并记录正面朝上的次数,所得结果中,正面朝上的次数
n
N
{\displaystyle n_{N}}
服从二項分佈 且
Pr
(
n
N
=
m
)
=
(
N
m
)
(
1
2
)
m
(
1
2
)
N
−
m
{\displaystyle \Pr(n_{N}=m)={\binom {N}{m}}({\frac {1}{2}})^{m}({\frac {1}{2}})^{N-m}}
因为硬币均匀,所以N 次试验中每次试验结果相互独立。由此可定义一系列独立的随机变量
X
k
(
k
=
1
,
2
,
…
)
{\displaystyle X_{k}\left(k=1,2,\ldots \right)}
,当抛掷结果为正面时
X
k
=
1
{\displaystyle X_{k}=1}
否则为-1,且
X
k
=
±
1
{\displaystyle X_{k}=\pm 1}
且取何值具有相同的概率(即,正面朝上和背面朝上的概率相同)。对随机变量
X
k
(
k
=
1
,
2
,
…
,
N
)
{\displaystyle X_{k}\left(k=1,2,\ldots ,N\right)}
求和可得
W
N
=
∑
k
=
1
N
X
k
{\displaystyle W_{N}=\sum _{k=1}^{N}X_{k}}
设k 为“硬币正面朝上的次数”减去“硬币反面朝上的次数”,即可得到
m
−
(
N
−
m
)
=
k
{\displaystyle m-\left(N-m\right)=k}
。对式子进行变换,得
m
=
N
+
k
2
{\displaystyle m={\frac {N+k}{2}}}
,因此
Pr
(
W
N
=
k
)
=
(
N
N
+
k
2
)
1
2
N
{\displaystyle \Pr(W_{N}=k)={\binom {N}{\frac {N+k}{2}}}{\frac {1}{2^{N}}}}
,其中
k
=
−
N
,
−
N
+
2
,
−
N
+
4
,
…
,
N
−
2
,
N
{\displaystyle k=-N,-N+2,-N+4,\ldots ,N-2,N}
。
可以证明[ 60] ,
E
(
W
N
)
=
0
{\displaystyle E(W_{N})=0}
,
E
(
W
N
2
)
=
N
{\displaystyle E(W_{N}^{2})=N}
,以及
E
(
|
W
N
|
)
=
(
N
⌈
N
/
2
⌉
⌈
N
/
2
⌉
2
N
−
1
)
=
{
(
N
−
1
)
!
!
(
N
−
2
)
!
!
,
若
N
偶 ,
N
!
!
(
N
−
1
)
!
!
,
若
N
奇 .
{\displaystyle E(|W_{N}|)={\binom {N}{\left\lceil {N/2}\right\rceil {\frac {\left\lceil {N/2}\right\rceil }{2^{N-1}}}}}={\begin{cases}{\frac {(N-1)!!}{(N-2)!!}},&{\text{若 }}N{\text{偶 ,}}\\{\frac {N!!}{(N-1)!!}},&{\mbox{若 }}N{\mbox{奇 .}}\end{cases}}}
并且当
N
{\displaystyle N}
变大时,
E
(
|
W
N
|
)
{\displaystyle E\left(\left\vert W_{N}\right\vert \right)}
的值会渐近于
2
N
π
{\displaystyle {\sqrt {\frac {2N}{\pi }}}}
,因此当
N
{\displaystyle N}
充分大时可根据以下公式算出
π
{\displaystyle \pi }
的近似值:[ 61]
π
≈
2
N
|
W
N
|
2
{\displaystyle \pi \approx {\frac {2N}{|W_{N}|^{2}}}}
和其他计算
π
{\displaystyle \pi }
值的方法相比,蒙特卡洛方法收敛速度很慢,而且无论进行多少次实验,都无从得知
π
{\displaystyle \pi }
的估值已经精确到了第几位。因此,当追求速度或精度时,蒙特卡洛方法不适合用来估计
π
{\displaystyle \pi }
。[ 4] :43 [ 62]
阀门算法
1995年引入的兩個算法开辟了研究
π
{\displaystyle \pi }
的新途径。因为每计算出一位数字,該數就会像流过阀门的水一样不会再出现在后续的计算过程中,这种新進算法叫做阀门算法 。[ 4] :77–84 [ 63] 这就与无穷级数及迭代算法形成对比——无穷级数和迭代算法自始至终的每一步计算都会涉及到之前所有步骤计算出的中间值。[ 4] :77–84
1995年,美國數學家斯坦·瓦格纳 和斯坦利·拉比諾維茨(Stanley Rabinowitz )发明了一种簡單的阀门算法[ 63] [ 4] :77 [ 64] ,其運算速度類似arctan演算法,但速度比迭代算法要慢[ 4] :77 。
贝利-波尔温-普劳夫公式 (BBP)是另一個阀门算法,屬於一种位數萃取演算法 。1995年,西蒙·普勞夫 等人發現[ 4] :117, 126–128 [ 65]
π
=
∑
k
=
0
∞
1
16
k
(
4
8
k
+
1
−
2
8
k
+
4
−
1
8
k
+
5
−
1
8
k
+
6
)
{\displaystyle \pi =\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right)}
這個公式和其他的公式不同,可以在十六进制 下計算
π
{\displaystyle \pi }
的任意位數小數,而不用計算所有前面的小數位數[ 4] :117, 126–128 。一个十六进制下的数位可计算得到特定一个二进制的数位;想要得到一个八进制 数位的话,计算一、两个十六进制小數即可。目前也已發現一些這種演算法的變體,不過人们還沒有发现針對十進制、可以快速產生特定位數小數數字的位數萃取演算法[ 66] 。位數萃取演算法的一個重要用途是用來確認聲稱是計算到
π
{\displaystyle \pi }
小數位數的新記錄:若有聲稱是新紀錄的計算結果出現,先將十進制的數值轉換到十六進制,再用贝利-波尔温-普劳夫公式,去確認最後的一些位數(用亂數決定),若這些位數都對,人们就能有一定把握认为此計算結果是对的[ 54] 。
在1998年到2000年之間,分布式计算 計畫PiHex 利用貝拉公式 (贝利-波尔温-普劳夫公式的一種變體)計算
π
{\displaystyle \pi }
的第1015 個位,結果是0[ 4] :20 [ 67] 。在2010年9月,一名雅虎 員工利用公司的Apache Hadoop 應用程式在上千台電腦上計算
π
{\displaystyle \pi }
在2×1015 個数位开始,往后数的256個位,其第2×1015 個位剛好也是0[ 68] 。
趣聞
值得注意的是,一些法律或歷史文本欲「定義π」為有理數,尤其是1897年的「印第安納州法案」,指明「直徑和圓周比例為四分之五比4(暗示「π= 3.2」);和希伯來聖經 中的一個段落,暗示「π= 3」。
聖經估算的價值
印第安納州法案
計算圓周率近似值的方程的發展
其他古代公式
現代公式
二進制數位公式
π 和一個碎形
多方面的近似值
在古代,人們使用60進制來計算。在60進制中,π 能被準確至小數點後八位(十進制),而這數字是3:8:29:4460 ,即是:
3
+
8
60
+
29
60
2
+
44
60
3
=
3.14159
259
+
{\displaystyle 3+{\frac {8}{60}}+{\frac {29}{60^{2}}}+{\frac {44}{60^{3}}}=3.14159\ 259^{+}}
(下一個60進制 的數位為0)
除此之外,π 的近似值還能以以下方式表示:
2
+
3
=
3.146
+
{\displaystyle {\sqrt {2}}+{\sqrt {3}}=3.146^{+}}
7
+
6
+
5
=
3.1416
+
{\displaystyle {\sqrt {7+{\sqrt {6+{\sqrt {5}}}}}}=3.1416^{+}}
[ 69]
31
3
=
3.1413
+
{\displaystyle {\sqrt[{3}]{31}}=3.1413^{+}}
[ 70]
9
5
+
9
5
=
3.1416
+
{\displaystyle {\frac {9}{5}}+{\sqrt {\frac {9}{5}}}=3.1416^{+}}
7
7
4
9
=
3.14156
+
{\displaystyle {\frac {7^{7}}{4^{9}}}=3.14156^{+}}
355
113
=
3.14159
29
+
{\displaystyle {\frac {355}{113}}=3.14159\ 29^{+}}
9801
2206
2
=
3.1415927
+
{\displaystyle {\frac {9801}{2206{\sqrt {2}}}}=3.1415927^{+}}
由前述無窮級數 僅取第1項即得
3
4
+
2
4
+
1
2
+
(
2
3
)
2
4
=
2143
22
4
=
3.14159
2652
+
{\displaystyle {\sqrt[{4}]{3^{4}+2^{4}+{\frac {1}{2+({\frac {2}{3}})^{2}}}}}={\sqrt[{4}]{\frac {2143}{22}}}=3.14159\ 2652^{+}}
這是拉馬努金 提出的,拉馬努金說他在夢中收到印度神Namagiri 的啟示。[ 71]
63
25
×
17
+
15
5
7
+
15
5
=
3.14159
26538
+
{\displaystyle {\frac {63}{25}}\times {\frac {17+15{\sqrt {5}}}{7+15{\sqrt {5}}}}=3.14159\ 26538^{+}}
10
100
11222.11122
193
=
3.14159
26536
+
{\displaystyle {\sqrt[{193}]{\frac {10^{100}}{11222.11122}}}=3.14159\ 26536^{+}}
80
15
(
5
4
+
53
89
)
3
2
3308
(
5
4
+
53
89
)
−
3
89
{\displaystyle {\frac {80{\sqrt {15}}(5^{4}+53{\sqrt {89}})^{\frac {3}{2}}}{3308(5^{4}+53{\sqrt {89}})-3{\sqrt {89}}}}}
[ 72]
圓形的面積
可以通过蒙特卡洛方法 来计算圆周率
π
{\displaystyle \pi }
。
以原点(0, 0)为圆心,画一个半径为
r
{\displaystyle r}
的圆。然后以原点为中心,画一个边长为
2
r
{\displaystyle 2r}
的正方形。圆和正方形内切。
圆的面积为
A
1
=
π
∗
r
2
{\displaystyle A_{1}=\pi *r^{2}}
,正方形的面积为
A
2
=
(
2
r
)
2
=
4
r
2
{\displaystyle A_{2}=(2r)^{2}=4r^{2}}
。
于是有,
A
1
/
A
2
=
π
/
4
{\displaystyle A_{1}/A_{2}=\pi /4}
。
通过生成0到r之间随机数作为一个点的横纵坐标,所有点均落在正方形内。
通过统计圆内的点数
N
i
n
s
i
d
e
{\displaystyle N_{inside}}
与总点数
N
t
o
t
a
l
{\displaystyle N_{total}}
,
π
=
4
∗
A
1
/
A
2
=
4
∗
N
i
n
s
i
d
e
/
N
t
o
t
a
l
{\displaystyle \pi =4*A_{1}/A_{2}=4*N_{inside}/N_{total}}
。
当随时点的数目增加时,所得结果会越接近于圆周率。
但是该方法也有不足之处。具体可参考蒙特卡洛方法 。
以正多邊形來計算π 的值
連分數
π 的連分數 表示式是[3; 7, 15, 1, 292, 1, 1, ...]。這連分數沒有任何模式。π 有很多用一條簡單的規矩然製成的廣義連分數
π
=
3
+
1
2
6
+
3
2
6
+
5
2
6
+
⋱
{\displaystyle \pi ={3+{\cfrac {1^{2}}{6+{\cfrac {3^{2}}{6+{\cfrac {5^{2}}{6+\ddots \,}}}}}}}\!}
π
=
4
1
+
1
2
3
+
2
2
5
+
3
2
7
+
⋱
{\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{3+{\cfrac {2^{2}}{5+{\cfrac {3^{2}}{7+\ddots }}}}}}}}\!}
(其他連分數能在這裡 (页面存档备份 ,存于互联网档案馆 )查看。)
三角函數
莱布尼茨公式
反正切
反正弦
薩拉明 - 布倫特公式
計算任意數位的方法
在1995年,西蒙·普勞夫 發現了贝利-波尔温-普劳夫公式 。這公式能在16進制 中計算pi 的任意數位,而不用計算之前的數位。[ 73]
π
=
∑
n
=
0
∞
(
4
8
n
+
1
−
2
8
n
+
4
−
1
8
n
+
5
−
1
8
n
+
6
)
(
1
16
)
n
{\displaystyle \pi =\sum _{n=0}^{\infty }\left({\frac {4}{8n+1}}-{\frac {2}{8n+4}}-{\frac {1}{8n+5}}-{\frac {1}{8n+6}}\right)\left({\frac {1}{16}}\right)^{n}\!}
在1996年,西蒙·普勞夫 發明了一個公式,能在O (n 3 log(n )3 )的時間之內計算出pi 在任意進制的第n 個數位[ 74] 。在1997年,法布里斯·贝拉 發明了另一個公式,把計算所需時間縮短至O (n 2 )。他又發明了在2進制計算pi 的公式。[ 75]
π
=
1
2
6
∑
n
=
0
∞
(
−
1
)
n
2
10
n
(
−
2
5
4
n
+
1
−
1
4
n
+
3
+
2
8
10
n
+
1
−
2
6
10
n
+
3
−
2
2
10
n
+
5
−
2
2
10
n
+
7
+
1
10
n
+
9
)
{\displaystyle \pi ={\frac {1}{2^{6}}}\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2^{10n}}}\left(-{\frac {2^{5}}{4n+1}}-{\frac {1}{4n+3}}+{\frac {2^{8}}{10n+1}}-{\frac {2^{6}}{10n+3}}-{\frac {2^{2}}{10n+5}}-{\frac {2^{2}}{10n+7}}+{\frac {1}{10n+9}}\right)\!}
有效的方法
在1961年,丹尼爾柄 和他的團隊在美國海軍研究實驗室 計算了π 的前100,000數位。
他和他的團隊使用了兩個不同的幂級數來計算π 的數值。第一個幂級數中,任何錯誤都會造成一個比較高的數值;而另一個中,任何錯誤都會造成一個比較低的數值。所以如果兩個幂級數計算出同樣的數值,那個數值就肯定正確。美國海軍研究實驗室發放了π 的前100,000數位。
但是以上的兩個幂級數也要很長的時間才能計算出結果。相反地,約翰·梅欽 的公式與反正切 的泰勒级数 一起使用則能很快地計算結果:
π
4
=
4
arctan
1
5
−
arctan
1
239
{\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}\!}
使用複數 的極坐標系 便能證實這公式,以以下的數學式開始:
(
5
+
i
)
4
⋅
(
239
−
i
)
=
2
2
⋅
13
4
(
1
+
i
)
.
{\displaystyle (5+i)^{4}\cdot (239-i)=2^{2}\cdot 13^{4}(1+i).\!}
這類的公式被稱為梅欽類公式 。(注意,{ x ,y } = {239, 132 }是佩爾方程 「x 2 -2y 2 = -1」的其中一個解答。)
印度數學家斯里尼瓦瑟·拉马努金 發現了π 的很多其他表示方式。他與戈弗雷·哈罗德·哈代 一起工作了很多年。
如果要計算π 小數點後很多位,計算者通常會使用高斯-勒让德算法 ,波尔温公式 ,和1976年發明的薩拉明 - 布倫特公式 。
π 和1 /π 的小數點後首十萬位能在古腾堡计划 裡查閱(參見#外部連結 )。
在2002年12月,在東京大學 進修的金田康正 發放了π 小數點後1,241,100,000,000位的值,創造了新的世界記錄。他在2002年9月以六十四部日立 的超級電腦 計算出這值。這些電腦有1TB的記憶體,而且能在每秒執行2兆次運算。上一個記錄(21億位)所使用的電腦每秒只能執行1兆次運算。金田康正使用了以下公式:
π
4
=
12
arctan
1
49
+
32
arctan
1
57
−
5
arctan
1
239
+
12
arctan
1
110443
{\displaystyle {\frac {\pi }{4}}=12\arctan {\frac {1}{49}}+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}+12\arctan {\frac {1}{110443}}\!}
K. Takano (1982).
π
4
=
44
arctan
1
57
+
7
arctan
1
239
−
12
arctan
1
682
+
24
arctan
1
12943
{\displaystyle {\frac {\pi }{4}}=44\arctan {\frac {1}{57}}+7\arctan {\frac {1}{239}}-12\arctan {\frac {1}{682}}+24\arctan {\frac {1}{12943}}\!}
F. C. W. Störmer (1896).
這些近似值由於有太多數位,所以沒有實際用途,只是用來測試超級電腦。
在1997年,大衛·貝利(David H. Bailey )、皮特·波爾溫 和西蒙·普勞夫 發佈了一條新的公式 來計算π 的值:
π
=
∑
k
=
0
∞
1
16
k
(
4
8
k
+
1
−
2
8
k
+
4
−
1
8
k
+
5
−
1
8
k
+
6
)
.
{\displaystyle \pi =\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right).\!}
這公式能在不知道前k - 1數位的值之下,在2進制 或16進制 中計算出π 的第k 個數位的值。貝利的網頁 (页面存档备份 ,存于互联网档案馆 )包含了計算方法,而且把方法以幾個程式語言 記下。PiHex 計算出π 小數點後一兆數位的值。
法布里斯·贝拉 推出了贝利-波尔温-普劳夫公式 的改良版——貝拉公式 :
π
=
1
2
6
∑
n
=
0
∞
(
−
1
)
n
2
10
n
(
−
2
5
4
n
+
1
−
1
4
n
+
3
+
2
8
10
n
+
1
−
2
6
10
n
+
3
−
2
2
10
n
+
5
−
2
2
10
n
+
7
+
1
10
n
+
9
)
{\displaystyle \pi ={\frac {1}{2^{6}}}\sum _{n=0}^{\infty }{\frac {{(-1)}^{n}}{2^{10n}}}\left(-{\frac {2^{5}}{4n+1}}-{\frac {1}{4n+3}}+{\frac {2^{8}}{10n+1}}-{\frac {2^{6}}{10n+3}}-{\frac {2^{2}}{10n+5}}-{\frac {2^{2}}{10n+7}}+{\frac {1}{10n+9}}\right)\!}
還有其他計算π 的值的公式:
π
2
=
∑
k
=
0
∞
k
!
(
2
k
+
1
)
!
!
=
∑
k
=
0
∞
2
k
k
!
2
(
2
k
+
1
)
!
=
1
+
1
3
(
1
+
2
5
(
1
+
3
7
(
1
+
⋯
)
)
)
{\displaystyle {\frac {\pi }{2}}=\sum _{k=0}^{\infty }{\frac {k!}{(2k+1)!!}}=\sum _{k=0}^{\infty }{\frac {2^{k}k!^{2}}{(2k+1)!}}=1+{\frac {1}{3}}\left(1+{\frac {2}{5}}\left(1+{\frac {3}{7}}\left(1+\cdots \right)\right)\right)\!}
牛頓
1
π
=
2
2
9801
∑
k
=
0
∞
(
4
k
)
!
(
1103
+
26390
k
)
(
k
!
)
4
396
4
k
{\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}\!}
斯里尼瓦瑟·拉马努金
拉馬努金的公式收歛的速度異常地快,這公式後來在2000年演變成最快的公式(楚德諾夫斯基算法 ):
1
π
=
12
∑
k
=
0
∞
(
−
1
)
k
(
6
k
)
!
(
13591409
+
545140134
k
)
(
3
k
)
!
(
k
!
)
3
640320
3
k
+
3
/
2
{\displaystyle {\frac {1}{\pi }}=12\sum _{k=0}^{\infty }{\frac {(-1)^{k}(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}640320^{3k+3/2}}}\!}
David Chudnovsky 和Gregory Chudnovsky .
關於圓周率近似值的計劃
計算圓周率近似值的軟件
General purpose
大多数计算机代数系统 可以计算出π 和其他常见的数学常数 到任何所需的精度。
计算π 的功能中还包括许多通用库任意精度算术运算 ,例如CLN 和MPFR 。
注释
參考資料
^ George E. Andrews, Richard Askey, Ranjan Roy. Special Functions . Cambridge University Press . 1999: 58 . ISBN 0-521-78988-5 .
^ Gupta, R. C. On the remainder term in the Madhava–Leibniz's series. Ganita Bharati. 1992, 14 (1-4): 68–71.
^ 62.8万亿个数字:瑞士大学创造了新的圆周率计算记录 . [2021-08-20 ] . (原始内容 存档于2021-08-26) (中文) .
^ 4.00 4.01 4.02 4.03 4.04 4.05 4.06 4.07 4.08 4.09 4.10 4.11 4.12 4.13 4.14 4.15 4.16 4.17 4.18 4.19 4.20 4.21 4.22 4.23 4.24 4.25 4.26 4.27 4.28 4.29 4.30 4.31 4.32 4.33 4.34 4.35 4.36 4.37 4.38 4.39 4.40 4.41 4.42 4.43 4.44 4.45 4.46 4.47 4.48 4.49 4.50 4.51 4.52 4.53 4.54 4.55 4.56 4.57 Arndt & Haenel 2006 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 )
^ David Bailey; Jonathan Borwein; Peter Borwein; Simon Plouffe, The Quest for Pi, The Mathematical Intelligencer, 1997, 19 (1): 50–56, doi:10.1007/bf03024340
^ 6.0 6.1 Eymard & Lafon 1999 ,第78頁 harvnb模板錯誤: 無指向目標: CITEREFEymardLafon1999 (幫助 )
^ Kennedy, E. S., Abu-r-Raihan al-Biruni, 973-1048, Journal for the History of Astronomy: 65, Bibcode:1978JHA.....9...65K , doi:10.1177/002182867800900106 。克劳狄乌斯·托勒密 使用了60进制下的三位小数去近似,随后卡西 将其扩展到了九位小数。参见Aaboe, Asger, Episodes from the Early History of Mathematics , New Mathematical Library 13 , 纽约: Random House: 125, 1964 [2017-12-08 ] , (原始内容存档 于2017-02-01)
^ Sloane, N.J.A. (编). Sequence A001203 (Continued fraction for Pi) . The On-Line Encyclopedia of Integer Sequences . OEIS Foundation. Retrieved 12 April 2012.
^ Lange, L. J. An Elegant Continued Fraction for π. The American Mathematical Monthly . 1999-05, 106 (5): 456–458. JSTOR 2589152 . doi:10.2307/2589152 .
^ Petrie, W.M.F. Wisdom of the Egyptians (1940)
^ Verner, Miroslav. The Pyramids: The Mystery, Culture, and Science of Egypt's Great Monuments. Grove Press. 2001 (1997). ISBN 0-8021-3935-3
^ Rossi, Corinna Architecture and Mathematics in Ancient Egypt, Cambridge University Press. 2007. ISBN 978-0-521-69053-9 .
^ Legon, J. A. R. On Pyramid Dimensions and Proportions (1991) Discussions in Egyptology (20) 第25-34页 [1] (页面存档备份 ,存于互联网档案馆 )
^ "We can conclude that although the ancient Egyptians could not precisely define the value of π , in practice they used it". Verner, M. The Pyramids: Their Archaeology and History . 2003. ,第70页。Petrie. Wisdom of the Egyptians . 1940. ,第30页。 参见Legon, J. A. R. On Pyramid Dimensions and Proportions . Discussions in Egyptology. 1991, 20 : 第25–34页 [2016-09-13 ] . (原始内容 存档于2011-07-18). . 参见Petrie, W. M. F. Surveys of the Great Pyramids. Nature. 1925, 116 (2930期): 第942页. Bibcode:1925Natur.116..942P . doi:10.1038/116942a0 .
^ Egyptologist: Rossi, Corinna, Architecture and Mathematics in Ancient Egypt , Cambridge University Press, 2004, 第60-70页,200, ISBN 9780521829540 .
对此的怀疑:Shermer, Michael , The Skeptic Encyclopedia of Pseudoscience , ABC-CLIO, 2002, 第407-408页, ISBN 9781576076538 .
参见Fagan, Garrett G., Archaeological Fantasies: How Pseudoarchaeology Misrepresents The Past and Misleads the Public , Routledge, 2006, ISBN 9780415305938 .
若需要一个没有π 参与的解释的列表,请见Roger Herz-Fischler. The Shape of the Great Pyramid . Wilfrid Laurier University Press. 2000: 第67–77页,第165–166页 [2013-06-05 ] . ISBN 9780889203242 . (原始内容存档 于2016-11-29).
^ Chaitanya, Krishna. A profile of Indian culture. (页面存档备份 ,存于互联网档案馆 ) Indian Book Company (1975). 第133页。
^ Arndt & Haenel 2006 ,第168–169頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 )
^ The Computation of Pi by Archimedes: The Computation of Pi by Archimedes – File Exchange – MATLAB Central . Mathworks.com. [2013-03-12 ] . (原始内容存档 于2013-02-25).
^ Boyer & Merzbach 1991 ,第168頁 harvnb模板錯誤: 無指向目標: CITEREFBoyerMerzbach1991 (幫助 )
^ Arndt & Haenel 2006 ,第15–16, 175, 184–186, 205頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) Grienberger在1630年已計算到39位小數,Sharp在1699年計算到71位小數
^ 《周髀算經 》注中, 趙爽 指出「圓徑一而周三,方徑一而匝四」。
^ 《π和e 》,夏道行 ,商務印書館 ,第10頁,ISBN 962-07-2007-5
^ 吴文俊 主编 《中国数学史大系》 第三卷 第一编 第二节 张衡的数学研究 第5页 ISBN 7-303-04557-0 /O
^ Lazarus Mudehwe. The story of pi . Zimaths. Feb 1997. (原始内容 存档于8 January 2013).
^ 25.0 25.1 Boyer & Merzbach 1991 ,第202頁 harvnb模板錯誤: 無指向目標: CITEREFBoyerMerzbach1991 (幫助 )
^ 李儼 《中国古代数学史料》 中国科学图书仪器公司 12.《中国古代数学家》 64页
^ 隋書/卷16
^ 吴文俊 主编 《中国数学史大系》副卷第一卷 480页 ISBN 7-303-05292-5 /O
^ 陈仁政. 约率‘摇身一变’成‘疏率’. 说不尽的π. 北京: 科学出版社. 2005: 第18页. ISBN 9787030146359 .
^ 吴文俊 主编 《中国数学史大系》第四卷 123页 ISBN 7-300-0425-8/O
^ “We are on this account strongly urged to express a desire that it should henceforth be called by the name of Tsu Ch'ong-chih's fractional value for π” Yoshio Mikami, Development of Mathematics in China and Japan p50 1913 Leipzig
^ 此零非彼O . 臺灣商務印書館. 2006: 286. ISBN 978-957-05-2072-9 .
^ Azarian, Mohammad K. al-Risāla al-muhītīyya: A Summary . Missouri Journal of Mathematical Sciences. 2010, 22 (2): 64–85 [2016-09-13 ] . (原始内容存档 于2015-01-14).
^ O'Connor, John J.; Robertson, Edmund F. Ghiyath al-Din Jamshid Mas'ud al-Kashi . MacTutor History of Mathematics archive . 1999 [2012-08-11 ] . (原始内容存档 于2011-04-12).
^ 35.0 35.1 35.2 Arndt & Haenel 2006 ,第182頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 )
^ Grienbergerus, Christophorus. Elementa Trigonometrica (PDF) . 1630 [2016-09-13 ] . (原始内容 (PDF) 存档于2014-02-01) (拉丁语) . 。其計算結果是3.14159 26535 89793 23846 26433 83279 50288 4196 < π < 3.14159 26535 89793 23846 26433 83279 50288 4199
^ Roy 1990 ,第101–102頁 harvnb模板錯誤: 無指向目標: CITEREFRoy1990 (幫助 )
^ 38.0 38.1 38.2 Roy 1990 ,第101–102頁 harvnb模板錯誤: 無指向目標: CITEREFRoy1990 (幫助 )
^ Joseph 1991 ,第264頁 harvnb模板錯誤: 無指向目標: CITEREFJoseph1991 (幫助 )
^ 40.0 40.1 Arndt & Haenel 2006 ,第188頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) . 牛顿由Arndt引用。
^ A060294
^ 42.0 42.1 Eymard & Lafon 1999 ,第53–54頁 harvnb模板錯誤: 無指向目標: CITEREFEymardLafon1999 (幫助 )
^ 43.0 43.1 Borwein, J. M.; Borwein, P. B. Ramanujan and Pi. Scientific American. 1988, 256 (2): 112–117. Bibcode:1988SciAm.258b.112B . doi:10.1038/scientificamerican0288-112 .
^ Borwein, J. M.; Borwein, P. B.; Dilcher, K. Pi, Euler Numbers, and Asymptotic Expansions . American Mathematical Monthly. 1989, 96 (8): 681–687. doi:10.2307/2324715 .
^ Arndt & Haenel 2006 ,第223頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) , (formula 16.10). Note that (n − 1)n (n + 1) = n 3 − n .Wells, David. The Penguin Dictionary of Curious and Interesting Numbers revised. Penguin. 1997: 35 . ISBN 978-0-140-26149-3 .
^ Arndt & Haenel 2006 ,第197頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) 。参见 Reitwiesner 1950 harvnb模板錯誤: 無指向目標: CITEREFReitwiesner1950 (幫助 ) .
^ Arndt & Haenel 2006 ,第第111页(5 倍);第113–114(4 倍)頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) . 具体算法情参见Borwein & Borwein 1987 harvnb模板錯誤: 無指向目標: CITEREFBorweinBorwein1987 (幫助 ) 。
^ 48.0 48.1 48.2 Bailey, David H. Some Background on Kanada’s Recent Pi Calculation (PDF) . 2003-05-16 [2012-04-12 ] . (原始内容存档 (PDF) 于2012-04-15).
^ Arndt & Haenel 2006 ,第17頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) “39 digits of
π
{\displaystyle \pi }
are sufficient to calculate the volume of the universe to the nearest atom.”(中文:39位
π
{\displaystyle \pi }
已经足以计算宇宙到其最近的原子的体积了。) 鉴于人们需要一些额外的数位来解决捨入誤差的问题,阿恩特称几百位小数足以应付任何科学计算了。
^ Schudel, Matt. John W. Wrench, Jr.: Mathematician Had a Taste for Pi. The Washington Post. 2009-03-25: B5.
^ Connor, Steve. The Big Question: How close have we come to knowing the precise value of pi? . The Independent (London). 2010-01-08 [2012-04-14 ] . (原始内容存档 于2012-04-02).
^ Eymard & Lafon 1999 ,第254頁 harvnb模板錯誤: 無指向目標: CITEREFEymardLafon1999 (幫助 )
^ Fabrice Bellard. Computation of 2700 billion decimal digits of Pi using a Desktop Computer - Semantic Scholar . www.semanticscholar.org. 2010-02-11 [2017-04-10 ] .
^ 54.0 54.1 Pi - 12.1 Trillion Digits . www.numberworld.org. [2012-05-30 ] . (原始内容存档 于2014-01-01).
^ PSLQ即Partial Sum of Least Squares,偏最小二乘和。
^ Plouffe, Simon . Identities inspired by Ramanujan's Notebooks (part 2) (PDF) . 2006-04 [2009-04-10 ] . (原始内容存档 (PDF) 于2012-01-14).
^ 苏淳, 概率论 2nd, 北京: 科学出版社: 41, 2010
^ 苏淳, 概率论 2nd, 北京: 科学出版社: 34–35,41, 2010
^ Posamentier & Lehmann 2004 ,第105頁 harvnb模板錯誤: 無指向目標: CITEREFPosamentierLehmann2004 (幫助 )
^ Weisstein, Eric W. (编). Random Walk--1-Dimensiona . at MathWorld --A Wolfram Web Resource. Wolfram Research, Inc. [2016-09-18 ] . (原始内容存档 于2016-11-18) (英语) .
^ Grünbaum, B. , Projection Constants, Trans. Amer. Math. Soc., 1960, 95 : 451–465
^ Posamentier & Lehmann 2004 ,第105–108頁 harvnb模板錯誤: 無指向目標: CITEREFPosamentierLehmann2004 (幫助 )
^ 63.0 63.1 Gibbons, Jeremy, "Unbounded Spigot Algorithms for the Digits of Pi" (页面存档备份 ,存于互联网档案馆 ), 2005. Gibbons produced an improved version of Wagon's algorithm.
^ Rabinowitz, Stanley; Wagon, Stan. A spigot algorithm for the digits of Pi . American Mathematical Monthly. 1995-03, 102 (3): 195–203. doi:10.2307/2975006 . A computer program has been created that implements Wagon's spigot algorithm in only 120 characters of software.
^ Bailey, David H; Borwein, Peter B; and Plouffe, Simon. On the Rapid Computation of Various Polylogarithmic Constants (PDF) . Mathematics of Computation. 1997-04, 66 (218): 903–913 [2016-09-13 ] . doi:10.1090/S0025-5718-97-00856-9 . (原始内容存档 (PDF) 于2012-07-22).
^ Arndt & Haenel 2006 ,第128頁 harvnb模板錯誤: 無指向目標: CITEREFArndtHaenel2006 (幫助 ) 。普勞夫有找到十進制的位數萃取演算法,但其速度比完整計算之前所有位數要慢。
^ Bellards formula in: Bellard, Fabrice . A new formula to compute the nth binary digit of pi . [2007-10-27 ] . (原始内容 存档于2007-09-12).
^ Palmer, Jason. Pi record smashed as team finds two-quadrillionth digit . BBC News. 2010-09-16 [2011-03-26 ] . (原始内容存档 于2011-03-17).
^ A nested radical approximation for pi (PDF) . [2013-02-18 ] . (原始内容 (PDF) 存档于2011-07-06).
^ Gardner, Martin . New Mathematical Diversions . Mathematical Association of America: 92 . 1995. .
^ "Lost notebook page 16" ,Ramanujan
^ CetinHakimoglu–Brown . [2013-02-18 ] . (原始内容存档 于2009-03-29).
^ Weisstein, Eric W. (编). BBP Formula . at MathWorld --A Wolfram Web Resource. Wolfram Research, Inc. (原始内容 存档于2010-02-25) (英语) .
^ Simon Plouffe, On the computation of the n'th decimal digit of various transcendental numbers , November 1996
^ Bellard's Website:Bellard.org (页面存档备份 ,存于互联网档案馆 )