A property of the regular heptagon
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.