1796年高斯证明了可以用尺规作图作出正十七边形，同时发现了可作图多边形的条件。正十七边形其中一个作图方法如下：英文里，詹·何顿·康威认为heptadecagon是错误的拼法，应为heptakaidecagon。可作图性亦同时显示2π/17的三角函数可以只用基本算术和平方根来表示。高斯的书"Disquisitiones"包含了这条等式：
证明.设正十七边形中心角为formula_2,则formula_3度,即formula_4故formula_5，而formu