Given a circle and four points , , , on the circle, let be the midpoint of segment , and let be the midpoint of segment . Through , draw lines , perpendicular to respectively. Let the line through perpendicular to meet , at points , respectively, and let the line through perpendicular to meet , at points , respectively. Let and intersect at point . Prove: .
Solution
Construct the foot of perpendicular from to . Since , the five points lie on a common circle, and likewise the five points lie on a common circle. Considering the radical center of these two circles together with the originally given circle (three circles in total), we obtain that the three lines , , are concurrent. Let this common point be , and we have
Consider the transformation centered at with inversive power . This transformation interchanges , , pairwise; and since are collinear with the midpoint of , it follows that lie on a common circle and form a harmonic quadrilateral. We have
(Here we used the fact that is harmonic, so , are isogonal conjugates with respect to , and , are isogonal conjugates with respect to .) Hence . Also, since lie on a common circle, is similar to , so . Let meet at point ; then the four points lie on a common circle.
Let the center of the originally given circle be . Since and , the five points lie on a common circle. Let be the line through parallel to , and let be the line through perpendicular to . Then the antipodal point of on the circle is the common intersection point of , , , that is, , , are concurrent. By the same argument, , , are concurrent. Hence this point is exactly , and therefore . This completes the proof.