Bonjour , j'ai un ami qui est parti en espagne et qui donc me demande de l'aide pour un exo qu'il n'aura peut etre pas le temps de faire , le voici
Soit P = cos x cos 2x cos 4x, où x désigne un réel.
1) Démontrer que:
P sin x = 1/2 (sin2x)(cos2x)(cos4x) = 1/8 sin 8x.
2) En remplacant x par /7, démontrer que :
cos/7 cos 2/7 cos 4/7 = -1/8
Cependant je n'arrive pas a aborder le probleme merci de votre aide !
-----