Problem

Source: CSEMO 2005-8

Tags: trigonometry, calculus, derivative, function, inequalities unsolved, inequalities



Let $0 < \alpha, \beta, \gamma < \frac{\pi}{2}$ and $\sin^{3} \alpha + \sin^{3} \beta + \sin^3 \gamma = 1$. Prove that \[ \tan^{2} \alpha + \tan^{2} \beta + \tan^{2} \gamma \geq \frac{3 \sqrt{3}}{2} . \]