三大几何难题主讲人:王庚合作:于宏伟尺规作图法古希腊人说的直尺,指的是没有刻度的直尺
他们在大量的画图经历中感觉到,似乎只用直尺、圆规这两种作图工具就能画出各种满足要求的几何图形,因而,古希腊人就规定,作图时只能有限次地使用直尺和圆规这两种工具来进行,并称之为尺规作图法
漫长的作图实践,按尺规作图的要求,人们作出了大量符合给定条件的图形,即便一些较为复杂的作图问题,独具匠心地经过有限步骤也能作出来
到了大约公元前6世纪到4世纪之间,古希腊人遇到了令他们百思不得其解的三个作图问题
三等分角问题:将任一个给定的角三等分
立方倍积问题:求作一个正方体的棱长,使这个正方体的体积是已知正方体体积的二倍
化圆为方问题:求作一个正方形,使它的面积和已知圆的面积相等
2000多年来从事几何三大难题的研究颇不乏人
也提出过各种各样的解决办法,例如阿基米德、帕普斯等人都发现过三等分角的好方法,解决立方倍积问题的勃洛特方法等等
可是,所有这些方法,不是不符合尺规作图法,便是近似解答,都不能算作问题的解决
高斯的发现按尺规作图法作出了正17边形
紧接着高斯又证明了一个尺规作图的重大定理:如果一个奇素数P是费尔马数,那么正P边形就可以用尺规作图法作出,否则不能作出
由此可以断定,正3边、5边、17边形都能作出,而正7边、11边、13边形等都不能作出
最后的胜利在解析几何和高斯等人已有经验的基础上,人们对尺规作图可能性问题,有了更深入的认识,从而得出结论:尺规作图法所能作出的线段或者点,只能是经过有限次加、减、乘、除及开平方(指正数开平方,并且取正值)所能作出的线段或者点
1837年,23岁的万芝尔以他的睿智和毅力实现了自己的梦想,证明了立方倍积与三等分任意角不可能用尺规作图法解决,宣布了2000多年来,人类征服几何三大难题取得了重大胜利
立方倍积问题假设已知立方体的棱长为1,所求立方