Bonjour,
Tu as deux méthodes qui se ressemblent un peu :
1- utiliser la formule de duplication : cos²(x)=(1+cos(2x))/2
puis lire la somme des cosinus comme étant la partie réelle d'une somme d'exponentielles complexes...
2-Utiliser encore la formule de duplication
Remarquer que la somme des racines neuvièmes de l'unité vaut 0
en déduire ce que vaut la somme des parties réelles de ces racines neuvièmes de l'unité.
se ramener à ta somme en utilisant : cos(x-Pi)=-cos(x)