Skip to main content
Post Made Community Wiki
Source Link
none
  • 1
  • 1

Gauss proved the Euclidean constructibality of the 257-gon (as well as the 17-gon and others) in 1796. In 1832, Friedrich Julius Richelot actually gave an explicit construction.