Problem

Source:

Tags: trigonometry, algebra, inequalities



The sum of positive numbers $a, b, c$ is equal to $\pi/2$. Prove that $$\cos a + \cos b + \cos c > \sin a + \sin b + \sin c.$$