Problem

Source: Dutch IMO TST1 2015 P1

Tags: right angle, equal angles, equal segments, geometry



In a quadrilateral $ABCD$ we have $\angle A = \angle C = 90^o$. Let $E$ be a point in the interior of $ABCD$. Let $M$ be the midpoint of $BE$. Prove that $\angle ADB = \angle EDC$ if and only if $|MA| = |MC|$.