尺规作图法


尺规作图法

文章插图
尺规作图法尺规作图就是只使用直尺和圆规,并且只準许使用有限次,来解决不同的平面几何作图题 。
这里的“直尺”和“圆规” 跟现实中的并非完全相同,具有抽象意义 。
【尺规作图法】直尺必须没有刻度,无限长,且只能使用直尺的固定一侧 。只可以用它来将两个点连在一起,不可以在上画刻度 。圆规可以开至无限宽,但上面亦不能有刻度 。它只可以拉开成你之前构造过的长度或一个任意的长度 。
基本介绍中文名:尺规作图法
外文名:construction with ruler and compasses
学科:数学
工具:直尺、圆规
套用:作正多边形等等
影响:开创了对圆锥曲线的研究
简介尺规作图就是只使用直尺和圆规,并且只準许使用有限次,来解决不同的平面几何作图题 。这里的“直尺”和“圆规” 跟现实中的并非完全相同,具有抽象意义 。直尺必须没有刻度,无限长,且只能使用直尺的固定一侧 。只可以用它来将两个点连在一起,不可以在上画刻度 。圆规可以开至无限宽,但上面亦不能有刻度 。它只可以拉开成你之前构造过的长度或一个任意的长度 。同时,仅以“有限次使用无刻度的直尺和圆规作图”这样的措辞作为定义显然是不够严密的,因为不限定每“次”以内的操作複杂度的话,“有限次”就成无意义的了 。因此,一般採用的定义是基于“作图公法”的定义,即:1. 每次的操作只能是公认允许的五项基本操作(称为五项作图公法)之一 。2. 每次操作之前,操作者为决定是否操作和进行哪种操作可以进行的逻辑判断,也只能是几何学中公认允许的几种 。基于“作图公法”的定义如下:尺规作图定义承认以下五项前提,有限次运用以下五项公法而完成的作图方法,就是合法的尺规作图:五项前提是:(1) 允许在平面上、直线上、圆弧线上已确定的範围内任意选定一点(所谓“确定範围”,依下面四条的规则) 。(2) 可以判断同一直线上不同点的位置次序 。(3) 可以判断同一圆弧线上不同点的位置次序 。(4) 可以判断平面上一点在直线的哪一侧 。(5) 可以判断平面上一点在圆的内部还是外部 。五项公法是:(1) 根据两个已经确定的点作出经过这两个点的直线 。(2) 以一个已经确定的点为圆心,以两个已经确定的点之间的距离为半径作圆 。(3) 确定两个已经做出的相交直线的交点 。(4) 确定已经做出的相交的圆和直线的交点 。(5) 确定已经做出的相交的两个圆的交点 。也有些资料上给出的五项公法的后两条中的“交点”改为“公共点” 。这两种叙述差别在于后者多包括了“切点” 。但是,因为确定切点即使不算基本操作,也是可以用其它基本操作组合实现的 。所以,两种叙述的定义并无本质不同 。历史古希腊尺规作图,起源于古希腊 。希腊人强调作图只能用直尺圆规,有下列原因:①希腊几何的基本精神,是从极少的基本假定(定义、公理、公设)出发,推导出儘可能多的命题 。②受柏拉图哲学思想的影响 。③以毕达哥拉斯学派为代表的希腊人认为圆是最完美的平面图形,圆和直线是几何学最基本的研究对象 。史上最早明确提出尺规限制的是伊诺皮迪斯,他发现以下作图法:在已知直线的已知点上作一角与已知角相等 。伊诺皮迪斯以后,尺规的限制逐渐成为一种公约,最后总结在《几何原本》之中 。中国古代“规”就是圆规,是用来画圆的工具,在我国古代甲骨文中就有“规”这个字 。“矩”就像木工使用的角尺,由长短两尺相交成直角而成,两者间用木槓连线以使其牢固,其中短尺叫勾,长尺叫股 。矩的使用是我国古代的一个发明,山东历城武梁祠石室造像中就有“伏羲氏手执矩,女娲氏手执规”之图形.矩不仅可以画直线、直角,加上刻度可以测量,还可以代替圆规.甲骨文中也有矩字,这可追溯到大禹治水(公元前2000年)前.《史记》卷二记载大禹治水时“左準绳,右规矩”.赵爽注《周髀算经》中有“禹治洪水,……望山川之形,定高下之势,……乃勾股之所由生也.”意即禹治洪水,要先测量地势的高低,就必定要用勾股的道理.这也说明矩起源于很远的中国古代.春秋时代也有不少着作涉及规矩的论述,《墨子》卷七中说“轮匠(製造车子的工匠)执其规矩,以度天下之方圆.”《孟子》卷四中说“离娄(传说中目力非常强的人)之明,公输子(即鲁班,传说木匠的祖师)之巧,不以规矩,不能成方圆.”可见,在春秋战国时期,规矩已被广泛地用于作图、製作器具了.由于我国古代的矩上已有刻度,因此使用範围较广,具有较大的实用性 。近代西方由于对尺规作图的限制,使得一些貌似简单的几何作图问题无法解决.最着名的是被称为几何三大问题的三个古希腊古典作图难题:立方倍积问题、三等分任意角问题和化圆为方问题.当时很多有名的希腊数学家,都曾着力于研究这三大问题,虽然藉助于其他工具或曲线,这三大难题都可以解决,但由于尺规作图的限制,却一直未能如愿以偿.以后两千年来,无数数学家为之绞尽脑汁,都以失败而告终.直到1637年笛卡尔创立了解析几何,关于尺规作图的可能性问题才有了準则 。到了1837年万芝尔首先证明立方倍积问题和三等分任意角问题都属于尺规作图不可能问题 。1882年林德曼证明了π是超越数,化圆为方问题不可能用尺规作图解决,这才结束了历时两千年的数学难题公案 。判定準则从坐标系观点看,所有的点和线都可以用坐标、方程的参量来代替,尺规作图能够完成两根线段的和差积商,因此可做图的数成为一个域 。直线和圆都是二次方程,稍微细緻的讨论可知,尺规作图能够完成开平方,也就是域的二次扩张 。因此,如果已知量与有理数生成的数域为