Problem

Source: Switzerland - Swiss MO 2004 p9

Tags: geometry, cyclic quadrilateral, concurrent, concurrency



Let $ABCD$ be a cyclic quadrilateral, so that $|AB| + |CD| = |BC|$. Show that the intersection of the bisector of $\angle DAB$ and $\angle CDA$ lies on the side $BC$.