Salut,
Ca se fait par une simple étude de fonction :
Quitte à ajouter/retrancher des multiples de

aux variables, on peut supposer que

ce qui fait que les cosinus sont tous positifs (donc plus de valeur absolue) mais que l'hypothèse se réécrit
)
.
Or, si, on étudie pour

de somme

fixée la quantité
+\cos(y))
, c'est à dire si on étudie (dérivée) la fonction
=\cos(x)+\cos(s-x))
pour

, on voit que cette fonction est minimale sur un des deux "bord" de l'intervalle, c'est à dire lorsque

ou

vaut

.
On en déduit que la somme
+\cdots+\cos(e))
est minimale lorsque

et donc lorsque

c'est à dire

.
Dans ce cas,
+...+\cos(e)=1)