VTMO 2026 - Grade 8 - Final - SET 2 - Self-study Question 2

Let $ABCD$ be a square. Point $E$ lies on $BC$ with $BE=\frac14BC$. The bisector of $\angle DEB$ meets $AB$ at $F$. Prove that $DF$ bisects $\angle ADE$.