八.零点在哪里？
随着Riemann论文中的外围命题——那些被Riemann随手写下却没有予以证明的命题——逐渐得到证明，随着素数定理的攻克，也随着Hilbert演讲的聚焦作用的显现，数学界终于把注意力渐渐投向了Riemann猜想本身，投向了那座巍峨的主峰。
不知读者们有没有注意到，我们谈了这么久的Riemannζ函数，谈了那么久的Riemannζ函数的非平凡零点，却始终没有谈及过任何一个具体的非平凡零点。这也是Riemann论文本身的一个令人瞩目的特点，即高度的言简意赅，它除了没有对所涉及的许多命题给予证明外，也没有对所提出的包括Riemann猜想在内的若干最困难的命题提供任何数值计算方面的支持。Riemann叙述了许多有关Riemannζ函数非平凡零点的命题(比如第五节中提到的三大命题)，却没有给出任何一个非平凡零点的数值！
倘若那些非平凡零点是容易计算的，那倒也罢了，可是就像被Riemann省略掉的那些命题个个都令人头疼一样，Riemannζ函数的那些非平凡零点也个个都不是省油的灯。
它们究竟在哪里呢？
直到1903年(即Riemann的论文发表后的第四十四个年头)，丹麦数学家GørgenGram(1850-1916)才首次公布了对Riemannζ函数前15个非平凡零点的计算结果[注一]。在这15个零点中，Gram对前10个零点计算到了小数点后第六位，而后5个零点——由于计算繁复程度的增加——只计算到了小数点后第一位。为了让读者对Riemannζ函数的非平凡零点有一个具体印象，我们把Gram所计算的这15个零点列在下面。与此同时，我们也列出了这15个零点的现代计算值(保留到小数点后第七位)，以便大家了解Gram计算的精度：
零点序号Gram的零点数值现代数值
11/2+14.134725i1/2+14.1347251i
21/2+21.022040i1/2+21.0220396i
31/2+25.010856i1/2+25.0108575i
41/2+30.424878i1/2+30.4248761i
51/2+32.935057i1/2+32.9350615i
61/2+37.586176i1/2+37.5861781i
71/2+40.918720i1/2+40.9187190i
81/2+43.327073i1/2+43.3270732i
91/2+48.005150i1/2+48.0051508i
101/2+49.773832i1/2+49.7738324i
111/2+52.8i1/2+52.9703214i
121/2+56.4i1/2+56.4462476i
131/2+59.4i1/2+59.3470440i
141/2+61.0i1/2+60.8317785i
151/2+65.0i1/2+65.1125440i
几十年来，这是数学家们第一次拨开迷雾实实在在地看到Riemannζ函数的非平凡零点，看到那些蕴涵着素数分布规律的神秘家伙。它们都乖乖地躺在四十四年前Riemann划出的那条奇异的临界线上。Gram的计算所使用的是十八世纪三十年代发展起来的Euler-Maclaurin公式[注二]。在只有纸和笔的年代里，这种计算是极其困难的，Gram用了好几年的时间才完成对这15个零点的计算。但即便付出如此多的时间，付出极大的艰辛，他在后五个零点的计算精度上仍不得不有所放弃。
在Gram之后，R.J.Backlund于1914年把对零点的计算推进到了前79个零点。再往后，经过Hardy、英国数学家JohnLittlewood(1885-1977)、美国数学家JohnHutchinson(1867-1935)等人的努力(包括计算方法上的一些改进——但主体上仍使用Euler-Maclaurin公式)，到了1925年，人们计算出了前138个零点，它们全都位于Riemann猜想所预言的临界线上。
不过到了这时候，以Euler-Maclaurin公式为主要手段的零点计算也已经复杂到了几乎令人难以逾越的程度，零点计算暂时陷入了停顿状态。
九.Riemann的手稿
随着数学界对Riemann猜想兴趣的日益增加，这个猜想的难度也日益显露了出来。当越来越多的数学家在高不可测的Riemann猜想面前遭受挫折之后，其中的一些开始流露出对Riemann1859年论文的一些不满之意。我们在上文提到，Riemann的论文既没有对它所涉及的许多命题给予证明，又没有给出哪怕一个Riemannζ函数非平凡零点的数值。尽管Riemann在数学界享有崇高的声誉，尽管此前几十年里人们通过对他论文的研究一再证实了他的卓越见解。但在攀登主峰的尝试屡屡遭受挫折，计算零点的努力又举步维艰的情况下，对Riemann的怀疑声音终于还是无可避免地出现了。
于是在承认Riemann的论文为“最杰出及富有成果的论文”之后，我们在第一节中提到过的德国数学家Landau开始表示：“Riemann的公式远不是数论中最重要的东西，他不过是创造了一些在改进之后有可能证明许多其它结果的工具”；于是在为证明Riemann猜想度过了一段“苦日子”之后，上文提到过的英国数学家Littlewood开始表示：“假如我们能够坚定地相信这个猜想是错误的，日子会过得更舒适些”；于是就连用Riemann猜想跟上帝耍过计谋的英国数学家Hardy也开始认为Riemann有关零点的猜测只不过是个猜测而已，nothingmore。“nothingmore”的意思就是没别的了——即纯属猜测，没有任何计算及证明方面的依据。换句话说，数学家们开始认为Riemann论文中写下来的一切大致也就是他在这一论题上所做过的一切，他那猜想的依据只是直觉，而非证据。
那么Riemann猜想究竟是只凭借直觉呢，还是有着其它的依据？Riemann在那篇言简意赅的论文中写下来的东西究竟是不是他在这方面的全部研究呢？Riemann的论文本身当然不可能为这些问题提供答案。那么答案要到哪里去寻找呢？只能到他的手稿中去寻找。
我们曾经提到过，在Riemann那个时代，许多数学家公开发表的东西往往只是他们所做研究的很小一部分。在这种情况下，他们的手稿及信件就成为了科学界极为珍贵的财富。这种珍贵绝不是因为如今人们所习以为常的那种名人用品的庸俗商业价值，而是在于其巨大的学术价值。因为通过它们，人们不仅可以透视那些伟大先辈们的“beautifulmind”(“美丽心灵”)，更可以发掘他们未曾公开过的研究成果，堪称是开挖一座座大大小小的宝藏。
【Göttingen大学图书馆】
那些有幸躲过了管家的火把、又没有被Elise索回的手稿，Dedekind将它们留在了Göttingen大学的图书馆里，这就是如今数学家和数学史学家们可以看到的Riemann的全部手稿(Nachlass)。不幸的是，Riemann手稿的很大一部分却在他去世之后被他可恶的管家付之了一炬，只有一小部分被他妻子Elise抢救了出来。Elise把那些劫后余生的数学手稿大部分交给了丈夫的生前挚友RichardDedekind(1831-1916)。这是我们在后文中将会提到的一位著名的德国数学家。但是在将手稿交给Dedekind之后隔了几年，Elise又后悔了，因为她觉得那些数学手稿中还夹带着一些私人及家庭方面的信息，于是她向Dedekind索回了一部分手稿。在这部分手稿中，有许多几乎通篇都是数学，只在其中夹带了极少量的私人信息——比如一位朋友的姓名等，也不幸遭到了索回。这其中对我们来说最关键的乃是一本小册子，那是Riemann1860年春天在巴黎时的记录。那正是他发表有关Riemann猜想的论文之后的几个月。那几个月巴黎的天气十分糟糕，很多时候Riemann都待在住所里研究数学。许多人猜测，在那段时间里Riemann所思考的很可能与他几个月前所研究的Riemannζ函数及其零点有关联，而那本被Elise索回的小册子中很可能就记录了与Riemann猜想有关的一些想法。可惜那本数学家们非常渴望获得的小册子从此再也没有出现过，直到今天，它的去向依然是一个谜。有人说它曾被德国数学及数学史学家ErichBessel-Hagen(1898-1946)获得过，但Bessel-Hagen死于二战刚结束后的混乱年月中，他的遗物始终没有被人找到过。
自Riemann的手稿存放在Göttingen大学图书馆以来，陆续有一些数学家及数学史学家前去研究。但只要想一想Riemann正式发表的有关Riemann猜想的论文尚且如此艰深，就不难想象研读他那些天马行空、诸般论题混杂、满篇公式却几乎没有半点文字说明的手稿该是一件多么困难的事情。许多人满怀希望而来，却又两手空空、黯然失望而去。
Riemann的手稿就像一本高明的密码本，牢牢守护着这位伟大数学家的思维奥秘。
但是到了1932年，终于有一位数学家从那些天书般的手稿中获得了重大的发现！这一发现一举粉碎了那些认为Riemann的论文只有直觉而无证据的猜测，并对Riemannζ函数非平凡零点的计算方法产生了脱胎换骨般的影响，让在第138个零点附近停滞多年的Euler-Maclaurin方法相形见拙。这一发现也将它的发现者的名字与伟大的Riemann联系在了一起，从此不朽。
这位破解天书的发现者叫做CarlLudwigSiegel(1896-1981)，他是Riemann的同胞——一位德国数学家。
注释
1.由于Riemannζ函数在上半复平面与下半复平面的非平凡零点是一一对应的(请读者自己证明)，因此在讨论时只需考虑虚部大于零的零点。我们把这些零点以虚部大小为序排列，所谓“前15个零点”指的是虚部最小的15个零点。后文中所有此类说法的含义也都是如此。
2.Euler-Maclaurin公式是一个将求和与积分联系起来的公式，它使得人们既可以用积分来逼近求和，也可以用求和来逼近积分，从而是一种很有用的近似计算手段。Euler-Maclaurin公式可以表述为：Σkf(k)=∫f(k)dk+1/2[f(m)+f(n)]+ΣjB2j/(2j)![f(2j-1)(n)-f(2j-1)(m)]。其中左端对(自然数)k的求和从m到n；右端对k的积分从m到n，对j的求和从1到∞；B2k为Bernoulli数(B2=1/6，B4=-1/30，B6=1/42，...)。Euler-Maclaurin公式的成立对函数f(k)有一定的要求。
二零零四年二月十六日写于纽约
二零零四年二月十六日发表于本站
二零一二年一月二十九日最新修订
来源：科学松鼠会