Możliwość konstrukcji siedemnastokąta foremnego za pomocą cyrkla i linijki udowodnił C. F. Gauss w 1796 r., natomiast pierwszą bezpośrednią konstrukcję przedstawił Erchinger kilka lat później.