Problem

Source: Sharygin 2011 Final 10.7

Tags: geometry, cyclic quadrilateral, Circumcenter, concurrent, circles, altitudes, circumcircle



Point $O$ is the circumcenter of acute-angled triangle $ABC$, points $A_1,B_1, C_1$ are the bases of its altitudes. Points $A', B', C'$ lying on lines $OA_1, OB_1, OC_1$ respectively are such that quadrilaterals $AOBC', BOCA', COAB'$ are cyclic. Prove that the circumcircles of triangles $AA_1A', BB_1B', CC_1C'$ have a common point.