天才的杰作据说高斯19岁时利用复
最繁琐的几何作图题
早在古代,就有人能用直尺和圆规作出正三角形、正方形和正五边形了。可是,利用尺规来作正七边形或正十一边形或正十三边形的任何尝试,却都是以失败而告终。
这种局面持续了2千多年,数学家们猜想,凡是边数为素数的正多边形(如正七、正十一、正十三边形等)看来用圆规和直尺是作不出来的。 但是在1796年,完全出乎数学界的意料之外,19岁的德国青年数学家高斯找到了用圆规和直尺来作边数为素数的正十七边形的方法。这个成就是如此辉煌,不仅使数学界为之轰动,而且也促使高斯把数学选为自己的终身职业。
五年以后,高斯又进一步宣布了能否作任意正多边形的判据。他证明了下面的定理:凡是...全部
最繁琐的几何作图题
早在古代,就有人能用直尺和圆规作出正三角形、正方形和正五边形了。可是,利用尺规来作正七边形或正十一边形或正十三边形的任何尝试,却都是以失败而告终。
这种局面持续了2千多年,数学家们猜想,凡是边数为素数的正多边形(如正七、正十一、正十三边形等)看来用圆规和直尺是作不出来的。
但是在1796年,完全出乎数学界的意料之外,19岁的德国青年数学家高斯找到了用圆规和直尺来作边数为素数的正十七边形的方法。这个成就是如此辉煌,不仅使数学界为之轰动,而且也促使高斯把数学选为自己的终身职业。
五年以后,高斯又进一步宣布了能否作任意正多边形的判据。他证明了下面的定理:凡是边数为“费尔马素数”(即边数是 22n+l形状的数,而且还要是素数)的正多边形,就一定可以用尺规来作图。
当n=2时,就是正十七边形;当n=3时,就是正二百五十七边形;当n=4时,就是正六万五千五百三十七边形……他还证明了,如果边数是素数,但不是费尔马素数的话(例如上面所提到过的正七边形,正十一边形等),那末这样的正多边形就不能用圆规和直尺来作出。
紧接在17以后的两个“费尔马素数”是257和65537。后来,数学家黎西罗果然给出了正二百五十七边形的完善作法,写满了整整80页纸。
另一位数学家盖尔美斯按照高斯的方法,得出了正六万五千五百三十七边形的尺规作图方法,他的手稿装满了整整一只手提皮箱,至今还保存在德国的著名学府哥庭根大学里。
这道几何作图题的证明,可说是最为繁琐的了。
正十七边形作法:
作者:H。W。Richmond(To construct a regular polygon of seventeen sides)
Mathematische Annalen 67(1909),P。
459
步骤一:
给一圆O,作两垂直的直径OA、OB,
作C点使OC=OB/4,
作D点使∠OCD=∠OCA/4
作AO延长线上E点使得∠DCE=45度
步骤二:
作AE中点M,并以M为圆心作一圆过A点,
此圆交OB于F点,再以D为圆心,作一圆
过F点,此圆交OA直线于G4和G6两点。
步骤三:
过G4作OA垂直线交圆O于P4,
过G6作OA垂直线交圆O于P6,
则以圆O为基准圆,A为正十七边形
之第一顶点,则P4为第四顶点,
则P6为第六顶点。
正十七边形完成图
。收起