Let $I$ be an incenter of a triangle $ABC, A_1,B_1,C_1$ be intersection points of the circumcircle of the triangle $ABC$ and the lines $AI, BI, Cl$ respectively. Prove that a) $\frac{AI}{IA_1}+ \frac{BI}{IB_1}+ \frac{CI}{IC_1}\ge 3$ b) $AI \cdot BI \cdot CI \le I_1A_1\cdot I_2B_1 \cdot I_1C_1$ (D. Pirshtuk)
Problem
Source: Belarus 2010 TST 3.1
Tags: circumcircle, incenter, geometry, inequalities, geometric inequality