几何三大难题

1、几何三大难题如果不知道远溯古希腊前辈所建立和发展的概念、方法和结果，我们就不可能理解近50年来数学的目标，也不可能理解它的成就.Herm𝒶nn Weyl§ 1 问题的提出和解决1.1 数学的心脏数学是由什么组成的？公理吗？定义吗？定理吗？证明吗吗？公式吗？诚然，没有这些组成部分数学就不存在，它们都数数学的必要组成部分，但是，它们中间的任一个都不是数学的心脏.数学家存在的主要理由就是提出问题和解决问题.因此，数学的真正组成部分是问题和解.两千多年以来，数学就是在解决各种问题中进行的.那么，什么样的问题是好问题呢？对此希尔伯特有一段精彩的论述：“要想预先正确判断一个问题的

2、价值是困难的，并且常常是不可能的；因为最终的判断取决于科学从该问题获得的收益，虽说如此，我们仍然要问：是否存在一个一般准则，可以借以鉴别好的数学问题，一个老的法国数学家曾经说过：一种数学理论应该这样清晰，使你能向大街上遇到的第一个人解释它.在此以前，这一理论不能认为是完善的.这里对数学理论所坚持的清晰性和易懂性，我想更应该把它作为一个数学问题堪称完善的要求.因为清楚地、易于理解的问题吸引着人们的兴趣，而复杂的问题却使我们望而却步.”“其次，为了具有吸引力，一个数学问题应该是困难的，但却不能是完全不可解决的，使我们白费力气.在通向哪隐藏的真理的曲折道路上，它应该是指引我们前进的一盏明灯，最终以成

3、功的喜悦作为我们的报偿.”在数学史上这样的例子是不胜枚举的.本章介绍的几何作图三大问题就是最著名的问题之一.1.2 希腊古典时期数学发展的路线希腊前300年的数学沿着三条不同的路线发展着.第一条是总结在欧几里得得几何原本中的材料.第二条路线是有关无穷小、极限以及求和过程的各种概念的发展，这些概念一直到近代，微积分诞生后才得以澄清.第三条路线是高等几何的发展，即园和直线以外的曲线以及球和平面以外的曲面的发展.令人惊奇的是，这种高等几何的大部分起源于解几何作图三大问题.1.3 几何作图三大问题古希腊人在几何学上提出著名的三大作图问题，它们是：( 1 ) 三等分任意角.( 2 ) 化园为方：求作一正

4、方形，使其面积等于一已知园的面积.( 3 ) 立方倍积：求作一立方体，使其体积是已知立方体体积的两倍.解决这三大问题的限制是，只许使用没有刻度的直尺和圆规，并在有限次内完成.1.4 问题的来源 这三个问题是如何提出来的呢？由于年代久远，已无文献可查.据说，立方倍积问题起源于两个神话.厄拉多赛（Eratoshenes of Cyrene，约公元前27约前194）是古希腊著名的科学家、天文学家、数学家和诗人.他是测量过地球周长的第一人.在他的柏拉图一书里，记述了一个神话故事.说是鼠疫袭击了爱琴海南部的一个小岛，叫提洛岛.一个预言者说，他得到了神的谕示：须将立方形的阿波罗祭坛体积加倍，瘟疫方能停息.

5、建筑是很为难，不知道怎样才能使体积加倍.于是去请教哲学家柏拉图.柏拉图说，神的真正意图不在于神坛的加倍，而是想使希腊人因忽视几何学而羞愧. 另一个故事也是厄多拉塞记述的.说古代一位悲剧诗人描述克里特国王米诺斯为他的儿子克劳科斯修坟的事.他嫌坟修造得太小，命令有关人必须把坟的体积加倍，但要保持立方的形状.接着又说，“赶快将每边的长都加倍.”厄拉多塞指出，这是错误的，因为边长加倍，体积就变成原来的8倍.这两个传说都表明，立方倍积问题起源于建筑的需要.三等分任意角的问题来自正多边形作图.用直尺和圆规二等分一个角是轻而易举的.由此可以容易地作出正4边形、正8边形，以及正2n次方边形，其中n 2是自然数

6、.很自然地，人们会提出三等分一个角的问题.但这却是一个不可能用尺规解决的问题.圆和正方形都是最基本的几何图形，怎样做一个正方形和一个已知圆有相同的面积呢？这就是化园为方的问题.历史上恐怕没有一个几何问题像这个问题那样强烈地吸引人们的兴趣.早在公元前5世纪，就有很多人研究这个问题了，都想在这个问题上大显身手.化园为方的问题相当于用直尺和圆规作出的值.这个问题的最早研究者是安那克萨哥拉，可惜他的关于化圆为方的问题的 研究没有流传下来，以后的研究者有希波克拉茨（Hippocrates of Chios，公元前约460年）.他在化圆为方的研究中求出了某些月牙形的面积 .此外.还有安提丰，他提出了一种穷

7、竭法，具有划时代的意义，是近代极限论的先声. 1.5 “规”和“矩”的规矩 在欧几里得几何学中，几何作图的特定工具是直尺和圆规，而且直尺上没有刻度.直尺、 在欧几里得几何学中，几何作图的特定工具是直尺和圆规，而且直尺上没有刻度.直尺、圆规的用场是 直尺：（1）已知两点作一直线；（2）无限延长一已知直线. 圆规：已知点，以为心，以为半径作圆. 希腊人强调，几何作图只能用直尺和圆规，其理由是：（1）希腊几何的基本精神是，从极少数的基本假定定义、公理、公设出发，推导出尽可能多的命题.对作图工具也相应地限制到不能再少的程度.（2）受柏拉图哲学思想的深刻影响.柏拉图特别重视数学在智力训练方面的作用，他主

8、张通过几何学习达到训练逻辑思维的目的，因此对工具必须进行限制，正像体育竞赛对运动器械有限制一样.（3）毕达哥拉斯学派认为圆是最完美的平面图形，圆和直线是几何学最基本的研究对象，因此规定只使用这两种工具. 1.6问题的解决 用直尺和圆规能不能解决三大问题呢？答案是否定的，三大问题都是几何作图不能解决的.证明三大问题不可解决的工具本质上不是几何的而是代数的，再带舒缓没有发展到一定水平时是不能解决这些问题的.1637年迪卡儿创立了解析几何，沟通了几何学和代数学这两大数学分支，从而为解决尺规作图问题奠定了基础.1837年法国数学家旺策尔（Pierre L.WAntzel）证明了，三等分任意角和立方倍积

9、问题都是几何作图不能解决的问题，化圆为方问题相当于用尺规作出的值.1882年法国数学家林得曼证明了是超越数，不是任何整系数代数方程的根，从而证明了化圆为方的不可能性. 但是，正是在研究这些问题的过程中促进了数学的发展.两千多年来.三大几何难题起了许多数学家的兴趣，对它们的深入研究不但给予希腊几何学以巨大影响，而且引出了大量的新发现.例如，许多二次曲线、三次曲线以及几种超越曲线的发现，后来又有关于有理数域、代数数与超越数、群论等的发展在化圆为方的研究中几乎从一开始就促进了穷竭法的发展，二穷竭法正是微积分的先导. § 2 放弃“规矩”之后问题的难处在于限制用直尺和圆规.两千多年来，数学家

10、为解决三大问题投入了热大量精力.如果解除这一限制，问题很容易解决.2. 1 帕普斯的方法帕普斯（Pappus，约300350前后)是希腊亚历山大学派晚期的数学家.他把希腊自古以来各名家的著作编为数学汇编，共8卷.其中也包括了他自己的创作.在第4 卷中，他讨论了三等分任意角的问题.下面的方法就是帕普斯的.图 15-1DGEBCAO设,过点做角的另一边的垂线.过点作的平行线.考虑过点的一条直线，它交于点，交平行线于，并使2.这时.证 如图15-1所示，只要证明了2，那么就是. 设是的中点，并作，从而直线与并行.由 ，可知，从而，.又与是内错角，所以.注意到，是等腰三角形，于是，2.这就是说，三等分

11、了角. 这种作法的关键一步是，使2.这只能使用有刻度的直尺才能实现，它违反了欧几里得几何学作图的规则.具体做法是这样的：在直尺上标出一段线段,其长为2，然后调整直尺的位置，使它过点，并且在上，在过的平行线上.这种办法叫“插入原则”.2. 2 阿基米德的方法在图15-2上，是任意给定的一个角，其顶点在点.我们的目的是三等分这个角.在该角的一边上取一点，然后以点为心，以为半径做一圆，圆与的延长线交于点，与角的另一边交于点.作图的关键步骤是，使用“插入原则”.在直尺上标出两点和，并且使.现在上直尺过点，且使直尺上的点在圆弧上，然后移动直尺，使沿圆周运动，直到点落在的延长线上.直线表示这时直尺的位置，

12、即直尺过点，且. 图 15-2BAOCED 设.因为是等腰三角形，所以.同时，是的外角，从而这就证明了是的三分之一. 2. 3 时钟也会三等分任意角 大家知道，时钟面上有时针、分针和秒针，秒针用不到，只看时针和分针.分针走一圈，时针就走一个字.也就是，分针转过角，时针转过角的12分之1，即转过角.注意到12是3的倍数，我们就可以利用时钟三等分一个任意角了.具体作法如下.把要三等分的任意角画在一张透明纸上.开始时，把时针和分针并在一起，设它们正好在12的位置上（图15-3）.把透明纸铺到钟面上，使角的顶点落在针的轴心上，角的一边通过111012458793612ACB12的位置.然后把分针拨到和

13、角的另一边重合的位置.这时时针转动了一个角，在透明纸上把时针的现在位置记下来.我们知道，时针所走过的一定是的12分之1.把放大4倍就是的3分之1.O这种解法出现在前苏联别莱利曼的著作趣味几何学中，这是一本很好的科普读物，它告诉我们如何把几何知识用到实际中去.图 15-32. 4 达芬奇的化圆为方 如何化圆为方的问题曾被欧洲文艺复兴时期的大师达·芬奇用以种巧妙的方法给出解答：取一圆柱，使其底和已知圆相等，高时底面半径的一半.将圆柱滚动一周，产生一个矩形，其面积为2×2.这正好是圆的面积.再将矩形化为正方形，问题就解决了. § 3从几何到代数3.1用直尺圆规可以作什么

14、图 用欧几里得的直尺圆规可以完成哪些作图呢？下面的5种基本作图是可以胜任的（图15-4）：（1） 用一条直线连接两点.（2） 求两条直线的交点.（3） 以一点为心，定长为半径作一圆（4） 求一个圆与一条直线的交点，或切点.（5） 求两个圆的交点，或切点.还有，用直尺圆规作图必须在有限次内完成，不允许无限次地作下去.换言之，不允许采取极限手段完成作图.图 15-4根据直尺的基本功能，我们有下面的重要结论：一个作图题可否用直尺完成，决定于是否能反复使用上面5种基本作图经有限次而完成.这就是用直尺圆规可能与不可能的基本依据.具体说来，用尺规作什么图呢？（1） 二等分已知线段.（2） 二等分已知角.（

15、3） 已知直线和外一点，过作直线垂直.（4） 任意给定自然数，作已知线段的倍，等分已知线段.（5） 已知线段，可做其做法如图15-5所示.接着r也可做，这里r是正有理数.这样做：设都是自然数，因此.先做的p倍，再做p，这样就做出来了.上面各条告诉我们，已知线段的加、减、乘、除能用几何作图来实现.+b bb11b图 15-5另一方面，代数学告诉我们，从0，1出发利用四则运算可以构造出全部有理数.事实上，1+1=2，1+2=3， .因此，我们通过加法可以得到全体自然数.0减去任何一个自然数都得到负整数，因此，借助减法可以得到全体负整数.从整数出发，借助除法，我们可以得到全体有理数.现在我们知道了，

16、只要给定单位1，我们可以用尺规作出数轴上的全部有理点.几何与代数在这里达到了完全的统一. C O A B 图 15-6（6） 已知线段可作.这一条超出了有理作图的范围. 如图15-6，OA，以OB为直径作圆.过A作OB的垂直线交圆周于.直角三角形OAC与直角三角形OBC有一个公共角COB，由此可得，OCAABC. 这样一来，我们有，OCAABC. 设AC我们有，3.2域的定义 近代代数是研究运算性质的，它把普通实数满足的运算法则推广到更大的范围中去.本段给出域的定义，为后面研究可构造数域做些准备.设R是一个集合，下面的公理对R中的任何元素，b，都成立.公理1 （1）；（2）；（3）存在唯一得元

17、素，使得；（4）对任意的，都存在惟一的，使得.公理2 （1）；（2）（3）存在惟一的元素1，使得.（4）对任意的（除外），都存在惟一的，使得公理3 我们把满足这些公理的集合R叫做一个域.全体有理数对加法和乘法构成一个域，叫做有理数域.全体实数对加法和乘法构成一个域，叫做实域，全体复数也是一个域，叫复数域.3.3可构造数域在下面的讨论中，我们假定最初只给了一个元素，即单位长1.由1出发，我们用直尺和圆规通过有理运算加、减、乘、除能做出所有的有理数，这里r和s是整数，即做出整个有理数域.进而我们能做出平面上的所有有理点，即两个坐标皆为有理数的点.我们还能做出新的无理数，如，它不属于有理数域.从出发

18、，通过“有理”作图，可以做出所有形如（15-1）的数，这里是有理数.同样地，我们可以做出所有形如的数，这里，b，是有理数.但这些数总可以写成（15-1）的形式.例如这里是有理数，且分母不可能是零（为什么？）.同样，这里是有理数.因此，由的作图，我们产生了全部形如（15-1）的数集，其中，b是任意有理数.由此得命题1 形如（15-1）形成一个域.这个域比有理数域大.事实上在（15-1）中取就可得到有理数域.有理数域是它的一部分，称为它的子域.但是，它显然小于全体实数数域.将有理数域记为F，这个构造的数域记为，称它为F的扩域.中的数都可用直尺和圆规做出来.现在我们继续扩充可作数的范围.在中取一个数

19、，如.求它的平方根而得到可作图的数用它可以得到由所有形如的数，它们也形成一个域.称为的扩域，记为 ，现在可以是中的任意数，即，q形如，b 为有理数.从出发，我们还可以进一步扩充作图的范围.这种办法一直继续下去.用这种办法得到的数都是可用直尺圆规作出来的.3.4进一步的讨论代数研究的对象是数、数偶（即坐标）、一次方程式、二次方程式等.几何研究的对象是点、直线、圆、曲线、等.通过坐标法，几何的对象与代数的对象紧密的联系在一起了.现在面临一个这样的问题：用直尺圆规作出来的数是不是都在有理数域的诸扩域中呢？会不会超出这个范围呢？下面来回答这一问题.假定我们可用直尺圆规作出某个数域 F中的所有数.命题2

20、 从数域 F出发，只用直尺作不出数域 F 以外的数.证 设F.过点（），（）的直线方程是或它的系数是由 F 中的数作成的有理式.今有两条以 F 中的数为系数的直线：解此联立方程，可得交点坐标它们都是F中数.这样一来，只用直尺的作图不能使我们超出F的范围.易见，用圆规可作出F以外的数.只需在F中取一数k，使不在F中.我们能作出，因而可作出所有形如 （15-2）的数，其中，b在F中.所有形如（15-1）的数形一个域，它是F的扩域.命题3 给定数域F，用圆规和直尺只能作出F扩域中的数.证 首先指出，圆规在作图中所起的作用只是确定一个圆与一条直线的交点或切点，或一个圆与另一个圆的交点或切点.通过解联立

21、方程可以把交点或切点求出来.以（，）为中心，以r为半径的圆的方程是设，r.将上式展开得其中，在F内.求圆与直线的交点或切点就是解联立方程组其中，c内.从第二个方程解出代入第一个方程，得到一个二次方程其中 ，.其解为它们可以化为形式，p，q，kF.易见，是F的扩域.交点的y坐标由（15-3）给出，明显地，也在扩域中.这就是说，圆和直线的交点的坐标都在扩域中. 接着我们研究两个圆的交点或切点.再带书上就是接二元一次联立方程： 从第一个方程减去第二方程，得和前面一样，把它与第一个圆的方程联立起来求出，y.它们都不超出F的扩域.无论是哪一种情形，作图所产生的一个或两个新点的坐标和坐标，其量的形式都是.

22、在特殊情况下， 本身也可以属于F（例如，在有理数域中取k=4,那么仍在有理数域中） 图 15-7这样，我们证明了；（1）如果开始给定域中的F一些量，那么从这些量出发，只用直尺经有限次有理运算可生成域F的任何量，但不能超出域F.（2）用圆规和直尺能把可作图的量扩充到F的扩域上.这种构造扩域的过程可以不断进行，而得出扩域最后，我们得到结论：可作图的量是而且仅仅是这一系列扩域中的数.例 1 说明数 的构造过程. 解 设F表示有理数域.取得到域，取 ，得到，又知，取，得到 .因为，自然也有取，得到（）取 ，得到，进而 这样，域包含我们所要求的数.3.5 可作图的书都是代数数如果起始数域是有理数域F，那

23、么所有可作图的数就都代数数（图15-7）.扩域，中的数是以有理数位系数的2次方程的根，扩域中的数是以有理数位系数的4次方程的根，,一般地，扩域中的数是以有理数位系数的次方程的根.代数数超越数 可代数数有理数作图数例2 证明是4次方程的根.证 我们有展开，得到 图 15-7或 最后，我们有这是一个整系数的4次方程§4几个代数定理4.1根和系数的关系只要知道了二次方程的两个根就可将它分解因式：由此不难得出著名的伟达公式： 利用代数基本定理我们可以得到更一般的公式.代数基本定理 设是一个元n次多项式，它的系数是实数和复数，那么方程至少有一实数和复数根 有了代数基本定理，我们就可以断言，一元

24、n次多项式在复数域中有n个根，从而它可分解成一次因式的连成积，即这里为实数或复数，它们都是多项式（15-4）的根.事实上，设式方程的一个根，用（）去除，由于除式是一次的，所以余数就是一个常数R，我们有恒等式式中是一个次多项式.因为是的一个根，所以把代入上式，就得到于是这就是说，（ ）能整除此多项式.同样的道理，我们有n次分解之后，我们得到（15-5）式. 把（15-5）式乘开，并比较系数就得到伟达公式： 当代数方程的次数时，就是我们熟知的二次方程的根与系数的关系，当时，对三次方程 我们有 这就是三次方程的韦达公式，下面要用到此结果. 定理 1 若整系数的一元n次方程 有有理根（既约分数），则是

25、的因数，是的因数. 证 将有理根代入方程（15-9），得两边乘以，得移项，并提出公因数：记着与是互素的，所以是的因数.同样，用提出公因数的方法可证明，是的因数.同样，用提出公因数b的方法可证明，b是的因数. 系 设整系数的一元n次方程的首项系数为1，即若它有理根，则此根一定是整数，且为常数项的因数.4.2 3次方程的根 考虑有理系数的一元3次方程只需作变换，就可以把上面的方程化为缺项的3次方程（参考第九章4）： （15-10）这个方程的系数还是有理数.为简单计，我们考虑缺项的方程（15-10）.设方程（15-10）没有有理数，但有一个可作的数为根，那么将属于某一串扩域中最后的一个域.因为（15

26、-10）没有有理根，所以k0.于是可以写成下面的形式：其中.今指出，也是方程（15-10）的根.为了证明这一点，只需做些计算.事实上把代入方程（15-10）得展开、合并同类项，得到其中，且.这时，若 ，必有与假设矛盾.所以一定有，从而也有.另一方面，把代入（15-10），并做同样的计算.在计算中，只需把换成，从而得到由此我们知道，是方程（15-10）.这个结论对方程（15-7）也是成立的.总之，我们证明了以下命题.命题4 若是（15-7）的根，则也是（15-7）的根.将上面结果应用到两个特殊方程上面去.例1 证明方程 （15-11）没有有理根.证 有定理1的系知，如果（15-11）有有理根，则

27、此根必是整数，而且是2的因数.直接验证就知道1，2不是方程（15-11）的根.这样一来，方程（15-11）没有有理根.例2 证明方程 （15-12）没有有理根证 如果方程（15-12）有有理根，则是1的因子，b是8的因子.这样一来，方程（15-12）的有理根不外是直接验证知道它们都不是.因此，方程（15-12）,没有有理根.定理2 如果一个有理系数的3次方程没有有理根，则它没有一个根是由有理数域F出发的可作图的数.证 我们用反证法来证明这个定理.假设是方程（15-7）的一个可作图的根，则将属于某一串扩域中的最后一个域，我们可以假定，k是使得扩域包含3次方程（15-7）的根的最小正整易次方程（1

28、5-7）的根的最小正整数.易见，k0.因此，可以写成下面的形式： 其中.前面已指出，也是方程（15-7）的根.有韦达定理，方程的第3个根是：但，这指出，这里消失了，所以是中的数，这和k是使得扩域包含3次方程（15-9）的根的最小正整数的假设相矛盾.因此假设是错误的，在这种域中不可能有3次方程（15-7）的根.推论 方程（15-11），（15-12）都没有可作图的数作为它们的根. § 5 几何作图三大问题的解 有了上面的准备，我们来解三大几何难题.5.1 倍积问题设给定立方体的边长是.若体积为这立方体的两倍的立方体的边长是（图15-8），则y Q R O P 图 15-8 图 15-9所以本题就是求满足下面方程的：取，则此方程化为更简单的形式：如果立方倍积问题可解，则我们一定能用直尺和圆规构造出长度为 的线段.但是前面已证这是不可能的.这样一