Problem

Source:

Tags: geometry



Let $ABC$ be an acute triangle with $AB<AC$. Let then • $D$ be the foot of the bisector of the angle in $A$, • $E$ be the point on segment $BC$ (different from $B$) such that $AB=AE$, • $F$ be the point on segment $BC$ (different from $B$) such that $BD=DF$, • $G$ be the point on segment $AC$ such that $AB=AG$. Prove that the circumcircle of triangle $EFG$ is tangent to line $AC$.