가우스가 19살 때 증명했단 걸로 유명한 정17각도형 컴퍼스와 자만으로 작도하는 방법인데

사실 가우스는 막 저렇게 그려서 증명한 게 아니라고 함

이렇게 증명함

이거 말고도 수학적으로 정257각형, 정65537각형 또한 작도가 가능하다는 사실도 입증함