史毕达哥拉斯定理读后感细选(14)

化圆为方问题是古希腊数学家欧多克索斯提出的"，后来以“穷竭法”而得名的方法。“穷竭法”的依据是阿基米得公理和反证法。在《几何原本》中欧几里得利用“穷竭法”证明了许多命题，如圆与圆的面积之比等于直径平方比。两球体积之比等于它们的直径的立方比。阿基米德应用“穷竭法”更加熟练，而且技巧很高。并且用它解决了一批重要的面积和体积命题。当然，利用“穷竭法”证明命题，首先要知道命题的结论，而结论往往是由推测、判断等确定的。阿基米德在此做了重要的工作，他在《方法》一文中阐述了发现结论的一般方法，这实际又包含了积分的思想。他在数学上的贡献，奠定了他在数学史上的突出地位。
作图问题的研究与终结。欧几里得在《原本》中谈了正三角形、正方形、正五边形、正六边形、正十五边形的作图，未提及其他正多边形的作法。可见他已尝试着作过其他正多边形，碰到了“不能”作出的情形。但当时还无法判断真正的“不能作”，还是暂时找不到作图方法。
高斯并未满足于寻求个别正多边形的作图方法，他希望能找到一种判别准则，哪些正多边形用直尺和圆规可以作出、哪些正多边形不能作出。也就是说，他已经意识到直尺和圆规的“效能”不是万能的，可能对某些正多边形不能作出，而不是人们找不到作图方法。1801年，他发现了新的研究结果，这个结果可以判断一个正多边形“能作”或“不能作”的准则。判断这个问题是否可作，首先把问题化为代数方程。
然后，用代数方法来判断。判断的准则是：“对一个几何量用直尺和圆规能作出的充分必要条件是：这个几何量所对应的数能由已知量所对应的数，经有限次的加、减、乘、除及开平方而得到。”（圆周率不可能如此得到，它是超越数，还有e、刘维尔数都是超越数，我们知道，实数是不可数的，实数分为有理数和无理数，其中有理数和一部分无理数，比如根号2，是代数数，而代数数是可数的，因此实数中不可数是因为超越数的存在。虽然超越数比较多，但要判定一个数是否为超越数却不是那么的简单。）至此，“三大难题”即“化圆为方、三等分角、二倍立方体”问题是用尺规不能作出的作图题。正十七边形可作，但其作法不易给出。高斯（Gauss）在1796年19岁时，给出了正十七边形的尺规作图法，并作了详尽的讨论。为了表彰他的这一发现，他去世后，在他的故乡不伦瑞克建立的纪念碑上面刻了一个正十七边形。