三大几何问题及其解决
(2013-12-01 15:30:23)
标签:
几何尺规作图倍立方三等分角化圆为方 |
分类: 尺规作图与数论 |
一、问题的提出
二
其间,数学家还把问题作种种转化,发现了许多与三大难题密切相关的一些问题,比如求等于圆周的线段、等分圆周、作圆内接正多边形等等。可是谁也想不出解决问题的办法。三大作图难题就这样绞尽了不少人的脑汁,无数人做了无数次的尝试,均无一人成功。后来有人悟及正面的结果既然无望,便转而从反面去怀疑这三个问题是不是根本就不能由尺规作出?
数学家开始考虑哪些图形是尺规作图法能作出来的,哪些不能?标准是什么?界限在哪里?可这依然是十分困难的问题。
高斯的发现
历史的车轮转到了17世纪。法国数学家笛卡尔创立解析几何,为判断尺规作图可能性提供了从代数上进行研究的手段,解决三大难题有了新的转机。
最先突破的是德国数学家高斯。他按尺规作图法作出了正17边形。紧接着高斯又证明了一个尺规作图的重大定理:如果一个奇素数P是费尔马数,那么正P边形就可以用尺规作图法作出,否则不能作出。
由此可以断定,正3边、5边、17边形都能作出,而正7边、11边、13边形等都不能作出。
最后的胜利
标准有了,下来该是大胆探索、细心论证。谁能避过重重险滩将思维贯通起来,谁就是最后胜利者。1837年,23岁的万芝尔以他的睿智和毅力实现了自己的梦想,证明了立方倍积与三等分任意角不可能用尺规作图法解决,宣布了2000多年来,人类征服几何三大难题取得了重大胜利。他的证明方法是这样的:
假设已知立方体的棱长为a,所求立方体的棱长为x,按立方倍积的要求应有x3=2a3的关系。所以立方倍积实际是求作满足方程x3-2a3=0的线
段X,但些方程无有理根,若令a=1,则要作长度为2的立方根的线段,但2的立方根超出了有理数加、减、乘、除、开方的运算范围,超出了尺规作图准则中所说的数量范围,所以它是不可能解的问题。
用类似地想法,他证明了三等分角也是不可能解的问题。实际上万芝尔还证明了一个被称为高斯——万芝尔定理:如果边数N可以写成如下形式N=2t•P1•P2……Pn,其中P1、P2、…Pn都是各不相同的形如22k+1的素数,则可用尺规等分圆周N份,且只有当N可以表成这种形式时,才可用尺规等分圆周N份。根据这一定理,任意角的三等分就不可能了。
1882年,德国数学家林德曼借助于eiπ=-1证明了π的超越性,从而解决了化圆为方的问题。假设圆的半径为r,正方形的边长为x,按化圆为方数代数方程的根,更不能用加减乘除开平方所表示,因而不可能用尺规法作图。
三、三大难题的意义
特别值得提到的是,在三大几何难题获得解决的同时,法国数学家伽罗瓦从一般角度对不可能性问题进行研究,在1830年,19岁的伽罗瓦提出了解决这一类问题的系统理论和方法,从而创立了群论。群论是近世抽象代数的基础,它是许多实际问题的数学模型,应用极其广泛,而三大几何作图难题只不过是这种理论的推论、例题或习题。所以,一般认为三大难题的解决归功于伽罗瓦理论,可伽罗瓦理论是在他死后14年才发表的,直到1870年,伽罗瓦理论才得到第一次全面清楚的介绍。