霞诚志·正七边形
今天来折个正七边形吧，要说有啥用，欣赏数学美啊！或者大概能装个光盘？
话说十七边形画法创造人是高斯，据说那时他17岁……来欣赏下画法：
gif图播放比较慢，坚持看完还是还是挺有趣的
【补充：1801年数学家高斯证明如果费马数k为质数，那么就可以用直尺和圆规将圆周k等分。但是，高斯本人并没有用尺规做出正十七边形，事实上，完成证明之后正十七边形的做法对数学研究者是显而易见的。第一个真正的正十七边形尺规作图法是在1825年由约翰尼斯·厄钦格（Johannes Erchinger）给出.】
建议使用15cm以上正方形纸制作
