Problem

Source: 2021 Dutch IMO TST 1.3

Tags: geometry, orthocenter, collinear, circumcircle



Let $ABC$ be an acute-angled and non-isosceles triangle with orthocenter $H$. Let $O$ be the center of the circumscribed circle of triangle $ABC$ and let $K$ be center of the circumscribed circle of triangle $AHO$. Prove that the reflection of $K$ wrt $OH$ lies on $BC$.