Prove line tangent to circle
Source: China Mathematical Olympiad 2019 Q3
November 14, 2018
geometrycircumcircle
Problem Statement
Let be the circumcenter of (), and be a point on the internal angle bisector of . Point lies on , satisfying , . Point lies on extended such that . The circumcircle of meets at , and meets the circumcircle of at . Prove that is tangent to the circumcircle of .