J'ai un exo dont un petit détail me pose problème. Il s'agit, en utilisant les complexes, de trouver une expression des nombres S et S' qui ne fait pas intervenir une somme de n n termes avec:
S=1+cosx+cos(2x)+...+cos(nx)
S'=sinx+sin2x+...+sin(nx)
Il faut d'abord prouver que S+iS'= [1-exp((n+1)ix) ] / [1-exp(ix)]
Pas de problème, on S+iS' est une somme de terme consécutifs d'une suite géométrique.
Il faut ensuite mettre exp[((n+1)ix)/2] en facteur au numérateur et exp((ix)/2) au dénominateur pour trouver une expression de S et de S'.
On a le numérateur = exp[((n+1)ix)/2] * [[ exp[(-(n+1)ix)/2] - exp[((n+1)ix)/2] ]]
le dénominateur = exp((ix)/2) * [[ exp(-(ix)/2) - exp((ix)/2) ]]
On simplifie en utilisant le fait que :
e^a / e^b = e^(a-b)
e^iX - e^(-iX) = 2i*sinX
On trouve S+iS'=exp(nix/2) * [[ [sin((-n+1)x/2)] / [sin(x/2)] ]]
En écrivant exp(nix/2) sous forme trigonométrique on trouve
Re(S+iS')=