Show that (IDP) and (IHX) are tangent to each other
Source: IMOC 2021 G10
August 11, 2021
geometrytangent circlesCircumcenterincenter
Problem Statement
Let , be the circumcenter and the incenter of triangle , respectively, and let the incircle tangents at . Furthermore, suppose that is the orthocenter of triangle , is the midpoint of the arc , and is the intersection of and . If is the reflection of with respect to , show that and are tangent to each other.