主題
Search

BBP型別公式

DOWNLOAD Mathematica Notebook下載 Wolfram 筆記本

一個 base-b BBP型別公式是如下型別的收斂級數公式

alpha=sum_(k=0)^infty(p(k))/(b^kq(k))
(1)

其中 p(k) 和 q(k) 是關於 k 的整係數多項式 (Bailey 2000; Borwein and Bailey 2003, pp. 54 and 128-129)。

Bailey (2000) 以及 Borwein 和 Bailey (2003, pp. 128-129) 給出了一系列這樣的公式。以下內容擴充套件了這些彙編，包含了幾個額外的 BBP 型別公式。

pi=sum_(k=0)^(infty)1/(16^k)(4/(8k+1)-2/(8k+4)-1/(8k+5)-1/(8k+6))
(2)
=1/2sum_(k=0)^(infty)1/(16^k)(8/(8k+2)+4/(8k+3)+4/(8k+4)-1/(8k+7))
(3)
pi^2=9/8sum_(k=0)^(infty)1/(64^k)[(16)/((6k+1)^2)-(24)/((6k+2)^2)-8/((6k+3)^2)-6/((6k+4)^2)+1/((6k+5)^2)]
(4)
=2/(27)sum_(k=0)^(infty)1/(729^k)[(243)/((12k+1)^2)-(405)/((12k+2)^2)-(81)/((12k+4)^4)-(27)/((12k+5)^2)-(72)/((12k+6)^2)-9/((12k+7)^2)-9/((12k+8)^2)-5/((12k+10)^2)+1/((12k+11)^2)]
(5)
ln(9/(10))=-sum_(k=1)^(infty)1/(10^k·k)
(6)
ln2=2/3sum_(k=0)^(infty)1/(9^k(2k+1))
(7)
(ln2)^2=1/(32)sum_(k=0)^(infty)[(64)/((6k+1)^2)-(160)/((6k+2)^2)-(56)/((6k+3)^2)-(40)/((6k+4)^2)+4/((6k+5)^2)-1/((6k+6)^2)]
(8)
ln3=1/(729)sum_(k=0)^(infty)1/(729^k)((729)/(6k+1)+(81)/(6k+2)+(81)/(6k+3)+9/(6k+4)+9/(6k+5)+1/(6k+6))
(9)
=sum_(k=0)^(infty)1/(4^k(2k+1))
(10)
ln10=1/(32)sum_(k=0)^(infty)1/((-64)^k)((64)/(12k+1)+(16)/(12k+2)+8/(12k+4)-(16)/(12k+5)+8/(12k+6)+(12)/(12k+7)-2/(12k+8)+4/(12k+9)+1/(12k+10)-3/(12k+11)-1/(12k+12))
(11)
=1/2sum_(k=0)^(infty)1/((-4)^k)(6/(4k+1)-3/(4k+3)-1/(4k+4))
(12)
=1/(16)sum_(k=0)^(infty)1/(16^k)((24)/(4k+1)+(20)/(4k+2)+6/(4k+3)+1/(4k+4))
(13)
=1/8sum_(k=0)^(infty)1/(16^k)((16)/(8k+1)+8/(8k+2)-8/(8k+3)+4/(8k+4)-4/(8k+5)+2/(8k+6)+2/(8k+7)+1/(8k+8))
(14)
=2/9sum_(k=0)^(infty)1/(81^k)(9/(4k+1)+2/(4k+2)+1/(4k+3))
(15)
=2/(729)sum_(k=0)^(infty)1/(6561^k)((729)/(8k+1)+(162)/(8k+2)+(81)/(8k+3)+9/(8k+3)+2/(8k+3)+1/(8k+7))
(16)
pisqrt(2)=sum_(k=0)^(infty)1/((-8)^k)(4/(6k+1)+1/(6k+3)+1/(6k+5))
(17)
=1/(64)sum_(k=0)^(infty)1/((-512)^k)((256)/(18k+1)+(64)/(6k+3)+(64)/(18k+5)-(32)/(18k+7)-8/(18k+9)-8/(18k+11)+4/(18k+13)+1/(18k+15)+1/(18k+17))
(18)
=4sum_(k=0)^(infty)(-1)^k(1/(4k+1)+1/(4k+3))
(19)
=4sum_(k=0)^(infty)(-1)^k(1/(12k+1)+1/(12k+3)-1/(12k+5)-1/(12k+7)+1/(12k+9)+1/(12k+11))
(20)
=sum_(k=0)^(infty)(-1)^k(3/(20k+1)+3/(20k+3)+2/(20k+5)-3/(20k+7)+3/(20k+9)+3/(20k+11)-3/(20k+13)+2/(20k+17)+3/(20k+19))
(21)
=1/8sum_(k=0)^(infty)1/(64^k)((32)/(12k+1)+8/(2k+3)+8/(12k+5)-4/(12k+7)-1/(12k+9)-1/(12k+11))
(22)
pisqrt(3)=1/4sum_(k=0)^(infty)1/(64^k)((20)/(6k+1)+6/(6k+2)-1/(6k+3)-3/(6k+4)-1/(6k+5))
(23)
=1/9sum_(k=0)^(infty)1/(729^k)((81)/(12k+1)-(54)/(12k+2)-9/(12k+4)-(12)/(12k+6)-3/(12k+7)-2/(12k+8)-1/(12k+10))
(24)
=1/(36)sum_(k=0)^(infty)1/(729^k)((81)/(12k+1)+(27)/(12k+2)-(162)/(12k+3)-9/(12k+4)+(27)/(12k+5)+(24)/(12k+6)-3/(12k+7)+7/(12k+8)+6/(12k+9)+3/(12k+10)-1/(12k+11))
(25)
=1/9sum_(k=0)^(infty)1/(729^k)((81)/(12k+1)+(189)/(12k+2)+(45)/(12k+4)+(27)/(12k+5)+(24)/(12k+6)-3/(12k+7)+1/(12k+8)+1/(12k+10)-1/(12k+11))
(26)
piln2=1/(256)sum_(k=0)^(infty)1/(4096^k)[(4096)/((24k+1)^2)-(8192)/((24k+2)^2)-(26112)/((24k+3)^3)+(15360)/((24k+4)^2)-(1024)/((24k+5)^2)+(9984)/((24k+6)^2)+(11520)/((24k+8)^2)+(2368)/((24k+9)^2)-(512)/((24k+10)^2)+(768)/((24k+12)^2)-(64)/((24k+13)^2)+(408)/((24k+15)^2)+(720)/((24k+16)^2)+(16)/((24k+17)^2)+(196)/((24k+18)^2)+(60)/((24k+20)^2)-(37)/((24k+21)^2)]
(27)
K=sum_(k=0)^(infty)((-1)^k)/((2k+1)^2)
(28)
=1/(1024)sum_(k=0)^(infty)1/(4096^k)[(3072)/((24k+1)^2)-(3072)/((24k+2)^2)-(23040)/((24k+3)^2)+(12288)/((24k+4)^2)-(768)/((24k+5)^2)+(9216)/((24k+6)^2)+(10368)/((24k+8)^2)+(2496)/((24k+9)^2)-(192)/((24k+10)^2)+(768)/((24k+12)^2)-(48)/((24k+13)^2)+(360)/((24k+15)^2)+(648)/((24k+16)^2)+(12)/((24k+17)^2)+(168)/((24k+18)^2)+(48)/((24k+20)^2)-(39)/((24k+21)^2)]
(29)
Cl_2(1/3pi)=sqrt(3)sum_(k=0)^(infty)[1/((6k+1)^2)+1/((6k+2)^2)-1/((6k+4)^2)-1/((6k+5)^2)]
(30)
=(sqrt(3))/9sum_(k=0)^(infty)((-1)^k)/(27^k)[(18)/((6k+1)^2)-(18)/((6k+2)^2)-(24)/((6k+3)^2)-6/((6k+4)^2)+2/((6k+5)^2)].
(31)

其中 K 是卡塔蘭常數， Cl_2(pi/3) 是八字結補集的雙曲體積， Cl_2(x) 是克勞森積分， 並且 Cl_2(pi/3) 也是八字結的結補集的雙曲體積。

另一個例子是狄利克雷 L-級數

L_(-7)(2)=sum_(n=0)^infty[1/((7n+1)^2)+1/((7n+2)^2)-1/((7n+3)^2)+1/((7n+4)^2)-1/((7n+5)^2)-1/((7n+6)^2)]
(32)

(Bailey 和 Borwein 2005; Bailey 等人 2007, pp. 5 和 62)。

注意，這類求和與多伽瑪函式密切相關，例如，上面的求和也可以寫成

L_(-7)(2)=1/(49)[psi_1(1/7)+psi_1(2/7)-psi_1(3/7)+psi_1(4/7)-psi_1(5/7)-psi_1(6/7)].
(33)

Borwein 等人 (2004) 最近表明， pi 沒有非二進位制的馬欽型 BBP 反正切公式，但這並不排除在其他進制中用於數字提取演算法的完全不同的方案。

一個非整數基數 BBP 型別公式的優美例子是

pi^2=50sum_(k=0)^infty1/(phi^(5k))[(phi^(-2))/((5k+1)^2)-(phi^(-1))/((5k+2)^2)-(phi^(-2))/((5k+3)^2)+(phi^(-5))/((5k+4)^2)+(2phi^(-5))/((5k+5)^2)],
(34)

其中 phi 是黃金比例，由 B. Cloitre 發現 (Cloitre; Borwein 和 Chamberland 2005; Bailey 等人 2007, p. 277)。

另請參閱

阿佩裡常數, BBP 公式, 卡塔蘭常數, 數字提取演算法, 狄利克雷 L-級數, 反正弦, 自然對數 2, Pi, Pi 公式, Spigot 演算法, 零

使用 探索

參考文獻

Adamchik, V. and Wagon, S. "一個關於 pi 的簡單公式." Amer. Math. Monthly 104, 852-855, 1997.Adamchik, V. and Wagon, S. "Pi：2000 年的探索改變方向." http://www-2.cs.cmu.edu/~adamchik/articles/pi.htm.Bailey, D. H. "數學常數的 BBP 型別公式彙編." 28 Nov 2000. http://crd.lbl.gov/~dhbailey/dhbpapers/bbp-formulas.pdf.Bailey, D. H. and Borwein, J. M. "實驗數學：例子、方法和意義." Not. Amer. Math. Soc. 52, 502-514, 2005.Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; and Moll, V. H. 行動中的實驗數學。 Wellesley, MA: A K Peters, pp. 31-33 and 222, 2007.Bailey, D. H.; Borwein, P. B.; and Plouffe, S. "關於各種多對數常數的快速計算." Math. Comput. 66, 903-913, 1997.Borwein, J. and Bailey, D. "其他 BBP 型別公式" 和 "Pi 是否有非二進位制 BBP 公式？" §3.6 和 3.7 in 實驗數學：21 世紀的合理推理。 Wellesley, MA: A K Peters, pp. 127-133, 2003.Borwein, J. M.; Borwein, D.; and Galway, W. F. "尋找和排除 b 進位制馬欽型個位數公式." Canad. J. Math. 56, 897-925, 2004.Borwein, J. M. and Chamberland, M. "一個黃金例子." Unpublished manuscript. Feb. 7, 2005.Cloitre, B. "黃金基數中 pi^2 的 BBP 公式." Unpublished manuscript. Undated.Finch, S. R. "阿基米德常數." §1.4 in 數學常數。 Cambridge, England: Cambridge University Press, pp. 17-28, 2003.Gourévitch, B. "Pi 的宇宙。§6：以 2 為基數的 BBP 公式： s in N, v=p/q, x=1/(2^n) 在 Psi 中." http://www.pi314.net/hypergse6.php.Plouffe, S. "Pi 公式背後的故事." sci.math and sci.math.symbolic newsgroup posting. 23 Jun 2003.

在 中被引用

BBP型別公式

請引用為

Weisstein, Eric W. "BBP型別公式。" 來自 網路資源。 https://mathworld.tw/BBP-TypeFormula.html

主題分類