Problem

Source:

Tags: geometry, equal segments, isosceles, angle bisector



Let $\vartriangle ABC$ be an isosceles triangle with $|AB| = |AC|$. Let $D, E$ and $F$ be points on line segments $BC, CA$ and $AB$, respectively, such that $|BF| = |BE|$ and such that $ED$ is the internal angle bisector of $\angle BEC$. Prove that $|BD|= |EF|$ if and only if $|AF| = |EC|$.