Problem

Source: 2019 Oral Moscow Geometry Olympiad grades 8-9 p6

Tags: geometry, perpendicularity, perpendicular, excircle, excenter, excircles



In the acute triangle $ABC$, the point $I_c$ is the center of excircle on the side $AB$, $A_1$ and $B_1$ are the tangency points of the other two excircles with sides $BC$ and $CA$, respectively, $C'$ is the point on the circumcircle diametrically opposite to point $C$. Prove that the lines $I_cC'$ and $A_1B_1$ are perpendicular.