Problem

Source: 2015 All-Ukrainian Correspondence MO of magazine ''In the World of Mathematics'', grades 5-12 p8

Tags: geometry, equal angles, angle bisector, Equilateral, Ukraine Correspondence



On the sides $BC, AC$ and $AB$ of the equilateral triangle $ABC$ mark the points $D, E$ and $F$ so that $\angle AEF = \angle FDB$ and $\angle AFE = \angle EDC$. Prove that $DA$ is the bisector of the angle $EDF$.