Problem

Source: V All-Ukrainian Tournament of Young Mathematicians, Qualifying p8

Tags: geometry, trigonometry, geometric inequality, Equilateral, Ukrainian TYM



Let $X$ be a point inside an equilateral triangle $ABC$ such that $BX+CX <3 AX$. Prove that $$3\sqrt3 \left( \cot \frac{\angle AXC}{2}+ \cot \frac{\angle AXB}{2}\right) +\cot \frac{\angle AXC}{2} \cot \frac{\angle AXB}{2} >5$$