Two tangent circles
Source: 2020 Korean MO winter camp Test 1 P5
September 7, 2020
geometry
Problem Statement
is a quadrilateral with . is the incenter of , and the line passing and perpendicular to meets rays and at respectively. Denote as the circumcenter of . The line passing and perpendicular to meets ray at , and the line passing and perpendicular to meets ray at . Prove that the circle with diameter is tangent to the circumcircle of .