al_cube
Pour ton exo sur la somme de cosinus, en effet tout mettre en fonction de cos(2pi/7) c'est un peu calculatoire, et pas forcément très efficace.
Je te propose la méthode suivante:
Tu écris que cos(2pi/7) = [e^(i*2pi/7) + e^(-i*2pi/7)] / 2.
Tu fais pareil avec cos(4pi/7) et cos(6pi/7).
Ensuite tu peux essayer d'alléger ton expression. Pour cela tu poses x = e^(i*2pi/7).
Tu as donc:
cos(2pi/7) = [x + 1/x] / 2
cos(4pi/7) = [x² + 1/x²] / 2
idem pour cos(6pi/7).
Tu trouves donc:
cos(2pi/7) + cos(4pi/7) + cos(6pi/7) + 1/2 = [x + 1/x + x² + 1/x² + x^3 + 1/x^3 + 1] / 2
= 1/(2x^3) [x^4 + x² + x^5 + x + x^6 + 1 + x^3]
= 1/(2x^3) * (Somme des x^k, k variant de 0 à 6)
= 1/(2x^3) * [1 - x^7] / [1 - x] (formule donnant la somme des n premiers termes d'une suite géométrique de raison différente de 1).
Maintenant tu regardes ton 1 - x^7.
Tu as x = e^(i*2pi/7)
Donc x^7 = e^(i*2pi) = 1.
Donc 1 - x^7 = 0.
Tu as donc ton égalité 