正十七边形,是指
几何学中有17条边及17个角的
正多边形。正十七边形的每个内角约为158.8235294117647°,其
内角和为2700°,有119条
对角线。最早发现其形状可用
尺规作图法作出的是
高斯。
最早证明正十七边形可用尺规作图的是德国数学家
高斯。1801年高斯证明:如果
费马数为
质数,那么,就可以用
直尺和圆规将圆周等分。第一个正十七边形
尺规作图法是在1825年由约翰尼斯·厄钦格(Johannes Erchinger)给出。
令,有.
因为360°/17≈21°10′ ,利用sinA21°6′=0.3600可得近似角。用该方法作正十七边形总误差为:(21°10′-21°6′)×17=17×4′=68′,在不要求十分精确的情况下还是可行的。
1.先画一条直线,用
圆规在上面截取5条相等线段,(尽量越短越好),再截取之前四条线段的和,接续之前画的线段。这样,如果每条小线段算作0.1的话,那么整条线段就是0.9。
3.另作一条直线,作
垂线,1.8的线段作为
对边,5的线段作为
斜边,那个最小的锐角即是近似的360°/17的角。以其顶点为圆心,重复作角直至闭合。画一大圆,连接其与17条射线的交点,即可。