如何只用圆规和直尺作一个正十七边行
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/08/04 04:10:23
如何只用圆规和直尺作一个正十七边行
![如何只用圆规和直尺作一个正十七边行](/uploads/image/z/3471775-7-5.jpg?t=%E5%A6%82%E4%BD%95%E5%8F%AA%E7%94%A8%E5%9C%86%E8%A7%84%E5%92%8C%E7%9B%B4%E5%B0%BA%E4%BD%9C%E4%B8%80%E4%B8%AA%E6%AD%A3%E5%8D%81%E4%B8%83%E8%BE%B9%E8%A1%8C)
关于正十七边形的画法(高斯的思路,本人并非有意剽窃^_^):
有一个定理在这里要用到的:
若长为|a|,|b|的线段可以用几何方法做出来,那么长为|c|的线段也能用几何方法做出的,
其中c是方程x^2+ax+b=0的实根.
上面的定理实际上就是在有线段长度|a|和|b|的时候,做出长为sqrt(a^2-4b)的线段.
(这一步,大家会画吧?)
而要在一个单位圆中做出正十七边形,主要就是做出长度是cos(2pai/17)的线段.
下面我把当年高斯证明可以做出cos(2pai/17)的证明给出,同时也就给出了具体的做法.
设a=2[cos(2pai/17)+cos(4pai/17)+cos(8pai/17)+cos(16pai/17)]>0
a1=2[cos(6pai/17)+cos(10pai/17)+cos(12pai/17)+cos(14pai/17)]0 b1=2[cos(4pai/17)+cos(16pai/17)]0 c1=2[cos(12pai/17)+cos(14pai/17)]
有一个定理在这里要用到的:
若长为|a|,|b|的线段可以用几何方法做出来,那么长为|c|的线段也能用几何方法做出的,
其中c是方程x^2+ax+b=0的实根.
上面的定理实际上就是在有线段长度|a|和|b|的时候,做出长为sqrt(a^2-4b)的线段.
(这一步,大家会画吧?)
而要在一个单位圆中做出正十七边形,主要就是做出长度是cos(2pai/17)的线段.
下面我把当年高斯证明可以做出cos(2pai/17)的证明给出,同时也就给出了具体的做法.
设a=2[cos(2pai/17)+cos(4pai/17)+cos(8pai/17)+cos(16pai/17)]>0
a1=2[cos(6pai/17)+cos(10pai/17)+cos(12pai/17)+cos(14pai/17)]0 b1=2[cos(4pai/17)+cos(16pai/17)]0 c1=2[cos(12pai/17)+cos(14pai/17)]