按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
上出现。
不过，我们很容易证明，任何一个这类的声称都是站不住脚的，因为我们一定
还能写出没有包括在这张无穷表格之中的无穷多个小数。怎么写呢？再简单不过了
。让这个小数的第一小数位（十分位）不同于表中第一号小数的第一小数位，第二
小数位（百分位）不同于表中第二号小数的第二小数位，等等。这个数可能就是这
个样子（还可能是别的样子）：
这个数无论如何在上表中是找不到的。如果此表的作者对你说，你的这个数在
他那个表上排在第一百三十七号（或其他任何一号），你就可以立即回答说：“不
，我
作者：wyhsillypig 回复日期：2004…12…23 17：56：00
这个数不是你的那个数，因为这个数的第一百三十七小数位和你那个数的第一
百三十七小数位不同。”
这么一来，线上的点和整数之间的一一对应关系就建立不起来了。也就是说，
线上的点数所构成的无穷大数大于（或强于）所有整数或分数所构成的无穷大数。
刚才所讨论的线段是“1寸长”。不过很容易证明，按照“无穷大数算术”的规
则，不管多长的线段都是一样。事实上，1寸长的线段也好，1尺长的线段也好，1里
长的线段也好，上面的点数都是相同的。只要看看图6即可明了，AB和AC为不同长度
的两条线段，现在要比较它们的点数。过AB的每一个点做BC的平行线，都会与AC相
交，这样就形成了一组点。如D与D，E与E，F与F等。对AB上的任意一点，AC上都有
一个点和它相应，反之亦然。这样，就建立了一一对应的关系。可见，按照我们的
规则，这两个无穷大数是相等的。
通过这种对无穷大数的分析，还能得到一个更加令人惊异的结论：平面上所有
的点数和线段上所有的点数相等。为了证明这一点，我们来考虑一条长1寸的线段A
B上的点数和边长1寸的正方形CDEF上的点数（图7）。
假定线段上某点的位置是0。7512036。。。。。。。我们可以把这个数按奇分位和偶分
位分开，组成两个不同的小数：
0。7108。。。。。。
和
0。5236。。。。。。
以这两个数分别量度正方形的水平方向和垂直方向，得出一个点，这个点就叫
做原来线段上那个点的“对偶点”。反过来，对于正方形内的任意一点，比如说由
0。4835，0。9907这两个数描述的点，我们把这两个数掺到一起，就得到了线段上的
相应的“对偶点”0。49893057。
很清楚，这种做法可以建立那两组点的一一对应关系。线段上的每一个点在平
面上都有一个对应的点，平面上的每一个点在线段上也有一个对应点，没有剩下来
的点。因此，按照康托尔的标准，正方形内所有点数所构成的无穷大数与线段上点
数的无穷大数相等。
用同样的方法，我们也容易证明，立方体内所有的点数和正方形或线段上的所
有点数相等，只要把代表线段上一个点的无穷小数分作三部分，并用这三个新小数
在立方体内找“对偶点”就行了。和两条不同长度线段的情况一样，正方形和立方
体内点数的多少与它们的大小无关。
尽管几何点的个数要比整数和分数的数目大，但数学家们还知道比它更大的数
。事实上，人们已经发现，各种曲线，包括任何一种奇形怪状的样式在内，它们的
样式的数目比所有几何点的数目还要大。因此，应该把它看作是第三级无穷数列。
按照“无穷算术”的奠基者康托尔的意见，无穷大数是用希伯来字母（读作阿
莱夫）表示的，在字母的右下角，再用一个小号数字表示这个无穷大数的级别。这
样一来，数目字（包括无穷大数）的数列就成为
我们说“一条线段上有个点”或曲线的样子有种“，就和我们平常说“世界有
七大洲”或“一付扑克牌有五十四张”一样。
在结束关于无穷大数的讨论时，我们要指出，无穷大数的级只要有几个，就足
够把人们所能想象出的任何无穷大数都包括进去了。大家知道，表示所有整数的数
目，表示所有几何点的数目，表示所有曲线的数目，但到目前为止，还没有人想得
出一种能用来表示的无穷大数来。看来，头三级无穷大数就足以包括我们所能想到
的一切无穷大数了。因此，我们现在的处境，正好跟我们前面的原始部族人相反：
他有许多个儿子，可却数不过三；我们什么都数得清，却又没有那么多东西让我们
来数！
第二章 自然数和人工数
１．最纯粹的数学
数学往往被人们，特别是被数学家们奉为科学的皇后。贵为皇后，它当然不能屈尊俯就其它学科。因此，在一次“纯粹数学和应用数学联席会议上”，当有人邀请希尔伯特作一次公开演讲，以求消除在于这两种数学家之间的敌对情绪时，他这样说：
☆经常听到有人说，纯粹数学和应用数学是互相对立的。这是不符合事实的，纯粹数学和应用数学不是互相对立的。它们过去不曾对立过，将来也不会对立。它们是对立不起来的，因为在事实上它们两者毫无共同之处。☆
然而，尽管数学喜欢保持自己的纯粹性，并尽力远离其它学科，其他学科却一直打算尽量同数学“亲善”，特别是物理学。事实上，纯粹数学的几乎每一个分支，包括诸如抽象群、不可逆代数、非欧几何等一向被认为是纯而又纯、决不能派任何用场的数学理论，现在也都被用来解释物质世界的这个性质或那个性质了。
但是，迄今为止，数学还有一个大分支没找到什么用途（除了起智力体操的作用以外），它真可以戴上“纯粹之王冠”哩。这就是所谓“数论”（这里的数指整数），它是最古老的一门数学分支，也是纯粹数学思维的最错综复杂的产物。（录入者，在计算机加密方面已经有所应用）
说来也怪，这门最纯粹的科学，从某种意义上说，又可以称为经验科学，甚至可称为实验科学。事实上，它的绝大多数定理都是靠用数学试着干某些事情而建立起来的，正如物理学定律是靠用物体试着干某些事情而建立起来一样。并且，数论的一些定理已“从数学上”得到了证明，而另一些却还停留在经验的阶段，至今仍在使最卓越的数学家绞尽脑汁，这一点也和物理学一样。
我们可以用质数问题作为例子。所谓质数，就是不能用两个或两个以上（１除外）较小的整数的乘积来表示的数，如１，２，３，５，７，１１，１３，１７，等等。而１２可以写成2×2×3，所以就不是质数。
质数是没有终极的呢，还是存在一个最大的质数，即凡是比这个最大质数还大的数都可以表为几个质数的乘积呢？这个问题是欧几里得（Euclid）最先想到的，他自己还作了一个简单而优美的证明，证明没有“最大的质数”，质数的展延是不受任何限制的。
☆为了研究这个问题，不妨暂时假设已知质数的个数是有限的，最大的一个用Ｎ来表示。现在让我们把所有质数都乘起来，再加上１。这写成数学式是：
（1×2×3×5×7×11×13×……×N）＋1
这个数当然比我们所假设的“最大质数”N大得多。但是，十分明显，这个数不能被到N为止（包括N在内）的任何一个质数除尽的，因为从这个数的产生方式就可以看出，拿任何质数来除它，都会剩下1。
因此，这个数要嘛本身也是个质数，要嘛就是能被比Ｎ还大的质数整除。而这两种可能性都和原先关于N为最大质数的假设相矛盾。☆
这种证明方式叫做反证法，是数学家们爱用的工具之一。
我们既然知道质数的数目是无限的，自然就会想问一问，是否有什么简单方法可以把它们一个不漏地挨个写出来。古希腊的哲学家兼数学家埃拉托色尼（Eratosthenes）提出了一种名叫“过筛”的方法。这就是把整个自然数列１，２，３，４。。。。。。统统写下来，然后去掉所有２的倍数、３的倍数、５的倍数等等。前１００个数“过筛”后的情况如图９所示，共剩下二十六个质数。用这种简单的过筛方法，我们已经得到了十亿以内的质数表。
如果能导出一个公式，从而能迅速而自动地推算出所有的质数（并且仅仅是质数），那该多简便啊，１６４０年，著名的法国数学家费马（Pierre Fermat）认为自己找到了一个这样的公式。这个公式是
exp（2；exp（2；n））＋1，n取自然数的各个值１，２，３，４等等。从这个公式我们得到：
exp（2；exp（2；1））＋1=5
exp（2；exp（2；2））＋1=17
exp（2；exp（2；3））＋1=257
exp（2；exp（2；4））＋1=65；537
这几个数都是质数。但在费马宣称他取得这个成就以后一个世纪，德国数学家欧拉（Leonard Euler）指出，费马的第五个数不是个质数，而是6；700；417和641的乘积。因此，费马这个推算质数的经验公式被证明是错的。
还有一个值得一提的公式，用这个公式可以得到许多质数，这个公式是：
exp（n；2）…n＋41
n也取自然数各个值１，２，３等等。已经发现，在n为１到40的情况下，用这个公式都能得出质数。但不幸得很，到了第四十一步，这个公式也不得了。
事实上，
exp（41；2）…41＋41
这是一个平方数，而不是质数。
人们还试验过另一个公式，它是：
exp（n；2）…79n＋1601
这个公式在n从１到79时都能得到质数，但当n=80时，它又不成立了！
因此，寻找只给出质数的普遍公式的问题至今还没有解决。
作者：wyhsillypig 回复日期：2004…12…23 21：01：00
数论定理另一个有趣的例子，是1742年提出的所谓“哥德巴赫（Goldbach）猜想”
这是一个迄今既没有被证明也没有被推翻的定理，内容是：任何一个大于2的偶数都能表示为两个质数之和。
从一些简单的例子，你很容易看出这句话是对的。例如；12=7＋5；24=17＋7；32=29＋3，但是数学家们在这方面做了大量工作，却仍然既不能做出肯定的断语，也不能找出一个反证。1931年，苏联数学家史尼雷尔曼（Schnirelman）朝着问题的最终解决迈出了建设性的第一步。他证明了，每个偶数都能表示为不多于300；000个质数的和。“300；000个质数之和”和“2个质数之和”之间的距离，后来又被另一个苏联数学家维诺格拉多夫（Vinogradoff）大大缩短了。他把史尼雷尔曼那个结论改成了“四个质数之和”。但是，从维诺拉多夫的“四个质数”到哥德巴赫的“2个质数”，这最后两步大概是最难走的。谁也不能告诉你，到底是需要几年还是需要几个世纪。（※我国青年数学工作者陈景润又把这个结果推进了一步。他的结论是：任何一个大于2的偶数都可以表示为一个质数和不多于两个质数的乘积之和※）
可见，谈到推导能自动给出直到任意大的所有质数的公式的问题，从现在来看，我们离这一步还远得很哩！目前我们甚至连到底存在不存大这样的公式，也都还没