千古之谜

1、西施

西施是我国古代四大美女之首，有着沉鱼的美称。她是春秋末期越国的一位洗纱的女子，虽然是社会底层的人民，但是因为她的美貌，所以越王勾践将她送给了吴王夫差，想让西施去用美色祸乱吴国。

后来西施在吴王面前吹枕边风，让吴王放回了勾践，勾践卧薪尝胆之后，使得越国重新强大起来，最后灭掉了吴国。在之后对于西施的去向就没有了介绍。

最广泛的说法是西施跟着商圣范蠡归隐了西湖，但是并无任何史料显示西施跟范蠡认识。比较靠谱一点的推断就是，西施虽然为吴国立了大功，但是越王勾践也是一个果断之人，知晓西施的祸国本事，于是一狠心，将西施偷偷的杀害了。

2、老子

老子是道家学派的创始人，也是古代著名的思想家，哲学家。老子留下了很多有名的著作，其中《道德经》就是典范，到现在都在被世人研究。但是这样一个名人最后的去出竟然没有人知道。

有人说老子西出函谷关之后，在甘肃等地进行修身传道，最后实在甘肃的临兆县“飞升”了。

现在仅临洮县城就存有白衣庵、公输庵、西庵、北庵、斗母宫、五瘟殿、太平观、总真观、九华观、万寿观、北极观等数十家全真派道观。所以老子实在临兆县得道飞升，并且当地的居民一直都供奉着老子。

还有传说称老子骑着青牛去到了印度，在那里继续学道。但是这也不怎么显示，当时去往印度的路比唐僧取经的路更加的难走，并且老子的身体无法支持这么久的长途跋涉。所以老子最终去了哪里还是没有一个定论，成为了一个千古之谜。

3、建文帝朱允

大家应该都看过穿越时空的爱恋，是一部很好看的穿越剧，里面的主人公就是朱允，最后是穿越到了现代，但这显然是不可能的。

明史说建文帝在他叔叔燕王朱棣破城的时候，放火自焚了，但是并没有找到他的尸体，很可能这是一个金蝉脱壳的手段，因为朱棣一直都在寻找建文帝的下落。

有人说建文帝最后逃到了云贵地区，出家做了和尚，也有人说是在江苏吴县鼋山普济寺当了和尚，还有人说朱允逃到了海外，但是这些都没有什么依据。

据说，朱棣秘密派遣胡出去寻找朱允的下落，永乐二十一年(1423)的一个深夜，胡回来了。要知道皇帝睡觉可是天大的事，现在就是天塌下来也不能去打扰他，可胡就去了，而朱棣也很高兴，密谈至天明。很有可能就是找到了朱允的下落，但是并没有被载入史册。到底说了些什么，我们也无法得知。所以朱允的下落也成了一个千古之谜。

千古之谜是什么？

现代数论的创始人、法国大数学家费尔马（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万，大定理成立。但是，费尔马大定理仍然是个猜测。如果谁能举出一个反例，大定理就被推翻了。不过反例是很难举的。