MathDB
Cosines inequality on n variables - ILL 1983

Source:

October 7, 2010
trigonometryinequalitiesinequalities unsolved

Problem Statement

Prove that for all x1,x2,,xnRx_1, x_2,\ldots , x_n \in \mathbb R the following inequality holds: ni>j1cos2(xixj)n(n2)4\sum_{n \geq i >j \geq 1} \cos^2(x_i - x_j ) \geq \frac{n(n-2)}{4}