书城童书科学未解之谜(世界未解之谜)
1863900000008

第8章 数学之谜(8)

最初的一种说法,认为这些线条是古代那斯克人的道路。但在1920年代后期和1930年代初期,考古学家利用飞机多次在荒原上空飞越考察,发现大批分布很广的复杂记号,此说从此被推翻。除了线条,机上考察人员还看到许多巨大长方形和其他几何图形,以及许多种动物的优美线条画,包括猴子、蜘蛛、蜂鸟甚至鲸,也有花朵、手掌和螺旋形图案,每个长约1米至183米不等。这样的线条显然不是道路。

虽然有些线条长达数公里,但不论它们越过哪一种地形,或甚至伸展到山顶,其直线的偏差在1公里内不过1~2米。究竟那斯克人在荒原上留下这样的记号来干什么?这些线条绝不是艺术作品,因为当时那斯克人不可能由高空俯瞰欣赏。同时,这些线条不管在高空摄影照片上显得多么壮观,也不是古代科学或工程杰作;因为只要动员1000名印第安人,费时3个星期,便可把所要移去的石头移去。至于线条何以会笔直,则可能是先排列几根标杆,在其间拉绳索画出直线来。用这种简单办法,如果与远方的一个准则点连合运用,只需要两三根木杆即可。

最使学者感到兴趣的并不是线条如何造成,而是线条有何用途。1941年,美国考古学家科索克首先到那斯克研究,发现许多线条和图案,并且一一记录下来。他的结论是:线条用以观察天文。此一说法引起德国数学家赖歇的兴趣。从1946年开始,她穷毕生精力,企图揭开这些线条的奥秘。赖歇和科索克一样,相信这些线条指向主要星座或太阳,以便那斯克人计算日期。她认为那些动物以及别的图形,也许代表某些星座,因此整个复杂的记号网很可能是一个巨型日历。

赖歇发现许多记号似与太阳或星座排成直线,但缺少确实证据支持她的说法。1968年,华盛顿史密生天体物理学天文台的天文学家霍金斯,在英国南部著名的新石器时代遗迹“巨形石柱”发现类似的天文定线之后,接着便将注意力转向那斯克线条。霍金斯拥有一种极有利的工具,用以探查那斯克人们的奥秘。这种工具就是电脑。他将彻底考察得到的资料输入电脑,藉以查测每一条直线在过去7000年内,是否曾对准太阳、月亮或一个主要星座。结果显示出一些使人耳目一新的定线。例如,一个名为“大长方形”的图形,在公元610年及其前后各30年内,对准昴星团。这个日期,与现场发现的一根木柱经放射性的碳素测定法鉴定的年代不谋而合。这个办法虽然可证明那些图形年代久远,但电脑仍不能解开线条的奥秘,因为那些似有特殊意义的定线,看来只是巧合而已。

1977年,英国电影制片家莫理林亦加人这项研究。莫理森曾在南美洲拍过几部电视片,其中包括赖歇和霍金斯的研究工作纪录片,因此也对这个谜团深感兴趣,决心要找出答案。莫理森认为要寻求解答,必须明了那斯克人的风俗和宗教。虽然那斯克人早已消失,但在安第斯山脉其他地区,某些地点亦有类似的线条存在,因此他希望居住在那些地点的印第安人,能够透露造这些线条的意图。

莫理森的好奇心受1926年发现这些线条的瑟斯丕启发。瑟斯丕告诉莫理森说,他相信这些线条是印第安人专作宗教用途的路径。瑟斯丕早在1939年就提出这种说法,但苦于找不到证据。莫理森则发现了一点线索,那是一本记载1653年以后事迹的西班牙编年史,里面记载印卡帝国首都库斯科的印第安人如何从太阳神殿出发,踏上伸向四面八方各直线,到沿途安设的神龛参拜。既然那斯克荒原上的线条在一堆堆石头之间,那些石堆不就是笔直的神圣路径连接的神龛吗?

于是,莫理森前往库斯科,希望找到那些神圣路径。他此行没有成功,因为路径的痕迹早已全部湮灭。但是他并不气馁,继续到邻国玻利维亚搜寻。1977年6月,莫理森终于在一个艾马拉人聚居的荒僻地区,找到了一整批并非移去荒原上的石块,而是割除灌木形成的线条。这些线条和那斯克荒原的线条一样笔直,也是不顾任何地势阻挡成直线向前伸展的。同时,正是这些线条将用石堆筑的神龛连接起来,而且许多神龛还筑于山顶。

艾马拉印第安膜拜这些石堆,相信石堆里面住着祖先和魂魄或当地神明,常常供奉一些小祭品或古柯叶(一种作用和缓的麻醉剂)。莫理森发现,好几条连接神龛的路线在一座庙宇会合。印第安人即沿着这些路线前往庙宇,途中不时停下来向沿路的神龛参拜。在他们看来,偏离这些路线就会走人妖魔鬼怪领域。艾马拉人还相信,神龛位置超高,其中神灵越具神威,由此可知为什么这里的路径也和那斯克的一样,不避任何险阻而直达山顶。

莫理森在后来所著的《朝圣之途》一书中,以生动笔法叙述他冒险探秘的经历,而且说出他相信那些线条就是“朝圣之途”。他认为那斯克图形可能是代表神灵及动物的精灵,那些已经清除石头的大块土地则可能是宗教集会的地点。至于这些线条的历史年代,由于缺乏足够证据,尚无法确定。最多我们只能说那斯克线条可能有1000至2000年的历史。

那斯克线条之谜迄今尚未完全揭晓,莫理森的结论仍然有待证实。而且不管是出于巧合还是有意,有些线条的确像天文学上的定线。目前,那斯克线条受到保护,以供日后研究,因为每一块没有翻起的石头可能隐藏着重要的线索。

不用计算机能证明“四色问题”吗?

1976年有两位年轻的科学家阿佩尔和哈肯应用计算机证明了“四色问题”。当时为世人所震惊。这是依靠计算机证明的惟一的大定理。

“四色问题”也称“四色猜想”。我们在绘制地图时,为了区别一个国家与它的邻国,一个省区与它邻近的省区,总要给不同的国(省区)与它的相邻近的国(省区)画上不同的颜色。当我们打开任何一本彩色地图册就会发现,只有四种颜色。也就是说,用四种颜色就可以把各国(省区)区分出来。这就是“四色问题”。更确切地说,在平面上或球面上绘制地图只需要用四种颜色。

提出四色猜想的第一位数学家是德国的莫比乌斯,这是1840年的事。1850年一位英国学生叫葛斯瑞也认为绘制地图四种颜色足够了。其后不久,他给弟弟写信并“证明”这个猜想正确:可惜这个证明被遗失了,许多数学家认为此证明可能也是错的。他的弟弟把葛斯瑞的这一想法写信告诉美国几位有名望的数学家,希望他们证明四色猜想。但直到1879年,其中的凯雷虽然对此问题很感兴趣,但他宣布无法证明四色猜想。

继凯雷之后,有一位从事律师工作的肯普在数学学术杂志上发表了一篇论文,说他“证明”了四色问题。可惜,他的证明也是错误的,这个错误在1899年被数学家希伍德指出。而希伍德本人发表了一篇严密论证的文章,但是他只证明五色,没有证明四色。当然,从五色着手改进方法或许能证明四色,但问题并不这样简单,从那以后一百多年以来,许多数学家都想证明四色猜想。开始选择另外的方向,在国家数目上加以限制。首先是费兰克林在1920年证明,当国家的数目≤25时,四色定理成立。1926年国家数提高到27,1936年提高到31,1943年又提高到35,1968年又提高到40。为什么国家数目增加得如此之慢呢?因为每增加一二个,不同国家之间的边界关系类型就会变得复杂得多,而证明的关键是必须把地图的所有类型都考虑进去,这就给证明带来更大的困难。所以,很长时间内,四色问题未能加以证明。

1976年,阿佩尔和哈肯利用计算机加以证明,前后花了七个月时间。第一步是把所有可能的地图类型归结为有限多个不同的类型,他们归类成1936个。仅这一步就耗时六个月;第二步是证明它们用四色足够,花了一个月时间。在计算机的帮助下,他们完成了这个证明。

但是从1976年以来,有不少数学家对此抱有怀疑态度。不论怎么说,这件事本身说明电子计算机对数学家来说是不可缺少的工具。我们的想法是,能不能找到不依赖电子计算机的人工证明,关于这一关,仍然有数学家在不断的探索中。但愿功夫不负有心人。

寻找相亲数

公元前6世纪,古希腊有个毕达哥拉斯学派,学派的创始人是数学家毕达哥拉斯。这个学派特别喜欢数、推崇数,他们把人性也赋予了数。比如,他们把大于1的奇数象征为男性,起名叫“男人数”;把偶数看做女性,叫“女人数”(也有史书记载,把奇数象征女性,偶数象征男性)。数5是第一个男人数与第一个女人数之和,它象征着结婚或联合。

人之间讲友谊,数之间也有“相亲相爱”可言。毕达哥拉斯学派的人常说:“谁是我的好朋友,我们就会像220和284一样。”为什么220和284象征着好朋友呢?原来220除去本身以外还有11个因数,它们是1、2、4、5、10、11、20、22、44、55、110。这11个因数之和恰好等于284。同样,284的因数除去它本身还有1、2、4、71、142,它们的和也恰好等于220。即

1+2+4+5+10+11+20+22+44+55+110=284;

1+2+4+71+142=220。

这两个数是你中有我,我中有你,相亲相爱,形影不离。古希腊的数学家给具有这样性质的两个数,起名叫“相亲数”或“亲和数”。

220和284是人类发现的第一对“相亲数”,也是最小的一对“相亲数”。17世纪法国数学家费马找到了第二对“相亲数”17296和18416;几乎在同一时期,另一位法国数学家找到了第三对“相亲数”9363544和9437056。最令人震惊的是,瑞士著名数学家欧拉于1750年一次就公布了60对“相亲数”。数学家惊呼:“欧拉把一切‘相亲数’都找完了!”

谁料想,又过了一个世纪,意大利一位年仅16岁的青年巴格尼于1866年公布了一对“相亲数”,它们只比220和284稍大一点,是1184和1210。前面提到的几位大数学家竟无一人找到它们,让这对不大的“相亲数”从鼻子底下轻易地溜走了。

最近,美国数学家在耶鲁大学的电子计算机上,对所有110万以下的数逐一进行了检验,总共找到了42对“相亲数”。下面列出10万以内的13对“相亲数”:

220=2×2×5×11,

284=2×2×71;

1184=2×2×2×2×2×37,

1210=2×5×11×11;

2620=2×2×5×131,

2924=2×2×17×43;

5020=2×2×5×251,

5564=2×2×13×107;

6232=2×2×2×19×41,

6368=2×2×2×2×2×199;

10744=2×2×2×17×79,

10856=2×2×2×23×59;

12285=3×3×3×5×7×13,

14595=3×5×7×139;

17296=2×2×2×2×23×47,

18416=2×2×2×2×1151;

63020=2×2×5×23×137,

76084=2×2×23×827;

66928=2×2×2×2×47×89,

66992=2×2×2×2×53×79;

67095=3×3×3×5×7×71,

71145=3×3×3×5×17×31;

69615=3×3×5×7×13×17,

87633=3×3×7×13×107;

79750=2×5×5×5×11×29,

88730=2×5×19×467。

这里把自然数都分解成质因数的连乘积,有了质因数就可以找出这个数的所有真因数,进而就可以判断两个数是不是相亲数。比如,220=2×2×5×11,284=2×2×71,其中220所含的质因数是2、2、5、11,这时就可以知道220的因数是1、2、2×2、5、2×5、11、2×2×5、2×11、2×2×11、5×11、2×5×11,一共是11个,这11个数相加恰好等于284;而284的质因数是2、2、71,由它们和1组成的因数是1、2、2×2、71、2×71,共5个,这5个真因数之和恰好是220,这样一来就证明了220和284是一对“相亲数”。由上面做法不难看出,把一个数分解为质因数的连乘积是寻找或证明“相亲数”的关键。

目前,找到的“相亲数”已经超过1000对。但是,“相亲数”是不是有无穷多对?它们的分布有什么规律性?这些问题到目前为止数学家也没有得到确定的答案。这还是一个有待探索的课题。

1946年,第一台计算机的诞生,结束了笔算寻找相亲数的历史。据70年代统计,人们共找到1200多对相亲数,并且,有人还曾有序不漏地用计算机检验与搜寻相亲数,例如近10年来,美国数学家在耶鲁大学先进的计算机上,对所有100万以下的数逐一进行检验,总共找到了42对相亲数,发现10万以下的仅有13对,部分地消除了对欧拉等人列出的相亲数数表的疑虑。但因计算机功能与数学方法的不够,还没有重大突破,越往下去,难度更大。

目前,寻找相亲数还有许多有待探求的问题,如:目前找到的每一对相亲数所含的两个数,总是同时为偶数或同时为奇数,是否存在一个是偶数,而另一个是奇数的相亲数?目前找到的奇相亲数均是3的倍数,这是偶然性,还是必然规律?等等。

5000年的人类文明给我们留下了浩瀚无边的知识大海。在汪洋大海中最古老也最深沉的是数。数的理论研究成为科学基础的基础。德国大数学家高斯曾把数的理论置于科学之巅,这一点也不过分。然而,时至今日,这个数的世界仍然是一个充满神秘的威严的“湖夫金字塔”,这里涉及的“亲和数”也是其中一个最富有传奇色彩的世界难题,有许多谜待揭开,谁揭开谜谁就是英雄好汉。

上面回顾2000多年数学家的不懈努力,发现了1000对以上的相亲数,“看似平凡最崎岖,成如容易确艰辛”,未来的工作正等待着不畏困苦的数学家与计算机专家,“路漫漫其修远兮,吾将上下而求索”。

传说,古代有一个秀才游桂林的斗鸡山,觉得山名有趣,信口说出一句话:

“斗鸡山上山鸡斗。”

他想把这句话作为上联来对一副对联,可是下联自己也对不上来。回家后便请教自己的老师,老师想了一下说:“我不久前游览了龙隐洞,就以此给你对个下联。”老师念道:

“龙隐洞中洞隐龙。”

对得很巧。这是一副回文对联。

古代诗人王融曾写过一首著名的回文诗:“风朝拂锦幔,月晓照莲池。”反过来读:“池莲照晓月,幔锦拂朝风。”不管怎样读,都是一首诗。

有趣的是,数学家族里的主要成员数中也有回文的,你看数101,正着读倒着读都是101;再看32123,正着读倒着读都是32123。这种正反读都一样的数很多,数学家给它们起了一个特殊的名字——回文式数,简称回文数。