Gaussian integer
正十七角形の作図可能性は、1796年3月30日にカール・フリードリヒ・ガウスが発見した。さらにガウスは1801年に出版した"Disquisitiones Arithmeticae"（『ガウス整数論』）の第365条、第366条において、作図できる正多角形の必要十分条件も示している。