Demuestre que para todos los números reales $\alpha_1,\alpha_2,\ldots,\alpha_n$ tenemos\n\[ \sum_{i=1}^n \sum_{j=1}^n ij \cos {(\alpha_i - \alpha_j )} \geq 0. \]