虽然该睡了..
但图示法似乎效益不彰
因此我还是试着用文字说明1-1+1-1+...=1/2吧
首先是个级数
a0 + a1 + a2 + a3 + ...
我们要如何算出它的值?
1个最常规的方法是令
S1 = a0
S2 = a0 + a1
S3 = a0 + a1 + a2
S4 = a0 + a1 + a2 + a3
...
然后定义
a0 + a1 + a2 + a3 + ... =
lim Sn = sum1(a0, a1, a2, a3, ...)
n→∞
上面的算法看起来很直观
一次加一项，最后就把每一项都加起来了
但或许有人会觉得以下算法一样直观
T1 = a0 + a1
T2 = a0 + a1 + a2 + a3
T3 = a0 + a1 + a2 + a3 + a4 + a5
T4 = a0 + a1 + a2 + a3 + a4 + a5 + a6 + a7
...
然后定义
a0 + a1 + a2 + a3 + ... =
lim Tn = sum2(a0, a1, a2, a3, ...)
n→∞
一次加两项，最后也是把每一项都加起来啦
甚至我们也可以一次不是加完整的一项
U1 = a0
U2 = a0 + (1/2)a1
U3 = a0 + (2/3)a1 + (1/3)a2
U4 = a0 + (3/4)a1 + (2/4)a2 + (1/4)a3
...
然后定义
a0 + a1 + a2 + a3 + ... =
lim Un = sum3(a0, a1, a2, a3, ...)
n→∞
第一次加一半的a1，然后再加一点a1和一点a2，然后再加一点a1和一点a2和一点a3
最后还是完整地加起了每一项
以上定义的sum1,sum2,sum3直观上都是计算 a0 + a1 + a2 + a3 + ... 的方法
但是我们一般会说sum1和sum3定义得比较好，sum2比较差
因为sum2不满足一些我们一般认为求和法该有的特性，其中之一是sum2不stable
定义: sum stable
sum(a0, a1, a2, a3, ...)存在 iff sum(a1, a2, a3, ...)存在
且 sum(a0, a1, a2, a3, ...) = a0 + sum(a1, a2, a3, ...)
sum2(1, -1, 1, -1, ...) = 0 ≠
1 + sum2(-1, 1, -1, 1, ...) = 1 + 0 = 1
除了stable外，另一个我们常要求的特性是linear
定义: sum linear
若sum(a0, a1, a2, a3, ...)和sum(b0, b1, b2, b3, ...)皆存在
则sum(a0+c*b0, a1+c*b1, a2+c*b2, a3+c*b3, ...)存在
且sum(a0+c*b0, a1+c*b1, a2+c*b2, a3+c*b3, ...) =
sum(a0, a1, a2, a3, ...) + c * sum(b0, b1, b2, b3, ...)
sum1和sum3都是stable且linear的求和法
其实光是stable和linear就会让算出的值十分受限了
从最基础的，若sum linear
若sum(0, 0, ...)存在
sum(0, 0, ...) = sum(0+0, 0+0, ...)
= sum(0, 0, ...) + sum(0, 0, ...)
(liear)
sum(0, 0, ...) = 0
若sum stable & linear
若sum(1, 0, 0, ...)存在
sum(1, 0, 0, ...)
= 1 + sum(0, 0, ...)
(stable)
= 1
(linear)
若sum stable & linear
若sum(1, -1, 1, -1, ...)存在
0 + sum(1, -1, 1, -1, ...) + sum(1, -1, 1, -1, ...)
= sum(0, 1, -1, 1, ...) + sum(1, -1, 1, -1, ...)
(stable)
= sum(0+1, 1-1, -1+1, 1-1, ...) = sum(1, 0, 0, 0, ...)
(linear)
= 1
(stable & linear)
sum(1, -1, 1, -1, ...) = 1/2
当然，这只是说当sum(1, -1, 1, -1, ...)存在时需满足的条件
和sum(1, -1, 1, -1, ...)存在与否完全无关
但是的确有stable且linear的方法能求得此和，也就是我们前面定义的sum3
而sum3(1, -1, 1, -1, ...)也的确等于1/2
类似的我们也可以知道对于stable&linear的sum
sum(1, -2, 3, -4, ...)
要嘛不存在，不然就必须是1/4
不过很可惜的
sum(1, 2, 3, 4, ...)存在和
sum stable & linear
两者是矛盾的，也就是任何stable且linear的求和法
都无法算出 1 + 2 + 3 + 4 + ... 的值