MathDB
collinear points, starting with the circumcircle

Source: BMO Shortlist 2015 G2 (Saudi Arabia)

September 27, 2018
geometrycircumcirclecollinear

Problem Statement

Let ABCABC be a triangle with circumcircle ω\omega . Point DD lies on the arc BCBC of ω\omega and is different than B,CB,C and the midpoint of arc BCBC. Tangent of Γ\Gamma at DD intersects lines BCBC, CACA, ABAB at A,B,CA',B',C', respectively. Lines BBBB' and CCCC' intersect at EE. Line AAAA' intersects the circle ω\omega again at FF. Prove that points D,E,FD,E,F are collinear.
(Saudi Arabia)