正十七边形尺规作图与详解

1、.四川省绵阳中学高2013 级33 班学生：钱芮名指导教师：文登亮对高斯正十七边形 尺规作图方法的研究一、高斯的传奇故事高斯 (Carl Friedrich Gauss 1777.4.301855.2.23），德国数学家、物理学家、天文学家。 有一天，年幼的高斯在一旁看著作水泥工厂工头的父亲计算工人们的周薪。父亲算了好一会儿，终于将结果算出来了。可是万万没想到，他身边传来幼嫩的童音说： “爸爸，你算错了，总数应该是 ”父亲感到很惊异，赶忙再算一遍，结果证实高斯的答案是对的。这时的高斯只有 3 岁！高斯上小学了， 教他们数学的老师布特勒 (Buttner) 是一个态度恶劣的人，他讲课时从不考虑学

2、生的接受能力，有时还用鞭子惩罚学生。有一天，布德勒让全班学生计算 1+2+3+4+5+ +98+99+100？的总和， 并且威胁说： “谁算不出来， 就不准回家吃饭！”布德勒说完，就坐在一旁独自看起小说来，因为他认为，做这样一道题目是需要些时间的。小朋友们开始计算：“ 1 + 2 3，3+36，6+410，”数越来越大，计算越来越困难。但是不久，高斯就拿着写着解答的小石板走到布德勒.的身边。高斯说：“老师，我做完了，你看对不对？“做完了？这么快就做完了？肯定是胡乱做的！”布德勒连头都没抬，挥挥手说：“错了，错了！回去再算！”高斯站着不走，把小石板往前伸了伸说：“我这个答案是对的。”布德勒抬头一

3、看，大吃一惊。小石板上写着5050，一点也没有错！高斯的算法是1 2 3 9899100 1009998 3 21101101101 101101101 101 100 1010010100 25050高斯并不知道，他用的这种方法，其实就是古代数学家经过长期努力才找出来的求等差数列和的方法，那时他才八岁！1796年的一天，德国哥廷根大学。高斯吃完晚饭，开始做导师给他单独布置的三道数学题。前两道题他不费吹灰之力就做了出来了。第三道题写在另一张小纸条上：要求只用圆规和没有刻度的直尺，作出一个正十七边形。 这道题把他难住了.所学过的数学知识竟然对解出这道题没有任何帮助。 时间一分一秒的过去了，第三道

4、题竟毫无进展。他绞尽脑汁，尝试着用一些超常规的思路去寻求答案。 当窗口露出曙光时，他终于解决了这道难题。当他把作业交给导师时，感到很惭愧。他对导师说：“您给我布置的第三道题，我竟然做了整整一个通宵，”导师看完作业后，激动地对他说：“你知不知道？你解开了一桩有两千多年历史的数学悬案！ 阿基米得没有解决，牛顿也没有解决 ，你竟然 一个晚上 就解出来了。你是一个真正的天才！”原来，导师也一直想解开这道难题。那天，他是因为拿错了，才将写有这道题目的纸条交给了学生。在这件事情发生后，高斯曾回忆说：“如果有人告诉我，那是一道千古难题，我可能永远也没有信心将它解出来。”1796年 3 月 30 日，当高斯差

5、一个月满十九岁时，在期刊上发表关于正十七边形作图的问题。他显然以此为自豪，还要求以后将正十七边形刻在他的墓碑上。然而高斯的纪念碑上并没有刻上十七边形，而刻着一颗十七角星，原来是负责刻纪念碑的雕刻家认为：“正十七边形和圆太像了，刻出来之后，每个人都会误以为是一个圆。”1877 年布雷默尔奉汉诺威王之命为高斯做一个纪念奖章。上面刻着： “汉诺威王乔治 V. 献给数学王子高斯 ( Georgius V. rex Hannoverage Mathematicorum principi)”，自.那之后，高斯就以“数学王子”着称于世。二、高斯正十七边形尺规作图的思路（这里是纯三角法）2 ，为此要建立求解c

6、os2 的方程。作正十七边形的关键是作出 cos1717设正 17 边形中心角为，则 172，即 162 故 sin16 sin ，而 sin162sin8 cos84sin4 cos4 cos88 sin2 cos2 cos4 cos8 16 sin cos cos2 cos4 cos8因 sin 0，两边除以 sin，有 16cos cos2 cos4 cos8 1由积化和差公式，得4(coscos3)(cos4 cos12) 1展开，得 4(cos cos4cos cos12 cos3 cos4cos3 cos12) 1再由积化和差公式，得：2(cos3 cos5)(cos11cos13

7、)(coscos7)(cos9cos15) 1注意到cos11cos6，cos13cos4，cos9cos8 ，cos15cos2，有2(coscos2cos3cos4 cos5cos6cos7cos8) 1设 a2(cos + cos2+cos4+ cos8)，b 2(cos3+ cos5+cos6+ cos7 )，则ab 1又 ab2(coscos2cos4cos8) 2(cos3cos5cos6cos7). 4cos(cos3 cos5cos6cos7)4cos2(cos3cos5cos6cos7)4cos4(cos3 cos5cos6cos7)4cos8(cos3cos5cos6cos

8、7 )再展开之后共 16 项，对这 16 项的每一项应用积化和差公式，可得：ab2 (cos2cos4)(cos4cos6) (cos5cos7)(cos6 cos8) (coscos5)(cos3cos7) (cos4cos8)(cos5cos9) (cos cos7)(coscos9)(cos2 cos10)(cos3cos11)(cos5cos11)(cos3cos13)(cos2cos14)(cos cos15)注意到 cos9 cos8 ，cos10cos7， cos11cos6，cos13cos4，cos14cos3，cos15cos2，有 ：ab2 4(coscos2cos3co

9、s4 cos5cos6cos7cos8) 4因为 cos cos2cos8(cos2cos4161717 )cos 172cos3 cos 2cos3 117 cos171717(cos172 )又 0 3 32即 coscos2cos8 0，又因为 cos4 cos817 0所以 acoscos2cos4 cos8 0又 ab -4 0， b 0117 ，b 1 17可解得a 22再设 c 2(coscos4 )，d2(cos2cos8)，则 c+dacd 2(cos+ cos4) 2(cos2+cos8) 4 (coscos2coscos8cos4cos2cos4 cos8) 2 (cos

10、 cos3) (cos7cos9 )(cos2 cos6)(cos4cos12)注意到 cos9 cos8 ， cos12 cos5，有.cd 2(coscos3) (cos7cos8 )(cos2 cos6)(cos4cos5) 2( coscos2 cos3cos4cos5cos6cos7 cos8) -1，因为 0 2 4 8 cos2 ，cos4 cos8，两式相加得cos cos4 cos2cos8，或 2(coscos4) 2(cos2cos8)，即 c d，又 cd-1 0， d 0，可解得：aa 24 ，【 d aa 24 】c22类似地，设 e2(cos3 cos5)，f2(

11、cos6 cos7)，则 e+f bef2(cos3cos5 ) 2(cos6cos7) 4(cos3cos6 cos3cos7cos5cos6cos5 cos7 ) 2 (cos3 cos9) (cos4 cos10 ) (cos cos11) (cos2 cos12)注意到 cos9 cos8 ，cos10cos7， cos11cos6，cos12cos5，有：ef2(cos3cos8) (cos4cos7)(coscos6)(cos2cos5 ) 2( coscos2 cos3cos4cos5cos6cos7 cos8) -1因为 0 3 5 6 7 cos6，cos5 cos7两式相加得cos3 cos5 cos6 cos7 ，2(cos3 cos5) 2(cos6 cos7)即 e f，又 ef-1 0， f 0.可解得： e bb24 ， 【f bb 24 】22c ，即 cos2cos8 c由 c 2(coscos4)，得 cos cos4 217172e ，即 cos28e2(cos3cos5)，应用积化和差公式， 得 co