Je dois montrer que
C = cos(pi/11) + cos(3pi/11) + cos(5pi/11) + cos(7pi/11) = 1/2
(càd la somme de k=0 à k=4 de cos( (pi + k2pi) /2) )
et que
S = sin(pi/11) + sin(3pi/11) + sin(5pi/11) + sin(7pi/11) = (sin²(5pi/11)) / (sin (pi/11))
(càd la somme de k=0 à k=4 de sin( (pi + k2pi) /2) )
Pour cela j'ai donc calculé la somme T = C + iS, et j'arrive à exp(ipi/11)^2k+1
J'y reconnais donc une suite géométrique de premier terme e^i(pi/11) et de raison e^(ipi/11).
J'applique donc la formule de la somme géométrique :
T = u0 * ( (1-q^n+1) / (1-q) )
Mais je n'arrive pas à résoudre plus loin, le calcul étant insimplifiable..

Merci