BC//EF wanted, 3 circles related
Source: P3 Francophone Math Olympiad Senior 2022
May 23, 2022
geometrycirclesparallel
Problem Statement
Let be a triangle and its circumcircle. Denote the tangent at to the circle . is a circle tangent to the lines , and , and its touchpoint with the line . Let be a circle tangent to the lines , and , and its touchpoint with the line . We suppose that and belong respectively to the segments and , and that the two circles and lie outside triangle . Show that the lines and are parallel.