MathDB
(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 ABCABC be an acute, non-isosceles triangle with circumcenter OO. Tangent lines to (O)(O) at B,CB,C meet at TT. A line passes through TT cuts segments ABAB at DD and cuts ray CACA at EE. Take MM as midpoint of DEDE and suppose that MAMA cuts (O)(O) again at KK. Prove that (MKT)(MKT) is tangent to (O)(O).