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