Suppose is the circumcenter of and , are points on segments and respectively with . Let be a point such that and . Let intersect and at points and respectively. Let the line passing through and perpendicular to intersect and at points and respectively. Prove that points , , , and are concyclic.
Problem 1941
Official solutions — 2
Solution 1
Method 1:
Let be the antipode of with respect to , let be the midpoints of , respectively, then and , so lie on the perpendicular bisectors of , respectively. From , we know that are concyclic. Since is parallel to , we obtain
that is, are concyclic.
Method 2:
Let be the intersection of and , let be the second intersection point of and , and let be the circumcenters of respectively. Then is the Miquel point of the complete quadrilateral , and it is well known that lie on a common circle (i.e., the Miquel circle). Note that are the perpendicular bisectors of respectively, so
that is, also lies on . Since are the perpendicular bisectors of respectively, we have
that is, are concyclic.
Solution 2
It suffices to show that and are anti-parallel with respect to and . Let and be two lines through that are parallel to and , respectively. Then it suffices to show that and are isogonal with respect to and . Note that is perpendicular to , so it suffices to show that passes through the circumcenter of . In other words, it suffices to show that is parallel to . This is true as the lengths of the projections of and to are both equal to , and those to are both equal to , showing that is a parallelogram.