2022 OIM Problems/Problem 1
Problem
Let 
be an equilateral triangle with circumcenter 
and circumcircle 
. Let 
be a point on the minor arc 
, with 
. The perpendicular bisector of 
intersects at 
and 
, with on the minor arc . Let 
be the intersection point of lines 
and 
. Prove that 
is perpendicular to .
Solution
This problem needs a solution. If you have a solution for it, please help us out by adding it.
