s’´ecrit alors :
|1+iz|2=|1−iz|2⇐⇒ |(1 −y)+ix|2=|(1 +y)−ix|2
⇐⇒ (1 −y)2+x2=(1 +y)2+x2
⇐⇒ −2y=2y
⇐⇒ y=0
Ainsi, si z=x+iy est solution de (1) alors y=0, ce qui revientpr´ecis´ement
`a dire que toutes les racines de (1) sont r´eelles. N
4. Soit θ∈]−π,π[fix´e. En factorisantnum´erateur et d´enominateur par l’exponentielle
imaginaire de l’argument moiti´e,j’obtiens
eiθ −1
i(eiθ +1) =−ieiθ −1
eiθ +1=−ieiθ/2×2isin(θ/2)
eiθ/2×2cos(θ/2)
=−i2isin(θ/2)
2cos(θ/2) =tan(θ/2).
N
5. Remarquons tout d’abord que
zest solution de (1) ⇐⇒ 1+iz
1−iz est d´efini et est solution de wn=e2ia
⇐⇒ z6=−iet 1+iz
1−iz est solution de wn=e2ia.
D’apr`es la question 3.,toute solution de (1) ´etant r´eelle, la condition z6=−i
est inutile. Par suite
zest solution de (1) ⇐⇒ 1+iz
1−iz est solution de wn=e2ia.
D’apr`es la question 2., il s’ensuit que pour tout nombre complexe z∈C,
zest solution de (1) ⇐⇒ 1+iz
1−iz ∈S
⇐⇒ ∃k∈[[0,n−1]],1+iz
1−iz =eiθk
Remarquons que pour tout entier naturel non nul net tout entier k∈
[[0,n−1]], θk6≡ π[2π].
En effet
θk≡π[2π]⇐⇒ 2
n(a+kπ)≡π[2π]
⇐⇒ a+kπ≡nπ
2[π]
⇐⇒ a≡nπ
2[π].
ce qui est impossible puisque a∈]0,π/2[.
Comme θk6≡ π[2π], le r´esultat de la question pr´ec´edente s’applique et per-
met de conclurepour tout k∈[[0,n−1]]et pour tout z∈C,
1+iz
1−iz =eiθk⇐⇒ z=tan θk/2
2