19世纪的数论new.docVIP

19世纪的数论 姓名：马蓉 学号：S120721 专业：学科教学（数学） 摘要 19世纪是数学史上创造精神和严格精神高度发扬的时代。复变函数论的创立和数学分析的严格化，非欧几何的问世和射影几何的完善，群论和非交换代数的诞生，是这一世纪典型的数学成就。它们所蕴含的新思想，深刻地影响着后世的数学。数论是研究整数性质的一个数学分支，历史悠久，而且有着强大的生命力，形式简洁优美但内容丰富深刻[1]。从历史上来看，随着一个个数论问题的提出和解决，越来越多的数论问题又提了出来，数论的历史可以说是数论问题提出和解决的历史，在这个历史的长河中，产生出解决问题的技术和方法，也形成一些理论。代数数论是伴随着数域的扩张及其实际问题的需要，由整数论和复整数论发展而来的，是数学本身和社会需求两者相结合的自然产物。 关键词：19世纪；数论；演变历史； 现代数论的统一理论开端于1801年高斯24岁时的不配著作《算术探讨》，它确定了至今有关这一课题的研究方向。数论中许多问题和结果是提法一般都非常简单，但定理的证明却往往十分困难，常常需要广泛而深奥的数学工具。现今的数论广泛地使用抽象代数（主要在代数数论中）。在Gauss关于数论的著作中有三个主要思想：同余的理论，代数数的引进，以及作为Diophantine分析的指导思想的型的理论。在19世纪另外重要的发展有Dedekind的理想和解析数论。 同余理论 在19世纪以前，数论只是一系列孤立的结果，但自从高斯在1801年发表了他的《算术研究》后，数论作为现代数学的一个重要分支得到了系统的发展。《算术研究》中有三个主要思想：同余理论，复整数理论和型的理论。其中复整数理论正是代数数论的开端，而这个理论又是从高斯对同余理论的研究中派生出来的。如果 a , b , m 是整数，并且a－b 能被m 整除，那么这时就说 a 和 b 关于模 m是同余的，高斯将这一事实记为 a ( b (mod m ), 它也称为同余式。对于模相同的同余式，可以像等式那样来处理。例如，从 a ( b (mod m ) 和 a’ ( b’ (mod m ), 可以得出 a ( a’ ( b ( b’ (mod m ) 。高斯特别研究了二次剩余。而关于二次剩余和二次非剩余，有一个著名的定理与之相联系，高斯称之为二次互反律： 设 p 和 q 是两个相异的奇素数，如果乘积 是偶数，则当且仅当有解时，有解 ；如果上述乘积是奇数，则当且仅当无解时，有解 。利用勒让德后来引入的一个记号 （q / p）： 还可以把二次互反律表达成如下优美的形式： 它最先由欧拉所发现，但缺少证明。高斯非常欣赏这个定律，把它誉为“算术中的宝石”[2]，《算术研究》中就有该定律的一个完全证明。高斯在证明了二次互反律之后，试图将它推广到三次或四次互反律，但他发现为使三次和四次剩余的理论简单、优美，就必须超出通常的整数范围，引进复整数，即实部和虚部皆为整数的复数。对于复整数可以像处理普通整数那样讨论它的数论性质。从而开辟了数论的一个新天地。 二、代数数 数学家借鉴高斯的思想来研究费尔马大定理。费马猜想（或称费马最后定理，费马大定理）[3]：，n＞2没有整数解。这个猜想大约在1637年写在丢番图所著《算术》第二卷命题8“将一个平方数分成两个平方数之和”的旁边。费马猜想从1670年发表到1840年拉梅证明n=7情形为止的170年中，费马猜想的证明进展非常缓慢；1779年，欧拉证明n=3，不久，又证明n=4；1823年，勒让德证明n=5；1840年，拉梅证明了n=7；19世纪20年代，自学成才的法国妇女索菲亚证明了：在假定x、y、z与n互质的情况下， n为小于100的所有奇素数时，费马猜想成立。我们知道，如果方程没有正整数解，那么对n的每个正倍数m=nl，方程也没有正整数解，所以我们只需对每个奇素数P，证明均没有正整数解。库默尔引入复数，把方程分解为： 然后，讨论在通常整数环Z中加入之后扩大的环。如果环有唯一因子分解特性，则方程，没有正整数解，即费尔马大定理对，n=p成立。库默尔把称为复整数，即今天的分圆整数。1843年，库默尔对整数、素整数、可除性给出了适当的定义，然后假设唯一因子分解定理在分圆整数中成立。他将手稿寄给狄利克雷(P．G．L，Dirichlet1805--1859)[4]的时候，指出这个假设对证明费尔马大定理是必须的。狄利克雷回复他，唯一因子分解只对某些素数成立。1844年，库默尔验证了，当P是小于等于19的奇素数时，环具有唯一因子分解特性，从而费尔马大定理对3≤n≤22的所有n都成立。他还证明了环不具有唯一因子分解特性[16]。于是，库默尔认识到了自己的错误，遗憾地进行了澄清。这一结果无论对互