2019 IMO Problems/Problem 6
Problem
Let be the incenter of acute triangle
with
. The incircle
of
is tangent to sides
,
, and
at
,
, and
, respectively. The line through
perpendicular to
meets
again at
. Line
meets ω again at
. The circumcircles of triangles
and
meet again at
.
Prove that lines
and
meet on the line through
perpendicular to
.