MathNet 2013 Câu hỏi 17

Chứng minh rằng nếu $\alpha,\beta,\gamma\in[0,\pi/2]$ và $\tan\alpha+\tan\beta+\tan\gamma\le3$ thì
$$\cos2\alpha+\cos2\beta+\cos2\gamma\ge0.$$