Some properties of a regular 17-gon
Consider the construction above. It is a regular 17-gon with some diagonals, their intersection points and a segment joining them. Remark that AB=RS.
This theorem has been obtained automatically by using the software tool RegularNGons.