Mixtilinear again
Source: 2020 China Southeast 10.2
August 9, 2020
geometrycircumcircleincenter
Problem Statement
In a scalene triangle , , and are tangents of the circumcircle of . A point lies on the arc (not containing ), intersects again at . Suppose is the incenter of , at , intersects again at . A line passing through and perpendicular to intersects at , respectively.
Prove that, if , then are concyclic.