Montrer que quels que soient les réels $x_1,x_2,...,x_n$ on a :
$$\sum\limits_{1\leq i < j \leq n}\cos^2(x_i-x_j) \geq \frac{n(n-2)}{4}$$
Problème n°18
Hassan Tarfaoui