Regular heptagon's intersections circles (Q2461421)

The author continues his investigations on interesting points and regular heptagons associated to a given regular heptagon. In particular, he shows that the intersections of many lines related to a regular heptagon \(ABCDEFG\) lie on its interesting circles, determined either by incenters or by the excenters of the triangles \(DEB\) and \(ABG\). This yields many regular heptagons strongly connected with \(ABCDEFG\), all of them easily constructible by ruler and compass. The paper demonstrates in a nice way how to get geometric results with the help of computers, and therefore the author discusses (in the appendix) how one can check his mathematically correct results via computer. He shows how the first theorems of the paper can be proved by using the computer algebra system Maple V.