Let be a cyclic quadrilateral. Let be the circumcenter of the quadrilateral . The diagonals and intersect at . Let and be the circumcenters of triangles and respectively. The lines and intersect at . Show that is the midpoint of and .
Solution
First we show that is a parallelogram.
Since and lie on the perpendicular bisector of chord , we have is perpendicular to .
Let be the intersection of and , and be the midpoint of .
Since , the points are concyclic. From , we deduce and thus .
A similar argument shows that . Thus, is a parallelogram.
Since and are perpendicular bisectors of segments and respectively, we have (since both are perpendicular to ). Similarly we have , and hence is a parallelogram.
Since the diagonals of a parallelogram bisect each other, from the parallelogram we deduce that is the midpoint of . On the other hand, the parallelogram yields that is the midpoint of as required.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.