阿培里常數

維基百科,自由的百科全書
跳至導覽 跳至搜尋
二進位表示 1.001100111011101...
十進位表示 1.2020569031595942854...
十六進位表示 1.33BA004F00621383...
連分數表示
注意這個連分數不是循環的

數學中,阿培里常數是一個時常會遇到的常數。在一些物理問題中阿培里常數也會很自然地出現。比如說量子電動力學里,阿培里常數出現在電子磁旋比展開的第二項與第三項中。

阿培里常數的準確定義是黎曼ζ函數的一個值:ζ(3),

它的前45位準確數字為:(Wedeniwski 2001

ζ(3) = 1.202056903159594285399738161511449990764986292...   (OEIS中的數列A002117).

這個常數的倒數也是一個有意義的常數:考慮任意三個隨機抽取的正整數,它們之間互素機率正是阿培里常數的倒數。

阿培里定理[編輯]

事實上,黎曼ζ函數在偶數上的取值是容易求得的,在奇數上的取值則遠未有一般性成果。這個常數以數學家羅傑·阿培里命名,因為後者在1978年證明了它是一個無理數。這個結論被稱為阿培里定理。最初的證明很長,而且晦澀難懂,幸好不久後發現了更為簡潔的證明,只需要用到勒讓德多項式。現在還不能確定阿培里常數是否是超越數

近來的研究表明,黎曼ζ函數在無窮多個奇數上的取值都是無理數 [1],並且ζ(5)、ζ(7)、ζ(9)和ζ(11)之中至少有一個是無理數[2]

級數表示[編輯]

1772年,萊昂哈德·歐拉證明了一個關於ζ(3)的級數表示:

這個結果後來又多次被其他人獨立發現。

在當代,西蒙·普勞夫給出了一系列級數,使得運用它們能夠精確地計算出阿培里常數的第n位小數的數值,而不需要求出它的前n − 1位小數。其中有:

以及:

已知數字[編輯]

和不少數學常數一樣,近幾十年來,阿培里常數的數值計算經歷了驚人的進展。這一方面是由於計算機計算能力的快速提高,另一方面也是因為不斷有更好的算法被找到。1998年,布拉德赫斯特發現了一種能夠在線性時間內計算阿培里常數的二進位數值的方法,並且只需要用到對數規模的儲存空間。

阿培里常數ζ(3)的已知數值位數
時間 十進位位數 計算者
未知 16 阿德里安-馬里·勒讓德
1887年 32 湯姆斯·斯蒂爾吉斯
1996年 520,000 西蒙·普勞夫
1997年 1,000,000 布魯諾·愛博和湯姆斯·帕帕尼科勞
1997年5月 10,536,006 帕德里克·德米切爾
1998年2月 14,000,074 塞巴斯蒂安·維德尼夫斯基
1998年3月 32,000,213 塞巴斯蒂安·維德尼夫斯基
1998年7月 64,000,091 塞巴斯蒂安·維德尼夫斯基
1998年12月 128,000,026 塞巴斯蒂安·維德尼夫斯基
2001年9月 200,001,000 宮本芳正和扎維爾·古東
2002年2月 600,001,000 宮本芳正和扎維爾·古東
2003年2月 1,000,000,000 帕德里克·德米切爾和扎維爾·古東
2006年4月 10,000,000,000 宮本芳正和斯蒂夫·帕格利亞魯諾
2009年1月 15,510,000,000 亞歷山大·易和雷蒙·陳
2009年3月 31,026,000,000 亞歷山大·易和雷蒙·陳

參考來源[編輯]

註釋[編輯]

  1. ^ T. Rivoal. La fonction zeta de Riemann prend une infnité de valuers irrationnelles aux entiers impairs. Comptes Rendus Acad. Sci. Paris Sér. I Math. 2000, 331: 267–270. 
  2. ^ W. Zudilin. One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational. Russ. Math. Surv. 2001, 56: 774–776. doi:10.1070/RM2001v056n04ABEH000427. 

參考文獻[編輯]