早在公元前三世纪,希腊数学家欧几里得就知道,用圆规和直尺可以作出正三角形、正四边形、正五边形、正六边形、正八边形、正十边形等等。但能不能作出正七边形、正九边形、正十一边形、正十三边形、正十七边形呢?两千年来,谁也没有作到。可是一直有很多数学家在试作。数学家们认为总是能作出来的,谁也没有想一想或许用圆规和直尺根本作不出某些正多边形。
1796年3月30日德国戈丁根大学学生高斯用圆规和直尺,作出了正17边形。这下子解决了两千年来的一大难题。这是一个十分了不起的成就,还不满20岁的高斯,不仅作出了正十七边形,更可贵的是他还证明了单用圆规和直尺根本作不出正七边形、正九边形、正十一边形和正十四边形。他深入研究了多边形的规律,得出一个一般公式,清清楚楚地表示出哪些正多边形能作,哪些正多边形不能作。高斯就是这样,圆满周密地彻底解决了两千年来的一大难题。
这位了不起的青年学生,后来成了18、19世纪交替时期德国最杰出的数学家。
================
http://www.mxms.net/html/5/38/95/2006/4/zl9121483317146002644-0.htm 早在古希腊时代,人们就能够用直尺和圆规作出正三角形、正四边形、正五边形和正十五边形(以及它们的2n倍的正多边形),但对其它一些正多边形,如正七边形、正十一边形、正十三边形、正十七边形应当如何作图的问题,却长期困扰着数学家们。
1796年,正在哥廷根大学读书的19岁的高斯成功地给出了正十七边形的尺规作图法。不仅如此,后来他还证明了:对于边数是质数的正多边形,当且仅当其边数是形如2exp(2exp(n))+1的费尔玛质数时,才能用尺规作图。(exp表示指数)
这就是说,正七边形、正十一边形、正十三边形是不能用尺规作出的,因为7、11、13不是费尔玛质数,但是能作出正十七边形。高斯的成果解决了困扰人们两千多年的几何问题,震撼了全世界。
17以后的费尔玛质数是257和65537。后来有人真的给出了正257边形尺规作图法,长达80多页!一位名叫盖尔美斯的用尺规作出了正65537边形,其手稿有整整一只手提箱,现在还保存在哥廷根大学。
正七边形不能用尺规作图法作出是已经得到严格证明的了,浪费时间在这毫无结果的研究上实在是不值得啊!
■正多边形作法
·只使用直尺和圆规,作正五边形。
·只使用直尺和圆规,作正六边形。
·只使用直尺和圆规,作正七边形——这个看上去非常简单的题目,曾经使许多著名数学家都束手无策,因为正七边形是不能由尺规作出的。
·只使用直尺和圆规,作正九边形,此图也不能作出来,因为单用直尺和圆规,是不足以把一个角分成三等份的。
·问题的解决:德国数学家高斯,在他仅20岁左右,大学二年级时得出正十七边形的尺规作图法,并给出了可用尺规作图的正多边形的条件:尺规作图正多边·形的边数目必须是2的非负整数次方和不同的费马素数的积,即n=2k(2的k次幂)或 2k×p1×p2×…×ps,(1,2…s为右下角标)其中,p1,p2,…,ps是费马素数.解决了两千年来悬而未决的难题。根据高斯的理论,还有一位德国格丁根大学教授作了正257边形.
· 费马素数:17世纪的费马,他研究了形如Fi (i为右下角标)=22i(底数2指数2的i次幂)+1 的数.
费马的一个著名猜想是,当 n≥3时,不定方程xn+yn=zn没有正整数解.现在他又猜测Fi都是素数,对于i=0,1,2,3,4时,容易算出来相应的Fi:
F0=3,F1=5,F2=17,
F3=257,F4=65 537
验证一下,这五个数的确是素数.F5=225+1是否素数呢?仅这么一个问题就差不多一百年之后才有了一个结论,伟大的欧拉发现它竟不是素数,因而,伟大的费马这回可是猜错了!F5是两素数之积:
F5=641×6 700 417.
当然,这一事例多少也说明:判断一个较大的数是否素数也决不是件简单的事,不然,何以需要等近百年?何以需要欧拉这样的人来解决问题?
更奇怪的是,不仅F5不是素数,F6,F7也不是素数,F8,F9,F10,F11等还不是素数,甚至,对于F14也能判断它不是素数,但是它的任何真因数还不知道.至今,人们还只知F0,F1,F2,F3,F4这样5个数是素数.由于除此而外还未发现其他素数,于是人们产生了一个与费马的猜想大相径庭的猜想,形如22i+1的素数只有有限个.但对此也未能加以证明.
当然,形如Fi=22i+1的素数被称为费马素数.由于素数分解的艰难,不仅对形如Fi=22i+1的数的一般结论很难做出,而且具体分解某个Fi也不是一件简单的事.
■四等分圆周
只准许使用圆规,将一个已知圆心的圆周4等分.这个问题传言是拿破仑·波拿巴出的,向全法国数学家的挑战。
【尺规作图的相关延伸】
用生锈圆规(即半径固定的圆规)作图
■只用直尺及生锈圆规作正五边形
■生锈圆规作图,已知两点A、B,找出一点C使得AB = BC = CA。
■已知两点A、B,只用半径固定的圆规,求作C使C是线段AB的中点。
■尺规作图,是古希腊人按“尽可能简单”这个思想出发的,能更简洁的表达吗?顺着这思路就有了更简洁的表达。
10世纪时,有数学家提出用直尺和半径固定的圆规作图。 1672年,有人证明:如果把“作直线”解释为“作出直线上的2点”,那么凡是尺规能作的,单用圆规也能作出!从已知点作出新点的几种情况:两弧交点、直线与弧交点、两直线交点 ,在已有一个圆的情况下,那么凡是尺规能作的,单用直尺也能作出!。
【尺规作图所推动的】
由词条以上内容可以看出,几何三大问题如果不限制作图工具,便很容易解决.从历史上看,好些数学结果是为解决三大问题而得出的副产品,特别是开创了对圆锥曲线的研究,发现了一批著名的曲线,等等.不仅如此,三大问题还和近代的方程论、群论等数学分支发生了关系.
正五边形的画法]
(1)已知边长作正五边形的近似画法如下:
①作线段AB等于定长l,并分别以A,B为圆心,已知长l为半径画弧与AB的中垂线交于K.
②以K为圆心,取AB的2/3长度为半径向外侧取C点,使CK=2/3AB.
③以 C为圆心,已知边长 AB为半径画弧,分别与前两弧相交于M,N.
④顺次连接A,B,N,C,M各点即近似作得所要求的正五边形.
(2) 圆内接正五边形的画法如下:
①以O为圆心,定长R为半径画圆,并作互相垂直的直径MN和 AP.
② 平分半径ON,得OK=KN.
③以 K为圆心,KA为半径画弧与 OM交于 H, AH即为正五边形的边长.
④以AH为弦长,在圆周上截得A,B,C,D,E各点,顺次连接这些点即得正五边形.
3.民间口诀画正五边形
口诀介绍:"九五顶五九,八五两边分."
作法:
画法:
1.画线段AB=20mm,
2.作线段AB的垂直平分线,垂足为G.
3.在l上连续截取GH,HD,使 GH=5.9/5*10mm=19mm,
HD=5.9/5*10mm=11.8mm
4.过H作EC⊥CG,在EC上截取HC=HE=8/5*10mm=16mm,
5.连结DE,EA,EC,BC,CD,
五边形ABCDE就是边长为20mm的近似正五边形.
这里提供以下两种作法仅供参考:
1、已知边长作正五边形的近似画法如下: (1)作线段AB等于定长l,并分别以A、B为圆心,已知长l为半径画弧与AB的中垂线交于K. (2)以K为圆心,取AB的2/3长度为半径向外侧取C点,使CH=2/3AB (3)以 C为圆心,已知边长 AB为半径画弧,分别与前两弧相交于M、N. (4)顺次连接A、B、N、C、M各点即近似作得所要求的正五边形.
2、 圆内接正五边形的画法如下: (1)以O为圆心,定长R为半径画圆,并作互相垂直的直径MN和 AP. (2)平分半径ON,得OK=KN. (3)以 K为圆心,KA为半径画弧与 OM交于 H, AH即为正五边形的边长. (4)以AH为弦长,在圆周上截得A、B、C、D、E各点,顺次连接这些点即得正五边形。