Problem

Source: Sharygin Correspondence Round P1

Tags: geometry, incenter, angle bisector



Bisectors $AI$ and $CI$ meet the circumcircle of triangle $ABC$ at points $A_1, C_1$ respectively. The circumcircle of triangle $AIC_1$ meets $AB$ at point $C_0$; point $A_0$ is defined similarly. Prove that $A_0, A_1, C_0, C_1$ are collinear.