古典难题的挑战——几何三大难题及其解决
标准有了,下来该是大胆探索、细心论证。谁能避过重重险滩将思维贯通起来,谁就是最后胜利者。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,按化圆为方数代数方程的根,更不能用加减乘除开平方所表示,因而不可能用尺规法作图。
从此,古典几何的三大难题都有了答案。
2000多年来,一代接一代地攻克三大难题,有人不禁要问这值得吗?假如实际中真遇到要三等分角、立方倍积、化圆为方,只要行之有效,何苦一定用尺规作图法解决?其实,数学研究并非一定要实用,数学家对每一个未知之谜都要弄个清楚,道个明白,这种执著追求的拗劲正是科学的精神。更为重要的是,对三大难题的研究,反过来促进了数学的发展,出现了新的数学思想和方法,例如阿基米德、帕普斯发现的三等分角的方法,勃洛特用两块三角板解决立方倍积问题(这个我在上初中时曾经证明过,的确成立),等分圆周、作正多边形,高斯关于尺规作图标准的重大发现等等。每一次突破不仅是人类智慧的胜利,使数学园地争奇竞艳,而且有利于科学技术的发展。
特别值得提到的是,在三大几何难题获得解决的同时,法国数学家伽罗瓦从一般角度对不可能性问题进行研究,在1830年,19岁的伽罗瓦提出了解决这一类问题的系统理论和方法,从而创立了群论。群论是近世抽象代数的基础,它是许多实际问题的数学模型,应用极其广泛,而三大几何作图难题只不过是这种理论的推论、例题或习题。所以,一般认为三大难题的解决归功于伽罗瓦理论,可伽罗瓦理论是在他死后14年才发表的,直到1870年,伽罗瓦理论才得到第一次全面清楚的介绍。