A generalization of the butterfly theorem (Q2708495)

Using complex coordinates (by identifying the Euclidean plane \(\mathbb{R}^2\) with a Gauss plane \(\mathbb{C})\) the author proves the following.NEWLINENEWLINENEWLINETheorem: Let \(A,B,C,D\) be four points on a circle \(k\) with the centre 0 and let \(M\) be the orthogonal projection of the point 0 onto the given straight line \(m\). If \(M\) is the midpoint of two points \(E=m\cap AB\) and \(F=m\cap CD\), then \(M\) is also the midpoint of the points \(G=m\cap AC\) and \(H=m\cap BD\) and the midpoint of the points \(K=m\cap AD\) and \(L=m\cap BC\).NEWLINENEWLINENEWLINEThis theorem generalizes several versions of a ``butterfly theorem'' (a projective version of which can be found in [\textit{H. S. M. Coxeter}, `Projective geometry', New York (1964; Zbl 0151.26401)]) which assume that \(G=H=M\) (Sledge 1973) and/or that \(m\) is a secant line of \(k\) (Eves 1963, Klamkin 1965).NEWLINENEWLINENEWLINERemark: Figure 2 is, by mistake, identical with Figure 3. It can be corrected by removing the inscription ``\(O=S\)'' and replacing the points \(Q\) and \(P\) by \(O\) and \(S\), respectively.