数学史上的著名猜想之(一)

数学史上的著名猜想之（一）

—―被否定的数学猜想

过伯祥

数学史上，长时期未能解决的数学猜想特别多！并且很多都是世界级的难题，其中数论方面的问题又占多数.它们表面上是那么的浅显，好像不难解决似的，其实，若无深厚的数学功底，即使想接近它也十分困难。本章特作较多的介绍，使数学爱好者有一个初步了解.如果你有志要攻克这些猜想，就必须作好长期艰苦跋涉的思想准备.

1．被否定的数学猜想

（1）试证第五公设的漫长历程

几何是从制造器皿、测量容器、丈量土地等实际问题中产生和发展起来的.

几何学的发展历程中，有两个重大的历史性转折.其一是,大约从公元前7世纪到公元前3世纪，希腊数学从素材到框架，已经为几何学的理论大厦的建造准备了足够的条件.欧几里得在前人毕达哥拉斯、希波克拉底和欧多克斯等人的工作基础上，一举完成了统治几何学近2000年的极其伟大的经典著作《几何原本》.它使几何学发展成为一门的理论学科，是几何学史上的一个里程碑.

其二，也正是由于《几何原本》的问世，才带来了一个使无数人困惑和兴奋的著名问题 --欧几里得第五公设问题. 在《几何原本》的第一卷中，规定了五条公设和五条公理.著名的欧几里得第五公设： “若两条直线被第三条直线所截，如有两个同侧内角之和小于两直角，则将这两直线向该侧适当延长后必定相交.”就是这五条公设中的最后一条.由于它在《几何原本》中引用得很少（直到证明关键性的第29个定理时才用到它）；而且，它的辞句冗长，远不如前四条公设那样简单明了.于是给后人的印象是：似乎欧几里得本人也想尽量避免应用第五公设.

于是，一代又一代的数学家猜测:大概不用花费很多力气就能证明欧几里得第五公设.就这样，数学家们开始了试证第五公设的历程.

这是个始料未及的漫长历程！真正是前赴后继，几乎每个时代的大数学家都做过这一件 工作.

然而，满以为非常简单，只不过是举手之劳的一件事，谁料历时两千年仍未解决. 第五公设问题几乎成了“几何原理中的家丑”（达朗贝尔）.

中国教育开发网

中国特级教师高考复习方法指导〈数学复习版〉

直至19世纪，人们才逐渐意识到“欧氏第五公设可以证明”是一个错误的猜想,但它却引导数学家们得到了有意义的结果.所以说：错误的猜想有时也是极有意义的！

“在我们试图证明某个猜想的时候，如果使尽各种招数仍无进展，就应去查一查这个猜想本身有没有毛病.”

（2）引出一个大胆猜想

第五公设的一个又一个试证，总是发生“偷用”某个与第五公设等价的“假设”去代替的毛病，这逐渐地使几位思想较开阔而又有远见的数学家高斯、亚诺什•鲍耶、罗巴契夫斯基意识到:“欧几里得第五公设是不能从《几何原本》的其余公设、公理中导出.”也即与其它公设公理不相依赖，并且提出了一个新的大胆猜想：“欧几里得几何不是惟一的几何;任何一组假设如果彼此之间不导致矛盾的话，一定提供一种可能的几何.” 罗巴契夫斯基、鲍耶正是在此想法的基础上开展了一系列工作，才发现了非欧几何的.虽然，他们的工作约有30年之久被人们所忽视；非欧几何的相容性问题在其后的40年中仍然悬而未决，然而，从某数学家的头脑中首先形成这大胆的猜想——与第五公设相矛盾的公理，也许仍可建立逻辑上相容的新几何——的那一刻起，就注定了即将发生几何学发展的又一次历史性的大转折：将迎来的是，几何学思想的大，几何学大发展的新时代. 可以说，在19世纪所有复杂的技术创造中间，最深刻的一个——非欧几何的创造，就是起源于两千年试证第五公设的失败而日渐形成的大胆的猜想，非欧几何是在欧几里得几何领域中，一系列的长期努力所达到的一个新顶点。我们可以把这段历史发展画成如下的简明框图： (3）费尔马猜想 我们知道： 引来了几何思想的大， 几何学的大发展 两千年的试证， 以失败而告终 提出新的猜想，欧氏几 何不是唯一的几何 形成欧几里得 第五公设问题 猜想可以用其他 公理公设证明它 213，

20215，

2117

中国教育开发网

2221中国特级教师高考复习方法指导〈数学复习版〉

都是素数.一天，法国数学家费尔马似乎有所悟,他继续试验

21257，

232165537，

经检验，它们也都是素数.那么“形如马在10年提出的一个猜想.

时间过去了100年，到了1732年，国数学家欧拉指出：

2421（n为非负整数）的数（是不是）都是素数.”这是费尔

2n2116700417,

25 一个反例就否定了一个猜想，于是，就宣告了费尔马的这个猜想不成立. 以后，人们又陆续找到了不少反例，

如

2127417767280421310721也是合数.

26 如今，人们把形如

21的数叫费尔马数.一些年来，人们共研究了46个

2nn5的费尔马数，竟连一个素数都没再找到.于是有人作出了相反的猜想：只有有限个费尔马数是素数.

这个猜想是否正确还有待于证明. （4）关于6n1型数对的猜想 数学家迪布凡耳（De Bouvelles）在1509年曾注意到，在形如6n1与6n1的数对

5、7，11、13，17、19，23、25，29、31，35、37，41、43，„中，当n取前几个自然数时，都至少有一个数是素数.由此他提出猜想: “对于任何自然数n，6n1和6n1这两个数中都至少有一个是素数.”

时隔不久，有人就举出了反例：最小一个使结论不成立的自然数是20.而且，一般地，取，都能使6n1和6n1分别地含有因数7和11，因为 n2077k(k0,1,2,...6n1119677k7(1766k), 6n1121677k11(1142k).

（5）

xn1的因式特征的猜想

数学家契巴塔廖夫曾由下面的因式分解： x1x1，

中国教育开发网

中国特级教师高考复习方法指导〈数学复习版〉

x1(x1)(x1)， „ „

x1(x1)(x1)(xx1)(xx1)，

„ „ 提出猜想：“把

6222xn1分解为不可再分解的具有整系数的因式以后，各系数的绝对值都不超过1。”

105 要否定这个猜想可不太容易，它需要有极大的耐心——最小一个与猜想不合的n是105，是被数学家依万诺夫找到的.在x1的分解式的一个因式中，x41和x7的系数都是2，它们的绝对值超过了1.

（未完待续）

（柯正摘自《猜想与合情推理》，大象出版社，1999年）

中国教育开发网