Let be an acute-angled triangle. Point is such that and . Point is such that and . Segments and meet at point . Prove that the circumcenter of triangle lies on the circumcircle of triangle .
Saudi Arabian IMO Booklet
Solution
Let be the vertex of parallelogram . Then and are isosceles trapezoids. Therefore the perpendicular bisectors to segments and coincide with the perpendicular bisectors to and respectively, the circumcenter of triangle is also the circumcenter of and . Also since
we obtain that . Thus are concyclic.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.