A construction of the regular 17-gon by Euclidean means, with Euclidean justification
A construction of the regular 17-gon by Euclidean means, with Euclidean justification. Revised from an earlier version; in particular, the construction is now supplied first without justification, before being reviewed with justification, as before