Let be the incentre of triangle
with
and let the line
intersect the side
at
. Suppose that point
lies on the segment
and satisfies
. Further, let
be the point obtained by reflecting
over the perpendicular bisector of
, and let
be the other intersection of the circumcircles of the triangles
and
. Prove that
.