2018 IMO Problems/Problem 1
Let be the circumcircle of acute triangle
. Points
and
are on segments
and
respectively such that
. The perpendicular bisectors of
and
intersect minor arcs
and
of
at points
and
respectively. Prove that lines
and
are either parallel or they are the same line.