RU-SPB 2011 Problem 116

$ABCD$ - convex quadrilateral. $M$ -midpoint $AC$ and $\angle MCB=\angle CMD =\angle MBA=\angle MBC-\angle MDC$ . Prove, that $AD=DC+AB$

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.