从费尔马多边形数猜想到华罗庚的渐近华林数猜想.PDFVIP

2016 第7卷第2期 数学文化 61 从费尔马多边形数猜想到华罗庚的渐近华林数猜想 纪念杨武之教授诞辰120 周年 林开亮 郑 豪 现代数论诞生了两次。它的第一次诞生必定是在162 1- 1636 年间的某一天，很可能靠 Arithmetica 近后一个年份。162 1 年，巴彻（Claude Gaspard Bachet ）出版了丢番图的《算术》（ ） 的希腊文本和附带了大量评注的拉丁文译本。费尔马是在何时得到了该书的一个复本，又 是何时开始读这本书的，我们不得而知。但我们从他的通信中得知，在1636 年，他不仅 已经仔细地阅读了它，而且发展出他本人对与该书相关的各类课题的想法。 ……至于它重生的日子，我们则可以知道得一清二楚。在 1729 年 12 月的头一天， n 哥德巴赫询问欧拉对费尔马关于所有形如22 ＋1 的数都是素数这一断言的意见。欧拉 在答复中表达了质疑；直到1730 年6 月4 日之前，欧拉都没再说什么，然而在这一天， 欧拉宣称他 “只不过一直在读费尔马”，并对费尔马关于每个正整数都是四个平方数的 和 （也是三个三角形数的和、五个五边形数的和，如此等等）印象深刻。从这一天起， 欧拉再也没有忘记过这个学科——广而言之——数论 ；终于拉格朗日也跟上来了，然后 是勒让德，再后是高斯，数论也随之而臻于完全成熟的境地。 1 安德烈• 韦伊，《数论》 费尔马的多边形数猜测 16 世纪的业余数学家费尔马的名字之所以到今天都家喻户晓，主要是因为所谓的 费尔马大定理历经350 多年才被20 世纪的英国数学家怀尔斯证明。但鲜为人知的是他 有一个重要的身份——现代数论之父。 费尔马大定理原本是费尔马 1637 年在阅读古希腊数学家丢番图 （被誉为 “代数学 n n n n x y z 之父”）的 《算术》时所作的一个断言 ：当幂指数 2 时，方程 ＋ ＝ 只有平 2 凡的正整数解 （即x, y 之一等于0 ）。 费尔马声称发现了一个绝妙的证明，但可惜书边 缘的空白不够写下整个证明，因而略去了。据数学家、数学史家韦伊 1 分析，费尔马很 n n 可能后来意识到，他的证明方法仅适用于 ＝3 与 ＝4 的情况 （这在几何上对应于亏 格为1 的椭圆曲线）。 费尔马一定想不到，后人探索证明的道路竟是如此曲折漫长。但事实上，费尔马 生前最感兴趣的数论结果并非他自以为解决了的费尔马大定理，而是他于 1636 年发现 3 的多边形数定理。他在 1636 年9 月写给梅森 （Mersenne ）的信中说 ： 1 A. Weil, Number Theory: An Approach through History from Hammurahi to Legendre, Birkhäuser,Boston, Mass., 1983. 中译本 《数论：从汉穆拉比到勒让德的历史导引》，胥鸣伟译，高等教育出版社，2010 年。 2 n