SHARYGIN 2016 Problem 1

A trapezoid $ABCD$ with bases $AD$ and $BC$ is such that $AB = BD$ . Let $M$ be the midpoint of $DC$ . Prove that $\angle MBC = \angle BCA$ .

A model read this text from the scan of the paper by OCR, with vision/local (GLM-OCR-8bit). No person has checked it against the paper yet.

Solutions

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