Suppose that a point lying in the interior of a convex quadrilateral satisfies
Let be the circumcentre of the triangle . Prove that .
Final Round of the 73rd Czech and Slovak Mathematical Olympiad (March 17–20, ), 2024
Solution
From the given equalities, one sees that and . Since the lines and are distinct (we know that ), the lines and are not parallel, so they intersect at a unique point such that is a rhombus.
Now, note that the quadrilateral is an isosceles trapezoid, since and . Therefore, the perpendicular bisectors of its bases and coincide. Since is the circumcentre of , it lies on the bisector of , hence also on the bisector of , and so we have . By considering the isosceles trapezoid , we can also obtain , which gives us the desired equality.
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.