书城童书数学探谜
5017000000023

第23章 千古之谜

现代数论的创始人、法国大数学家费尔马(1601—1665),对不定方程极感兴趣,他在丢番图的《算术》这本书上写了不少注记。在第二卷问题8“给出一个平方数,把它表示为两个平方数的和”的那一页的空白处,他写道:“另一方面,一个立方不可能写成两个立方的和,一个四方不可能写成两个四方的和。一般地,每个大于2的幂不可能写成两个同次幂的和。”

换句话说,在n>2时,

xn+yn=zn(1)

没有正整数。这就是举世闻名的费尔马大定理。

“关于这个命题”,费尔马说:“我有一个奇妙的证明,但这里的空白太小了,写不下。”

人们始终未能找到弗尔马的“证明”。很多数学家攻克这座城堡,至今未能攻克。所以,费尔马大定理实际上是费尔马大猜测。人们在费尔马的书信与手稿中,只找到了关于方程

x4+y4=z4(2)

无正整数解的证明,恐怕他真正证明的“大定理”也就是这n=4的特殊情况。

既然(2)无正整数解,那么方程

x4k+y4k=z4k(3)

无解(如果(3)有解,即有正整数x0,y0,z0使

x04k+y04k=z04k(3)

那么(x0k)4+(y0k)4=(z0k)4

这与(2)无解矛盾!

同理,我们只要证明对于奇素数P,不定方程

xp+yp=zp(4)

无正整数解,那么费尔马大定理成立(因为每个整数n>2,或者被4整除,或者有一个奇素数p是它的因数)。

(4)的证明十分困难。在费尔马逝世以后90多年,欧拉迈出了第一步。他在1753年8月4日给哥德巴赫的信中宣称他证明了在p=3时,(4)无解。但他发现对p=3的证明与对n=4的证时截然不同。他认为一般的证明(即证明(4)对所有的素数p无正整数解)是十分遥远的。

一位化名勒布朗的女数学家索菲·吉尔曼(1776—1831)为解费尔马大定理迈出了第二步。她的定理是:

“如果不定方程

x5+y5=z5

有解,那么5|xyz。”

人们习惯把方程(4)的讨论分成两种情况。即:如果方程

xp+yp=zp

无满足p|xyz的解,就说对于p,第一种情况的费尔马大定理成立。

如果方程

xp+yp=zp

无满足p|xyz的解,就说对于p,第二种情况的费尔马大定理成立。

因此,吉尔曼证明了p=5,第一种情况的费尔马大定理成立。她还证明了:如果p与2p+1都是奇素数,那么第一种情况的费尔马大定理成立。她还进一步证明了对于≤100的奇素数p,第一种情况的费尔马大定理成立。

在欧拉解决p=3以后的90余年里,尽管许多数学家企图证明费尔马大定理,但成绩甚微。除吉尔曼的结果外,只解决了p=5与p=7的情况。

攻克p=5的荣誉由两位数学家分享,一位是刚满20岁、初出茅庐的狄利克雷,另一位是年逾70已享盛名的勒仕德。他们分别在1825年9月和11月完成了这个证明。

p=7是法国数学家拉梅在1839年证明的。

这样对每个奇素数p逐一进行处理,难度越来越大,而且不能对所有的p解决费尔马大定理。有没有一种方法可以对所有的p或者至少对一批p,证明费尔马大定理成立呢?德国数学家库麦尔创立了一种新方法,用新的深刻的观点来看费尔马大定理,给一般情况的解决带来了希望。

库麦尔利用理想理论,证明了对于p<100费尔马大定理成立。巴黎科学院为了表彰他的功绩,在1857年给他奖金3000法郎。

库麦尔发现伯努列数与费尔马大定理有重要联系,他引进了正规素数的概念:如果素数p不整除B2,B4……,Bp-3的分母,p就称为正规素数,如果p整除B2,B4……,Bp-3中某一个的分母就称为非正规素数。例如5是正规数,因为B2的分母是6而5×6。7也是正规素数,因为B2的分母是6,B4的分母是30,而7×6,7×30。

1850年,库麦尔证明了费尔马大定理对正规素数成立,这一下子证明了对一大批素数p,费尔马大定理成立。他发现在100以内只有37、59、67是非正规素数,在对这三个数进行特别处理后,他证明了对于p<100,费尔马大定理成立。

正规素数到底有多少?库麦尔猜测有无限个,但这一猜测一直未能证明。有趣的是,1953年,卡利茨证明了非正规素数的个数是无限的。

近年来,对费尔马大定理的研究取得了重大进展。1983年,西德的伐尔廷斯证明了“代数数域K上的(非退化的)曲线F(x,y)=0,在出格g>1时,至多有有限多个K点。”

作为它的特殊情况,有理数域Q上的曲线

xn+yn-1=0(5)

在亏格g>1时,至多有有限多个有理点。

这里亏格g是一个几何量,对于曲线(5),g可用

g=(n-1)(n-2)2

来计算,由(6)可知在n>3时,(5)的亏格大于1,因而至多有有限多个有理点(x,y)满足(5)。

方程

xn+yn=2n

可以化成

x2n+y4n-1=0

改记x2,y2为(x,y),则(7)就变成(5)。因此由(5)只有有限多个有理数解x、y,立即得出(1)只有有限多个正整数解x、y、z,但这里把x、y、z与kx、ky、kz(k为正整数)算作同一组解。

因此,即使费尔马大定理对某个n不成立,方程(7)有正整数解,但解也至多有有限组。

1984年,艾德勒曼与希思布朗证明了第一种情况的费尔马大定理对无限多个p成立。他们的工作利用了福夫雷的一个重要结果:有无穷多个对素数p与q,满足q|p-1及q>p2/3个。而福夫雷的结果又建立在对克路斯特曼的一个新的估计上,后者引起了不少数论问题的突破。

现在还不能肯定费尔马大定理一定正确,尽管经过几个世纪的努力。瓦格斯塔夫在1977年证明了对于p<125000,大定理成立。最近,罗寒进一步证明了对于p<4100万,大定理成立。但是,费尔马大定理仍然是个猜测。如果谁能举出一个反例,大定理就被推翻了。不过反例是很难举的。