Problem

Source: Romanian IMO Team Selection Test TST 1987, problem 9

Tags: trigonometry, inequalities proposed, inequalities



Prove that for all real numbers $\alpha_1,\alpha_2,\ldots,\alpha_n$ we have \[ \sum_{i=1}^n \sum_{j=1}^n ij \cos {(\alpha_i - \alpha_j )} \geq 0. \] Octavian Stanasila