Construction of Regular 257-Gon/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Construction of Regular $257$-Gon

It was proved by Carl Friedrich Gauss in $1801$ that the construction is possible.

The first actual constructions of a regular $257$-gon were given by Magnus Georg Paucker in $1822$ and Friedrich Julius Richelot in $1832$.


Sources

  • 1832: Friedrich Julius RichelotDe resolutione algebraica aequationis $x^{257} = 1$, sive de divisione circuli per bisectionem anguli septies repetitam in partes $257$ inter se aequales commentatio coronata (J. Reine Angew. Math. Vol. 9: pp. 146 – 358)