Let $H$ and $O$ be the orthocenter and the circumcenter of triangle $ABC$. The circumcircle of triangle $AOH$ meets the perpendicular bisector of $BC$ at point $A_1 \neq O$. Points $B_1$ and $C_1$ are defined similarly. Prove that lines $AA_1$, $BB_1$ and $CC_1$ concur.
Problem
Source: Sharygin geometry olympiad 2015, grade 10, Final Round, Problem 6
Tags: geometry, circumcircle, perpendicular bisector