Problem

Source: Danube Junior 2018 P2

Tags: geometry, Angle Chasing, perpendicular, perpendicularity



Let $ABC$ be a triangle such that in its interior there exists a point $D$ with $\angle DAC = \angle DCA = 30^o$ and $ \angle DBA = 60^o$. Denote $E$ the midpoint of the segment $BC$, and take $F$ on the segment $AC$ so that $AF = 2FC$. Prove that $DE \perp EF$.