Problem

Source:

Tags: geometry, tangent, midpoint, isosceles



Let $ABC$ be an isosceles triangle with $AB = AC$. Points $D$, $E$ and $F$ are on sides $BC$, $CA $ and $AB$ respectively, such that $\angle FDE =\angle ABC$ and $FE$ is not parallel to $BC$. Prove that $BC$ is tangent to the circumcircle of the triangle $DEF$, if and only if, $D$ is the midpoint of $BC$.