作者：乔治·伽莫夫
出版社：江苏凤凰文艺出版社
格式: AZW3, DOCX, EPUB, MOBI, PDF, TXT
从一到无穷大试读：
1961年版前言
无论是哪种科学书籍，在出版几年后，都难逃过时的命运。而《从一到无穷大》无疑是幸运的。这本书出版于13年前，是我在科学刚刚取得了一些重大进展时写成的。因此在这本书中，我将那些重大进展都写了进去。换句话说，我并不需要做太多的修改和补充，就能使它跟得上时代的潮流。
比如我在这本书中写过的重大进展，其中有一项是，利用氢弹爆炸的形式，通过热核反应，人们已经成功释放出了原子能，并且一步一个脚印，正在缓慢而坚定地朝着既定的目标——通过受控热核过程和平利用核能——前进。关于热核反应的原理，以及它在天体物理学中的应用，我在本书第一版的第十一章中已经有过描述，因此如果想要对人类朝着这一目标前进的过程加以讨论，只需在第七章的结尾处稍作补充。
当然，除此之外，还会有其他一些变动。这些变动与加利福尼亚帕洛马山上那台新望远镜所进行的探测有关。通过这台新的200英寸的海尔望远镜，人们对宇宙年龄的认识发生了改变，从过去的二三十亿年增长到了五十亿年。另外，这台望远镜还对天文距离的尺度进行了修正。
再有，因为生物化学最近取得的进展，我必须将图101重新绘制一遍，并对与之有关的文字进行修改，还要在第九章的结尾处补充一些新资料，这些资料都与“合成简单生命有机体”这一课题有关。在第一版中，我曾写道：“没错，在生命与非生命之间，肯定存在过渡的一步。如果在未来几年，某位生物化学家——他必定具有天才般的头脑——能利用普通的化学元素合成一个病毒分子，那么他将有权向世界宣布：‘我已经在一块死物质中成功地注入了生气！’”其实，加利福尼亚州几年前就已经有人能够做到这一点了，或者更准确地说，是差不多做到了。关于这项工作，我在第九章的结尾处进行了简要的介绍。
还有一个改变是，我将这本书的第一版献给了我的儿子伊戈尔，在书中，我曾提到过“他想当一个牛仔”。后来，我收到很多读者的来信，询问我伊戈尔是否实现了自己的梦想。在此我不得不告诉大家，并没有。事实上，他现在正在攻读生物学，并将于明年夏天毕业。至于以后，他打算从事遗传学方面的研究。乔治·伽莫夫科罗拉多大学1960年11月
第一版前言
在这本书里，我们将讨论很多问题，比如原子、恒星和星云是怎样构成的，比如熵和基因是什么东西，它们是否能令空间发生扭曲，还比如火箭收缩的原因等。当然，除此之外，我们还会讨论许多其他同样有趣的事物。
在现代科学中，有许许多多有趣的事实和理论，我想将它们收集起来，并且从微观和宏观两个方面，将今天科学家们所看到的宇宙的总体图景展现在读者面前。这就是我写这本书的原因。毫无疑问，这项计划所涵盖的范围极其广泛，如果每个故事、每处角落都必须详细地讲述一遍，那无论我怎么做，这本书最后都会变成一套有许多卷的百科全书。所以，我打算化繁为简，只选取其中一些主题来讨论。这些主题简要地涵盖了基础科学知识的所有领域，并没有什么遗漏。
不过，在这本书中，对这些主题的介绍会有某种失衡，比如有些章节简单易懂，就算是孩子也不会有什么疑问，而另一些章节会略显晦涩，要想完全理解，就必须集中所有注意力去研究。为什么会这样呢？是因为在选取书中主题时，我看的是它重不重要、有不有趣，而不是它够不够简单。但不管怎么说，我还是希望在阅读这本书时，哪怕是那些对基础科学知识没什么了解的人，也不会遇到太大困难。
大家应该已经发现了，本书后半部分对“微观宇宙”和“宏观宇宙”进行了讨论，但在篇幅上，后者要比前者短得多。之所以会这样，是因为在《太阳的诞生与消亡》（The Birth and Death of the Sun）和(1)《地球自转》（Biography of the Earth）两书中，我已经对与宏观宇宙有关的种种问题进行了详细的讨论。所以在这本书里，我不想再重复这一方面的内容，否则很容易因枯燥乏味而令读者感到厌烦。因此，我在这一部分只是像平常那样，对行星、恒星和星云世界里的物理事实及事件，还有支配它们的客观规律，进行了一下简要的论述。当然，我也会对一些问题进行较为详细的讨论，这些问题无一例外，都是随着近几年科学知识的发展而逐渐明晰起来的新问题。在这些新问题中，有两个方面的新观点最为吸引我的目光。一个是巨大的恒星爆发，也就是所谓的“超新星”，是由物理学中已知的最小粒子——中微子——引起的。另一个是新的行星形成理论。在此之前，大家普遍认为行星的诞生是因为太阳与其他恒星发生了碰撞，但新理论却完全摒弃了这一观点，反而对康德和拉普拉斯那几乎被世人遗忘的旧观点大加肯定，甚至使其重新确立起来。
在此，我要对很多艺术家和插画师表示感谢，因为这本书中有许多插图正是以他们的拓扑变形作品为基础的（见第三章）。我尤其要感谢玛丽娜·冯·诺伊曼（Marina von Neumann）。这位年轻的朋友总是说，无论在哪个方面，她都比她颇负盛名的父亲要懂得多。当然，只除了数学。她认为她的父亲在这方面倒是能和她打个平手。她在看过这本书的部分手稿后对我说，里面有很多东西她都无法理解。原本，我写这本书是打算给孩子们看的，可因为她的这句话，我不得不打消了这个念头，并转而将它写成了现在的这个样子。乔治·伽莫夫1946年12月1日(1) 《太阳的诞生与消亡》出版于1940年，《地球自转》出版于1941年。两书均由纽约海盗出版社出版。——原注第一部分数字游戏第一章 大数一、你能数到几？
有一个故事，讲的是两位匈牙利贵族做游戏的事。他们做的是一个数字游戏——看看谁说出的数最大。“没问题，”其中一位贵族说，“你先开始吧！”
另一位贵族苦苦思索了一阵子，几分钟后终于说出了他能想到的最大的数字：“3。”
现在轮到第一位贵族了，他飞快地转动脑筋，苦思冥想了好半天，最后竟决定弃权，他说：“我认输！”
显然，这两位匈牙利贵族的智力并不发达。又或者，这原本就是一个讽刺故事。不过如果将故事中的匈牙利人换成南非的霍屯督人，上述对话或许就会有几分可信性。事实上，据一些非洲探险家说，很多霍屯督人都不知道该怎样表达比3大的数。如果你问当地的土著，他有几个儿子或者杀死过几个敌人，只要答案超过3，他就会用“很多”来回答。可见，单从数数这点上来看，霍屯督的勇士们甚至还不如我们幼儿园里的小孩子，这些小孩子至少还能数到10呢！
现在，我们总是习惯性地认为，我们想把一个数写成多大，就能把它写成多大。如果我们想要一个大数，只要在这个数的右边加上足够的零就可以了，不管是用分来表示战争的开销，还是用英寸来表示星体间的距离。你可以不停地写下去，一直写到手腕酸软无力。不知(1)不觉间，你就会得到一个比宇宙中的原子总数，也就是300 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 ，还要大的数。74
其实，上面这个原子总数还有一种更简短的写法，即3×10。在这个式子中，10右上角的小数字74表示的就是3后面一共有多少个0。换句话说，也就是3要用10乘上74次。
不过在古代，人们并不知道这种能令“算术化繁为简”的方法。事实上，这种方法最早出现在一千多年前，是一位不知姓名的印度数学家发明的。虽然很多时候我们意识不到，但这确实是一项伟大的发明。在此之前，在表示每一个十进制单位时，人们会使用一个特殊的符号。当人们想要写一个数时，就反复书写这个符号。比如，古埃及人在写8732这个数时，会把它写成：
而在恺撒政府中，那些职员会把这个数写成：
MMMMMMMMDCCXXXII
对我们来说，第二种写法并不陌生，因为就算到了今天，在表示书籍的卷数或章数时，在庄严的纪念碑上记录历史事件的日期时，我们还是会用到这种罗马数字。不过在古代，人们计数最多不过几千，所以并没有符号来表示更高的十进制单位。也就是说，哪怕是一个在算术方面经受过很多训练的古罗马人，也很难写出一个像“一百万”这样的大数。如果非要让他写一个“一百万”，他能想到的最好的办法大概就是花费几个小时写下一千个M。
在古代人眼中，像天上的星、海里的鱼、岸上的沙这样的大数，都是“不可计数”的，就好像在霍屯督人眼中，像“5”这个数也是“不可计数”的，因此只能用“很多”来表示一样。
可是，在公元前3世纪，有一位声名远播的科学家曾开动他那天才的大脑，得出一个伟大的结论，即就算是巨大的数，也是有可能被写出来的。这位科学家就是阿基米德（Archimedes）。在《数沙者》（The Psammites）一书中，他说：图1一个样貌和恺撒颇为相像的罗马人正在写“一百万”，他使用的是罗马数字，因此哪怕他将墙上的那块板全部写满，最多也不会超过“十万”。
在一些人眼中，沙粒的数目无穷无尽，根本数不过来。这里所说的沙粒是指地球上有人烟处和无人烟处能找到的所有沙粒，而不单是指锡拉库萨周围以及整个西西里岛的沙粒。而在另一些人眼中，这个数目是可以数出来的，并非无穷无尽，只是他们不知道该怎样来表示这种比地球上沙粒数目还要大的数。如果将地球想象成一个大沙堆，并用沙粒填满那些海洋和洞穴，使它们变得像最高的山一样高，那持有第二种观点的人一定会更加确信，像这样堆积起来的沙粒，它的数目是根本无法表示出来的。可是现在，我要告诉大家的是，如果使用我所命名的各种数，无论是像上述方法那样填满整个地球的沙粒数，甚或是填满整个宇宙的沙粒数，都是可以表示出来的。
在这部有名的著作中，阿基米德提出的计大数的方法与现代科学中使用的方法颇为类似。当时在古希腊的算术中，最大的单位是“万”。阿基米德由此开始，引入了“亿”“亿亿”“亿亿亿”等分别作为“第二级单位”“第三级单位”和“第四级单位”……
如果专门用几页的篇幅去谈论怎样写出一些大数，似乎有些小题大做，但不可否认，在阿基米德所处的那个时代，能够找到写出大数的办法，确实是一项了不起的发现，为数学的发展做出了很大的贡献。
要想填满整个宇宙，究竟需要多少沙粒呢？如果想回答这个问题，阿基米德必须先弄清宇宙的大小。当时，人们认为宇宙被一个水晶天球包围着，这个天球上附有恒星。在阿基米德所处的那个时代，有一位著名的天文学家，来自萨摩斯的阿里斯塔克斯（Aristarchus of Samos）。据他估算，地球距离天球表面大概有10 000 000 000斯(2)塔蒂亚远，也就是1 000 000 000英里。
知道了天球的尺寸后，阿基米德将它与沙粒相比，进行了一系列复杂的计算——如果高中生看到这样的计算，恐怕会被吓得做噩梦——最后得出结论说：
如果按阿里斯塔克斯所估算的天球包围的空间来看，很明显，填(3)满这个空间所需要的沙粒数不会超过一千万个第八级单位。
这里有一点必须注意，即与现代科学家所观测到的宇宙半径相比，阿基米德当时估算的数值要小得多。事实上，10亿英里只不过刚刚超过太阳到土星的距离。也许以后通过望远镜，我们会发现宇宙的边缘在5 000 000 000 000 000 000 000英里远的地方。要想填满这100样一个宇宙，我们需要的沙粒数大概会超过10（即1的后面有100个0）。74
在本章的开头，我们曾提到过宇宙中的原子总数，即3×10。与100这个原子总数相比，10显然要大得多。为什么会这样呢？是因为宇宙中并非塞满了原子，实际上，宇宙的每一立方米空间中，才平均只有一个原子。
将整个宇宙都填满沙粒，显然是一种极端的做法。如果我们只是想得到一个足够大的数，其实并不一定非要这么做。事实上，很多看似简单的问题中也隐藏着巨大的数字，只不过事先我们是绝对想不到这一点的，只会以为它最大不过几千。
印度的舍罕王（King Shirham）就曾在大数上吃过亏。这件事发生在很久很久以前，相传，当时舍罕王打算奖赏发明了国际象棋并将这种象棋献给他的首席大臣施宾达（Sissa Ben Dahir）。这位大臣十分聪明，表面看来，他提出了一个很容易就能满足的要求。他跪在地上，对面前的国王说：“陛下，请赏赐给我一些麦子。我希望您能在这张棋盘的第一个小格内放进一粒麦子，在第二个小格内放进两粒，在第三个小格内放进四粒，在第四个小格内放进八粒，之后每一个小格内都像这样，放进比前一个小格多一倍的麦子，直到放满棋盘上的64个小格为止。请您就把这些麦子赏赐给我吧！”图2聪明的数学家——首席大臣施宾达正在请求印度舍罕王的赏赐。“我的臣子，你竟然只要这么点儿东西，”国王心中暗喜，他虽然因这项神奇的发明而大方地许下赏赐，但如果这赏赐并不需要他破费多少，那无疑是件值得高兴的事，“你的要求肯定会得到满足。”国王说着就命人拿来了一袋麦子。
可令人没想到的是，按照施宾达的方法，第一个小格内放一粒麦子，第二个小格内放两粒麦子，第三个小格内放四粒……结果还没放到第二十个小格，那袋麦子就见底了。之后不断有人将麦子送到国王面前，一袋又一袋，但每个小格所需的麦子数也在不断增长，而且速度极快。所以没过多久大家就看出来了，即使把整个印度的所有麦子都拿来，也满足不了施宾达的要求，国王对施宾达许下的承诺根本无法实现。因为要想按这种方法填满棋盘上的64个小格，至少需要18 (4)446 744 073 709 551 615粒麦子！
这个数虽然不能与宇宙中的原子总数相提并论，但也算是一个很大的数了。如果1蒲式耳小麦有5 000 000粒，那么要想满足施宾达的要求，就需要4万亿蒲式耳的小麦，这几乎相当于全世界在两千年内所产出的全部小麦。舍罕王根本没有料到，这位首席大臣索要的“一些小麦”竟是这么多，等他明白过来时，已经欠了这位聪明的大臣好大一笔债。这要怎么办呢？是忍受施宾达无休止的催讨，还是干脆杀掉他呢？我觉得舍罕王大概会选择后者。
还有另一个故事，也是由大数当主角，而且同样发生在印度。这个故事和“世界末日”有关。历史学家鲍尔（W.W.R.Ball）是位数学(5)爱好者，他是这样讲述这个故事的：(6)
在瓦拉纳西那座伟大的、标志着世界中心的神庙的穹顶下，安放着一个上面固定着3根宝石针的黄铜板。这3根宝石针每根的粗细和蜜蜂的身体差不多，每根的高度能达到1腕尺，也就是差不多20英(7)寸。创世时，在其中一根宝石针上，梵天放置了64个金片。这64个金片摞在一起，从上到下面积依次增大，也就是说位于底部紧挨着黄铜板的金片是最大的。这就是所谓的梵塔。
无论是白天还是黑夜，都有一位值班的僧侣按照梵塔固定不变的法则——每次只能移动一片，而且必须保证，不管在哪根宝石针上，金片摞起来的方式都是下面的大上面的小——将这些金片从一根针上移动到另一根针上。等到这64个金片全都移动到另一根宝石针上时，不管是梵塔、神庙，还是众婆罗门，都将随着一声霹雳化为灰烬，世界也将随之毁灭。图3在巨大的梵天雕像前，一位僧侣正在解决“世界末日”的问题。值得注意的是，为了方便，图中所画的金片并不够64个。
图3描绘的就是故事里的景象，不过值得注意的是，图中并没有将64个金片全部画出来。事实上，像这样一个“玩具”并不难制作，你只需要用一些硬纸片和长铁钉来代替传说中的金片和宝石针就行了。而当你开始按照梵天的法则移动那些金片，很快就会发现一个规律，即移动每个金片的次数总要比移动上个金片的次数增加一倍。也就是说，移动第一个金片时只需一次，之后每移动一片，其移动的次数都会按几何级数加倍。这样一来，当你移动到64片时，需要移(8)动的次数就会和施宾达想要的麦子数一样多！
要想将梵塔上的64个金片全都移动到另一根宝石针上，到底需要多长时间呢？我们假设僧侣们不眠不休，每秒都移动一次，按一年约有31 558 000秒来算，要想完成这项工作，大概需要58万亿年。
上述关于世界末日、宇宙寿命的预言纯属传说，但这并不妨碍我们将它与现代科学所做的预言进行对比。根据现在的宇宙进化论，我们可以得知，恒星、太阳以及行星都是在大约30亿年前由没有具体形态的物质形成的。我们的地球同样如此。而为恒星，特别是为太阳提供能量的“原子燃料”大概还能维持100亿到150亿年（详情见“创世纪时期”一章）。因此可以肯定，我们所处的宇宙，其寿命最多不超过200亿年。这与印度传说中预言的58万亿年相差甚远，不过后者毕竟是传说，又怎么能当真呢？图4一台刚刚准确印出一行莎士比亚诗句的自动印刷机。
提起与文学作品有关的最大的数，大概就不能不提那个著名的“印刷行数问题”了。假设我们制造了一台可以连续印刷出一行行文字的印刷机，而且这台印刷机在印刷每一行文字时，都能够自动选择字母和其他印刷符号的组合。像这样的一台印刷机，上面应该会有很多可以分离的轮盘，这些轮盘像汽车的里程指示表中的数码盘那样装配在一起，每个轮盘的边缘都刻满了字母和符号，当一个轮盘转动一周时，就会带动下一个轮盘向前移动一个位置。每发生一次移动，纸张都会通过滚筒自动送入盘下。要想制造这样一台自动印刷机，其实并不是什么难事。它大概就是图4的这个样子。
将这台机器打开后，它会一直不停地印刷出东西来，现在就让我们来看看其中都有什么吧！这些东西大部分都不具备什么实际意义，比如“aaaaaaaaaaaa…”“boobooboobooboo…”或是“zawkpopkossscilm…”等。
但是不要忘了，这台机器的功能十分强大，只要是我们能想到的字母和符号的组合，它都能印刷出来。所以在这些没什么意义的句子中，我们总能找出一点儿有意思的东西来。当然，有意思并不代表有用，事实上，有些句子并不能起到什么实际的作用，比如“horse has six legs and…”（马有六条腿，并且……）或者“I like apples cooked in terpentin…”（我喜欢松节油煎苹果……）。
不过，只要我们有足够的耐心，一直找下去，就一定能发现莎士比亚曾写下的每一句话。哪怕是他写完扔掉的那些，我们也能发现。
事实上，自人类学会写字以来，我们所能写出的每一句话，这台机器都可以印刷出来。也就是说，这台机器可以印刷出我们所写的每一句散文、每一句诗歌，报纸上的每一篇评论、每一个广告，每一卷厚厚的学术论著，每一封情书，每一份订奶单……
更神奇的是，我们写过的它能印刷出来，我们没有写过但未来很可能会写的那些东西，它也能印刷出来。我们从滚筒下的纸张上可以找到30世纪的诗歌，找到未来科学的发现，找到第500届美国国会上的演讲，找到关于2344年星际交通事故的报道，找到那些尚未被人创作出来的长篇小说和短篇小说。如果出版商们能有这样一台机器，只需将它放在地下室里，让它不停地印刷，然后对它印刷出的那些文字进行筛选，抛弃那些没什么意义和作用的东西，只留下极少数的好句子，再将它们编辑在一起就可以了。事实上，这和他们现在所做的工作并没有什么区别。
可为什么没有人这样干呢？
在英语字母表上共有50个字符，其中包括26个字母、10个数字（0到9）和14个常用符号（句号、逗号、冒号、分号、问号、感叹号、破折号、引号、省略号、空白符、连字符，以及大中小三种括号）。如果我们假设这台打印机上有65个轮盘，每个轮盘都对应印刷行上的一个位置。印刷出的每一行的第一个字母，可以是50个字符中的任意一个。也就是说，这个字母有50种可能性。而该行第二个位置的字符，对应这50种可能性的每一种，又有50种可能性。也就是说，仅前两个字符的排列组合就有50×50=2500种。而第三个位置的字符，对应前两个字符的每一种排列组合，仍然有50种选择。按这种方式数下去，打印一整行字符时，它的可能性就有：
50×50×50×50×…×50（65个50相乘）6565110
也就是50种，而50=10。
这个数究竟有多大呢？你可以想象一下，如果宇宙中的每个原子74都是一台独立的印刷机，那在同一时间，就有3×10台印刷机在工作。再想象一下，假设自宇宙诞生以来，这些机器就一直在不停地运转。17也就是说，它们已经运转了30亿年，即10秒。而且在运转时，它们15印刷的频率与原子振动的频率是一致的，每秒可以印刷出10。那么741715106这些机器到了今天，大概可以印刷出3×10×10×10=3×10行。这个数虽然很大，但与上面那个总数相比，仍然相差甚远。事实上，这个行数大概只是那个总数的三千分之一而已。
由此可见，那些出版商必须花费极其漫长的时间，才能在这些自动印刷出来的字符中做出某种选择。二、无穷大该怎样计数
在上一节中，我们对一些数进行了讨论。在这些数中，有很多是毫无疑问的大数，比如像施宾达想要的麦子数。只是，这些大数虽然大得不可思议，但毕竟是有限的，只要我们的时间足够充裕，早晚能将它完整地写出来。
可是，在这些有限的大数之外，其实还存在着一些无论我们花费多长时间，都没办法完全写出来的无穷大数，比如“所有数的个数”“一条线上所有几何点的个数”。对于这些数目，我们除了说它们是无穷大的还能说什么呢？难道还能把这两个不同的无穷大数拿过来比比看哪个更大吗？有这种可能吗？“所有数的个数和一条线上所有几何点的个数究竟哪个更大？”这是一个有意义的问题吗？乍看之下，这个问题确实有些荒诞离奇，不过却引起了格奥尔格·康托尔（Georg Cantor）的注意。这位著名的数学家是最先思考这个问题的人，因此，他算得上是“无穷大算术”名副其实的奠基人。
无穷大数既读不出来也写不出来，那么该如何去比较呢？这是我们在比较无穷大数大小时必须面对的一个问题。此时，我们就好像是一个正在检查自己的财物，并迫切地想要知道，在那些财物中，玻璃珠和铜币到底哪种更多的霍屯督人。可是不要忘了，之前我们已经说过，霍屯督人在计数这方面并没什么天赋，他们能数到的最大的数字是3。也就是说，只要玻璃珠和铜币的数目大于3，那他们就数不出来了。可是，他们会因此就放弃比较两者的数目吗？当然不可能。事实上，如果这位霍屯督人足够聪明，那为了得到答案，他就会将玻璃珠和铜币拿出来，一个一个地比较下去。一颗玻璃珠对应一枚铜币，一直这样两两比较下去……如果最后玻璃珠用完了，而铜币还有剩余，那他就会知道，两者相比，铜币更多。反之，则玻璃珠更多。如果两者同时用完，则说明它们的数量相等。
在对两个无穷大数进行比较时，康托尔使用的正是这种方法：如果在对两组无穷大数进行比较时，我们能将它们的各个对象一一配对，一组无穷大数中的每个对象，都能在另一组无穷大数中找到相应的对象，两组数都没有任何对象遗漏，那么这两组无穷大数就应该是同样大；如果其中一组的对象有剩余，也就是说没有在另一组中找到能够匹配的对象，那么与另一组相比，这组无穷大数就要更大、更强一些。
显然，如果我们想将两个无穷大数进行比较，上述方法就是极为合理并且唯一可行的规则。只是，当你将这种方法付诸实践时，很可能会大吃一惊。举个例子，将所有偶数的个数和所有奇数的个数这两个无穷大数进行比较。看完题目，仅凭直觉，你就会知道这两个无穷大数相等。事实上，这两个无穷大数的比较完全适用于上述规则，因为它们之间确实能够一一匹配：
从这张表中我们可以看出，每一个奇数都对应着一个偶数，每一个偶数也都对应着一个奇数。因此，偶数的无穷大和奇数的无穷大是相等的。看起来确实没有比这更简单、更自然的事了。
不过先别着急，让我们再看看另一个问题：所有整数（包括奇数和偶数）的个数和所有偶数的个数哪个更大？所有整数不仅包含了所有偶数，还包含了所有奇数，所以你肯定以为前者更大，但事实证明，这不过是你的想当然而已。如果我们想知道正确的答案，就必须再次运用那个合理的规则，对这两个无穷大数进行一番比较。当你真的这么做时就会发现，你的“想当然”确实是错的。让我们将这两个无穷大数的对象一一匹配一番：
根据上述比较无穷大数的规则，我们必须承认，所有偶数的个数与所有整数的个数相等。我知道，这个结论听起来十分荒谬，因为偶数仅是所有整数的一部分。可是不要忘了我们正在和谁打交道，是和无穷大数，因此必须时刻做好准备，面对那些随时都可能遇到的特殊情况。
其实在无穷大的世界里，部分有时可能会等于整体！德国著名的数学家大卫·希尔伯特（David Hilbert）曾讲过一个故事，这个故事大概就是关于上述观点的最好说明。据说，在一次关于无穷大的演讲中，(9)这位数学家曾这样讲述无穷大数这种荒谬、不合常理的性质：
假设有一家内设有限个房间的旅馆，然后在旅馆客满没有空房的时候，来了一位客人。这位客人想订一间房，但旅馆的老板说：“很抱歉，已经没有空房了。”
现在，再假设有一家内设无限个房间的旅馆，而且这家旅馆同样客满，没有空房。这时，也来了一位想订房间的客人。旅馆老板说：“没问题！”然后，在他的安排下，一号房的客人被挪到了二号房，二号房的客人被挪到了三号房，三号房的客人被挪到了四号房，以此类推。这样做的结果就是，一号房被腾空了，那位新客人刚好可以入住。
我们再假设有一家内设无限个房间，并且所有房间都已住满的旅馆。这时来了无穷多位客人，他们都想要订一个房间。旅馆老板说：“好的，先生们，请耐心等待一会儿。”然后，在他的安排下，一号房的客人被挪到了二号房，二号房的客人被挪到了四号房，三号房的客人被挪到了六号房，以此类推。最后，单号房都被腾空了，新来的无穷多位客人刚好可以入住。
希尔伯特讲述这个故事时，恰逢世界各地正处于战乱中，所以即便是在华盛顿，他的意思也很难被理解。但不可否认，这个例子举得十分合适，它使我们明白了，无穷大数的性质十分特殊，与我们在普通算术中经常见到的一般数字有很大不同。
现在，我们也可以运用比较两个无穷大数的康托尔规则来证明，像--这样的普通分数，其个数与所有整数的个数相等。其实，对于那些普通分数，我们可以按以下规则将其排列出来：先写出分子和分母相加等于2的分数，事实上，只有一个分数符合这个条件，即；然后写出-分子和分母相加等于3的分数，满足这个条件的分数有两个，-；再写出分子和分母相加等于4的分数，这样的分数有三个，--……这样一直写下去，我们就可以得到一个包含了所有分数的无穷的分数数列（如图5）。现在在这个数列的上方，我们再写上整数数列，并使每个整数都对应着一个分数。这样一来，所有整数就与所有分数建立了一一对应的关系。由此可见，这两个无穷大数也是相等的！图5一个非洲土著正在比较他数不出来的数，而康托尔教授正在做同样的事。“是啊，这可真神奇，”你或许会说，“不过这是否意味着，所有无穷大数都是相等的呢？如果是这样，那就没必要再进行什么比较了吧？”
不，事情并不是这样的。事实上，要想找到一个比所有整数或所有分数构成的无穷大数还要大的无穷大数，并不是一件难事。
就拿前文提到过的“所有整数的个数和一条线上所有几何点的个数”相比较的问题来说。如果我们仔细研究一下就会发现，这两个无穷大数并不相等。与整数或分数的个数相比，一条线上点的个数要多得多。不信我们可以验证一番，先建立一条大概1英寸长的线，然后试着用整数数列来一一对应线上的点。
在这条线上，不管是哪个点，都可以用这一点到这条线的某一端的距离来表示，而这个距离可以写成无穷小数的形式，比如0.735 (10)062 478 005 6…，比如0.382 503 756 32…。现在我们要做的，就是将所有整数的个数与所有可能存在的无穷小数的个数进行比较。那么，与这样的分数相比，上面写出的无穷小数又有什么不同呢？
大家应该不会忘记，在数学课上，我们曾学到过这样一条规则：任何一个普通的分数，都可以转化为一个无限循环的小数。比如0.（428571）。在上文中，我们已经证明过所有普通分数的个数与所有整数的个数是相等的，因此，所有循环小数的个数与所有整数的个数也必然是相等的。可是，对一条线上的点来说，它虽然可以用无穷小数表示出来，但这个小数不一定是循环小数。事实上，能用循环小数来表示的点在这条线上只占了极小的一部分。因此，我们很容易就能证明，在这种情况下，想要建立一一对应的关系根本是不可能的事。
假设有人声称，他已经像下面那样，为所有整数和一条线上所有的点建立了一一对应的关系：
N
1 0.38602563078…
2 0.57350762050…
3 0.99356753207…
4 0.25763200456…
5 0.00005320562…
6 0.99035638567…
7 0.55522730567…
8 0.05277365642…
· … … … … … …
· … … … … … …
当然，我们不可能把所有的整数都写出来，更不可能把所有的小数都写出来，所以上述说法又能说明什么呢？只能说明这个人发现了某种与我们用来排列普通分数的规则十分相似的规则，然后在这种规则的指导下，制作了上面的表，并认定按照这种规则，每一个小数都会出现在这张表上，只不过有的出现得早，有的出现得晚罢了。
可事实上，这种说法根本无法令人信服，甚至和这种说法类似的所有说法都不可信。要想证明这一点并不是一件难事，因为我们总能轻而易举地写出一个不被包含在这张无穷表格中的无穷小数。那该怎么写呢？其实很简单，只要在写该数小数点后的第一位小数时，令它不同于表中第一个小数的第一位小数；在写该数第二位小数时，令它不同于表中第二个小数的第二位小数，之后以此类推，我们就可能得到一个像下面这样的小数：
当然，这个小数也可能是其他样子，但只要它是按照上述方法写出来的，那在那张表格上，我们就不可能找到它。如果表格的制作者对你说，你写出的这个小数和他那张表格上的第137个小数——也可以是其他序号——是相同的，那你就可以立即反驳道：“根本没有这种可能，因为我写出来的这个数，它的第137位小数与你那个数的第137位小数是完全不同的。”
由此可见，想要在一条线上的点与所有整数间建立起一一对应的关系，根本是不可能的事。这也就意味着，与所有整数或分数相比，一条线上的点所构成的无穷大数要更大或更强。
虽然我们之前将这条线设定为“1英寸长”，并且之后的讨论都围绕着这条有限线段上的点，但现在只要按照我们“无穷大算术”的规则，很容易就能证明无论这条线有多长，其结果都是一样的。其实不管这条线是1英寸长，还是1英尺长，甚或是1英里长，上面的点的个数都是相同的。我们只需认真研究一下图6，就可以证明这一点。现在，我们要对这张图上不同长度的两条线AB和AC上的点数进行比较。首先，在这两条线的点之间，我们必须建立起一种一一对应的关系。过AB上的每个点，作与AC相交的BC的平行线，这样一来，就形成了像D和D＇，E和E＇，F和F＇这样的交点。换句话说，也就是AB上的每个点在AC上都能找到与之对应的一点，AC上的每个点也是如此。所以，这两个无穷大数按照我们的规则来看，是相等的。图6
通过这种对无穷大数的分析，我们还能得到一个更加令人震惊的结论，即一个平面上所有点的个数等于一条线上所有点的个数。接下来，我们就对一条1英寸长的线AB上的点和一个拥有1英寸边长的正方形CDEF上的点，进行一下比较，以证明刚才的结论（图7）。图7
假设这条线上某个点的位置是0.75120386…，那么我们将这个小数的奇数位和偶数位分开，然后再重新组合，就可以得到两个不同的小数，即0.7108…和0.5236…。接着在正方形中，沿水平和垂直两个方向，按照这两个小数量出指定的距离。这样一来，我们就得到了一个点，这个点被称为原来线上那个点的“对偶点”。反之，正方形上的每一点也可以在那条线段上找到相应的“对偶点”，只要我们将正方形中代表某一点的两个小数组合在一起，比如将0.4835…和0.9907…组合成0.49893057…，然后再按照这个组合起来的数，在那条线段上找到相应的点就可以了。
显然，利用这种方法，在这两组点之间，我们能够建立起一一对应的关系。也就是说，在正方形中，线上的每个点都能找到自己的对应点，反之亦然，并且双方的点都没有剩余。因此按照康托尔的标准，我们就可以说，一个正方形中代表所有点数的无穷大数等于一条线上代表所有点数的无穷大数。
通过类似的方法，我们也很容易就能证明，立方体中代表所有点数的无穷大数，同样等于正方形或者线上代表所有点数的无穷大数。(11)具体需要怎么做呢？只需将最初的那个无限小数分为三部分，然后再利用这三个新得到的小数，去确定立方体中“对偶点”的位置就行了。最后的结果会向我们证明，正方形或立方体中代表所有点数的无穷大数的大小，与这个正方形或立方体的尺寸没有任何关系，就像不同长度的两条线一样。
虽然与所有整数和分数的个数相比，所有几何点的个数要更大，但对数学家们来说，这还不是他们所知道的最大的数。事实上，人们已经发现了比所有几何点的个数还要大的数，即所有可能的曲线的个数，包括那些最奇形怪状的。因此我们可以认为，在无穷大的序列中，代表所有几何曲线个数的无穷大数位于第三级。图8无穷大序列中的前三级。
作为“无穷大算术”的奠基人，康托尔曾建议，用希伯来字母א（读作阿列夫）来表示无穷大数。至于这个数在一个无穷大序列中的级别，可以在这个字母的右下角标注出来。这样，我们就可以将数（包括无穷大数）的序列写成：1，2，3，4，5，א，א，א...123
知道该如何表示无穷大数后，我们就可以说“一条线上有א个1点”“不同的曲线有א种”，就好像我们平时说的“世界有7个大洲”2“一副扑克牌共有52张”一样。
写至此处，对无穷大数的讨论已经接近尾声。在此我们必须指出一点，就是这些无穷大数虽然只分为了几个级，但却已经包含了人类所能想象的所有无穷大数。我们已经知道，א、א、א分别代表所有012整数的个数、所有几何点的个数，以及所有曲线的个数，那א代表什3么呢？事实上，直到今天，人们也没能想到用א代表哪个无穷大数。3似乎我们能想到的所有无穷大数，都已经被包含进了前三级无穷大数中。前文提到过，霍屯督人虽然有很多儿子，但他却只能数到3，而我们现在的处境与这位老朋友正好相反，我们能数得清任何数，但却根本没有那么多东西让我们来数！第二章 自然数和人工数一、最基础的数学
数学经常被人们誉为科学的皇后，数学家们尤其喜欢这样说。既然贵为皇后，当然不能自降身价，与其他知识分支攀扯不清。在一次“基础数学与应用数学联席大会”上，为了消除两种数学家间的敌意，希尔伯特曾应邀作一次公开演讲。当时，他是这样说的：
经常有人说，基础数学和应用数学是相互对立的。然而，这并不是事实。不管是过去，还是未来，这两者其实都不曾对立过。为什么这样说呢？因为它们之间毫无共同之处，这也就注定了它们对立不起来。
可是，数学虽然想保持纯粹，并竭尽所能地不与其他科学扯上关系，但其他科学一直以来却总是极力与它“亲近”，特别是物理学。现在，基础数学的每一个分支，包括像抽象群理论、非交换代数和非欧几里得几何这样的，一直被认为是最纯粹、不可能被应用的学科，几乎都可以被用来解释物理世界的这个特征或那个特征。
不过，到目前为止，有一个巨大的数学分支成功地保住了自己的“纯粹”，除了被用来做一些脑力训练外，它几乎没有什么用。这个被誉为“纯粹王者”的数学分支，就是基础数学思想中最古老、最繁杂的产物之一 ——“数论”（这里是指整数）。
可是，数论虽然是一种最纯粹的数学，但从某种角度来说，它又可以被称为一种经验科学，甚至也可以称为一种实验科学。不得不说，这确实是一件奇怪的事。之所以会这样，是因为数论命题的建立，绝大部分都和尝试用数字做某些事情有关，就好像物理学定律的提出与尝试用物体做不同的事情有关一样。除此之外，数论和物理学还有一点十分相似，那就是“在数学上”，数论虽然有一部分命题得到了证明，但还有另一部分命题仍然停留在经验阶段，并且直到今天，依旧令最优秀的数学家们殚精竭虑。
为了说明这一点，我们用质数问题来举个例子。何为质数？即无法用两个或两个以上更小整数的乘积来表示的数，比如2、3、5、7、11、13、17等，都是质数。反过来，12就不是质数，因为它可以写成2×2×3。
那究竟有多少个质数呢？这个数量是无穷无尽的吗？还是说存在着一个最大的质数，但凡一个数比这个最大的质数还要大，那它就可以用几个已有质数的乘积来表示？第一个解决这个问题的人是欧几里得（Euclid），他轻而易举地就证明了，质数的个数没有极限，所谓的“最大质数”根本不存在。
为了研究这个问题，我们先假设已经知道的质数其个数是有限的，并用字母N来表示其中最大的那个。现在，我们将所有已知的质数相乘并加1，将它写成（1×2×3×5×7×11×13×…×N）+1。然后就会发现，与所谓的“最大质数”N相比，这个数显然要大得多，而且从这个数的结构上来看，无论我们用这些质数中的哪一个来除它，最后都会剩下一个1。也就是说，不管是哪一个质数（到N为止，包括N），都不可能将它除尽。
由此可以推断，这个数很可能本身就是一个质数，如果不是，那它就必定能被一个比N更大的质数整除。可是，当初我们假设条件时就已经说了，N才是最大的质数，刚才提到的两种情况显然都与这一点相矛盾。
这种证明方法就是数学家们最喜欢用的归谬法。
既然知道了质数的个数是无限的，那我们难免想知道是否有办法将所有质数全部写出来。针对这个问题，古希腊哲学家和数学家厄拉多塞（Eratosthenes）想到了一种被称为“过筛”的方法。应用这种方法时，我们要先写出完整的自然数列，即1，2，3，4…，然后将2的倍数、3的倍数、5的倍数等全部删掉。图9显示的就是厄拉多塞在使用“过筛”法，他对前100个数进行过筛，最后剩下26个质数。这种方法虽然简单，但却有大用。事实上，我们已经利用这种方法制作出了10亿以内的质数表。图9
如果能设计出一个可以快速自动推算出所有质数且只推算质数的公式，那就太好了。可令人惋惜的是，虽然几个世纪以来，人们一直在坚持不懈地努力，但却始终没有找到这样的公式。法国著名数学家费马（Fermat）在1640年时曾宣称，他已经设计出了一个只产生质2n数的公式，即2+1——其中n取自然数的值，如1、2、3、4 等。
我们通过这个公式可以得到：
这几个数无一例外，确实都是质数。可是后来，瑞士数学家欧拉（Leonard Euler）却对这个公式提出了质疑，当时距离费马宣布发现这个公式大概已经过去了一个世纪。欧拉用事实证明了费马的公式是错误的，因为按这个公式推导出的第五个数并不是质数，而是6 700 417和641的乘积。2
还有另一个备受瞩目、可以产生很多质数的公式，即n-n+41。这个公式中的n和上个公式中的一样，也取1，2，3等自然数的值。可惜后来人们发现，这个公式的适用性十分有限，n必须选取1到40之间的自然数，一旦超过40，这个公式产生的数就不一定是质数22了。比如当n=41时，带入这个公式得到41-41+41=41=41×41。显然，这个算式的结果并非质数，而是一个平方数。
除此之外，人们还尝试过用另一个公式来产生质数，这个公式就2是n-79n+1601。可惜最后的事实证明，这个公式也无法保证能够一直产生质数。事实上，当n是1到79之间的某个自然数时，这个公式确实能产生质数，但当n等于80时，所得的结果就不是质数了。
因此直到今天，人们依旧没有找到只产生质数的普遍公式。
在数论这方面，还有一个有趣的例子，即“哥德巴赫猜想”。这个于1742年被人提出的数论定理既没有得到证明，也没有得到否认。那究竟何为“哥德巴赫猜想”呢？即任一偶数都可写成两个质数之和。很多简单的例子都能证明这一点，比如12=7+5、24=17+7或者32=29+3。可是，数学家们却始终无法确切地证明这个命题是对的，即便他们曾为此做出大量的研究。当然，他们也找不到例子来否证它。不过值得庆幸的是，在对这个问题的证明上，苏联数学家施尼雷尔曼（Schnirelmann）在1931年时终于取得了突破性的进展。他证明了每个偶数都是不多于300 000个质数之和。后来，另一位苏联数学家维诺格拉多夫（Vinogradoff）又大大缩短了“300 000个质数之和”与“2个质数之和”间的差距，在他的努力下，施尼雷尔曼的结论被减少到了“4个质数之和”。可是，从维诺格拉多夫的“4个质数”到哥德巴赫的“2个质数”还有两步的距离，而想要迈过这两步最终证明或否定这个命题，不知道又要花费多少年或多少个世纪。
由此可见，如果我们想推导出一个公式，令它能够自动产生任意大质数的公式，并不是件容易的事。就目前的情况来看，我们距离成功的那天还远着呢。甚至就连这样的公式到底存不存在，我们也都还没有把握呢。
或许，我们现在可以讨论一个小一点的问题，比如质数在限定的区间内所能占到的百分比有多大。这个百分比随着区间的增长是否会产生变化？如果变化，是越变越大，还是越变越小？如果不变，又是否能大致保持恒定？该怎么回答这些问题呢？最好的办法就是对不同数值区间内的质数的个数进行查找，然后利用所得的经验来回答。当你这么做时就会发现，100以内的质数个数是26，1000以内是168，1 000 000以内是78 498，1 000 000 000以内是50 847 478。我们用这些质数的个数除以相应的数值区间就可以得到一张表格，如图：
从这张表格中我们可以发现，质数在数值区间内所占的百分比会随着区间的增大而逐渐变小。不过值得注意的是，质数所占的百分比虽然一直在变小，但并不会没有。也就是说，并不存在什么“质数的终点”。
对于这种质数所占百分比随着数值区间增大而变小的现象，是否有更简单的方法来做出数学表示呢？答案是有，而且在整个数学界，这个令质数平均分布的规律是最受瞩目的发现之一。这条规律就是质数在1到任一更大数N之间所占的百分比，与N的自然对数的倒数近似(12)，而且这种近似会随着N的增大变得愈发精确。
在上表的第四栏中，我们可以清楚地看到N的自然对数的倒数。如果将第四栏中的数值与第三栏中的对比一下，就会发现两者十分相近，并且相近的程度会随着N的增大而变高。
上述质数定理和很多其他数论命题一样，最开始时都是凭经验发现的，而且在相当长的一段时间都得不到严格的认证。这个质数定理最终被证明已是19世纪末期，证明它的是法国数学家雅克·所罗门·阿达马（Jacques Solomon Hadamard）和比利时数学家普桑（de la Vallée Poussin）。在这里，我们就不说明他们是如何证明的了，因为那种证明方法实在太过困难和复杂。
如果我们想对整数进行讨论，那就绕不开著名的费马大定理。这一定理虽然与质数的性质没有必然联系，但却不得不提。要研究这个问题，我们可以先追溯到古埃及。古埃及的好木匠们都知道，如果一个三角形的三边之比是3 : 4 : 5，那这个三角形中必然有一个直角。事实上，古埃及木匠们使用的曲尺就是一个这样的三角形——现在，这种三角形也被称为“埃及三角形”。(13)
亚历山大里亚的丢番图（Diophante）在公元3世纪时曾思考过这样一个问题：两个整数的平方和恰好等于另一个整数的平方，满足这一条件的整数是否只有3和4？最后他证明了，满足这一性质的不止3、4、5一组整数，还有许多别的整数——事实上，有无穷多个三个一组的整数满足该性质。不仅如此，他还找到了一个一般规则，用来求出这些整数。后来，人们用毕达哥拉斯三角形来称呼这种三条边都是整数的直角三角形，之前提到的埃及三角形就是一个毕达哥拉斯三角形。我们可以用一个简单的解代数方程来表示毕达哥拉斯三角222(14)形的构造，即x+y=z。要注意，方程中的x、y、z必须是整数。
1621年，在巴黎，费马买了一本丢番图的《算术》的法文译本。在这本书中，丢番图对毕达哥拉斯三角形进行过一番讨论。在读到这部分内容时，在书的空白处，费马作了一些简短的笔记，他说虽222nnn然方程x+y=z的整数解有无穷多组，但对x+y=z这种类型的方程来说，当n大于2时，却永远都没有整数解。“我想到了一种证明方法，它真是妙极了，”费马之后说，“可惜这里这点儿窄小的空白已经不允许我写下去了。”
后来，人们在费马死后于他的图书馆里发现了这本书，这段写在空白处的内容也随之公之于众。各国最杰出的数学家们在之后的三百多年里一直在努力，想要将费马当时没有写出的证明重写出来，可是(15)哪怕到了今天，也没有成功。不过虽然没有成功，但在朝着这一目标前进的过程中，我们已经在这方面取得了很大的进展。事实上，作为一门全新的数学分支的“理想数理论”，就是在试着证明费马大定理的过程中被创建出来的。欧拉和狄利克雷（Dirichlet）已经分别333444555证明了方程x+y=z、x+y=z和方程x+y=z不可能有整数解。其实到了今天，几位数学家通过自己的努力已经证明，费马方程在n小于269时都是不可能有整数解的。不过令人遗憾的是，他们却一直没能作出指数n取任何值都成立的一般证明。因此，人们越来越倾向于认为费马根本没作过证明，或者是在证明的过程中，他把什么地方搞错了。有人曾悬赏10万德国马克来解答这个问题，但除了吸引来许多业余数学家并令这个问题声名远播外，并没有什么收获。
这个定理当然也有可能是错的，但这同样需要我们去证明。而要想证明这一点，我们就必须找到一个实例，证明两个整数的相同次幂的和等于另一整数的同一次幂。只是不要忘了，小于269的幂次已经被数学家们证明过了，所以在找例子时，我们使用的幂次只能比269大。这样一来，这件事就变得十分困难了。二、神秘的
现在让我们来做点高级算术。2乘2得4，因此4的平方根是2；3乘3得9，因此9的平方根是3；4乘4得16，因此16的平方根是4；5乘5(16)得25，因此25的平方根是5。
可如果是一个负数，那它的平方根又该是什么样的呢？比如和，这样的表达式有什么意义呢？
在理解这样的数时，如果你采用的是非常理性的方法，那你最后肯定会认为这样的表达式毫无意义。12世纪的印度数学家婆什伽罗（Brahmin Bhaskara）曾说过几句话，用在这里正合适。他说：“不管是正数还是负数，它们的平方都是正数。因此可以认为，正数有一正一负两个平方根。而负数不是平方数，所以它没有平方根。”
然而，但凡是数学家都十分固执。如果某个东西虽然看起来毫无意义，但却总是在数学公式中出现，那他们就会竭尽所能地为它找到一些意义。就比如负数的平方根，它总是出现在各种地方，不管是以前占据着数学家头脑的简单算术问题，还是20世纪相对论中的时空统一问题，都能发现它的身影。
16世纪时，意大利有位数学家名叫卡尔达诺（Cardan），正是他最早将看起来毫无意义的负数平方根写进了公式中。他在讨论是否有可能将10分成两部分，并令这两部分的乘积都等于40这个问题时指出，虽然这个问题看起来没有任何合理的解，但如果将答案写成和，就可以满足条件，尽管这两个表达式看起来奇怪(17)又荒谬。
卡尔达诺也承认，这两个表达式是他虚构和想象出来的，并没有什么意义，但他还是把它们写了出来。
虽然这个答案是虚构的，但不管怎么说，既然有人敢将负数的平方根写出来，那原本无解的难题——将10分成两部分，并令这两部分的乘积等于40——就顺理成章地解决了。一旦有人开了头，卡尔达诺口中的“虚数”——即负数的平方根——就被数学家们越来越频繁地使用起来。当然，在使用时，这些数学家依然有所顾忌，并总是要找一些借口。1770年，瑞士著名科学家欧拉出版了一本有关代数的著作。在这本书中，他对虚数的使用十分频繁。不过后来，他还是加了一段评论以作说明。他说：“所有像这样代表负数的平方根的表达式，都是想象中的数，是不可能存在的数。对于这类数，我们可以十分肯定地说，它们既非什么都不是，也不比什么都不是多些什么或少些什么。它们是纯粹的虚幻或不可能之数。”
可尽管有这样的诋毁和妄言，虚数依然被数学家们越来越频繁地使用。事实上，没过多久，它就成了数学中无法避免的东西，就像分数和根式一样。人们只要想在数学方面取得进步，就根本无法避开它。
可以说，虚数就好像是实数在镜子中的幻象。通过基数1，我们可以得到所有实数，那么同样的，通过，我们也可以得到所有虚数。也就是说，我们完全可以将当作虚数的基数（一般用符号i来表示）。
因此，我们很容易就能得到一些表达式，比如等。由此可见，每一个实数都有属于自己的虚数。除此之外，我们还可以将实数和虚数结合起来，就像卡尔达诺刚开始做的那样，从而得到一些像这样的表达式。对于这种混合形式的表达式，我们通常称其为复数。
虚数闯进数学领域后，它的面容被一层不可思议的神秘面纱笼罩了整整两个世纪，直到挪威测量员威塞尔（Wessel）和巴黎会计员阿尔冈（Robot Argand）这两位非专业数学家，从几何的角度对其做出了简单的解释。
他们究竟是如何解释的呢？让我们举个例子来说明。比如复数3+4i，按他们的方法就可以像图10那样表示出来，其中3和4分别对应
试读结束[说明：试读内容隐藏了图片]