Concyclic iff collinear
Source: China Mathematical Olympiad 2017 Q2
November 23, 2016
geometry
Problem Statement
In acute triangle , let be its circumcircle, be its incircle. Tangents at to meet at , touches at . is perpendicular to at , meets at , and meets at . Prove that are concyclic if and only if are collinear.