Soit θ un réel . Premier cas : Si θ∈2πZ S1=k=0∑neik×0 équivaut successivement à : S1=k=0∑n1 D'où :
S1=n+1
Deuxième cas : Si θ∈/2πZS1=k=0∑neikθ équivaut successivement à : S1=k=0∑n(eiθ)k On reconnait la somme des termes d'une suite géométrique de raison q=eiθ et de premier terme ei0=1 .
La somme des termes d'une suite géométrique de raison q est donnée par la formule suivante : S=(premier terme)×(1−q1−qnombres de termes)
Il vient alors que : S1=1×1−eiθ1−(eiθ)n+1 S1=1−eiθ1−ei(n+1)θ
Factorisation par l’angle moitié. Soient α et β deux réels.
On remarque que S2 est la partie réelle de la somme S1 . En effet : S1=k=0∑neikθ S1=k=0∑n(cos(kθ)+isin(kθ)) S1=k=0∑ncos(kθ)+ik=0∑nsin(kθ) Ainsi : S2=Re(S1) D'après la question 1, nous avons montré que :
On remarque que S3 est la partie imaginaire de la somme S1 . En effet : S1=k=0∑neikθ S1=k=0∑n(cos(kθ)+isin(kθ)) S1=k=0∑ncos(kθ)+ik=0∑nsin(kθ) Ainsi : S3=Im(S1) D'après la question 1, nous avons montré que :