2017 IMO Problems/Problem 4
Let and
be different points on a circle
such that
is not a diameter. Let
be the tangent line to
at
. Point
is such that
is the midpoint of the line segment
. Point
is chosen on the shorter arc
of
so that the circumcircle
of triangle
intersects
at two distinct points. Let
be the common point of
and
that is closer to
. Line
meets
again at
. Prove that the line
is tangent to
.
Solution
We construct inversion which maps into the circle
and
into
Than we prove that
is tangent to
Quadrungle is cyclic
Quadrungle
is cyclic
We construct circle centered at
which maps
into
Let Inversion with respect
swap
and
maps into
Let be the center of
Inversion with respect maps
into
.
belong
circle
is the image of
. Let
be the center of
is the image of
at this inversion,
is tangent line to
at
so
is image K at this inversion
is parallelogram.
is the midpoint of
is the center of symmetry of
is symmetrical to
with respect to
is symmetrical to
with respect to
is symmetrycal
with respect to
lies on
and on
is tangent to
line
is tangent to
vladimir.shelomovskii@gmail.com, vvsss