Another generalisation of Napoleon's theorem (Q1045949)

The author proves the following generalization of Napoleon's theorem from elementary geometry: Let \(T\) be any triangle \(\{A_1,A_2,A_3\}\), and \(p\), \(q\) be positive integers. Let \(n\) by any factor of \(2p+q\), where \(n> p\) and \(n> q\). Let \(B_1\), \(B_3\) be the centres of regular \((n/p)\)-gons adjoined to the edges \(A_2A_3\), \(A_1A_2\) of \(T\), and \(B_2\) be the centre of a regular \((n/q)\)-gon adjoined to the third edge \(A_1A_3\). Then \(B_1\), \(B_2\), \(B_3\) are three consecutive vertices of a regular \((n/p)\)-gon. In each case, if \(n\) and \(p\) or \(n\) and \(q\) have a common factor, we reduce \(n/p\) and \(n/q\) to its lowest terms. Here (in view of the possibility to consider also regular starpolygons) the defintion of regularity is extended as follows: Given mutually prime numbers \(n\geq 3\) and \(0< p< n\), define a regular \((n/p)\)-gon as a circuit (in general self-intersecting) whose n vertices are arranged equidistantly around a circle \(C\), and whose edges subtend angles 2irp/n at the centre of \(C\). (The edges will, in general, intersect in points other that the vertices.)