BdMO Online Forum

Trivial angle chasing yields that the angles of $\triangle A_1B_1C_1$ are $\frac{\angle A + \angle B}{2}$ , $\frac{\angle B + \angle C}{2}$ and $\frac {\angle C + \angle A}{2}$ . We know that $r = 4R \sin(\frac{A}{2})\sin(\frac{B}{2})\sin(\frac{C}{2}) $. So, it remains to show that $\sin(\frac{A}{2})\sin(\frac{B}{2})\sin(\frac{C}{2}) \le \sin(\frac{A+B}{4}) \sin(\frac{B+C}{4}) \sin(\frac{C+A}{4})$
By AM-GM, $\sin(\frac{A}{4})\cos(\frac{B}{4}) + \sin(\frac{B}{4})\cos(\frac{A}{4}) \ge 2 \sqrt{ \sin(\frac{A}{4})\cos(\frac{B}{4}) \sin(\frac{B}{4})\cos(\frac{A}{4})}$. Similarly we get two other ineqs. By multiplying them, we get the result.