Problem

Source: Switzerland - Swiss MO 2013 p3

Tags: geometry, projection, equal angles



Let $ABCD$ be a cyclic quadrilateral with $\angle ADC = \angle DBA$. Furthermore, let $E$ be the projection of $A$ on $BD$. Show that $BC = DE - BE$ .