Problem

Source: European Mathematical Cup, 2015, Junior, P4

Tags: geometry



Let $ABC$ be an acute angled triangle. Let $B' , A'$ be points on the perpendicular bisectors of $AC, BC$ respectively such that $B'A \perp AB$ and $A'B \perp AB$. Let $P$ be a point on the segment $AB$ and $O$ the circumcenter of the triangle $ABC$. Let $D, E$ be points on $BC, AC$ respectively such that $DP \perp BO$ and $EP \perp AO$. Let $O'$ be the circumcenter of the triangle $CDE$. Prove that $B', A'$ and $O'$ are collinear. Steve Dinh