2020 INMO Problems/Problem 1
PROBLEM
Let and
be two circles of unequal radii, with centres
and
respectively, intersecting in two distinct points
and
. Assume that the centre of each circle is outside the other circle. The tangent to
at
intersects
again in
, different from
; the tangent to
at
intersects
again at
, different from
. The bisectors of
and
meet
and
again in
and
, respectively. Let
and
be the circumcentres of triangles
and
, respectively. Prove that
is the perpendicular bisector of the line segment
.
SOLUTION
Let be the circumcenters of triangles
,
and
.
are concyclic.
Note that
where
follows from the tangency, proving the claim.
Now remark that , where
are the centers of
. By looking at the spiral similarity pivoted at
, taking
to
, we conclude that
goes to
, so, the quadrilaterals
and
are all similar, yielding
.
Finally, note that . Let
be the reflection of
in
, clearly,
are reflections in the perpendicular bisector of
, thus,
follows.
~anantmudgal09