Problem

Source: Mexico National Olympiad Mock Exam (OMMock) 2020 P4

Tags: geometry, diameter, perpendicular bisector, vector



Let $ABC$ be a triangle. Suppose that the perpendicular bisector of $BC$ meets the circle of diameter $AB$ at a point $D$ at the opposite side of $BC$ with respect to $A$, and meets the circle through $A, C, D$ again at $E$. Prove that $\angle ACE=\angle BCD$. Proposed by José Manuel Guerra and Victor Domínguez