系列集合对
(单击在这里的此页面的Postscript版本。)
涉及常数的级数有很多对,我们提供了一个选择。伟大的瑞士数学家莱昂哈德·尤勒(1707-1783)发现了其中许多。
2莱布尼茨-格雷戈里-马达瓦系列周围
|
|
1- |
1
三
|
+ |
1
5
|
- |
1
7
|
+。。。 (莱布尼兹-格雷戈里-玛达瓦) | |
|
|
|
¥ å k个= 0
|
|
(-1)k个
k个+ 1
|
|
æ è |
1+ |
1
三
|
+...+ |
1
2k个+ 1
|
ö ø |
(克诺普) | |
|
|
|
三
4
|
+ |
1
2.3.4
|
- |
1
4.5.6
|
+ |
1
6.7.8
|
-... (尼拉坎塔)
| |
|
|
1+ |
1
三
|
+ |
1.2
3.5
|
+ |
1.2.3
3.5.7
|
+... (欧拉) | |
|
|
|
1.2
1.3
|
+ |
1.2.3
1.3.5
|
+ |
1.2.3.4
1.3.5.7
|
+... | |
|
|
|
¥ å k个= 1
|
|
三k个-1
4k个
|
z(z)(k个+ 1) (弗拉若莱-瓦尔迪)
| |
|
|
|
¥ å k个= 1
|
阿卡坦 |
æ è |
1
k个2+k个+ 1
|
ö ø |
(克诺普) | |
|
|
|
¥ å k个= 1
|
|
1
2k个+ 1
|
棕褐色的 |
æ è |
对
2k个+ 1
|
ö ø |
(欧拉) | |
|
|
1+ |
1
三
|
- |
1
5
|
- |
1
7
|
+ |
1
9
|
+ |
1
11
|
-... | |
|
|
1- |
1
5
|
+ |
1
7
|
- |
1
11
|
+ |
1
13
|
- |
1
17
|
+... | |
|
|
1- |
1
2
|
+ |
1
4
|
- |
1
5
|
+ |
1
7
|
- |
1
8
|
+... | |
|
|
|
¥ å k个= 0
|
|
(-1)k个
三k个(2k个+ 1)
|
(夏普) | | |
三欧拉级数
找到级数的极限是个大问题
1+ |
1
4
|
+ |
1
9
|
+...+ |
1
k个2
|
+。。。, | |
一些17世纪最伟大的数学家没有发现这一点限制。雅各布·伯努利试图解决这个问题,但没有成功数学家处理这个问题。1735年,欧拉发现了这一系列以及以下大部分结果都归功于他(参见[4]).
|
|
|
¥ å k个= 1
|
|
1
k个2
|
=1+ |
1
22
|
+ |
1
三2
|
+... | |
|
|
|
¥ å k个= 1
|
|
1
k个4
|
=1+ |
1
24
|
+ |
1
三4
|
+... | |
|
|
|
¥ å k个= 1
|
|
1
k个6
|
=1+ |
1
26
|
+ |
1
三6
|
+... | |
|
|
| |
|
|
|
¥ å k个= 0
|
|
1
(2k个+ 1)2
|
=1+ |
1
三2
|
+ |
1
52
|
+。。。 | |
|
|
|
¥ å k个= 0
|
|
1
(2k个+ 1)4
|
=1+ |
1
三4
|
+ |
1
54
|
+... | |
|
|
|
¥ å k个= 0
|
|
1
(2k个+ 1)6
|
=1+ |
1
三6
|
+ |
1
56
|
+... | |
|
(4对-1) |B(B)2对|对2对
2(2对)!
|
| |
|
| |
|
|
|
¥ å k个= 1
|
|
(-1)k个+ 1
k个2
|
=1- |
1
22
|
+ |
1
三2
|
-... | |
|
|
|
¥ å k个= 1
|
|
(-1)k个+ 1
k个4
|
=1- |
1
24
|
+ |
1
三4
|
-... | |
|
|
|
¥ å k个= 1
|
|
(-1)k个+ 1
k个6
|
=1- |
1
26
|
+ |
1
三6
|
-... | |
|
(4对-2) |B(B)2对|对2对
2(2对)!
|
| |
|
| |
|
|
|
¥ å k个= 0
|
|
(-1)k个
(2k个+ 1)三
|
=1- |
1
三三
|
+ |
1
5三
|
-... | |
|
|
|
¥ å k个= 0
|
|
(-1)k个
(2k个+ 1)5
|
=1- |
1
三5
|
+ |
1
55
|
-... | |
|
|
|
¥ å k个= 0
|
|
(-1)k个
(2k个+ 1)7
|
=1- |
1
三7
|
+ |
1
57
|
-... | |
|
|
|
¥ å k个= 0
|
|
(-1)k个
(2k个+ 1)2对+ 1
|
| | |
B类n个和En个分别是伯努利数和欧拉数。
|
|
1,B1=- |
1
2
|
,B2= |
1
6
|
,B4=- |
1
30
|
,B6= |
1
42
|
,B8=- |
1
30
|
,B10= |
5
66
|
,... | |
|
|
1、E2=-1,E4=5,E6=-61,东经8=1385,东经10=-50251,... | | |
在下面的序列中,只有素数为奇数的分母考虑了各种因素。例如,省略了10=2×5,因为它有两个主要因素。
|
|
|
1
22
|
+ |
1
三2
|
+ |
1
52
|
+ |
1
72
|
+ |
1
82
|
+ |
1
112
|
+... | |
|
|
|
1
24
|
+ |
1
三4
|
+ |
1
54
|
+ |
1
74
|
+ |
1
84
|
+ |
1
114
|
+... | |
|
|
|
1
26
|
+ |
1
三6
|
+ |
1
56
|
+ |
1
76
|
+ |
1
86
|
+ |
1
116
|
+... | |
|
z(z)2(2对)-z(z)(4对)
2z(z)(2对)
|
| |
|
|
1
22对
|
+ |
1
三2对
|
+ |
1
52对
|
+ |
1
72对
|
+ |
1
82对
|
+ |
1
112对
|
+... | | |
如果这一次主要因素也应该不同:
|
|
|
1
22
|
+ |
1
三2
|
+ |
1
52
|
+ |
1
72
|
+ |
1
112
|
+ |
1
132
|
+... | |
|
|
|
1
24
|
+ |
1
三4
|
+ |
1
54
|
+ |
1
74
|
+ |
1
114
|
+ |
1
134
|
+... | |
|
|
|
1
26
|
+ |
1
三6
|
+ |
1
56
|
+ |
1
76
|
+ |
1
116
|
+ |
1
136
|
+... | |
|
z(z)2(2对)-z(z)(4对)
2z(z)(2对)z(z)(4对)
|
| |
|
|
1
22对
|
+ |
1
三2对
|
+ |
1
52对
|
+ |
1
72对
|
+ |
1
112对
|
+ |
1
132对
|
+... | | |
4马钦公式
通过函数
L(左)(对)=反正切 |
æ è |
1
对
|
ö ø |
= |
å k个 ³0
|
|
(-1)k个
(2k个+ 1)对2k个+ 1
|
| |
还有很多或效率较低的公式对可用([1], [5], [7], [9]).观察到莱布尼茨Gregory Madhava系列可以写成对/4=L(1),夏普系列只是对/6=升(Ö3).
4.2三项及更多公式
|
|
|
|
|
|
|
|
|
|
|
6升(8)+2升(57)+1升(239)(标准örmer公司)
| |
|
|
8升(10)-L(239)-4升(515)(克林根斯蒂尔纳)
| |
|
|
12升(18)+8升(57)-5升(239)(高斯) | |
|
|
22升(38)+17升(601/7)+10升(8149/7)(塞巴) | |
|
|
44升(57)+7升(239)-12升(682)+24升(12943)(标准örmer公司)
| |
|
|
88升(172)+51升(239)+32升(682)+44升(5357)+68升(12943)(标准örmer公司) | | |
对于例如,已知100多个三项公式,且易于生成通过专用算法。
5BBP系列
1995年,Bailey、Borwein和Plouffe(BBP公司)发现了一种新的公式它允许直接计算对英寸基础2(参见[2])
对= |
¥ å k个= 0
|
|
æ è |
4
8k个+ 1
|
- |
2
8k个+ 4
|
- |
1
8k个+ 5
|
- |
1
8k个+ 6
|
ö ø |
|
1
16k个
|
. | |
其他此类公式可用:
|
|
|
¥ å k=0
|
|
æ è |
2
4公里+1
|
+ |
2
4k+2
|
+ |
1
4k+3
|
ö ø |
|
(-1)k个
4k个
|
, | |
|
|
|
¥ å k=0
|
|
æ è |
2个
8公里+1
|
+ |
1
4公里+1
|
+ |
1
8公里+3
|
- |
1
16公里+10英里
|
- |
1
16公里+12
|
- |
1
32公里+28
|
ö ø |
|
1
16k个
|
, | |
|
|
|
1
64
|
|
¥ å k=0
|
|
æ è |
- |
32
4k+1
|
- |
1
4k+3
|
+ |
256
10公里+1
|
- |
64
10公里+3
|
- |
4
10公里+5
|
- |
4
10公里+7
|
+ |
1
10公里+9
|
ö ø |
|
(-1)k个
1024k个
|
, | |
|
|
|
¥ å k=0
|
|
æ è |
4
6公里+1
|
+ |
1
6公里+3
|
+ |
1
6公里+5
|
ö ø |
|
(-1)k个
8k个
|
, | |
|
|
|
¥ å k=0
|
|
æ è |
16
(6k+1)2
|
- |
24
(6k+2)2
|
- |
8
(6k+3)2
|
- |
6个
(6k+4)2
|
+ |
1
(6k+5)2
|
ö ø |
|
1
64k个
|
. | | |
1024的系列k个效率高,这归功于F.Bellard(1997)。
6拉马努扬级数
这些系列中的大多数和其他许多都是这位印度神童发现的斯里尼瓦萨·拉马努扬(1887-1920)([三], [8]).
|
|
1-5 |
æ è |
1
2
|
ö ø |
三
|
+9 |
æ è |
1.3
2.4
|
ö ø |
三
|
-13 |
æ è |
1.3.5
2.4.6
|
ö ø |
三
|
+... | |
|
|
1+ |
æ è |
1
2
|
ö ø |
2
|
+ |
æ è |
1
2.4
|
ö ø |
2
|
+ |
æ è |
1.3
2.4.6
|
ö ø |
2
|
+ |
æ è |
1.3.5
2.4.6.8
|
ö ø |
2
|
+... (福赛斯) | |
|
|
|
¥ å k=0
|
(2k)!三
(k!)6
|
(42k+5)
212公里+4
|
| |
|
|
|
1
72
|
|
¥ å k=0
|
(-1)k个 |
(4k)!
(k!)444公里
|
|
(23+260k)
182公里
|
| |
|
|
|
1
3528
|
|
¥ å k=0
|
(-1)k个 |
(4k)!
(k!)444公里
|
|
(1123+21460k)
8822公里
|
| |
|
|
|
2Ö2
9801
|
|
¥ å k=0
|
|
(4k)!
(k!)444公里
|
|
(1103+26390k)
994公里
|
| |
|
|
12 |
¥ å k=0
|
(-1)k个 |
(6k)!
(3k)!(k!)三
|
|
(13591409+545140134k)
6403203公里+3/2
|
(德诺夫斯基)
| |
|
|
12 |
¥ å k=0
|
(-1)k个 |
(6k)!
(3k)!(k!)三
|
|
(A+Bk)
C类3公里+3/2
|
(博尔文) | | |
在最后一个公式
|
|
1657145277365+212175710912 |
Ö
|
61
|
, | |
|
|
107578229802750+13773980892672 |
Ö
|
61
|
, | |
|
|
5280(236674+30303 |
Ö
|
61
|
), | | |
和序列中的每一个附加项加上大约31位数字。。。
7其他系列
|
|
|
¥ å k=1
|
|
(-1)k+1(千分之一)
3.6万2-1
|
| |
|
|
|
¥ å k=1
|
|
(-1)k+1(千分之一)
k(k+1)(2k+1)
|
| |
|
|
|
¥ å k=1
|
|
(-1)k+1(千分之一)
k(k+1)(2k+1)三
|
| |
|
|
|
¥ å k个古怪的
|
|
(-1)(k)-1)/2
k(千)4+ 4)
|
(上光器)
| |
|
|
1-16 |
¥ å k=0
|
|
1
(4k+1)2(4k+3)2(4k+5)2
|
(卢卡斯) | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¥ å k=0
|
|
k!2
(2k+1)!
|
=1+ |
1
6
|
+ |
1
30
|
+ |
1
140
|
+ |
1
630
|
+。。。 | |
|
|
|
¥ å k=0
|
|
k!2
(2k)!
|
=1+ |
1
2
|
+ |
1
6
|
+ |
1
20
|
+ |
1
70
|
+ |
1
252
|
+... | |
|
|
|
|
|
|
|
|
|
|
|
|
¥ å k=0
|
|
(2k)!
(2k+1)16k个k!2
|
| |
|
|
|
¥ å k=1
|
|
k!2k2(平方公里)k个
(2k)!
|
| |
|
|
|
¥ å k=0
|
|
(25千-3) k!(2k)!
2k个-1(3k)!
|
(高斯珀
1974) | | |
工具书类
- [1]
- J.Arndt和C.Haenel,对-释放,施普林格,(2001)
- [2]
- D.H.Bailey、P.B.Borwein和S.Plouffe,关于快速计算各种多对数常数《计算数学》(1997),第66卷,第903-913页
- [3]
- J.M.Borwein和P.B.Borwein,Ramanujan和Pi,科学《美国人》(1988),第112-117页
- [4]
- L.Euler等人,引言a l’analyse infiniteésimale(法语拉比(Labey),巴罗伊斯(Barrois),阿内(ainé),图书馆(Librairie)(1748年原版,tradiction1796年),第1卷
- [5]
- C.L.Hwang,更多机器类型标识,数学。天然气。,(1997),pp。120-121
- [6]
- K.Knopp,无穷级数的理论与应用、布莱克&儿子,伦敦(1951)
- [7]
- D.H.Lehmer,关于的反正切关系对《美国数学月刊》(1938),第657-664页
- [8]
- S.Ramanujan,模方程及其近似对,夸脱。J.纯应用。数学。,(1914),第45卷,第350-372页
- [9]
- C.Störmer,名义专利申请表配合物la溶液x个1,x个2, ..., x个n个,c1,c2, ..., c(c)n个,千德勒方程c(c)1电弧转换x1+c(c)2电弧炉x个2+...+c(c)n个电弧转换xn个=k对/4,《Mathematik og Naturvidenskab档案》(1896年),第卷。19