Problem

Source: 2015 Saudi Arabia Pre-TST 2.1

Tags: geometry, circumcircle



Let $ABC$ be a triangle and $D$ a point on the side $BC$. The tangent line to the circumcircle of the triangle $ABD$ at the point $D$ intersects the side $AC$ at $E$. The tangent line to the circumcircle of the triangle $ACD$ at the the point $D$ intersects the side $AB$ at $F$. Prove that the point $A$ and the circumcenters of the triangles $ABC$ and $DEF$ are collinear. (Malik Talbi)