GG1CwF4qdlg.jpg

Introduction

我们知道，无穷级数中1 + 2 + 3 + 4 + … 为所有自然数的和，是一个发散级数，尽管这个级数的和第一眼看起来不会有任何有意义的值，透过黎曼ζ函数正规化与拉马努金求和等方法可产生一有限值，即为-1/12，表示为：

1 + 2 + 3 + ... = -1/12

此结果在复分析、量子力学及弦理论等领域中有所应用。

The process of proof

T1 = １－１＋１－１＋１－１+ …
T2 = １－２＋３－４＋５－６+ …
T = １＋２＋３＋４＋５＋６＋ …

也就是说，T是我们要解的问题，而另外两个数列是用来求解T的过程中需要用到的工具，一旦能解开T1、T2，T便能迎刃而解。

---

那么，就先来看看T1，

T1＝１－１＋１－１＋１－１＋…

你看到这个问题，直觉会认为答案应该是「0」，因为：

T1＝（１－１）＋（１－１）＋（１－１）＋…
　  ＝（　０　）＋（　０　）＋（　０　）＋…

如果像上头一样把所有的１、－１全部用括弧分组，那么每组括弧里刚好可以正负相抵，最后T1的答案是０。然而，我们也可以把括弧的位置调整一下，那么T1将可以写成下头的形式：

T1＝１+（－１＋１）+（－１＋１）＋（－１＋１）…
　  ＝１+（　０　）＋（　０　）＋（　０　）…

咦！？原本答案应该是「０」的计算式，瞬间变成了「１」！

「不知道是奇数还是偶数，那就加起来取平均吧！所以答案是０.５！」

不知道这个说法？你是否可以接受呢？

cd17f6f9f68fb9b133a76eb3088dfa65.JPG

「因为不确定是０或是１，就取平均值当答案，这未免太随便了！」相信你应该是怎么想的，不过如果T1＝０.５的结果不成立，那么接下来的推演就无法继续下去了！

事实上，要证明这个结果，除了用取平均的方式外，还有其他的方式。

另一种T1的解法如下：

首先，用１減去Ｓ1：

１－T1 ＝ １－（１－１＋１－１＋１－１＋…）
　　　  ＝１－１＋１－１＋１－１＋１＋…
　　　  ＝ T1

→　2T1 ＝ １
→　T1 ＝０.５

除了这两种方式外，也还存在其他证明方式，总之T1＝１／２应该是没有太大疑问的。

---

接著我们来看T2

首先，这是T2：

T2 ＝ １－２＋３－４＋５－６＋…

那么，两倍的T2，把第二个 T2 往后顺延一格，即〔〕中的内容：

２T2 ＝ T2 ＋ T2
　　  ＝１－２＋３－４＋５－６＋…
　      ＋〔１－２＋３－４＋５－６＋… 〕

如果把两列的纵向数字（标记成同色以方便比较）直接相加：

2 T2 ＝ T2 ＋ T2
　　  ＝１－２＋３－４＋５－６＋…
　      ＋〔１－２＋３－４＋５－６＋…〕
　　  ＝１－１＋１－１＋１－１＋１…

看到「１－１＋１－１＋１－１＋１」，那不就是上头出现过的T1

于是乎：

２T2  ＝ １－１＋１－１＋１－１＋１…
　　    ＝ T1
　　    ＝１／２

→　T2  ＝１／４

---

最后，终于到关键的 T 了，这次从「T－T2」出发：

T － T2 ＝ １＋２＋３＋４＋５＋６＋… 
      －〔１－２＋３－４＋５－６＋…〕
　　　 ＝ ０＋４＋０＋８＋０＋１２＋…

当 T 减去 T2 时，由于两个数列的奇数项是一致的，相减后为０；偶数列的数字相等，但正负号相反，相减后变为两倍，因此变成「4、8、12 …」以４逐渐增加的等差级数。在此，如果把４提到外头：

T － T2 ＝ ４〔　１＋ ２＋ ３ ＋ …　〕

括弧中的「１＋２＋３＋…」不就是T自身吗，然又 T2 ＝１／４，因此：

T － T2 ＝ 4T

→　3T ＝ －T2 ＝ －１／４
→　　T ＝ －１／１２

→　　T ＝ １＋２＋３＋４＋５＋６＋… ＝ －１／１２

History

在拉马努金写给戈弗雷·哈罗德·哈代的第二封信中（日期为1913年2月27日）：

“亲爱的先生，我很感激地读到你1913年2月8日的信。我等待您的答复，类似于一个伦敦的数学教授写信要我仔细研究布罗米奇的“无穷级数”而不要陷入发散级数的陷阱。……我告诉他，在我的理论中一个无穷数列 1 + 2 + 3 + 4 + … = -1/12。如果我告诉你这个，你肯定会劝我进精神病收容院。我向你细说此事只是使你相信，如果我暗示我只在一封信中所写的行数，你不可能找出我证明的方法。”

Extended reading

欧拉对 1 + 2 + 3 + · · · = −1⁄12 的证明

原文地址：www.iooy.com