NL-NWO 1969 Problem 3

Given a quadrilateral $ABCD$ with $AB = BD = DC$ and $AC = BC$ . On $BC$ lies point $E$ such that $AE = AB$ . Prove that $ED = EB$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.