RO-TST 1987 Problem 9

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