拉馬努金真的是突然想起那些公式的嗎?那些式子無限逼近後等於完美的 π,還是隻是像?
想表達pi也不用多複雜的公式
等等,這個寫成黎曼積分更親民一些。
√π=lim{m→∞} ∑{n>0} [ (1-1/m)^n · √(m/n) / m ]
這些公式的意義,或者說很多人先後提出不同的公式,是因為我們希望加快級數收斂速度。
比如最簡單的萊布尼茲公式: ,就可以簡便地計算圓周率,但是這個級數收斂太慢了,計算效率不會很高;這個級數的「簡單」證明是用幾何數列逐項積分後代入1,但由此你還需要阿貝爾定理來證明這個級數在1上仍然收斂,相對有些麻煩;更初等的證明是用如下形式來避開無窮級數:
注意這個式子不涉及無窮級數,因此不受收斂半徑的影響;我們可以對這個式子左右逐項從0到1做定積分,最後的餘項的積分可以用夾逼準則判定其必為0,得證。
現代超級計算機計算圓周率還可以用效率更高的公式,比如Machin公式:
或者更暴躁一些的基於拉馬努金的工作的Chudnovsky公式:
然而,大多數被用作測試的程序使用的公式都是相對簡單的Machin-like型,比如東京大學教授金田康正的公式:
(以上所有等號均有嚴格證明)
丘德諾夫斯基公式
1989年,大衛·丘德諾夫斯基和格雷高裏·丘德諾夫斯基兄弟將拉馬努金公式改良,這個公式被稱為丘德諾夫斯基公式,每計算一項可以得到15位的十進位精度。
丘德諾夫斯基公式十分適合計算機編程,是計算機使用較快的一個公式。右邊是這個公式的一個簡化版本: