ω12 = 1 ⇐⇒ (e2 i π/n )2 = e4 i π/n = 1

RACINES COMPLEXES DE L’UNITÉ ⇐⇒ 4π/n ∈ 2πZ

⇐⇒ 2 ∈ nZ
1 - Les propriétés de l’exponentielle complexe énoncent ces égalités : ⇐⇒ n = 2 car n ∈ N et par hypothèse n ≥ 2
ωk = e2 i kπ/n = (e2 i π/n )k = ω1k Dans ce cas particulier n = 2 la somme est 2 :
 2kπ   2kπ   2kπ   2kπ  pour n = 2 : ω1 = e2 i π/2 = e i π = −1
e2 i kπ/n = cos + i sin = cos − i sin n−1 2−1 2−1
n n n n
ωk2 = ω12k = (−1)2k = 1 + 1 = 2
X X X
 2kπ   2kπ 
−2 i kπ/n
= cos − + i sin − =e = ω−k k=0 k=0 k=0
n n 2
1 Si n 6= 2 alors ω1 6= 1 et la formule générale s’applique :
= car ωk ωk = ωk 2 = 1. n−1 n−1 n−1 n−1 n−1
ωk 2 k 1 − ω12n
ωk2 = ωk2 = (ω1k ) = ω12k = (ω12 ) =
X X X X X
=0
k=0 k=0 k=0 k=0 k=0
1 − ω12
2 - Les factorisations demandées s’obtiennent en transformant les dénomi-
n−1 n 2 si n = 2
nateurs en fonctions trigonométriques :
ωk2 = 0 si n > 2.
X
eia eia e i a e− i b/2 e i (a−b/2) k=0
= = =
1 + e i b (e− i b/2 + e i b/2 ) e i b/2 e− i b/2 + e i b/2 2 cos 2b


- De même −ω1 = 1 à cette condition :
eia eia e i a e− i b/2 −ω1 = 1 ⇐⇒ e2 i π/n = −1 = e i π
= =
1 − eib (e− i b/2 − e i b/2 ) e i b/2 e− i b/2 − e i b/2 ⇐⇒ 2π/n ∈ π + 2πZ
e i (a−b/2) ie i (a−b/2) ⇐⇒ 2/n ∈ 1 + 2Z 2/n est un entier impair
= =
. ⇐⇒ 2/n = 1
−2i sin 2b 2 sin 2b


⇐⇒ n = 2 car n ∈ N et par hypothèse n ≥ 2
3 - La factorisation d’une série géométrique distingue deux cas : Sauf dans ce cas particulier n = 2, la méthode générale des séries géo-
 1 − q p+1

p métriques s’applique, et la fonction tangente simplifie le résultat final :
X
qk = si q 6= 1
1−q Pour n = 2 : ω1 = −1
p+1 si q = 1

k=0 n−1 1
(−1)k ωk = (−1)k (−1)k = 1 + 1 = 2
X X
Par ailleurs ω1 = 1 si et seulement si 2π/n ∈ 2πZ, c’est à dire n = 1, ce
k=0 k=0
que l’énoncé exclut.
n−1 n−1 n−1
n−1 n−1
1 − ω1n (−1)k ωk = (−1)k ω1k = (−ω1 )k
X X X
1−1 Pour n > 2 :
ω1k =
X X
ωk = = =0
k=0 k=0
1 − ω1 1 − ω1 k=0 k=0 k=0

n−1 n−1 n−1 n−1

1− (−1)n ω1n 1 − (−1)n
= =
e(2k+1) i π/n = e i π/n e2 i kπ/n = e i π/n 1 + ω1 1 + ω1
X X X X
ξk = ωk = 0.
k=0 k=0 k=0 k=0

4 - En tenant compte des hypothèses générales, le cas n = 2 est le seul cas

particulier où la raison de la première série géométrique est 1 :

1 FMy le 16/9/2009 2 FMy le 16/9/2009

 2 2 2 n−1
n
! n−1
X n n
n
!
n π 
! !
= = − i π/n
 
k
ω1k − ω1n = − 2n cos
X X
1 + ω1 1 + e2 i π/n (e + e i π/n )e i π/n ωk = ω1 = +1
k k k n n
k=0 k=0 k=0
2e− i π/n cos nπ − i sin πn



n−1 n−1
! !
=
= n n  π 
2 cos πn cos πn ξ = e i π/n ω1k = −e i π/n 2n cos

X X
+1
π k k k n
k=0 k=0
= 1 − i tan
n
6 - La simplification du produit suivant provient des opérations usuelles sur
En définitive trois cas sont possibles :
les sommes, essentiellement par un changement d’indice :
 2 si n = 2 n−1 n−1 n−1 n n−1
n−1
0 si n ∈ 2N est pair et n ≥ 4


k ω1k = k ω1k+1 − k ω1k = (k − 1)ω1k − k ω1k
X X X X X
(−1)k ωk =
X
2 π  (ω1 − 1)
k=0

 = 1 − i tan si n ∈ 2N + 1 est impair. k=0 k=0 k=0 k=1 k=0
1 + ω1 n  n−1 
(k − 1)ω1k − k ω1k + (n − 1)ω1n − 0
X
- Les deux sommes en ξk se factorisent pour obtenir les sommes en ωk : =
n−1 n−1 n−1 n−1 k=1
ξk2 = (e i π/n ωk )2 = e2 i π/n ωk2 = e2 i π/n ωk2
X X X X
n−1 n−1
ω1k + n − 1 = − ω1k + n = n
X X
k=0 k=0 k=0 k=0 =−
n
−2 si n = 2 k=1 k=0
= 0 sinon n−1
X n n e− i π/n
n e− i π/n − in e− i π/n
k ωk = = i π/n = =
2e i π/n 2e i π/n − e− i π/n 2i sin nπ 2 sin πn



1 k=0
ω1 − 1 e
= = pour n 6= 2
2 i π/n i π/n i π/n i π/n cos πn


1+e (e− +e )e n−1 n−1
− in
kξk = e i π/n
X X
n−1 n−1 kωk =
.
2 sin πn
(−1)k ξk = e i π/n (−1)k ωk
X X
k=0 k=0
k=0 k=0
7 - Ces transformations sur les puissances d’exponentielles complexes per-
 2i si n = 2


 0 si n ∈ 2N est pair et n ≥ 4 mettent de simplifier ces produits :
= 2e i π/n 1 n−1 n−1 n−1
n−1 P
k n(n−1)

 = si n ∈ 2N + 1 est impair. Y
ωk =
Y
ω1k =
Y
(e 2 i π/n k
) = (e2 i π/n )k=0 = (e2 i π/n ) 2
2 i π/n cos πn


1+e

k=0 k=0 k=0
n(n−1)
2i π
5 - La première somme, au contraire des autres, est une formule du binôme : =e 2n = e i π(n−1) = (−1)n−1
n
!
n n
n n−1 n−1 n−1
ω1k = (1 + ω1 )n = (1 + e2 i π/n ) = e i π/n (e− i π/n + e i π/n )
X
i π/n i π/n n
Y Y Y
k ξk = e ωk = (e ) ωk
k=0 k=0 k=0 k=0
n n   π n
= (e i π/n ) (e− i π/n + e i π/n ) = e i π 2 cos = e (−1)n−1 = (−1)n .
iπ
n
n π
 
n
= −2 cos 8 - Les sommes C, S et E suivantes vérifient ces relations :
n
Les deux sommes suivantes se déduisent de la précédente :

3 FMy le 16/9/2009 4 FMy le 16/9/2009

 n−1 n−1
X 2kπ 
 X  2kπ 
C= cos a + ∈R S= sin a + ∈R
k=0
n k=0
n
n−1 n−1 n−1
i (a+2kπ/n) ia i 2kπ/n ia
X X X
E = C + iS = e =e e =e ωk = 0
k=0 k=0 k=0
C = re E = 0 S = im E = 0.

9 - Les deux sommes demandées se calculent de la même façon :

n−1 n−1
X  2kπ  X  2kπ 
C= k cos a + ∈R S= k sin a + ∈R
k=0
n k=0
n
n−1 n−1
k e i (a+2kπ/n) = e i a k e2 i kπ/n
X X
E = C + iS =
k=0 k=0
− in e− i π/n e i a − in e i (a−π/n)
= π

= π


2 sin n 2 sin n
n sin a − πn π



−n cos a − n
C = re E = S = im E = .
2 sin πn 2 sin nπ

5 FMy le 16/9/2009