Problem

Source: XVII Sharygin Correspondence Round P2

Tags: geometry



A perpendicular bisector to the side $AC$ of triangle $ABC$ meets $BC,AB$ at points $A_1$ and $C_1$ respectively. Points $O,O_1$ are the circumcenters of triangles $ABC$ and $A_1BC_1$ respectively. Prove that $C_1O_1\perp AO$.