Problem

Source: MOP 2005 Homework - Red Group #16

Tags: geometry, geometric transformation, reflection, circumcircle, symmetry, perpendicular bisector, geometry unsolved



Let $ABC$ be a triangle, and let $D$ be a point on side $AB$. Circle $\omega_1$ passes through $A$ and $D$ and is tangent to line $AC$ at $A$. Circle $\omega_2$ passes through $B$ and $D$ and is tangent to line $BC$ at $B$. Circles $\omega_1$ and $\omega_2$ meet at $D$ and $E$. Point $F$ is the reflection of $C$ across the perpendicular bisector of $AB$. Prove that points $D$, $E$, and $F$ are collinear.