一个没数字的直尺和一个圆规怎样才能画一个正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
则有a+a1=-1,a*a1=-4,即a,a1是方程x^2+x-4=0的根，所以长为|a|和|a1|的线段可以做出。
令b=2[cos(2pai/17)+cos(8pai/17)]>0 b1=2[cos(4pai/17)+cos(16pai/17)]<0
c=2[cos(6pai/17)+cos(10pai/17)]>0 c1=2[cos(12pai/17)+cos(14pai/17)]<0
则有b+b1=a b*b1=-1 c+c1=a1 c*c1=-1
同样道理，长度是|b|,|b1|,|c|,|c1|的线段都可以做出来的。
再有2cos(2pai/17)+2cos(8pai/17)＝b [2cos(2pai/17)]*[2cos(8pai/17)]=c
这样，2cos(2pai/17）是方程x^2-bx+c=0较大的实根,
显然也可以做出来，并且作图的方法上面已经给出来了

参考资料有作图方法，不过是繁体的，要到查看－编码－繁体中文的模式下才能看到汉字
参考资料：一个没数字的直尺和一个圆规怎样才能画一个正17边形? 用直尺和圆规怎样把一个角平均分成三等份 用一个无刻度的直尺和一个圆规怎么作正十七边形？ 怎样用圆规和直尺准确地画一个和已知角相等的角. 如何用一个没有刻度的直尺和圆规画正17边形 如何用直尺和圆规将一个角平均分成3个角度相等的角? 给你一个角,要你做出它的余角(只能用没有刻度直尺和圆规) 怎样只用直尺和圆规作平行线? 如果只许使用直尺 如果只许使用直尺和圆规,你能作一个矩形使它的面积等于一个半径 数学高手请进，请问怎样能只用直尺和圆规把一个线段均分为三段？