古希腊三大几何难题
第9讲 1.古希腊三大几何作图难题的非尺规解法
数学名题欣赏第9讲1 . 古希腊三大几何作图难题的非尺规解法公元前四世纪，古希腊的智人学派(也称巧辩学派)提出并研究了三大几何作图问题：立方倍积问题、三等分角问题和化圆为方问题.立方倍积问题: 已知一个立方体. 仅用圆规和直尺, 作一个立方体, 使其体积等于已知立方体的体积的两倍.三等分角问题: 任意给定一个角. 仅用圆规和直尺, 把该角三等份.化圆为方问题: 已知一个圆. 仅用圆规和直尺, 作一个正方形, 使其面积等于已知圆的面积.直到十九世纪, 人们才证明了, 用圆规和直尺不可能解决上述三个几何作图问题. 1837年，旺策尔(P．Wantzel)证明了立方倍积和三等分角的不可能性. 1882年，林德曼(C. Lindemann)证明了 的超越性，从而推断，只用圆规和直尺不能化圆为方.虽然著名数学家克莱茵于1895年已经对三大作图问题作了总结，严格证明了, 仅用尺规绝不可解这些问题，彻底解决了两千多年的悬案，但用其他几何方法还是可以准确地(非测量地)解决这三个问题的.一立方倍积问题的丝线解法历史传说关于立方倍积问题的提出，传说很多. 埃拉托塞尼(Eratosthenes，公元前226年——公元前195年)在名著《柏拉图》一书中写道：太阳神阿波罗向提洛岛的人们宣布, 瘟疫即将流行. 为了摆脱灾难，必须把德里安祭坛的体积扩大，使之变为现在这个立方体祭坛的体积的两倍，而且要求仍然是一个立方体. 工匠们百般努力，百思不得其解，于是去请教柏拉图. 柏拉图提醒大家，神发布这个谕示，并不是想得到一个体积加倍的祭坛，而是以此难题来责难希腊人对数学的忽视和对几何学的冷淡.埃拉托塞尼是国王托勒密(Ptolemy)之子的家庭教师，他把自己关于立方倍积的工作上报给托勒密国王，引起了国王的重视，并在全国悬赏征解.又有一个传说, 说的是古代一位希腊悲剧诗人, 他描述过一位名叫弥诺斯的匠人为皇族格劳科斯修坟的故事. 弥诺斯说，原来设计的每边都是百尺的立方体坟墓，对于殉葬者众多的皇家而言还嫌太小，皇家要求他把其体积加倍.当时古希腊关于立方倍积的传说满天飞，可见人们对这一问题的重视和兴趣. 设k 是已知立方体的棱长，x 是所求立方体的棱长，于是, 332x k =.解法一 希腊数学家梅纳奇马斯(Menaechmus ，前375——前325)考虑了两条抛物线2x ky =和22y kx =的交点. 由于42232x k y k x ==，所以332x k =. 于是, 这两个抛物线的交点(非原点)的横坐标即为所求的立方体之棱长.解法二 笛卡儿(Descartes ，1596—1650)只用上面两条抛物线中的一条就求得了x . 事实上，上述两条抛物线的交点(), x y 满足222x y ky kx +=+, 此为中心在, 2k k ⎛⎫ ⎪⎝⎭、的圆. 此圆过两抛物线的交点，所以为求两抛物线的交点的横坐标x ，只需求上述圆与两条抛物线之一的交点即可(圆比抛物线容易作出).解法三 在上述方法中要作抛物线，这件事用尺规不能完成. 下面介绍一种巧妙的“丝线作图法”.1. 作边长为k 的正三角形ABC ，延长CA 到D ，使得AD k =;2. 作直线DB 和AB ;3. 取丝线一条, 在其上标出两点E 和F ，使EF k =;4. 拉直丝线，使其通过C 点，且点E 和F 分别落在DB 和AB 上. 于是可证:x =，即x 为体积加倍的立方体的棱长.注 x 的求法如下. 由上图, ||GC BE ,故2x k ky=. 在BCF ∆中使用余弦定理, 得()2222222cos3x k k y ky k y ky π+=+-=++, 即222x kx y ky +=+. 于是得332x k =. 故x =.二 用木工尺三等分任意角木工尺就是图中所示的直角尺. 设尺的拐角内点为B , 在和BD 垂直的尺边上取一点C , 使BC 等于尺宽AB . 任意给定一角EOF ∠. 用木工尺作一条与OE 相距为尺宽AB 的平行线l . 令尺边上的点A 落在l 上, C 落在OF 上, 尺边DB 过点O , 则沿DB 画出的直线l '与OF 的夹角等于13EOF ∠.事实上, Rt CBO Rt ABO Rt AGO ∆≅∆≅∆, 于是αβγ==.三 用割圆曲线化圆为方割圆曲线是古希腊数学家希庇亚斯为解决化圆为方问题而发明的. 设点A 是已知圆的圆心,AB 为一条半径.把线段AB 绕点A 顺时针匀速旋转90 到AD 的位置,同时, 与AD 平行的直线BC 匀速平移到AD 位置, 且AB 和BC 同时到达AD . 可以证明, 在运动过程中, 线段AB 和直线BC 始终相交. 它们的交点的轨迹称为割圆曲线(图中的粗实线).由于此曲线把以A 为圆心、以AB 为半径的14圆切割成两块, 所以该曲线称为割圆曲线. 如图建立坐标系, 设AB a =, 则割圆曲线的方程为tan2yx yaπ=.于是002lim limtan2y y y aAG x yaππ→→===. 由于我们利用割圆曲线, 所以AG 是已知线段. 于是,我们可用尺规作出线段2222AB a al a AG ππ===和线段b , 使得222b al a π==. 于是, 以b 为一边的正方形的面积等于已知圆的面积2a π.注1 证明: 在运动过程中, 线段AB 和直线BC 始终相交.设AB 旋转的角速度为ω,BC 平移的速度为v ,则因AB 和BC 同时到达AD , 所以2a vπω=. 于是2v a ωπ=.在t 时刻, B ''的纵坐标cos a t ω=.B C ''的纵坐标221. ()y a vt a at a t ωωππ⎛⎫=-=-=-* ⎪⎝⎭今证2cos 1t t ωωπ>-. 令t ωα=, 则要证2cos 10. ()2παααπ⎛⎫>-<<** ⎪⎝⎭22cos 1sin ααααππ'⎛⎫+-=-+ ⎪⎝⎭.当20arcsin απ<<时, 2cos 10αααπ'⎛⎫+-> ⎪⎝⎭; 当2arcsin 2παπ<<时, 2cos 10αααπ'⎛⎫+-< ⎪⎝⎭. 又在0α=或2π时, 2cos 10ααπ+-=, 所以2cos 1002παααπ⎛⎫+-><< ⎪⎝⎭. 即 ()**成立. 所以线段AB和直线BC 始终相交.注 2 由 ()*, 得22y t aππω=-, 所以22y t aππϕω=-=, 于是割圆曲线的方程为tan2yx yaπ=.2 . 捆绑立方体若把橡皮筋套在一个立方体的顶点A 的近旁， 使此橡皮筋成一个三角形，那么只要一松手，则橡皮筋会向A 的方向滑过去而脱落. 再看与此立方体的一个面平行的平面, 它截得的正方形MNPQ 若是橡皮筋，我们将它弄成不与立方体的面平行，它仍然会凭它的“收缩成面积最小的特性”而恢复成一个与该立方体的面平行的正方形. 可见, 与立方体的面平行的正方形MNPQ 是稳定的捆绑.上述这种与立方体的面平行的正方形橡皮筋共三族，每个面上有两族橡皮筋垂直地分布于该面上. 在立方体表面上的每个点处, 都通过两条稳定(最牢靠)捆绑的橡皮筋. 除此之外，是否还可能有牢靠捆绑的橡皮筋呢? 有!-的棱长为1. 考虑其表面上的六边形ABCDEF, 并设其六边分别在立方体的六个面上. 若ABCDEF是一条橡皮筋且是稳定的捆绑，则其长度将在弹力作用下变为最短. 考虑立方体的侧面展开图. 由于ABCDEF达到了最短, 故A、B、C、D、E、F、A共线. 于是, 直线ABCDEFA与AQ夹45 角, 六边形ABCDEF 的各边与所在面上的一条对角线平行. 这些对角线组成了展开图中的两条平行虚线, 它们是ABCDEFA的两个极端位置. 对应在正方体上，这两个极端位置是PRX∆和QWU∆.显然, 六边形ABCDEF的周长为32正方体的一个面的对角线长度23倍).另外, AB CD EF ==, BC DE FA ==, ||AB DE , ||BC EF , ||CD FA , 且ABCDEF 是每个角都是120 的平面六边形, 它所在的平面平行于平面QWU 和平面PRX .稳定的捆绑ABCDEF 的位置是可变的, 它所在的平面可以平行于平面QWU 而在平面QWU 和平面PRX 之间平移(但ABCDEF 的周长始终保持为常数而各边也在自身所在的面内平移且保持平行于同一条对角线. 在平面展开图上, 两条虚线之间的带状区域被缠绕在立方体上(三棱锥S PRX -以外的各面上).若把稳定捆绑的六边形ABCDEF 的各边延长，则可形成两个中心重合且对应边平行的正三角形, 它们所围成的区域的公共部分的边界即六边形ABCDEF .一共有四族捆绑六边形，每族所在的平面互相平行，且平行于立方体的三个面上的三条对角线. 这四族捆绑线和开头讲的三族捆绑线（平行于立方体的面）合起来, 共有七族捆绑线.在立方体的表面上的每一点处, 恰有四条捆绑线通过. 于是, 在立方体的表面上，共编织了四层捆绑线.若要把棉纱绕在一个立方体上且不致使棉纱松脱，则应垂直于立方体的棱缠绕或缠在三棱锥S PRX∆所在的平面平行. 共有七种缠-以外的表面上，每圈线与PRX绕方式. 用垂直于棱的方式(三种)缠了两层之后改用平行于PRX∆等三角形的方式(四种)再缠两层，以后周期性地重复进行，则可缠绕成一个十分别致而结实的线团.3 . 糕点售货员的打包技术顾客买了一盒点心，要求售货员把长方体的点心盒用尼龙绳捆紧，便于携带. 售货员至少有两种捆绑方式.一是正交十字法. 如图. 这是一种牢固的包扎方法.二是上下压角法(这与前面讲的捆绑立方体很类似). 如图. 捆扎的尼龙绳形成了一个空间八边形ABCDEFGH. 要使捆扎最紧, 必须使该空间八边形的周长最短. 我们从纸盒的平面展开图上来分析.在展开图上, 仅当A、B、C、D、E、F、G、H共线时, 封闭折线ABCDEFGHA(尼龙绳)才最短. 设上述八点共线. 则直线AB可在一定的范围内平移. 图中的两条虚线是AB 的极限位置, AB 可在这两条虚线所夹的范围内平移. 设纸盒的长、宽、高分别为a 、b 、c , 则不论AB 在上述范围内的哪个位置, 八边形ABCDEFGH 的周长都是同一值L =周长的最小值), 相应的捆扎都是牢固的.这种别致、最优的捆扎方式, 样式新颖, 使得绳子不仅可以沿着自身的走向移动, 而且可在盒子的表面平移, 平移时, 绳子的总长还保持不变, 恒为L =另外, 该方法所用的绳子的长度L =字法所用的绳子的长度224a b c ++.绳子的第一个极端位置 绳子的一般位置绳子的第二个极端位置 以上三个位置画在同一图上在绳子的一般位置的图示中, 注意||AB FE 且AB FE =, ||DC GH 且DC GH =,AH ED =且68AHP EDP ∠=∠, BC FG =且68BCP FGP ∠=∠.如用多条绳子捆紧盒子, 并使各条绳子的位置不同（彼此平行），则图示如上. 把上述平面展开图中的两条虚线所夹的区域视为一条宽带子, 则可用该带子牢固地捆紧纸盒, 这就好像用多条绳子捆扎一样.4 . 怎样判断一个自然数能否被2，3，5，7，9，11和13整除？设n 是自然数, 则(1)n 可以被2(或5)整除⇔n 的个位数可以被2(或5)整除.换言之, n 可以被2(或5)整除⇔n 的个位数是偶数(或0和5之一).例如, 9034可以被2整除, 但21537不能被2整除. 24910和7729215可以被5整除,但28849不能被5整除.该方法的意义(实用价值)在于: 不需要实际做除法即可判断一个数n 能否被2或5整除, 这比计算2n ÷和5n ÷简便.(2)n 可以被3(或9)整除⇔n 的各位数字之和可以被3(或9)整除.例如, 80274可被3整除, 但不能被9整除, 因为8027421++++=可被3整除, 但不能被9整除. 直接验证：80274326758÷=，8027498919÷=余3.35441不能被3整除, 因为3544117++++=不能被3整除. 直接验证: 35441311813÷=余2.2041857可被9整除, 因为204185727++++++=可以被9整除. 直接验证:20418579226873÷=.该方法的意义(实用价值)在于: 用较小的计算量即可判断一个数n 能否被3或9整除, 这比计算3n ÷和9n ÷简便. 以下各方法的用处类此.(3)n 可以被11整除⇔n 的偶位数字之和与奇位数字之和的差可以被11整除.例如，6283706可以被11整除，因为()()687623022+++-++=可以被11整除.52416不能被11整除, 因为()()5462112++-+=不能被11整除.(4)判断n 能否被7(或11, 13)整除的方法 方法一 n 可以被7(或11, 13)整除⇔n 的最后三位数字组成的数和其余各位数字组成的数的差可以被7(或11, 13)整除.例如, 30445828可以被7整除, 因为3044582829617-=可被7整除.208832不能被7整除, 因为832208624-=不能被7整除.575344可以被11整除,因为575344231-=可被11整除. 39901不能被11整除, 因为90139862-=不能被11整除.58513可以被13整除, 因为51358455-=可以被13整除.78310不能被13整除,因为31078232-=不能被13整除. 注意 上述方法可以反复使用, 能达到简化计算的效果. 如判断30445828可否被7整除时, 先求出3044582829617-=, 然后, 对29617, 再计算61729588-=, 它可以被7整除, 从而29617也可以被7整除, 于是,30445828可以被7整除. 方法二 从n 的个位起, 每3位分为一段, (例如,28702448n =可以写成28,702,448n =), 则n 能被7(或11, 13)整除⇔奇数段数字之和与偶数段数字之和的差可以被7(或11, 13)整除.例如, 3,998,460,228可以被7整除, 因为()()9982283460763+-+=可以被7整除.4,879,201,421不能被7整除,因为()()87942142011095+-+=不能被7整除. 9,880,409,341可以被11整除, 因为()()8803419409803+-+=可以被11整除.125,789,641,237不能被11整除, 因为()()789237125641260+-+=不能被11整除.801,139,985,200,009可以被13整除,因为()()80198591392001456++-+=可以被13整除. 5,784,269,131,458不能被13整除, 因为()()7841315269458183+-++=不能被13整除. 注意 上述方法也可以反复使用, 以达到简化计算的目的. 如上面判断801,139,985,200,009可以被13整除时, 先计算出()()80198591392001456++-+=, 然后, 可以对1,456, 计算4561455-=, 它可以被13整除, 所以1,456也可以被13整除, 从而801,139,985,200,009可以被13整除.5 . 消九验算法例1 56385215⨯=对不对？ 利用下面讲的消九验算法可以简便地加以验证.对乘数56，有5696÷=余2. 对乘数385, 有385942÷=余7.两个余数的乘积为14，1491÷=余5. 对乘积21560，有2156092395÷=余5.最后两个余数相同，我们可以基本．．断定5638521560⨯=是正确的(事实上, 此计算确实正确).说基本．．断定5638521560⨯=是正确的, 而不说肯定正确, 是因为可能有这种情况出现, 就是计算虽然有错, 但用上述方法仍然得到最后两个余数相同的结果.比如, 2417318⨯=显然是错的, 但2492÷=余6, 1791÷=余8, 6848⨯=, 4895÷=余3, 318935÷=余3. 最后两个余数相同.由此可见, 上述方法不是绝对可靠的!例2 38227103⨯=对不对?382942÷=余4, 2793÷=余0, 400⨯=, 090÷=余0, 1031291145÷=余7. 因07≠, 所以断定3822710312⨯=是错的.这就是说, 如果最后的两个余数不同, 则一定可以断定计算出错.例3 把消九验算法灵活变通一下, 可以简化验算时的计算.检验例1中的5638521560⨯=是否正确.对56: 5611+=;+=,112对385: 38516+=;++=,167+=;⨯=, 1452714对21560: 2156014+=.++++=,145最后的两个计算结果相同, 可基本断定5638521560⨯=正确.道理: 56被9除所得的余数=“5611+=”被9除所得的余+=”被9除所得的余数=“112数. 对385，14和21560有类似结果.我们看到, 本例中的方法比前两个例子中的方法在计算上简便多了!例4检验例2中的3822710312⨯=是否正确.对382: 38213+=;++=, 134对27: 279+=, 削去9, 得0;⨯=;400对10312: 103127++++=.最后的两个计算结果不同: 07≠, 于是可以断定3822710312⨯=是错的.6 . 素数的故事(1)名不符实的冠名素数并不素(朴素). 它的定义和名称似乎给人一种印象，认为素数是质朴简单的一种最基本的数. 其实, 算术中的麻烦事大都是由它惹起的. 例如，我们知道的哥德巴赫猜想和孪生素数的黎曼猜想就是典型的例子. 1989年，Amdabl Six小组在美国加利福尼亚圣克拉大学用Amdabl 1200超级计算机捕捉到一对孪生素数: 11235⨯±. 可见素数名不符实.170659521还有一个在数学史上贻笑大方的、名不符实的故事，它是关于威尔逊定理的. 有一个关于素数的定理，用英国法官威尔逊(J．Wilson，1741——1793)的名字冠名.威尔逊定理 若2p ≥为自然数，则p 是素数p ⇔整除()1!1p -+.事实上，这条定理是莱布尼茨首先发现，后经拉格朗日证明的. 但威尔逊的一位擅长拍马屁的朋友沃润(E ．Waring)在1770年出版的一本书中, 却吹嘘说是威尔逊发现的这一定理，而且还宣称这个定理永远不会被证明，因为人类没有好的符号来处理素数. 这种话传到高斯的耳朵里. 当时, 高斯也不知道拉格朗日证明了这一定理，他在黑板前站着想了五分钟，就向告诉他这一消息的人证明了这一定理! 高斯批评威尔逊说：“他缺乏的不是符号而是概念.”两百多年来，全世界的数论教科书上都照样把这一定理称为威尔逊定理. 看来还历史以本来面貌，更换本定理的冠名已无必要，也不易纠正这么多年来文献与教材上的称呼了.威尔逊定理应用很广. 例如, 对较大的素数p ，我们虽然无力算出()1!p -的值，但却知道()1!p -被p 除的余数是1p -.由于威尔逊定理的戏剧性的冠名以及它的内容的重要性，有人戏称：“如果一个人不知道威尔逊定理，那他就白学了算术.”(2)不能实施的素数判别法从字面上看，威尔逊定理已经明白无误地给出了一个简洁的四则运算算法，可以判断任何一个正整数是不是素数. 可惜()1!p -太无情了，它使得我们没有那么的多时间和抄写空间(纸张或计算机内存)来弄清()1!p -是几! 例如，1876年，法国数学家卢卡斯(A ．Lucas)用手和笔发现了一个39位的素数12721170141183460469231731687303715884105727p =-=.若用威尔逊定理来判断p 是否是素数, 就需要计算()()1271!211!p ⎡⎤-=--⎣⎦，以每页书可排2000个阿拉伯数字计算，()127211!⎡⎤--⎣⎦可以印成500页的书至少33210⨯本，这比全世界的总藏书量还多得多! 因此, 用威尔逊定理去判断一个大数是否是素数, 这是行不通的! 可见，威尔逊定理只有理论价值，它是一个无实施价值的判别法，或者说，它是一个无效的坏算法.我们渴望设计出一个有效算法, 来判别任给的正整数是否是素数. 这种迫切性从费马数和哥德巴赫猜想等问题上可以感觉到.所谓费马数，是指形如221n n F =+的数，其中0, 1, 2, n = . 03F =, 15F =, 217F =, 3257F =, 465537F =, 54294967297F =.从0F 到4F , 容易判定它们都是素数，5F 是42亿多的大数，费马当年无力判断5F 是否是素数，他只是大胆地猜想, 一切n F 都是素数. 1732年，欧拉算出56416700417F =⨯，从而否定了费马关于费马数素性的猜想.1880年，法国数学家卢卡斯算出627417767280421310721F =⨯.1971年，有人对7F 得出素因子分解.1981年，有人得出8F 的素因子分解.1980年，有人得出9448F 的一个因子是94501921⨯+.1984年，有人得出23471F 的一个因子是23473521⨯+.1986年，有人用超级计算机连续运算十天, 得知20F 是合数.人们至今知道的素费马数还只是03F =, 15F =, 217F =, 3257F =, 465537F =.这个问题不能彻底解决的要害, 是人们至今没有搞出判别素数的有效算法.也有一种潜在的厄运，那就是判定一个数是否是素数和移动河内塔上的盘子一样，本质上就不存在有效算法!(3)素数病毒越来越多把π的小数点删去，π就改写成了一个阿拉伯数字的无穷序列. 问：长几的前缀是素数? 例如，3与31是素数；314159是第三个素前缀；1979年美国数学家贝利(R ．Baillie)等人发现π上的第四个素前缀31415926535897932384626433832795028841. 敢问：π还有第五个素前缀吗? 第六个，第七个,……呢?把π换成 2.71828e =…,…, lg 2, lg 3,…, 再问同类问题，又该怎么解答呢? 即使是温和一些的问题，例如下面的问题, 其解答仍然是悬案!()121111110101011019n n n n --=++++=- 个. 问: 当n 为素数时，1111n 个是否是素数? 真是心血来潮! 随便一问就会难倒人! 这样提出问题会使人对素数产生一种反感. 在形形色色应接不暇的问题当中，似应首选那些具有重要应用背景或理论背景，又有能力解决的问题去研究.(4)重要的问题是落实算术基本定理算术基本定理告诉我们，任一大于1的整数n 都可以唯一地表成某些素数的乘积，即12m n p p p = , 其中1p , 2p , …, m p 是被n 唯一确定的素数.问题是，如何由n 具体地求出1p ,2p , …, m p ? 这是一个有重要实用背景和计算机计算的时间复杂度理论背景的大问题. 是数论的中心课题之一，也是计算机科学的主攻方向之一. 假设某年某人设计出了一个有效算法，能在多项式时间内求得12m n p p p = 中的1p , 2p , …, m p 的值，那么当n 是素数时，n 就是1p ，即此算法可以有效地判定素数，从而可以在多项式时间内解决前面提出的诸多问题. 例如, 费马数n F 是否为素数(n是任意给定的自然数)，无理数(例如π)的前缀是否是素数等问题. 这里说的“多项式时间”是指对一个问题，存在一个多项式()p n ，n 是要判定的整数的输入长，即它的位数的一个倍数.在实用上，例如在保密通讯与密码破译当中，需要对大合数进行素因子分解. 一般地, 这种大合数有百位之大，所以, 目前各军事大国都集中大量人力物力，研究这种合数的素分解问题，但至今并未听说有明显进展.如果真搞出素分解算法，则对任给定的大偶数，可以在多项式时间内把它表成两个素数之和或发现哥德巴赫猜想的反例.我们期望的这种素分解的有效算法能解决这么多非常之难的问题，可见设计出它的难度是诸多数论难题难度之集大成! 即使这种算法存在，也是很难设计出来. 我们甚至还应想到它根本就不存在，以免望梅止渴，水中捞月!7 . 蚂蚁在砖上爬行的最佳行迹一只蚂蚁从一块砖的一个顶点爬向对角顶点，它应沿着怎样的路线爬行，才能使其行迹(所用时间)最短？''''-. 蚂蚁欲从点A爬向对角顶点C'.它可以有种种不同的爬行方式. 如图所示. 不失一般性, 我们设蚂蚁沿路径A F C'→→爬行, 最后到达C'. 设AB a=, AD b=, AA c'=. 在长方体的侧面展开图上, 显然当点F使A、F、C'共线时，路径A F C'→→最短. 此时, 该路径的长度同理，AEC'=,AGC'在图示的从A 到C '的所有六条路径中, 最短者即为所求的最短路径. 另一方面, 由平面展开图可知,AHC AFC ''=且AFC H '是平行四边形, AJC AEC ''=且AEC J '是平行四边形, AIC AGC ''=且AGC I '是平行四边形. 因此, 我们只需考虑路径AFC '、AEC '和AGC ', 并从中挑选最短者. 设a b c >>, 则易知AFC '(也就是AHC ')是最短路径且AFC AHC ''=.一般地, 在展开图是平面图形的立体表面上，蚂蚁从一点爬向另一点时，其最省时的行迹皆为展开图上连接此两点的各直线段中的最短者对应的立体上的那条曲线段.例如, 在圆柱上，蚂蚁要从A点爬向B点. 把此圆柱的侧面展开, 则图中的两个线段AB中的较短者对应的圆柱面上的曲线(圆柱螺线)即为从A到B的最短路径.蚂蚁在圆锥上爬行的最佳路线也可用前面的展开图方法加以解决. 有趣的是，如果它是从圆锥底面圆周上一点A爬向此圆周上的另一点B，则最短路径不是沿圆周爬行，而是先向上爬，到达一个最高点后再向下爬行. 其最佳爬行路线在展开图上是直线段AB.对于不可展开成平面的曲面，寻求蚂蚁从其上一点爬向另一点的最佳路线就不像上面的解法那么方便了. 一般而言，不能用初等数学的方法来讨论. 例如在球面上，蚂蚁从一点A爬向另一点B，则应沿A、B所在的大圆上的劣弧AB爬行. 沿大圆爬行时，路径弯曲的程度最小，最接近直线段，但证明这一点并非易事.设在某曲面上存在一条蚂蚁的最佳行迹l ，使它从A 点爬到B 点, 所走路径最短. 现在l 上穿一个洞(点洞), 蚂蚁爬行时不能从该洞上走过, 则这时可能已不存在最佳行迹了. 事实上，设无洞时最佳行迹是唯一的. 因蚂蚁爬到洞附近时必须绕行，因此有无穷条行迹，都与无洞时的最佳行迹相差无几，且越来越接近于原最佳行迹，但哪一条也不是最佳的，都可以再缩短，可见这时已找不到最短行迹了.。
古希腊三大“不可解”的数学问题，最后一个既简单又复杂
古希腊三大“不可解”的数学问题，最后一个既简单又复杂只用直尺和圆规能解决这三个问题吗今天，超模君想跟大家讲一下有关“古希腊三大几何问题”的故事……“倍立方体”问题Question：如何只用直尺和圆规作出一个立方体，使得该立方体的体积为已知立方体的体积的两倍。
原来这个问题源于古希腊的一次瘟疫。
传说在公元前429年，一场不知名的瘟疫袭击了希腊提洛岛（Delos），岛上四分之一的人都因为瘟疫而丧生。
面对可怕的瘟疫，岛上的居民们推举出一个代表，到神庙里去询问阿波罗的旨意。
太阳神阿波罗结果阿波罗传下旨意：想要遏止瘟疫，就把神殿前的祭坛加大一倍吧！听到阿波罗的旨意，人们便把祭坛的边长都加长了一倍。
但是，当新的祭坛做好时，瘟疫并没有得到控制，反而愈加严重。
此时有人质疑说这样做根本不对，阿波罗说的是把祭坛的体积变成原来的两倍。
于是人们又把祭坛的体积修改为原来的两倍，但是祭坛的形状变成了一个长方体，瘟疫依旧肆虐。
无奈之下，岛民们只好去雅典求助智者柏拉图。
一开始柏拉图和他的学生都认为这个问题很容易，因为他们已经知道如何只用直尺和圆规，来作出一个面积为已知正方形两倍的正方形。
但是他们发现，这个问题远比想象的要复杂，以至于最后柏拉图并没有成功地用尺规作图来解决这个问题。
柏拉图：这回丢脸丢大了……于是这个问题被保留了下来，直到1837年，法国数学家万芝尔成功证明：只用尺规作图，根本无法解决“倍立方体”问题。
万芝尔的大致证明过程是这样的：假设已知的正方体棱长为a，体积为已知正方体的正方体棱长为x，由问题的要求，列式得x^3=2a^3，解出x等于2a^3的三次方根。
由于2的三次方根是无理数，而尺规作图能够作出的线段长度均为有理数，所以“倍立方体”问题无法只用尺规作图解决。
这个证明被数学界普遍认可，可如果抛开尺规作图这个限制，那么要解决“倍立方体”问题其实并不难。
柏拉图当时就有这么一个解法：“倍立方体问题”可以转化为另一个问题：即在a与2a之间，插入x、y两个数，使a、x、y、2a成等比数列。
旺策尔（Wantzel）给出三等分任一角及倍立方不可能用尺规作图的证明——古希腊三大几何难题
旺策尔（Wantzel）给出三等分任一角及倍立方不可能用尺规作图的证明——古希腊三大几何难题古希腊三大几何难题提出者：智者学派展开雅典有一个智者学派，代表人物有希比阿斯、安提丰、普罗泰格拉等。
智者学派以诡辩著称，当时流行几何，哲学家、数学家常常看口闭口都是几何。
于是三大几何难题就诞生了。
（1）化圆为方：作一个正方形，使其面积与已知圆面积相等。
（2）倍立方：作一个正方体，使其体积是已知正方体的2倍（3）三等分角：三等分任意角于是呢，有一堆数学家就开始做。
题目规则是尺规作图。
可他们没做出来，于是就做，做呀做呀，他们殚精竭虑、千方百计，就是没做出来，一个都没有，但是一直有人做，于是阿基米德螺线诞生了，于是圆锥曲线诞生了……但是这么多几何线诞生，也没把题目做出来，于是两千年过去了。
19世纪有一个人叫旺策尔，证明了这个题目光用尺规是作不出来的。
证明这个几何题目的方法，竟然是代数。
推理方法很值得借鉴。
简单说一下---------------------------------------------------------------------------------推理第一步：尺规作图可以怎么折腾归纳只有5点：①做连接两点的直线段，或延长此线段；②作两直线的交点；③以已知点为圆心；④作圆与直线交点；⑤作两圆交点；第二步：只用尺规可以作出什么样的线段设a1、a2、a3、a4、…… an是已知线段，同时用ai表示它们的长度，并设a1=1. 则光用尺规只能将之进行＋、一、×、÷、√（根号），即进行加、减、乘、除、开偶次方根。
ai＋aj没问题，ai －aj没问题，若x=ai× aj，则有1/ai=aj/x ，作一个相似三角形即可。
同样，若x=ai÷aj则1/x=ai/aj，若x=√（ai），则x^2=ai/×a1，x 是ai/与a1的比例中项，仿照射影定理的模型可以作出。
数学史
1，古希腊三大几何问题：这是三个作图题，只使用圆规和直尺求出下列问题的解，直到十九世纪被证实这是不可能的：1立方倍积，即求作一立方体的边，使该立方体的体积为给定立方体的两倍。
2化圆为方，即作一正方形，使其与一给定的圆面积相等。
3.三等分角，即分一个给定的任意角为三个相等的部分。
2，九章算术第九章“勾股”：利用勾股定理求解的各种问题。
其中的绝大多数内容是与当时的社会生活密切相关的。
提出了勾股数问题的通解公式：若a、b、c分别是勾股形的勾、股、弦，则，m>n。
在西方，毕达哥拉斯、欧几里得等仅得到了这个公式的几种特殊情况，直到3世纪的丢番图才取得相近的结果，这已比《九章算术》晚约3个世纪了。
勾股章还有些内容，在西方却还是近代的事。
例如勾股章最后一题给出的一组公式，在国外到19世纪末才由美国的数论学家迪克森得出。
后世影响《九章算术》是世界上最早系统叙述了分数运算的著作；其中盈不足的算法更是一项令人惊奇的创造；“方程”章还在世界数学史上首次阐述了负数及其加减运算法则。
在代数方面，《九章算术》在世界数学史上最早提出负数概念及正负数加减法法则；现在中学讲授的线性方程组的解法和《九章算术》介绍的方法大体相同。
注重实际应用是《九章算术》的一个显著特点。
该书的一些知识还传播至印度和阿拉伯，甚至经过这些地区远至欧洲。
《九章算术》是几代人共同劳动的结晶，它的出现标志着中国古代数学体系的形成．后世的数学家，大都是从《九章算术》开始学习和研究数学知识的。
唐宋两代都由国家明令规定为教科书。
1084年由当时的北宋朝廷进行刊刻，这是世界上最早的印刷本数学书。
所以，《九章算术》是中国为数学发展做出的一杰出贡献。
3.《几何原本》的意义和影响在几何学上的影响和意义在几何学发展的历史中，欧几里得的《几何原本》起了重大的历史作用。
这种作用归结到一点，就是提出了几何学的“根据”和它的逻辑结构的问题。
在他写的《几何原本》中，就是用逻辑的链子由此及彼的展开全部几何学，这项工作，前人未曾作到。
古希腊三大几何作图问题
古希腊人要求几何作图只许使用直尺（没有刻度，只能作直线的尺）和圆规，这种作图工具的限制使得三大几何作图问题成为数学史上的难解之题．三等分角问题即将任意一个角进行三等分．1837年，法国数学家旺策尔第一个证明了三等分角问题是古希腊那种尺规作图不可能的问题．但如果放宽作图工具的限制，该问题还是可以解决的．阿基米德创立的方法被誉为最简单的方法，他仅利用只有一点标记的直尺和圆规就巧妙地解决了这个问题．三等分角问题的深入研究导致了许多作图方法的发现及作图工具的发明．倍立方体问题即求作一个立方体，使其体积是已知一立方体的两倍，该问题起源于两千年希腊神话传说：一个说鼠疫袭击提洛岛（爱琴海上的小岛），一个预言者宣称己得到神的谕示，须将立方体的阿波罗祭坛的体积加倍，瘟疫方能停息；另一个说克里特旺米诺斯为儿子修坟，要体积加倍，但仍保持立方体的形状．这两个传说都表明倍立方体的问题起源于建筑的需要．1837年，洁国数学家旺策尔证明了倍立方体问题是古希腊那种尺规作图不可能的问题．倍立方体问题的研究促进了圆锥曲线理论的建立和发展．化圆为方问题即求作一正方形，使其面积等于一已知圆的面积．这是历史上最能引起人们强烈兴趣的问题之一，早在公元前5世纪就有许许多多的人研究它．希腊语中甚至有一个专门名词表示“献身于化圆为方问题”．1882年，德国数学家林德曼证明了化圆为方问题是古希腊那种尺规作图不可能的问题，从而解决了2000多年的悬案．如果放宽作图工具的限制，则开始有多种方法解决这个问题，其中较为巧妙的是文艺复兴时期的著名学者达·芬奇设计的：用一个底与己知圆相等，高为己知圆半径一半的圆柱在平面上滚动一周；所得矩形的面积等于已知圆面积，再将矩形化为等面积的正方形即化圆为方问题的研究促使人们开始用科学的方法计算圆周率的值，对穷竭法等科学方法的建立产生了直接影响．。
几何三大难题的初探
几何三大难题的初探希腊古典时期数学发展的路线希腊前300年的数学沿着三条不同的路线发展着.第一条是总结在欧几里得得《几何原本》中的材料.第二条路线是有关无穷小、极限以及求和过程的各种概念的发展，这些概念一直到近代，微积分诞生后才得以澄清.第三条路线是高等几何的发展，即园和直线以外的曲线以及球和平面以外的曲面的发展.令人惊奇的是，这种高等几何的大部分起源于解几何作图三大问题.几何作图三大问题古希腊人在几何学上提出著名的三大作图问题，它们是：(1)三等分任意角.(2)化园为方：求作一正方形，使其面积等于一已知园的面积.(3)立方倍积：求作一立方体，使其体积是已知立方体体积的两倍.解决这三大问题的限制是，只许使用没有刻度的直尺和圆规，并在有限次内完成.这三个问题是如何提出来的呢？由于年代久远，已无文献可查.据说，立方倍积问题起源于两个神话.厄拉多赛（EratoheneofCyrene，约公元前27―约前194）是古希腊著名的科学家、天文学家、数学家和诗人.他是测量过地球周长的第一人.在他的《柏拉图》一书里，记述了一个神话故事.说是鼠疫袭击了爱琴海南部的一个小岛，叫提洛岛.一个预言者说，他得到了神的谕示：须将立方形的阿波罗祭坛体积加倍，瘟疫方能停息.建筑是很为难，不知道怎样才能使体积加倍.于是去请教哲学家柏拉图.柏拉图说，神的真正意图不在于神坛的加倍，而是想使希腊人因忽视几何学而羞愧.另一个故事也是厄多拉塞记述的.说古代一位悲剧诗人描述克里特国王米诺斯为他的儿子克劳科斯修坟的事.他嫌坟修造得太小，命令有关人必须把坟的体积加倍，但要保持立方的形状.接着又说，“赶快将每边的长都加倍.”厄拉多塞指出，这是错误的，因为边长加倍，体积就变成原来的8倍.这两个传说都表明，立方倍积问题起源于建筑的需要.三等分任意角的问题来自正多边形作图.用直尺和圆规二等分一个角是轻而易举的.由此可以容易地作出正4边形、正8边形，以及正2n次方边形，其中n≥2是自然数.很自然地，人们会提出三等分一个角的问题.但这却是一个不可能用尺规解决的问题.圆和正方形都是最基本的几何图形，怎样做一个正方形和一个已知圆有相同的面积呢？这就是化园为方的问题.历史上恐怕没有一个几何问题像这个问题那样强烈地吸引人们的兴趣.早在公元前5世纪，就有很多人研究这个问题了，都想在这个问题上大显身手.化园为方的问题相当于用直尺和圆规作出√π的值.这个问题的最早研究者是安那克萨哥拉，可惜他的关于化圆为方的问题的研究没有流传下来，以后的研究者有希波克拉茨（HippocrateofChio，公元前约460年）.他在化圆为方的研究中求出了某些月牙形的面积.此外.还有安提丰，他提出了一种穷竭法，具有划时代的意义，是近代极限论的先声.“规”和“矩”的规矩在欧几里得几何学中，几何作图的特定工具是直尺和圆规，而且直尺上没有刻度.直尺、在欧几里得几何学中，几何作图的特定工具是直尺和圆规，而且直尺上没有刻度.直尺、圆规的用场是直尺：（1）已知两点作一直线；（2）无限延长一已知直线.圆规：已知点Ｏ，Ａ，以Ｏ为心，以ＯＡ为半径作圆.希腊人强调，几何作图只能用直尺和圆规，其理由是：（1）希腊几何的基本精神是，从极少数的基本假定——定义、公理、公设——出发，推导出尽可能多的命题.对作图工具也相应地限制到不能再少的程度.（2）受柏拉图哲学思想的深刻影响.柏拉图特别重视数学在智力训练方面的作用，他主张通过几何学习达到训练逻辑思维的目的，因此对工具必须进行限制，正像体育竞赛对运动器械有限制一样.（3）毕达哥拉斯学派认为圆是最完美的平面图形，圆和直线是几何学最基本的研究对象，因此规定只使用这两种工具.问题的解决用直尺和圆规能不能解决三大问题呢？答案是否定的，三大问题都是几何作图不能解决的.证明三大问题不可解决的工具本质上不是几何的而是代数的，再带舒缓没有发展到一定水平时是不能解决这些问题的.1637年迪卡儿创立了解析几何，沟通了几何学和代数学这两大数学分支，从而为解决尺规作图问题奠定了基础.1837年法国数学家旺策尔（PierreL.W Antzel）证明了，三等分任意角和立方倍积问题都是几何作图不能解决的问题，化圆为方问题相当于用尺规作出的值.1882年法国数学家林得曼证明了∏是超越数，不是任何整系数代数方程的根，从而证明了化圆为方的不可能性.但是，正是在研究这些问题的过程中促进了数学的发展.两千多年来.三大几何难题起了许多数学家的兴趣，对它们的深入研究不但给予希腊几何学以巨大影响，而且引出了大量的新发现.例如，许多二次曲线、三次曲线以及几种超越曲线的发现，后来又有关于有理数域、代数数与超越数、群论等的发展在化圆为方的研究中几乎从一开始就促进了穷竭法的发展，二穷竭法正是微积分的先导.放弃“规矩”之后问题的难处在于限制用直尺和圆规.两千多年来，数学家为解决三大问题投入了热大量精力.如果解除这一限制，问题很容易解决.。
古典难题的挑战——几何三大难题及其解决
古典难题的挑战——几何三大难题及其解决位于欧洲南部的希腊，是著名的欧洲古国，几何学的故乡。
这里的古人提出的三大几何难题，在科学史上留下了浓浓的一笔。
这延续了两千多年才得到解决的世界性难题，也许是提出三大难题的古希腊人所不曾预料到的。
三大难题的提出传说大约在公元前400年，古希腊的雅典流行疫病，为了消除灾难，人们向太阳神阿波罗求助，阿波罗提出要求，说必须将他神殿前的立方体祭坛的体积扩大1倍，否则疫病会继续流行。
人们百思不得其解，不得不求教于当时最伟大的学者柏拉图，柏拉图也感到无能为力。
这就是古希腊三大几何问题之一的倍立方体问题。
另外两个著名问题是三等分任意角和化圆为方问题。
用数学语言表达就是：三等分角问题：将任一个给定的角三等分。
倍立方体问题：求作一个正方体的棱长，使这个正方体的体积是已知正方体体积的二倍。
化圆为方问题：求作一个正方形，使它的面积和已知圆的面积相等。
然而，一旦改变了作图的条件，问题则就会变成另外的样子。
比如直尺上如果有了刻度，则倍立方体和三等分任意角就都是可作的了。
这三大难题在《几何原本》问世之前就提出了，随着几何知识的传播，后来便广泛留传于世。
貌似简单其实难从表面看来，这三个问题都很简单，它们的作图似乎该是可能的，因此，2000多年来从事几何三大难题的研究颇不乏人。
也提出过各种各样的解决办法，例如阿基米德、帕普斯等人都发现过三等分角的好方法，解决立方倍积问题的勃洛特方法等等。
可是，所有这些方法，不是不符合尺规作图法，便是近似解答，都不能算作问题的解决。
其间，数学家还把问题作种种转化，发现了许多与三大难题密切相关的一些问题，比如求等于圆周的线段、等分圆周、作圆内接正多边形等等。
可是谁也想不出解决问题的办法。
三大作图难题就这样绞尽了不少人的脑汁，无数人做了无数次的尝试，均无一人成功。
后来有人悟及正面的结果既然无望，便转而从反面去怀疑这三个问题是不是根本就不能由尺规作出?数学家开始考虑哪些图形是尺规作图法能作出来的，哪些不能？标准是什么？界限在哪里？可这依然是十分困难的问题。
古希腊三大作图问题
作数对；
扩域“列”与扩域“树”
❖ “列”： 有理数域 ❖ “树”：
r1 r2 2(r1, r2 Q)
Q
2∈Q
3∈Q
5 ∈Q ......
F1={a+b 2 |a,b∈Q} F'1={a+b 3 |a,b∈Q} F''1={a+b 5 |a,b∈Q} ......
扩域“列”与扩域“树”
扩域“树”的基本特征： ❖ 每一支都是一个扩域“列”； ❖ 在这些扩域“列”中，每一个扩域中的数都
可以用尺规作出； ❖ 某一个扩域可能出现在不同的扩域“列”中.
只能作图
❖ 对尺规作图而言, 从单位1出发, 利用尺规作图, 可以 作出有理数域中的每一个数。然后, 我们可以选择 有理数域中的一个数, 作它的算术平方根(这里要求), 进而作出所有形如的数,其中是数域中的任意数。从 而，用尺规可以作出一个新的数域.重复这样的过程， 我们就可以作出数域“树”。
❖ 数域“树”中每一个数都可以用尺规作出，而且， 尺规所能作出数的范围仅限于数域“树”中的数。
❖ 我们可以把它写成一个定理： 尺规能且仅能作出的数的范围为数域“树”。
❖ 没有针对一个问题，去寻找解决这类问题的 方法。
不可作图问题是如何解决的呢？
思路：我们对尺规作图一类问题进行考虑。 ❖ 确定尺规作图的范围； ❖ 判断我们要求作的具体问题是否在这个范围
内。
不可作图问题证明的基本步骤
❖ 1）尺规作图代数化——几何问题代数化； ❖ 2）范围界定，与数域建立联系——数域与扩
尺规作图
❖ 古时候人们约定，所谓圆规直尺作图是指： 使用直尺，我们能过任何给定的不同两点， 作一条直线；使用圆规，我们能以给定点为 圆心，任意长为半径作一个圆. 在作图中，使 用的直尺是没有刻度标记的直尺；
第13讲 古希腊三大几何作图难题与域的扩张理论
我们把这一过程抽象为域的扩张问题.
♥域的扩张理论
四、域的扩张理论 定义2.2.1 设F是域E的子域, 则称E是F的扩域. 设 S 是 E 的子集, 由F∪S 生成的 E 的子域(即 E 中包 含F∪S 的最小子域)称为添加S于F而得的扩域. 记为 F(S). E是F的扩域, A,B是E的子集, 则 命题2 F(A)(B)=F(A∪B). 证明 因为 F(A)(B) 是包含 F(A) 和 B 的子域, 进而是 包含 F 和 A∪B 的子域. 由 F(A∪B) 的最小性得 F(A)(B) F(A∪B). 另一方面, F(A∪B) 是包含 F 和 A∪B 的子域, 也就 包含 F∪A, 而 F(A) 是包含 F∪A 的最小子域, 故 F(A∪B) 包含 F(A) , 进而 F(A∪B) 是包含 F(A)∪B 的 子域, 由 F(A)(B) 的最小性得 F(A∪B) F(A)(B) 。
O a b P R A B X
?
二、圆规和直尺的延伸功能:
根据命题1, 我们初步分析一下圆规和直尺能作 出的数. 设已知一些数S, 利用这些已知数, 圆规和直 尺能作出的所有数之集记为F, 由命题1可知,
F关于数的加、减、乘、除运算是封闭的，
Ｆ 是 一 个 数 域 !
古希腊三大几何作图难题Fra bibliotek三、在平面解析几何中考察圆规和直尺的延伸功能: 1）已知两点Ａ( s, t )和 B( u, v ), 直尺可以画直线 AB, 其方程为 (I) ax + by + c = 0. 其中 a, b, c 由 A, B 两点的坐标完全确定, 是已知数. 2）已知定点Ａ(s,t)和半径 r, 圆规可以画圆C, 其方程为 (II)
♥域的扩张理论
当 S={a1, a2, …, an} 时, 记 F(S)=F(a1, a2, …, an), 并称为有限生成扩域. 特别称 F(a) 为单扩域. 定义2.2.2 设 E 是 F 的扩域, 则 E 也是 F 上的 向量空间, 其维数 dimEF 称为 E 对 F 的扩张次 数, 记为 [E:F]. 定理2.2.1 设FKE是域扩张, 则 [E:F]=[E:K][K:F].
古希腊三大数学问题
古希腊三大数学问题
古希腊三大数学问题是指公元前5世纪到公元3世纪之间，在古希腊数学家们的研究中，涌现出的三个重要的数学难题。
这三个问题分别是：三分问题、倍立方问题和圆面积问题。
三分问题指的是如何将任意一个角度三等分。
古希腊数学家们一直试图寻找用直尺和圆规解决该问题的方法，但最终发现该问题无法用这些工具解决。
倍立方问题则是指如何求出一个立方体的体积是另一个立方体
的两倍。
古希腊数学家们一直试图用直尺和圆规解决该问题，但最终发现该问题也无法用这些工具解决。
最后一个问题是圆面积问题，即如何求出一个圆的面积。
古希腊数学家们尝试了许多方法，最终由数学家阿基米德提出了用圆周长来计算圆面积的方法，这被称为“阿基米德原理”。
这三个数学问题在古希腊时期引起了广泛的讨论和研究，对后来的数学发展也产生了深远的影响。
它们成为了古希腊数学的重要遗产，也激发了更多数学难题的研究和探索。
- 1 -。
高等代数古希腊三大几何作图难题
在学习”平面几何“课程时，我们做过很多作图题，即用圆规和直 尺（没有刻度的直尺，只能画直线）作出要求的几何量或几何图形. 如平分给定的任意角、任意等分一个线段 · · · · · · . 在古希腊几何学 的研究中，曾提出了几何耐人寻味的”难题”，要求只用圆规和直 尺解决下列问题：
. . . .... .... .... . . . . .... .... .... . .
. .. . . ..
尺规作图能作出的量的分析
(α) 已定点 (x0, y0) 为中心，R 为半径的方程是 (x − x0)2 + (y − y0)2 = R2;
. . . .... .... .... . . . . .... .... .... . .
(γ) 两点 (x1, y1), (x2, y2) 之间的距离为 √
. .. . . ..
尺规作图能作出的量的分析
(α) 已定点 (x0, y0) 为中心，R 为半径的方程是 (x − x0)2 + (y − y0)2 = R2;
(β) 过点 (x1, y2) 和 (x2, y2) 的直线的方程是 (y2 − y1)(x − x1) − (x2 − x1)(y − y1) = 0;
1 三等分任意角问题；
2 倍立方问题：从一个给定的立方体，求作另外一个立方体，其 √
体积是原体积的两倍，亦即给定长度 u，求作另一长度 3 2u；
3 化圆为方问题：求作一个正方形，其面积等于一给定半径的圆 的面积，即已知半径 r，求作一个长度 a，使 a = r√π.
. . . .... .... .... . . . . .... .... .... . .
于是求作角
简述三大几何难题
三大几何难题古希腊是世界数学史上浓墨重彩的一笔，希腊数学的成就是辉煌的，它为人类创造了巨大的精神财富。
其中，几何是希腊数学研究的重心，柏拉图在他的柏拉图学院的大门上就写着“不懂几何的人，勿入此门”。
历史上第一个公理化的演绎体系《几何原本》阐述的也基本上为几何内容。
古希腊的几何发展得如此繁荣，但有一个问题一直没有得到解决，那就是著名的尺规作图三大难题。
它们分别是化圆为方、三等分任意角以及倍立方问题。
这三个问题首先是“巧辨学派”提出并且研究的，但看上去很简单的三个问题，却困扰了数学家们两千多年之久。
这些问题的难处，是作图只能用直尺和圆规这两种工具，其中直尺是指只能画直线，而没有刻度的尺。
在欧几里得的《几何原本》中对作图作了规定，只有圆和直线才被承认是可几何作图的，因此在这本书的巨大影响下，尺规作图便成为希腊几何学的金科玉律。
并且，古代希腊人较重视规、矩在数学中训练思维和智力的作用，而忽视规矩的实用价值。
因此，在作图中对规、矩的使用方法加以很多限制，在这里，就是要在有限的次数中解决这三个问题。
1.化圆为方圆和正方形都是常见的几何图形，人们自然会联想到可否作一个正方形和已知圆等积，这就是化圆为方问题。
2.三等分任意角用尺规二等分一个角很容易就可以作出来，那么三等分角呢？三等分180,90角也很容易，但是60,45等这些一般角可以用尺规作出来吗？3.倍立方关于倍立方问题是起源于一个祭祀问题，第罗斯岛上流行着一种可怕的传染病,一时人心惶惶,不可终日.人们来到阿波罗神前,请求阿波罗神像的指示.阿波罗神给了祈求人这样一个指示:“神殿前有一个正方体祭坛,如果能不改变它的形状而把它的体积增加1倍,那么就能消灭传染病.”人们连夜赶造了一个长、宽、高都比正方体祭坛大一倍的祭坛,可是,那传染病传播得更加厉害了.人们又来到阿波罗神像前祈求.神说:“我要你们增加一倍的是祭坛的体积,你们把长、宽、高都增加1倍,祭坛的体积不是要比原来体积大7倍了吗?”人们绞尽脑汁想找出一个答案,可是始终没有人能解答这个难题.由三大问题的起源，可以看出，化圆为方和三等分角是人们在已有知识的基础上，向更深层次，更一般的方向去思考、探索，这也是希腊数学的理论性的演绎推理与抽象性的表现。
简述三大几何难题
三大几何难题古希腊是世界数学史上浓墨重彩的一笔，希腊数学的成就是辉煌的，它为人类创造了巨大的精神财富。
其中，几何是希腊数学研究的重心，柏拉图在他的柏拉图学院的大门上就写着“不懂几何的人，勿入此门”。
历史上第一个公理化的演绎体系《几何原本》阐述的也基本上为几何内容。
古希腊的几何发展得如此繁荣，但有一个问题一直没有得到解决，那就是著名的尺规作图三大难题。
它们分别是化圆为方、三等分任意角以及倍立方问题。
这三个问题首先是“巧辨学派”提出并且研究的，但看上去很简单的三个问题，却困扰了数学家们两千多年之久。
这些问题的难处，是作图只能用直尺和圆规这两种工具，其中直尺是指只能画直线，而没有刻度的尺。
在欧几里得的《几何原本》中对作图作了规定，只有圆和直线才被承认是可几何作图的，因此在这本书的巨大影响下，尺规作图便成为希腊几何学的金科玉律。
并且，古代希腊人较重视规、矩在数学中训练思维和智力的作用，而忽视规矩的实用价值。
因此，在作图中对规、矩的使用方法加以很多限制，在这里，就是要在有限的次数中解决这三个问题。
1.化圆为方圆和正方形都是常见的几何图形，人们自然会联想到可否作一个正方形和已知圆等积，这就是化圆为方问题。
2.三等分任意角用尺规二等分一个角很容易就可以作出来，那么三等分角呢？三等分180,90角也很容易，但是60,45等这些一般角可以用尺规作出来吗？3.倍立方关于倍立方问题是起源于一个祭祀问题，第罗斯岛上流行着一种可怕的传染病,一时人心惶惶,不可终日.人们来到阿波罗神前,请求阿波罗神像的指示.阿波罗神给了祈求人这样一个指示:“神殿前有一个正方体祭坛,如果能不改变它的形状而把它的体积增加1倍,那么就能消灭传染病.”人们连夜赶造了一个长、宽、高都比正方体祭坛大一倍的祭坛,可是,那传染病传播得更加厉害了.人们又来到阿波罗神像前祈求.神说:“我要你们增加一倍的是祭坛的体积,你们把长、宽、高都增加1倍,祭坛的体积不是要比原来体积大7倍了吗?”人们绞尽脑汁想找出一个答案,可是始终没有人能解答这个难题.由三大问题的起源，可以看出，化圆为方和三等分角是人们在已有知识的基础上，向更深层次，更一般的方向去思考、探索，这也是希腊数学的理论性的演绎推理与抽象性的表现。
古希腊三大作图问题讲解
尺规作图
古时候人们约定，所谓圆规直尺作图是指： 使用直尺，我们能过任何给定的不同两点， 作一条直线；使用圆规，我们能以给定点为 圆心，任意长为半径作一个圆. 在作图中，使 用的直尺是没有刻度标记的直尺；
只用圆规、直尺，古希腊三大作图问题不可 作。
不限制用圆规和直尺，三大作图问题 是可作的
数域“树”中每一个数都可以用尺规作出，而且， 尺规所能作出数的范围仅限于数域“树”中的数。
我们可以把它写成一个定理： 尺规能且仅能作出的数的范围为数域“树”。
没有针对一个问题，去寻找解决这类问题的 方法。
不可作图问题是如何解决的呢？
思路：我们对尺规作图一类问题进行考虑。 确定尺规作图的范围； 判断我们要求作的具体问题是否在这个范围
内。
不可作图问题证明的基本步骤
1）尺规作图代数化——几何问题代数化； 2）范围界定，与数域建立联系——数域与扩
可以用尺规作出； 某一个扩域可能出现在不同的扩域“列”中.
只能作图
对尺规作图而言, 从单位1出发, 利用尺规作图, 可以 作出有理数域中的每一个数。然后, 我们可以选择 有理数域中的一个数, 作它的算术平方根(这里要求), 进而作出所有形如的数,其中是数域中的任意数。从 而，用尺规可以作出一个新的数域.重复这样的过程， 我们就可以作出数域“树”。
一、古希腊三大作图问题 与尺规作图
古希腊三大作图问题
古希腊有三个十分著名的作图问题，这三个作 图问题规定只能用圆规和直尺解决.它们分别是： 倍立方体：求作一个立方体的边，使该立方体的体 积为给定立方体的两倍. 化圆为方：求作一个正方形，使其面积与一个给定 的圆的面积相等. 三等分角：求作一个角，使其等于给定的角的三分 之一.
什么是“几何三大问题”
什么是“几何三大问题”大约在二千四百多年前，古希腊流传下列三个几何作图题：1．立方倍积问题：就是作一个立方体，使它的体积等于一个已知体积的2倍。
2．三等分角问题：就是把一个已知角三等分。
3．化圆为方问题：就是求作一个正方形，使它的面积等于一个已知圆的面积。
这三个几何作图题如果用先进的工具或曲线可以轻易地作出答案，然后只需用圆规和直尺来完成，而且还有一些限制：①直尺是没有刻度的；②不能把直尺和圆规同时在一起合并使用；③在作图时，直尺和圆规是不能无限使用多次的。
两千多年来，许多著名的数学家和学者都曾经对这三题进行过无数次的探讨、尝试，但连当时负有盛誉的学者柏拉图，也觉得茫无头绪，都始终没有成功。
于是，三个几何作图题成为著名的古典难题，一向被人们称为“几何三大问题”。
关于第一个问题，还流传着一个美丽的神话：大约在两千三百年前，雅典城流行了可怕的伤寒病。
人们为了消除这个灾难，便向“太阳神阿波罗”求助。
太阳神告诉人们说：必须把我殿前神坛上香案的体积扩大一倍，才能使瘟疫不再流行。
他的香案是一个立方体形状的，人们便觉得这个条件并不苛刻，于是人们马上做了一个新的香案。
然而，瘟疫依旧非常猖獗。
雅典人再去祈祷太阳神，才知道这个新的香案体积并不等于原来的两倍。
同学们也算一算，人们新做香案的每条棱长是原来棱长的2倍，这怎能符合要求呢？那么究竟怎么做呢？可把当时的人们难住了。
这虽是个神话，但经过人们的努力，在1973年，万芝尔首先证明这个立方倍积问题是不能用直尺和圆规来解决的，而且第二个问题也得到了同样的证明。
最难的是第三个化圆为方的问题因为它牵涉到π是超越数的证明。
什么叫超越数呢？通俗地说，是不可由某种具有有理系数的方程算出来的数。
证明一个数是超越数的方法，首先由数学家阿基米德创立的，后来德国数学家林德曼在1882年证明了π是一个超越数。
从此，这三个古典难题的公案便宣告结束。
这三个问题在生产生活中却有一定的实用性。
如果允许使用工具，或有刻度的直尺冲破原来的那些限制，三等分一个角是可能的，阿基米德就做了成功的尝试。
【精品】古希腊三大几何难题
【精品】古希腊三大几何难题古希腊是数学的发源地之一，许多重要的数学理论和问题都起源于古希腊。
在古希腊数学中，有三个著名的几何难题，分别是“倍立方问题”、“平方圆问题”和“黄金分割问题”。
这三个问题在古希腊数学中被认为是难以解决的难题，直到近代才被完全解决。
第一个问题是“倍立方问题”，也就是如何构造一个体积是已知立方体两倍的立方体。
根据欧几里得的《几何原本》，这个问题可以被转化为如何求解一个立方根。
然而，古希腊人发现无法通过直尺和圆规来完成这个任务。
这个问题一直困扰着古希腊的数学家，直到16世纪，意大利数学家费拉里解决了这个问题，他证明了立方根是无法用直尺和圆规来作图的。
第二个问题是“平方圆问题”，也就是如何构造一个面积等于给定圆面积的正方形。
这个问题的困难之处在于圆周长和正方形边长之间的关系。
古希腊数学家发现，无法通过直尺和圆规来构造一个面积等于给定圆面积的正方形。
这个问题一直没有被解决，直到19世纪，法国数学家阿贝尔证明了平方圆问题是无法解决的，即无法用直尺和圆规来作图构造一个面积等于给定圆面积的正方形。
第三个问题是“黄金分割问题”，也就是如何将一条线段分割成两段，使得整条线段与较短的一段之比等于较短的一段与较长的一段之比。
这个问题在古希腊数学中被广泛研究，许多数学家试图通过直尺和圆规来解决这个问题。
然而，他们发现无法用有限次的直尺和圆规作图来实现黄金分割。
这个问题一直困扰着数学家们，直到19世纪，法国数学家阿贝尔证明了黄金分割问题是无法用直尺和圆规来解决的。
这三个几何难题的解决对古希腊数学的发展有着重要的影响。
这些问题的无解性证明了直尺和圆规的局限性，进一步推动了数学研究的发展。
在这些问题的研究中，古希腊数学家们使用了精确的几何推理和严密的证明方法，为后来的数学研究奠定了基础。
总之，古希腊三大几何难题——倍立方问题、平方圆问题和黄金分割问题，是古希腊数学中的重要难题。
这些问题在古希腊时期被认为是无法解决的，直到近代才被完全解决。
古希腊三大几何问题
古希腊三大几何问题在数学的历史上有三个问题始终以可惊的力量坚廿了两千多年。
初等几何学到现在至少已有了三千年的历史，在这期间努力于初等几何学之发展的学者们曾经遇到过很多的难题，而始终绞着学者脑汁的却就是这三个问题。
问题是「立方倍积」，「化圆为方」和「三等分角」，由于这三个问题的屹立不移，现在就被合称为「三大问题」。
立方倍积关于立方倍积的问题有一个神话流传：当年希腊提洛斯（Delos）岛上瘟疫流行，居民恐惧也向岛上的守护神阿波罗（Apollo）祈祷，神庙里的预言修女告诉他们神的指示：“把神殿前的正立方形祭坛加到二倍，瘟疫就可以停止。
”由此可见这神是很喜欢数学的。
居民得到了这个指示后非常高兴，立刻动工做了一个新祭坛，使每一棱的长度都是旧祭坛棱长的二倍，但是瘟疫不但没停止，反而更形猖獗，使他们都又惊奇又惧怕。
结果被一个学者指出了错误：「棱二倍起来体积就成了八倍，神所要的是二倍而不是八倍。
」大家都觉得这个说法很对，于是改在神前并摆了与旧祭坛同形状同大小的两个祭坛，可是瘟疫仍不见消灭。
人们困扰地再去问神，这次神回答说：「你们所做的祭坛体积确是原来的二倍，但形状却并不是正方体了，我所希望的是体积二倍，而形状仍是正方体。
」居民们恍然大悟，就去找当时大学者柏拉图（Plato）请教。
由柏拉图和他的弟子们热心研究，但不曾得到解决，并且耗费了后代许多数学家们的脑汁。
而由于这一个传说，立方倍积问题也就被称为提洛斯问题。
化圆为方方圆的问题与提洛斯问题是同时代的，由希腊人开始研究。
有名的阿基米得把这问题化成下述的形式：已知一圆的半径是r，圆周就是2πr，面积是πr2。
由此若能作一个直角三角形，其夹直角的两边长分别为已知圆的周长2πr及半径r，则这三角形的面积就是(1/2)(2πr)(r)=πr2与已知圆的面积相等。
由这个直角三角形不难作出同面积的正方形来。
但是如何作这直角三角形的边。
即如何作一线段使其长等于一已知圆的周长，这问题阿基米德可就解不出了。
古希腊三大几何难题
古希腊三大作图难题北京化工大学 殷光中概述：尺规作图，即只用直尺和圆规作几何图形，其来源于《几何原本》，以后在一个时期内成为数学中的重要研究课题[1]。
古希腊三大作图难题：1.作一立方体，其体积为所知立方体体积的两倍；2.画圆为方，即作一正方形使其面积为已知圆的面积；3.尺规三等分任意角）之一。
众所周知，二等分任意给定角用尺规很容易就能解决。
而充满探索与挑战精神的人们又会想到用尺规如何三等分任意给定角，此后，许多数学家纷投入这一问题的解决。
直到十九世纪，人们才严格证明了三等分任意角仅凭尺规不可能实现。
到此，这一问题才告一段落。
期间，有许多超越了尺规限制的作图方法：比如：希皮阿斯发明的割圆曲线，阿基米德螺线和尼科梅德斯蚌线等[2]。
人们万万也不会想到但他们在潜心研究一些未解决的问题的时候，许多新的发现也会应运而生……1、三等分任意角科学需要大胆的想象,或许引入数学公式可以实现超越尺规而三等分角,于是我想到了倍角的相关公式,引发了以下一系列的思考: 1.1.1 n 倍角的正切值展开通式tan1α=t tan2α=212t t- tan3α=23313t t t --tan4α=4236144tt t t +-- tan5α=42535101105t t t t t +-+-tan6α=64253151516206t t t t t t -+-+- tan7α=64275373521121357t t t t t t t -+--+-tan8α=86427532870281856568t t t t t t t t +-+--+-…… 有如下特征：① 分子分母各项均是“+，-”交替出现，且分子上为t 的奇次幂，分母上为t 的偶次幂。
② 我们将分子分母上相同序项对齐，则分子上的次数比分母上依次高一，且其系数有如下关系： 若tann α=...1......8463422194735231++-+-++-+-t m t m t m t m t n t n t n t n nt ; 则有，tan(n+1) α=...)()(1...)()()1(42121522311-+++--+++-+t m n t m n t m n t m n t n .即：对正相加分别作为下式相应项的分子系数；由下往上左偏相减作为下式相应项的分母系数 。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
古希腊三大作图难题北京化工大学 殷光中概述：尺规作图，即只用直尺和圆规作几何图形，其来源于《几何原本》，以后在一个时期内成为数学中的重要研究课题[1]。
古希腊三大作图难题：1.作一立方体，其体积为所知立方体体积的两倍；2.画圆为方，即作一正方形使其面积为已知圆的面积；3.尺规三等分任意角）之一。
众所周知，二等分任意给定角用尺规很容易就能解决。
而充满探索与挑战精神的人们又会想到用尺规如何三等分任意给定角，此后，许多数学家纷投入这一问题的解决。
直到十九世纪，人们才严格证明了三等分任意角仅凭尺规不可能实现。
到此，这一问题才告一段落。
期间，有许多超越了尺规限制的作图方法：比如：希皮阿斯发明的割圆曲线，阿基米德螺线和尼科梅德斯蚌线等[2]。
人们万万也不会想到但他们在潜心研究一些未解决的问题的时候，许多新的发现也会应运而生……1、三等分任意角科学需要大胆的想象,或许引入数学公式可以实现超越尺规而三等分角,于是我想到了倍角的相关公式,引发了以下一系列的思考: 1.1.1 n 倍角的正切值展开通式tan1α=t tan2α=212t t- tan3α=23313t t t --tan4α=4236144tt t t +-- tan5α=42535101105t t t t t +-+-tan6α=64253151516206t t t t t t -+-+- tan7α=64275373521121357t t t t t t t -+--+-tan8α=86427532870281856568t t t t t t t t +-+--+-…… 有如下特征：① 分子分母各项均是“+，-”交替出现，且分子上为t 的奇次幂，分母上为t 的偶次幂。
② 我们将分子分母上相同序项对齐，则分子上的次数比分母上依次高一，且其系数有如下关系： 若tann α=...1......8463422194735231++-+-++-+-t m t m t m t m t n t n t n t n nt ; 则有，tan(n+1) α=...)()(1...)()()1(42121522311-+++--+++-+t m n t m n t m n t m n t n .即：对正相加分别作为下式相应项的分子系数；由下往上左偏相减作为下式相应项的分母系数 。
③分子以 “nt ”开头 ，分母以“1”；若从第一项开始每两项为一对，分子上：奇数对的基数项（简称奇对奇项）以“”结尾，奇对偶项以“n”结尾；偶对奇项以“-”结尾，偶对偶项以“- n”结尾；分母上：奇对奇项以“n ”结尾，奇对偶项以“-”结尾；偶对奇项以“-n”结尾；偶对偶项以“”结尾。
注意：奇数项中分子、分母的项数相同，偶数项中分母项数比分子项数多一项。
综合以上特征和八个式子的系数关系，我们不难发现：tan(4k+0) =n n nn n nn nnn n n n n nttt t t t t t t C CC C CC C C C +-+-+--+-+-----2244220011553311............tan(4k+1)= 1122003311............--+-+-+-+-n n nn n nnn n n tt t t t t C C C C C C tan(4k+2)=n n nn n nnnn n n nntt t t t t t C C C C C C C -+-+-+-+-----222200113311............ tan(4k+3)=11442200553311............---+-+--+-+-n n nnnnn n nn n n tt t t t t t t C C C C C C C C我们将分子、分母上的正项、负项分别合并，得tan(4k+0)=214214204204024024014014004004314314304304124124114114104104.........+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯--+++--+++tttttttttCCCCCtC C C C C nnnnnn nnn n同理，tan(4k+1)=214214204204024024014014004004314314304304124124114114104104.........+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯--+++--+++tttttt tttC CCCCt C C C C C nnnnnnnnn ntan(4k+2)=214214204204024024014014004004314314304304124124114114104104.........+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯--+++--+++tttttttttCCCCCtC C C C C nnnnnnnnn ntan(4k+3)=214214204204024024014014004004314314304304124124114114104104.........+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯+⨯--+++--+++tttttttttCCCCCtC C C C C nnnnnnnnn n综上所述，当m=[n/4]时，tan=t,有tan(n )=240240440034341414+=+===++++∑∑∑∑--k mk k nmk k k nmk mk k k nk k ntt ttCCC C1.1.2下面我们用数学归纳法来验证上式的正确： 证明：假设当n=M （M 属于N ，且M>1）时，原式成立，即tanM = 240240440034341414+=+===++++∑∑∑∑--k mk k Mmk k kMmk mk k k M k k Mtt t tC CC C那么当n=M+1时,tan(M+1)=ααααtan tan 1tan tan ⋅-+M M= ∑∑∑∑∑∑∑∑==++++=+=====+++++++-+--+-mk mk k k M k k Mk mk k Mmk kkM mk mk mk mk k k M k k Mk k Mk kM t tttt tttC CCC C C C C 002424434240140440000343414143424144= ∑∑∑∑∑∑∑∑==++++=+=====+++++++-+--+-mk mk k k M k k M k mk k M mk k kM mk m k m k mk k k M k k M k k M k kM t t t t t t t t C C C C C C C C 002424434240140440000343414143424144 =]]]]242424014044344400343434241414144[[[[+++=+=++==++++++++-++-+∑∑∑∑k k Mk mk k Mm k k k Mk k Mmk mk k k M k k Mk k M k k M t tttt tt tCCCCC CC C= 240241044103434114141+=++=+==++++++∑∑∑∑--k mk k M mk k kM mk mk k k M k k M t t t tC CC C1.2“T ”型架三等分任意角如图设∠AOB 是要等分的任意角O-MN “T ”型架(MOp=NOp,MN OOp),作OB的平行线a（如图虚线），使OB与a的距离d=MOp=NOp.然后让“T”型架绕点O转动，当M点N点恰好分别落在OA与a上时，则得到的夹角∠COB为其三等分角。
易证明∠COB=∠AOOp=∠COOp.如过在丁字尺的长边正中间做一条直线(相当于OOp),横梁边缘相当于MN,则丁字尺就可以用于三等分任意角,方便而简洁。
上面的是‘1T ’型杆。
一般地, ‘NT ’型杆可以‘2N+1’等分任意角。
下面是五等分角示例：如图设∠AOB是要等分的任意角，OT-MN为双“T”型架，作OB的平行线a（如图虚线），使OB与a的距离d=MO2=NO3.然后让“T”型架绕双T交汇点O1旋转，刚好使M.N.OT点分别落在OA.a. 线上和O点上，则此时AOO2角即为五等分角。
1.3 阿基米德活动杠杆三等分任意角[2]方法如下：杠杆由两部分组成：主杆（BG）和活动杆（OG）。
活动杆的一端（O）和主杆的一端（D）对齐，另一端（G）固定在主杆上，固定点用G表示。
设∠AOB是要等分的任意角，且可取OA=OB=OG。
将活动杆的一端固定在O点主杆过B点，滑动转杆装置使得主杆与活动杆相齐的一端与AO 的延长线相交D点。
如图：因为DG=GO=OB,所以∠GDO=∠GOD，∠OGB=∠OBG，则∠AOB=∠GDO+∠OBG=∠GDO+∠OGB=3∠GDO.帕斯卡蜗线[3]（如右图）与阿基米德活动杠杆三等分角原理是一样的，我们可以认为其等同，或这说蜗线是阿基米德活动杠杆的数学普适表示形式，阿基米德思想上侧重于实操性，而帕斯卡蜗线侧重于数学上的表达。
帕斯卡蜗线方程为：（极坐标下）,或者直角坐标系。
1.4蒲扇线与三等分任意角如左图，形状如“蒲扇”又如“桃心”，与既有的“心形线”[3]，方程：;神似，但非等同。
为加以区分，此以后称之为“蒲扇线”。
其作图方法如下：1，作任意圆O，半径为R=a;2，以圆O上任意点A作为基点开始做线，过圆心的任意线交圆于C 点，延长OC，使BC=AC弦长，由此确定一个B点。
3，则绕整个的圆周作图，无穷个这样的点可以组成如图的“蒲扇线”。
这是超越了尺规规定的作图方法，“蒲扇线”也叫做一种超越线，虽然按作图方法表面上式不可能做到，因为要做无穷多个点。
但是这并不影响到曲线本身的存在性和理论意义，就像上文中所说的诸多方法也即是如此思路。
“蒲扇线”在极坐标下的一般方程为：(以O为圆心，OA为横轴)面积为.当2a=b时，用“蒲扇线”可以三等分任意角，具体方法如下：如图，任意角∠OAB，将顶点A置于基点A处，一边过圆心O，则角的另一边交“蒲扇线”于B点，联结OB，得角ABO为已知角的三等分角。
证明如下：根据曲线的定义与做法，AC=BC,OA=OC,所以，∠OBA=∠BAC，∠OAC=∠OCA，且∠OBA+∠BAC=∠OCA，所以∠OAB=∠OAC+∠BAC=3∠OBA.完。
2、画圆为方2.1阿基米德螺线阿基米德螺线是指一条射线绕其固定端匀速旋转，同时有一个动点从端点出发沿射线匀速运动，这一动点就描绘出一条平面螺线，如右图所示：方程为：阿基米德螺线，可以成功地“画圆为方”和三等分任意角。