基本介紹
- 中文名:阿培里常數
- 外文名:Apéry's constant
- 領域:數學
簡介,阿培里定理,級數表示,已知數字,
簡介
阿培里常數的準確定義是黎曼ζ函式的一個值:ζ(3):
它的前45位準確數字為:(Wedeniwski 2001)
ζ(3) =1.202056903159594285399738161511449990764986292... (OEIS中的數列A002117).
阿培里定理
事實上,黎曼ζ函式在偶數上的取值是容易求得的,在奇數上的取值則遠未有一般性成果。這個常數以數學家羅傑·阿培里命名,因為後者在1978年證明了它是一個無理數。這個結論被稱為阿培里定理。最初的證明很長,而且晦澀難懂,幸好不久後發現了更為簡潔的證明,只需要用到勒讓德多項式。現在還不能確定阿培里常數是否是超越數。
近來的研究表明,黎曼ζ函式在無窮多個奇數上的取值都是無理數,並且ζ(5)、ζ(7)、ζ(9)和ζ(11)之中至少有一個是無理數。
級數表示
1772年,萊昂哈德·歐拉證明了一個關於ζ(3)的級數表示:
這個結果後來又多次被其他人獨立發現。
在當代,西蒙·普勞夫給出了一系列級數,使得運用它們能夠精確地計算出阿培里常數的第n位小數的數值,而不需要求出它的前n − 1位小數。其中有:
以及:
已知數字
和不少數學常數一樣,近幾十年來,阿培里常數的數值計算經歷了驚人的進展。這一方面是由於計算機計算能力的快速提高,另一方面也是因為不斷有更好的算法被找到。1998年,布拉德赫斯特發現了一種能夠線上性時間內計算阿培里常數的二進制數值的方法,並且只需要用到對數規模的儲存空間。
時間 | 十進制位數 | 計算者 |
---|---|---|
未知 | 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 | 亞歷山大·易和雷蒙·陳 |