二、两个有趣的例子

它们是梅森数和费马数。让数学家去关心意义而我们来关心“故事”。

请看下面的等式，
2^2-1=3     2^3-1=7     2^5-1=31   2^7-1=127
    等号的左边都具有如下的形式，
2^n-1
其计算结果被称为梅森数，用符号Mp表示。当然这里的讨论是限于正整数范围之内的，而像3，7，31，127这样的素数被称为梅森素数。需注意的，2^4-1=15，15是梅森数但不是梅森素数。

      1644年，按天干地支的纪年法是甲申年，在中国历史上那一年是多事之秋。北方爆发鼠疫、李自成攻进北京、崇祯自缢、吴三桂引清兵进入山海关等等。也是在这一年，梅森同志宣布：当n分别为2、3、5、7、13、17、31、67、127、257时，2^n-1的计算结果为素数。人们一直没搞清楚他是怎样得出这个结论的，但人们后来搞清了他的结论中都有哪些错误。而这里所要说的只是n=67的情形。

2^67—1=147573952589676412927

       1903年10月，一群数学家在美国开会，有一个叫科尔（Fredrick nelson cole）的家伙，他在黑板上写下了上面那个数，然后他又写了761838257287×193707721，然后他就回到了座位上，然后大家就开始鼓掌。然后这个故事就流传了下来。

       据说在整个过程中没人说过话，如果当时有一位不知情的旁观者，他也许会认为自己恰巧看到了一次疯子的聚会。

       梅森认为哪个有21位的大数是个素数，而科尔却发现它是761838257287×193707721相乘的结果。据说为了这事他苦干了3年，在没有计算机的年代，研究数学也是一项力气活儿。

       按我的想象，从科尔写完最后一个数字，到他返回自己的座位应该不超过3分钟，在短时间内，当时在场的人都对结果进行了验算，不然他们不会鼓掌表示赞同。这就是数学家，没有计算器，没有算盘，不知您能否完成？

       我做不到。但有一个“投机取巧”的方法，87×21=1827；76×19=1444，11+8+2=21。所以，假如有人鼓掌，我若也在场会跟着鼓掌的，俺是一个没有主见的笨人。

       人笨不代表没有阴暗心理，所以我特愿意再八卦一下费马的故事。

       费马给后人留下了很多数学猜想，而它们总是被证明是对的。于是就有了一种很奇诡的事情，比如著名的费马大定理，上个世纪末才最终获得证明，但在这之前，人们已经习惯上称它为“大定理”而不是“大猜想”。一个未获证明的数学命题竟被称为“定理”，据我所知，好像只有费马同志的言论能有这种待遇。作为对比，广为人知的哥德巴赫猜想，没人把它写成“哥德巴赫定理”。虽然陈景润给出了非常近似的证明，但就因为还差一步所以只能是“猜想”。不公平，按郭德纲的话，把费马的糗事再说一遍，让大家痛快一下。据说那是他唯一的糗事。

请看下面5个计算式。
                       
         
计算式的左边有统一的形式：


和梅森数类似，计算的结果称为费马数。

       费马同志相信当n分别遍取自然数时，则式子的计算结果必为素数。实际上当n=5时，结果为：4294967297=6700417×641。他错了！到上世纪80年代末，人们已经知道，对于小于21的情形，除了上面那5个之外，其他结果都是合数。

       通过直观就可以想见，随着n值的增加，计算量将火箭式的增大，每前进一步都是对计算能力的巨大挑战。不过，诚如各位所知，计算机技术一直在进步，特别是互联网技术也在高速发展，如果一台大型计算机的计算能力不够，可以让全世界的计算机联合起来，所以计算不是问题。至今，新的费马素数没有找到。（截止2004年，已知217个费马数是合数。）

       有人认为，对n的所有可能取值，除了前5个的计算结果是素数外，其他的都不是。如果这一点被证明了，那么费马在这事上不仅是糗了，而且是糗大了。

     这可以当作一个自我鞭策的实例。

三、目标和欧拉

素数有无穷多，能否找到一个式子来表示所有的素数？这是很自然的想法。梅森和费马的尝试并不成功，退一步讲，即使成功也仅是表示了部分素数。也许这暗示了他们的思路并不正确。他们给出的计算式有一个共同的特点，即只有一个变量，如果那样的式子存在可能要有多个变量。

或者，永远也不会有一个什么式子可以表示出所有的素数。那么，人们能否发现素数的分布规律？毕竟，从观察可见，随着自然数取值范围的增大，素数越来越少，但绝不会没有。这也可以勉强算作一条规律。别的规律还有吗？

目标之一，表示所有素数的式子；目标之二，素数分布规律的表达式。任何人能解决其一就足以名垂史册。这两个目标近乎是由一个人完成的，他就是欧拉。

莱昂哈德·欧拉（Leonhard Euler），1707年4月15日生于瑞士的巴塞尔，1783年9月18日卒于俄国的彼得堡。莫里斯·克莱因说：他是18世纪数学界的中心人物、占统治地位的理论物理学家，能与阿基米德、牛顿和高斯并列的人。埃里克·坦普利·贝尔（E.T. Bell，1883—1960）说：他是分析的化身，无人能出其右的“算法学家”。拉普拉斯说：读读欧拉，读读欧拉，他是我们大家的老师。

西方的习惯，在事物之前加上人名以表示对首创者的纪念，凡名称中带有“欧拉”二字都是指一个人，如果确实不是他干的，那就是为了纪念他。欧拉=伟大？

据说欧拉的著作量惊人，这世界上真的有人曾经写论文就像写小说，最后搞得著作等身。欧拉的著作纯按数量计算，接近世界三大小说家著作量的总和。权威的数值没找到，百度上查了一下，我喜欢其中的一个统计结果，论文和书籍共：888。不仅吉利还可以“名正言顺”地“八”。

八卦一下，下面这个式子的最终结果是什么？

1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋……

在欧拉的时代有三种答案。

其一：（1－1）＋（1－1）＋（1－1）＋（1－1）＋（1－1）＋（1－1）＋……=0



其二：1+（－1+1）+（－1+1）+（－1+1）+（－1+1）+（－1+1）+（－1+1）＋……=1

或：1－（1－1）－（1－1）－（1－1）－（1－1）－（1－1）－（1－1）－……=1



欧拉认为，因为：

1/（1－X）=1+X+X2+X3+X4+X5+……

当X=﹣1时，

1/2=1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋1－1＋……



人一定会输给时间。

四、欧拉的式子

下面是一个著名的等式，它是由欧拉发现的。

1+1/2s+1/3s+1/4s+1/5s+1/6s+1/7s+1/8s+1/9s+……=

[1/(1-1/2s)]×[1/(1-1/3s)]×[1/(1-1/5s)]×[1/(1-1/7s)]×[1/(1-1/11s)]×[1/(1-1/13s)]×……



符号化的写法，


其中，S大于1，Pn表示素数。

在式子中，等号的右侧包含了全部素数，如果我说这就是关于素数的表达式，恐怕没有一个数学家会同意。如果我再说这是史上有数的几个伟大等式之一，恐怕读者也会拍砖了。

但这确实是一个了不起的等式！是这个式子首先给出了素数的积性关系。就像一把打开宝库的钥匙，它是促成素数定理的原因之一，而素数定理则指明了素数在自然数域的分布规律。它还是多个数学分支产生或发展的基础。当然，它是黎曼猜想的直接起点，这在后面会述及，而对其他内容的较详尽讨论这里就从略了。

素数有无穷多个，利用这个式子欧拉给出了一个全新的证明，不过却是“间接”的，其大致的思路是，让S=1，显然等式左边是发散的，若素数是有限的，则等式就不成立了。我个人以为这与其说是证明不如说是一个说明。实际上，自欧几里得以后，关于素数无限的证明有很多种，欧拉的证明并不受到数学家们的特别推崇。

等式本身的深刻内容是欧拉之后的数学家逐渐发现的，而欧拉本人除了利用式子再次证明了素数是无穷的，另一项内容就是说明了S必须是大于1的。他对式子的研究可以用浅尝辄止来形容，至于为什么，以及他是如何想到这个式子的，我并不清楚。不过如下的信息大约可以提供一些端倪。

其一，在得出等式的5年之前，正是欧拉证明了第6个费马数是合数，即前面提到的4294967297=6700417×641。这也许促使他有了新想法。附带一句，欧拉也给出过一个计算式，X2+X+41，至今，人们已经知道，虽然这个式子仍然不能表示出全部素数，但只要是形如X2+X+n的式子，欧拉的结果已然是最好的了。

其二，在得出等式的约2年之前，他已经解决了著名的巴塞尔问题，即求正整数平方的倒数的累加和。结果是π的平方除以6，见下式，


其三，正整数倒数的累加和，其结果是发散的，这一点欧拉显然是知道的，结合上式，想到等式的左侧形式对欧拉而言应该是情理之中的事。

18世纪的数学家，对于无穷级数和有关概念并不如我们今天这样清晰，而欧拉也确曾表示过只有收敛的级数才有应用的意义，也许他是倾向于把级数看作为一种“多项式”。再有，考虑到欧拉在数学上的多方面贡献以及爱好的广泛（包括文学），数学家中的劳模恐怕也没有时间在一个问题上做更多的思考，毕竟生命是有限的。

人总是会输给时间的。

五、补注和欧拉的证明

不喜欢数学的可以跳过这一节，当然，这也意味着您不怕被我上面的文字给忽悠了。



A、调和级数，其中经典的形如：

1+1/2+1/3+1/4+1/5+1/6+1/7+1/8+……       ①

它是发散的，其证明可将某些项更改后成为下式，

1/2+1/2+（1/4+1/4）+（1/8+1/8+1/8+1/8）+……=1+1/2+1/2+1/2+…… =M/2   ②

当M为无穷时，式②为无穷，显然，式①大于式②，故发散。

按莫里斯·克莱因的说法，这个证明最早是由法国的奥雷姆（Nicole Oresme 1323-1382）做出的。现在是有关教科书上的“标准讨论”形式。曾见王元先生的一本著作，里面的证明对级数的第一项未作变动，当然这不影响结论，但细究起来，上面的更不失于一般性，至少我见到的，辛钦也是这样的思路。另，奥雷姆的出生时间有多种说法，这里取克莱因的，他的名字好像还可以翻成“你抠了”。J



B、借用哈代的说法，我们可以问，其一，对于第N个素数是否能有一个表达式；其二，对某个任意的素数，是否能用小于它的所有素数来表示。如果答案存在，可能就是数学家认同的素数表达式。目前已知的，素数集合是丢图番集。是解决希尔伯特第十个问题的“副产品”，上帝也搞捆绑销售？另，若您真的准备研究数论，搞清问题是第一步，而问题的恰当表述是成功的前提之一，哈代的说法尚嫌写意，而我的措辞则更不足论。不过，就是喜欢欧拉的那个等式，所以那就是素数的表达式。‘这也没有枪毙的罪过’，至少郭德纲不会让徒弟打我。J

C、假定A和B为互素数，那么，由它们所构成的任何一个算术序列，如：

A，A+B，A+2B，A+3B，A+4B，… A+nB，…

其中必包含无穷多的素数。比之欧拉的等式，这是更一般性的结论。欧拉本人也曾提出过这个猜想，最终，1837年，由狄利克雷（Dirichlet，1805.2.13—1859.5.5）给出了正确的证明，那已经是欧拉提出他的等式一百年之后了。



D、“八卦欧拉”中的内容其实是一个好例子。至少，可以用于直观地理解什么是‘有界但无穷’，以及，无限不一定是有限的自然延伸，等等。



关于等式的证明，重写欧拉的等式，


个人以为欧拉的证明很精巧，颇值欣赏，其证明与埃拉托色尼（Eratosthenes，约公元前275年—前194年）筛法有神似之处。埃拉托色尼筛法广为人知，即，先写出从2开始的自然数，然后依次去掉2的多倍数、3的多倍数、5的多倍数、7的多倍数……，在某个数上停止，小于该数的那些数即为素数，当然更准确的是小于其平方的数都为素数。（这里‘多倍数’是指大于1的整倍数。）其中的原理可大致表达为：素数的多倍数不是素数，从自然数集中依次去掉它们，所剩的就是素数。

现依其思路重述，由等式的左边内容可以得下式，


其中用符号ζ(S) 代表式中右侧的内容，据说就是欧拉首先采用的。

现用1/2s乘以ζ(S)，再用结果去减ζ(S)，同时as×bs=(a×b)s，则得：


第二步，（1-1/2s）ζ(S)【即上式】乘以1/3s，其结果去减（1-1/2s）ζ(S)【上式】，则得：


第三步，上式乘以1/5s，并重复前步骤，得：


    第四步，乘以1/7s，并重复前过程，得：

    ……

上述运算进行下去，右侧的值会越来越接近于1，最终会得到，


保留上式左侧的ζ(S)，其他转移到右侧，于是右侧的内容就是欧拉等式中右侧内容的展开形式。讨论结束。

不只是我一个人喜欢欧拉的这个等式，有人甚至将它称为“欧拉恒等式”，不过，按照一般的习惯是指另一个等式，它自然也是欧拉发现的。一个人创作的内容太多，以至于人们难以用不同的名字将它们区别开，史上好像只有欧拉做到了。欧拉恒等式：


换一种形式，


它被称为数学中最漂亮的公式，通过一个式子就将几个基本量联系起来了。

文章没贴完，悲剧啊！不会编辑图片，那位肯施以援手？先谢了！