(MKT) is tangent to (ABC)
Source: 2021 Saudi Arabia Training Lists p17 https://artofproblemsolving.com/community/c2758131_2021_saudi_arabia_training_tests
January 6, 2022
geometrytangent circlescircumcircle
Problem Statement
Let be an acute, non-isosceles triangle with circumcenter . Tangent lines to at meet at . A line passes through cuts segments at and cuts ray at . Take as midpoint of and suppose that cuts again at . Prove that is tangent to .