2015 IMO Problems/Problem 3
Let be an acute triangle with
. Let
be its circumcircle,
its orthocenter, and
the foot of the altitude from
. Let
be the midpoint of
. Let
be the point on
such that
. Assume that the points
,
,
,
, and
are all different, and lie on
in this order.
Prove that the circumcircles of triangles and
are tangent to each other.