A property of the regular heptagon
- Zoltán Kovács
Consider the construction above. It is a regular 7-gon with some diagonals, their intersection points and a segment joining them. Remark that HI=2AB, moreover A is the midpoint of HI. This theorem has been obtained automatically by using the software tool RegularNGons.