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 .
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,000 problems in a working order, from AMC 10 level to the IMO shortlist.