抽象代数报告.pptVIP

尺规作图 周彬 2011103276 Contents 背景介绍及引子 位于欧洲南部的希腊，是著名的欧洲古国，几何学的故乡。这里的古人提出的三大几何难题，在科学史上留下了浓浓的一笔。这延续了两千多年才得到解决的世界性难题，也许是提出三大难题的古希腊人所不曾预料到的。 实际中存在着各种各样的几何形状，曲和直是最基本的图形特征。相应地，人类最早会画的基本几何图形就是直线和圆。画直线就得使用一个边缘平直的工具，画圆就得使用一端固定而另一端能旋转的工具，这就产生了直尺和圆规。古希腊人说的直尺，指的是没有刻度的直尺。他们在大量的画图经历中感觉到，似乎只用直尺、圆规这两种作图工具就能画出各种满足要求的几何图形，因而，古希腊人就规定，作图时只能有限次地使用直尺和圆规这两种工具来进行，并称之为尺规作图法。漫长的作图实践，按尺规作图的要求，人们作出了大量符合给定条件的图形，即便一些较为复杂的作图问题，独具匠心地经过有限步骤也能作出来。到了大约公元前6世纪到4世纪之间，古希腊人遇到了令他们百思不得其解的三个作图问题。 1.三等分角问题：将任一个给定的角三等分。 2.立方倍积问题：求作一个正方体的棱长，使这个正方体的体积是已知正方体体积的二倍。 3.化圆为方问题：求作一个正方形，使它的面积和已知圆的面积相等。 这就是著名的古代几何作图三大难题，它们在《几何原本》问世之前就提出了，随着几何知识的传播，后来便广泛留传于世。 背景介绍及引子 从表面看来，这三个问题都很简单，它们的作图似乎该是可能的，因此，2000多年来从事几何三大难题的研究颇不乏人。也提出过各种各样的解决办法，例如阿基米德、帕普斯等人都发现过三等分角的好方法，解决立方倍积问题的勃洛特方法等等。可是，所有这些方法，不是不符合尺规作图法，便是近似解答，都不能算作问题的解决。 其间，数学家还把问题作种种转化，发现了许多与三大难题密切相关的一些问题，比如求等于圆周的线段、等分圆周、作圆内接正多边形等等。可是谁也想不出解决问题的办法。三大作图难题就这样绞尽了不少人的脑汁，无数人做了无数次的尝试，均无一人成功。后来有人悟及正面的结果既然无望，便转而从反面去怀疑这三个问题是不是根本就不能由尺规作出？数学家开始考虑哪些图形是尺规作图法能作出来的，哪些不能？标准是什么？界限在哪里？可这依然是十分困难的问题。 到了17世纪，法国数学家笛卡尔创立解析几何，为判断尺规作图可能性提供了从代数上进行研究的手段，解决三大难题有了新的转机。最先突破的是德国数学家高斯。高斯于1796年在哥庭根大学学习时就按尺规作图法作出了正17边形。紧接着高斯又证明了一个尺规作图的重大定理：如果一个奇素数P是费尔马数，那么正P边形就可以用尺规作图法作出，否则不能作出。由此可以断定，正3边、5边、17边形都能作出，而正7边、11边、13边形等都不能作出。高斯一生不仅在数学方面做出了许多杰出的成绩，而且在物理学、天文学等方面也有重要贡献。他被人们赞誉为“数学王子”。高斯死后，按照他的遗愿，人们在他的墓碑上刻上一个正17边形，以纪念他少年时代杰出的数学发现。 背景介绍及引子 解析几何诞生之后，人们知道直线和圆，分别是一次方程和二次方程的轨迹。而求直线与直线、直线与圆、圆与圆的交点问题，从代数上看来不过是解一次方程或二次方程组的问题，最后的解是可以从方程的系数（已知量）经过有限次的加、减、乘、除和开平方求得。因此，一个几何量能否用直尺圆规作出的问题，等价于它能否由已知量经过加、减、乘、除、开方运算求得。这样一来，在解析几何和高斯等人已有经验的基础上，人们对尺规作图可能性问题，有了更深入的认识，从而得出结论：尺规作图法所能作出的线段或者点，只能是经过有限次加、减、乘、除及开平方（指正数开平方，并且取正值）所能作出的线段或者点。 1837年，万芝尔证明了立方倍积与三等分任意角不可能用尺规作图法解决。1882年，德国数学家林德曼借助于eiπ=-1证明了π的超越性，从而解决了化圆为方的问题。 在三大几何难题获得解决的同时，法国天才的年轻的数学家伽罗瓦从一般角度对不可能性问题进行研究，在1830年，19岁的伽罗瓦提出了解决这一类问题的系统理论和方法，从而创立了群论。群论是近世抽象代数的基础，它是许多实际问题的数学模型，应用极其广泛，而三大几何作图难题只不过是这种理论的推论、例题或习题。所以，一般认为三大难题的解决归功于伽罗瓦理论，可伽罗瓦理论是在他死后14年才发表的，直到1870年，伽罗瓦理论才得到第一次全面清楚的介绍。每次我看阿贝尔和伽罗瓦的介绍我就感慨，两人有太多的相似，天妒英才呀。 初等知识的解决（三等分任意角） 三等分角是古希腊三大几何问题之一。三等分任意角的题也许比另外两个几何问题出现更早，早到历史上找不出有关的记载来。但无疑