的一些历史背景.pptVIP

Pierre de Fermat 约于1637年，在Diophantus’ Arithmetica (Book 2,Problem VIII) 的旁白上，Pierre de Fermat 写道： “不可能把一个立方数分成两个立方数，或把一个四次幂分成两个四次幂，或一般地把一个高于二次的幂分成两个同一次的幂；对此，我发现了一个殊堪称道的证明，但这里的空白太小，容不下。”  就是说 (Fermat 大定理)： 对于任一大于2 的整数 n, 方程式 x?+y?=z? 没有正整数解。 雪泥鸿爪 ?1640：n=3(?) , n=4 Fermat1753: n=3 Euler1801: Disquisitiones Arithmeticae  (数域, …) Gauss 1820：一类特殊的 n Germain 1823-25: n=5 Dirichlet, Legendre1839: n=7 Lamé 1847: False Proofs Lamé，Cauchy  Regular n Kummer (因子分解惟一性，理想数) 1930: n600 Vandiver 1951: n4 000 Lehmer 1977: n125 000 Wagstaff 1992: n4 000 000 Buhler et al1993-94 所有大于2 的n Andew Wiles 下列曲线是椭圆曲线(中的一类)： y2 = x (x – a) (x - b), 其中 a, b 为互异的非零整数; 例 如，y2 = x? – x。后者的图形关于 x-轴对称， 如右： 问：有多少个有理数对(x, y)在这 条特殊的椭圆曲线y2 = x? – x上？ Fermat 证明了這樣的有理数对 (x, y)只有三个: (-1, 0), (0,0), (1,0) ; 並以之证明：不存在一个边长为 有理数而面积为1的直角三角形。 但，對於一般椭圆曲线，这问题 太难了。 改问：对于一个质数 p, 在?p 里 有多少整数对 (x,y) 满足 y2 – (x ? – x) =0 ？ 即，有多少整数对 (x,y) 满足： 0≤ x , y≤ p-1, 且 y2 – (x? –x) 为 p 的倍数？ 记这个数目为Np. 容易算出： N? = 2, N? = 7： y2 – (x ? – x) X Y 在1814 年, Gauss 得到 一 个计算Np 的法则和公式； 序列 (Np) 有很特别的结 构。后来, 称具备类似特性 的曲线为模的 (modular)。 Gauss 在研究 椭圆曲线时， 发现了 “模性”： 有些椭圆曲线是 模的 (modular)。 Poincaré 突出了“模型式” (modular forms) 的重要性。 1955-62，Shimura- Taniyama(-Weil) 提出以下 (简称STW) 猜想：(在?上定义的) 每一条 椭圆曲线 都是模的。 1986, K. Ribet (在G. Frey, J. P. Serre的一些工作之影响下) 证明： 若n≥3为整数，且 a, b, c为满足 a? + b? = c? 的非零整数 (即, 若Fermat大定理有反例)， 则椭圆曲线 y2 = x (x-a?) (s-m?) 不是模的。換言之： STW猜想 ? Fermat大定理 1994/95 Andrew Wiles证明： 半稳定的(semistable)椭圆曲线 都是模的。 從而： 对于任意两个互异的非零整数a 和 b，椭圆曲线 y2 = x (x-a?) (x-b?) 都是模的。 推论： Fermat 大定理成立。 （Ann. Math., 144, 443-551, 1995） （附记：Shimura-Taniyama-Weil 猜想的其余部分，在19