8 Nombres

CHAPITRE

complexes

ACTIVITÉS (page 232)

Si on trouve deux nombres « imaginaires » dont les cubes

Activité 1
1 a) En appliquant la formule de Cardan avec p = − 36
et q = − 91, on trouve α = 7 .
b) (X − 7) (X 2 + bX + c) = X 3 + (b − 7) X 2 + ( c − 7b ) X − 7c.
Pour avoir l’égalité demandée, on prend b − 7 = 0 et
c − 7b = − 36. On trouve b = 7 et c = 13.
c) L’équation X 3 − 36 X − 91 = 0 s’écrit :
( X − 7)( X 2 + 7 X + 13) = 0 ,
ce qui équivaut à X = 7 ou X 2 + 7 X + 13 = 0 . Le
discriminant de la deuxième équation étant négatif, cette
équation n’a pas de solution dans . Il en résulte que
l’équation X 3 − 36 X − 91 = 0 admet une seule solution
dans  :
S = {7}.
s’écrivent 2 + 11i et 2 − 11i , il suffit de remplacer les
racines cubiques dans la formule de Cardan par ces deux
nombres pour trouver une solution de l’équation (E).
( 2 + i )3 = 2 3 + 3 × 2 2 i + 3 × 2i 2 + i 3 = 2 + 11i
= 2 3 − 3 × 2 2 i + 3 × 2i 2 − i 3 = 2 − 11i .
La valeur donnée par la formule de Cardan s’écrit
X = (2 + i) + (2 − i) = 4 .
4 3 − 15 × 4 − 4 = 0 , donc 4 est bien solution de l’équation
(E).
d) ( X − 4 )( X 2 + bX + c ) = X 3 + (b − 4 ) X 2 + ( c − 4b ) X − 4 c.
Pour avoir l’égalité demandée, on prend b − 4 = 0 et
c − 4b = −15 . On trouve b = 4 et c = 1 .
e) L’équation (E) équivaut à X = 4 ou X 2 + 4 X + 1 = 0 .
On obtient :
{
S = −2 − 3 ; − 2 + 3 ; 4 . }

2 a) On trouve 4 p 3 + 27q2 = − 13 068. Ce nombre étant

strictement négatif, la racine carrée de
p 3 q2
27
+
4
n’existe Activité 2
pas, donc on ne peut pas appliquer la formule de Cardan à a) N1 (0 ; 3), N 2 (0 ; 0), M2
l’équation N 3 (0 ; − 1) . N1 M1
X 3 − 15X − 4 = 0 . b) N 4 (0 ; 5) représente le
b) Selon le graphique obtenu, on peut conjecturer que nombre 5i.
l’équation X 3 − 15X − 4 = 0 admet trois solutions réelles N 5 (0 ; − 2 ) représente le
v O
dont une semble égale à 4. nombre – 2i.
N2 u
c) M1 ( 2 ; 3) , M 2 ( − 1; 4 ) ,
q p 3 q2 N3
c) − + + = 2 + 11i et M 3 (5 ; − 2 ) . M3
2 27 4
d) z4 = 1 + 2i ,
q p 3 q2
© Nathan 2012 – Transmath Term. S

3
− − + = 2 − 11i . z5 = − 2 + i .
2 27 4 5 172663_C08_prof_fig01

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 1

 Problème ouvert
En prenant comme unité la longueur du carré, on a : 2 1
8 8 1 1 D’autre part, cos( γ ) = et sin( γ ) = ; on en déduit que :
cos(α ) = = . sin(α ) = = . 5 5
65 13 5 65 13 5
5 5 1 1 3 2 1 1 1
cos(β) = = . sin(β) = = . cos(α + β + γ ) = × − × =
26 13 2 26 13 2 10 5 10 5 2
On déduit que :
3 1 1 2 1
40 1 3 sin(α + β + γ ) = × + × = .
cos(α + β) = − = . 10 5 10 5 2
13 10 13 10 10
8 5 1 π
sin(α + β) = + = . Il en résulte que α + β + γ = .
13 10 13 10 10 4

EXERCICES Application (page 241)

1  a) z1 + z2 = − 1 + 2i + 3 + 4i = 2 + 6i . 8  a) i(1 − i ) = i − i 2 = 1 + i .
b) z1 − z2 = − 1 + 2i − ( 3 + 4i ) = − 4 − 2i . b) ( 2 − 3i )( 4 + i ) = 11 − 10i .
c) z1 − 3 z2 = − 1 + 2i − 3( 3 + 4i ) = − 10 − 10i . 3 + 2i ( 3 + 2i )( 4 + i ) 10 11
c) = = + i.
d) z1 z2 = (− 1 + 2i) (3 + 4i) = − 11 + 2i . 4−i 17 17 17

2  a) (1 + i )2 = 1 + 2i + i 2 = 2i. 1 2 − 3i 2 3
b) (1 − i )2 = 1 − 2i + i 2 = − 2i .
9  a) = = − i.
2 + 3i 4+9 13 13
c) ( 3 − i )2 = 9 − 6i + i 2 = 8 − 6i. 2 3 2(1 − i ) − 3(1 + i ) −1 − 5i 1 5
b) − = = = − − i.
2 1+ i 1− i (1 + i )(1 − i ) 2 2 2
 1 3
3  1. j =  − + i 
2 2 + 3i ( 2 + 3i )(5 + 2i ) 4 19
 2 2 c) = = + i.
5 − 2i 29 29 29
1 3 3
=
− i + i2
4 2 4 10  a) Z = z + z − 3i = 2 Re( z ) − 3i , donc Z n’est ni
1 3 réel ni imaginaire pur.
=− − i.
2 2 b) Z = z − z + 5i = 2 Im( z )i + 5i = ( 2 Im( z ) + 5)i , donc
1 3 1 3 Z est imaginaire pur.
2. 1 + j + j 2 = 1 − + i − − i = 0.
2 2 2 2 c) On pose z = a + bi avec a et b réels.
4  (1 + i )2 = 2i , (1 + i )4 = ( 2i )2 = − 4, donc pour Z = z z − z + z = a 2 + b 2 − 2bi donc Z n’est ni réel ni
tout entier naturel k, (1 + i )4 k = ( − 4 )k est réel. imaginaire pur.
(1 + i )4 k +1 = ( − 4 )k (1 + i ), d) Z = z ( z + i ) + i(5i − z ) = zz − i( z − z ) − 5
(1 + i )4 k + 2 = ( − 4 )k (1 + i )2 = ( − 4 )k ( 2i ) , soit Z = z z − i( 2 Im( z )i ) − 5 = z z + 2 Im( z ) − 5
(1 + i )4 k + 3 = ( − 4 )k ( 2i )(1 + i ) = ( − 4 )k ( − 2 + 2i ) . z z étant réel, Z l’est aussi.
Comme tout entier naturel n s’écrit sous la forme 4k,
4k + 1, 4k + 2 ou 4k + 3, on déduit que (1 + i )n est réel si, 11  a) Z = −2 − i z .
et seulement si, n est multiple de 4. b) Z = ( − i + z )( 2 + i z ) .
c) Z = ( − 2i z + 3)2 .
5  a) ( 2 + i )2 (1 − 3i ) = ( 3 + 4i )(1 − 3i ) = 15 − 5i . 1− iz
b) (5 − 2i )(1 + 4i )( 2 − i ) = (13 + 18i )( 2 − i ) = 44 + 23i . d) Z = .
2z + i
6  ( x + 1 + iy )( x − 1 − iy ) = x 2 − (1 + iy )2
12 
= x 2 − (1 + 2iy − y 2 )
© Nathan 2012 – Transmath Term. S

z − 1 ( x − 1) + iy [( x − 1) + iy][( x + 1) − iy]
= ( x 2 + y 2 − 1) − 2 yi . Z= = = .
z + 1 ( x + 1) + iy ( x + 1)2 + y 2
7  a) Re( z1 + z2 + z3 ) = 1 + 4 + 5 = 10 . Le numérateur s’écrit :
b) iz1 = i(1 − 3i ) = 3 + i donc Im(iz1 ) = 1 . ( x − 1)( x + 1) + iy ( x + 1) − iy ( x − 1) = x 2 − 1 + 2iy + y 2
c) z1 z2 = (1 − 3i )( 4 + 2i ) = 10 − 10i , donc x2 + y2 − 1 2y
donc Z = + i.
Im( z1 z2 ) = − 10 . ( x + 1)2 + y 2 ( x + 1)2 + y 2
d) Re( 2 z1 − 3 z2 + z3 ) = 2 Re( z1 ) − 3 Re( z2 ) + Re( z3 )
= 2 − 12 + 5 13  z2 = z1 , donc z1 + z2 = z1 + z1 = 2 Re( z1 ).
= − 5. Il en résulte que z1 + z2 est réel.

2 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

 14  a) ( 3 − 2i ) z = i − 2 équivaut à z = i − 2 , 19  1. 83 − 12 × 82 + 48 × 8 − 128 = 0 , donc 8 est
3 − 2i solution de l’équation (E).
(i − 2 )( 3 + 2i ) 8 1
soit z = = − − i. 2. a)
13 13 13
3i ( z − 8)( az 2 + bz + c ) = az 3 + (b − 8a ) z 2 + ( c − 8b ) z − 8c.
b) ( 2 + i ) z = 3i équivaut à z = , Pour avoir l’égalité demandée, on prend a = 1 ,
2+i
3i( 2 − i ) 3 6 3 6 b − 2 a = − 12 et c − 8b = 48 . On obtient a = 1 , b = − 4
soit z = = + i  ; cela signifie que z = − i .
5 5 5 5 5 et c = 16 .
15  a) L’équation 3iz − 2 + 4i = (1 − 2i ) z + 6 s’écrit On vérifie que − 8c = − 128 . En effet − 8 × 16 = − 128.
− 8 + 4i b) L’équation (E) s’écrit  : ( z − 8)( z 2 − 4 z + 16 ) = 0 ,
z (1 − 5i ) + 8 − 4i = 0 ce qui équivaut à z = ,
1 − 5i ce qui équivaut à z − 8 = 0 ou z 2 − 4 z + 16 = 0 .
14 18
soit z = − − i. Le discriminant de la deuxième équation est ∆ = − 48.
13 13 ∆ < 0 , donc la deuxième équation a deux solutions
b) On pose z = x + yi. L’équation ( 3 + 2i ) z = 2i z − 5i
complexes conjuguées :
s’écrit 3 x − 4 y + ( 3 y + 5)i = 0 , ce qui équivaut à :
4 − 4i 3
 20 z1 = = 2 − 2i 3 et z2 = 2 + 2i 3 .
3 x − 4 y = 0 x = − 9 2
 , soit  . On déduit que l’équation (E) admet trois solutions :
3 y + 5 = 0 y = − 5 z0 = 8 , z1 = 2 − 2i 3 et z2 = 2 + 2i 3 .
 3
L’équation a pour solution z = −
20 5
− i. 20  a) z1 = 3 − i 3 , donc z1 = 3 + 3 = 6 . D’où :
9 3
 1 1    π  π 
16  a) L’équation z 2 − ( 2 + 3i )2 = 0 s’écrit : z1 = 6 − i = 6 cos  −  + i sin  −  .
 2 2    4   4 
( z − 2 − 3i )( z + 2 + 3i ) = 0 ,
  π  π
ce qui équivaut à : b) z2 = 2i = 2 cos   + i sin   .
  2  2 
z − 2 − 3i = 0 ou z + 2 + 3i = 0 .
1 1− i 1
On obtient deux solutions, z1 = − 2 − 3i et z2 = 2 + 3i . c) z3 = = = (1 − i ). Comme 1 − i = 2 , alors :
1+ i 2 2
b) L’équation iz 2 + ( 3 − 4i ) z = 0 s’écrit :
 1 1    π  π 
z (iz + 3 − 4i ) = 0, 1− i = 2 − i = 2 cos  −  + i sin  −  .
 2 2    4   4 
ce qui équivaut à z = 0 ou iz + 3 − 4i = 0 , soit :
On en déduit que :
− 3 + 4i
z = 0 ou z = = 4 + 3i . 2   π  π 
i z3 = cos  −  + i sin  −  .
c) L’équation z 2 + 4 = 0 s’écrit z 2 − ( 2i )2 = 0 , ce qui 2 4 4
équivaut à ( z + 2i )( z − 2i ) = 0. 21  a)
Cela signifie que z + 2i = 0 ou z − 2i = 0 . z1 = − 2(cos(θ) + i sin(θ)) = 2(cos(θ + π ) + i sin(θ + π )) .
On obtient deux solutions, z1 = − 2i et z2 = 2i .  π  π 
z +1 b)  z2 = 3(sin(θ) + i cos(θ)) = 3 cos  − θ + i sin  − θ .
d) Pour z ≠ 1 , l’équation = i équivaut à :  2  2 
z −1
z + 1 = i( z − 1) , ou encore z (1 − i ) = − 1 − i , 22  a) OM = 2 2 , donc
−1− i   3π  3π
soit z = = − i . La solution est – i. zM = 2 2 cos   + i sin   .
1− i   4  4 
17  a) Le discriminant de l’équation z 2 − 2 z + 4 = 0 De même ON = 3 2 , donc
est ∆ = −12. ∆ < 0 donc l’équation admet deux solutions   π  π 
zN = 3 2 cos  −  + i sin  −  .
complexes conjuguées :   4  4 
2 − i 12 1
z1 = = 1 − i 3 et z2 = 1 + i 3 . b) OM = 2 et Re( z M ) = 1 , donc cos(θ) = .
2 2
b) Le discriminant de l’équation z 2 − 8 z + 25 = 0 est π 3
Comme 0 < θ < , alors sin(θ) = , d’où :
∆ = − 36. ∆ < 0 donc l’équation admet deux solutions 2 2
complexes conjuguées :   π  π
z M = 2 cos   + i sin   .
  3  3 
8 − i 36
z1 = = 4 − 3i et z2 = 4 + 3i . 1
© Nathan 2012 – Transmath Term. S

2 ON = 2 et Im( zN ) = −1 donc sin(θ) = − . Comme

2
c) L’équation z + 2 3 z + 3 = 0 s’écrit ( z + 3 )2 = 0 ,
2
3π 3 π 7π
ce qui équivaut à z = − 3. π<θ< , alors cos(θ) = − . D’où θ = π + = .
2 2 6 6
18  1. Le nombre 3 – i est solution de   7 π  7 π
On en déduit que z N = 2 cos   + i sin   .
l’équation z 2 − 6 z + a = 0 si, et seulement si,   6  6 
( 3 − i )2 − 6( 3 − i ) + a = 0, soit −10 + a = 0 ou encore 3π
OP = 2 et arg( z P ) = (mod 2p ) , donc
a = 10 . 4
2. Lorsque a = 10 , 3 – i étant une solution, l’autre solution   3π  3π
z P = 2 cos   + i sin   .
est 3 + i.   4  4 

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 3

 Le parallélogramme ABCD ayant deux côtés consécutifs
23  a) z1 = 2 3 − 2i = 12 + 4 = 4 , donc
de même longueur, c’est un losange.
 3 1   π  π  −i
π
z1 = 4  − i = 4 cos  −  + i sin  −  = 4 e 6 . C
 2 2   6  6 
−i
π D
b) 2 − 2i = 2(1 − i ) = 2 2 e 4

3 + i 3 = 12 = 2 3 ,
 3 1 i
π
3 + i 3 = 2 3 + i = 2 3e 6 .
 2 π2 π π
v
−i i −i
On en déduit que : z2 = 2 2 e 4 × 2 3e 6 = 4 6 e 12 . O u
c) 3 − 3i = 12 = 2 3 ,
1 3  −i
π B
donc 3 − 3i = 2 3  − i = 2 3e 3 A
2 2 
π
−i
et 1 − i = 2e 4 , donc :
27  AC = 172663_C08_prof_fig02
π
3 − 3i 2 3e 3  π π
i− + 
−i
−i
π zC − zA = − 2 + 6i − ( −3 − 2i )
= = 6 e  3 4
= 6 e 12 .
1− i −i
π = 1 + 8i = 65 .
2e 4
  π  π  −i
π
i
π
−i
3π BC = zC − zB = − 2 + 6i − ( 2 − i )
d) z4 = − 2i cos   + i sin   = 2 e 2 × e 5 = 2 e 10 .
  5  5  = − 4 + 7i = 65 .
Donc AC = BC et le triangle ABC est isocèle en C.
24  a) 2 ei 2 θ = 2 et un argument de 2 ei 2 θ est le
nombre 2θ. C
b) − e − iθ = eiπ e − iθ = ei ( π − θ ) , donc un argument de − e − iθ est
π − θ et son module est 1.
π  π
−i i θ − 
c) − 2ieiθ = 2 e 2 eiθ = 2 e  2 , donc un argument de
π
− 2ieiθ est θ − et son module est 2.
2
v
π  
25  1. z1 = − 3e 3 = − 3  1 − 3 i = − 3 + 3 3 .i
−i
O u
2 2  2 2
B
 3 3 3 
z1 z2 =  − + i (2 − 2i) = ( 3 3 − 3) + ( 3 3 + 3)i . A
 2 2 
π π π 2π
−i −i i(π− ) i
2. z1 = − 3e 3 = 3eiπ e 3 = 3e 3 = 3e 3 .
π 28  1.
−i 172663_C08_prof_fig03
z2 = 2(1 − i ) = 2 2 e 4 .
2π π  2 π π
i −  5π B
i −i i
z1 z2 = 3e × 2 2 e
3 = 6 2e 4= 6 2e .  3 4 12

Une forme trigonométrique de z1 z2 est I

v
  5 π  5 π 
6 2 cos   + i sin   .
  12   12  O A
u
3. L’égalité entre la forme algébrique et la forme
trigonométrique entraîne :
 5 π  5 π
6 2 cos   = 3 3 − 3 et 6 2 sin   = 3 3 + 3 .
 12   12 
D’où :
 5 π 3 −1 6− 2  5 π 6+ 2 2. a) a = b = 2 , donc OA = OB = 2. D’où OAB est
cos   = = et sin   = . 172663_C08_prof_fig04
 12  2 2 4  12  4 isocèle en O. Comme I est le milieu de [AB], on a :
 → → → 1 → → 1  →
26  1. Figure ci-après. ( u , OI ) = ( OA, OI ) = ( OA, OB) = ( u , OB) .
© Nathan 2012 – Transmath Term. S

→ 2 2
L’affixe du vecteur AB est 3p  → 3π
zB − zA = ( 3 − 2i ) − ( − 4 − 3i ) = 7 + i. Puisque est un argument de b, alors ( u , OI ) = .

→ 4 8
3π
L’affixe du vecteur DC est i
b) b = 2 e 4 = − 2+i 2.
zC − zD = ( 4 + 5i ) − ( −3 + 4i ) = 7 + i .

→ 
→ a+b 2− 2 2
Les vecteurs AB et DC ayant les mêmes affixes, ils sont zI = = +i .
2 2 2
égaux. On déduit que ABCD est un parallélogramme.
1 1
2. BC = zC − zB = 4 + 5i − ( 3 − 2i ) = 1 + 7i = 50 c) OI = zI = ( 2 − 2 )2 + ( 2 )2 = 8−4 2
2 2
et AB = zB − zA = 7 + i = 50 , donc AB = BC .
= 2− 2.

4 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

 3π
i
3. a) zI = 2− 2e 8 .  3π 2− 2
D’où cos   = ;
b) En écrivant l’égalité entre la forme algébrique et la  8 2
forme trigonométrique de zI , on déduit que :  3π 2 2 2+ 2 2+ 2
sin   = = = .
 8 2
 3π 2− 2 2 2− 2 2 2− 2 × 2+ 2
2− 2 cos   = ; π π 3π
 8 2 Comme = − , alors :
8 2 8
 3π 2
2− 2 sin   = .  π 2+ 2  π 2− 2
 8 2 cos   = et sin   = .
 8 2  8 2

EXERCICES Activités de recherche (page 208)

33  Recherche d’ensemble En multipliant le numérateur et le dénominateur par
• Les outils x − ( y − 1)i , on obtient :
– Forme algébrique d’un nombre complexe. x 2 + y 2 − 1 + 2 xi
X + Yi =
– Propriétés du conjugué d’un nombre complexe. x 2 + ( y − 1)2
– Calcul algébrique sur les nombres complexes. x2 + y2 − 1 2x
= 2 + 2 i,
– Interprétation géométrique du module d’un nombre complexe. x + ( y − 1) 2
x + ( y − 1)2
ce qui entraîne :
– Condition nécessaire et suffisante pour qu’un nombre
x2 + y2 − 1 2x
complexe soit un imaginaire pur. X= 2 et Y = 2 .
x + ( y − 1)2 x + ( y − 1)2
• Les objectifs
b) Z 2 est imaginaire pur si, et seulement si, Re( Z 2 ) = 0 ,
– Détermination d’ensembles de points.
soit x 2 + y 2 − 1 = 0 et ( x ; y ) ≠ (0 ; 1) .
– Choix d’une méthode adaptée.
c)  est représenté par le cercle
1. a) En appliquant les propriétés du conjugué, on obtient :
de centre O et de rayon 1 privé
 u − u z
Z1 =  =
u − uz
=
u − uz
.
( ) du point d’affixe i.
v

 z−i
 1− z  (1 − z) 1− z 4. a) Z 2 = . O u
z+i
u − uz u − uz z+i z−i 
b) Z1 = Z1 s’écrit = . b) Z 2 + Z 2 = +
1− z 1− z z−i z+i
Cela signifie que (u − u z) (1 − z) = (u − u z) (1 − z) , ce qui ( z + i )( z + i ) + ( z − i )( z − i )
=
( )

équivaut à (u − u) 1 − z ( z − i )( z + i ) 172663_C08_prof_fig06
2
= 0.
2
2. a) Si u − u = 0 , alors u = u . Pour tout nombre 2 z −2
= .
complexe z ≠ 1 , on a : ( z − i )( z + i )
u − uz u(1 − z ) c) Z 2 est imaginaire pur si, et seulement si, Z 2 + Z 2 = 0,
Z1 = = = u. 2
1− z 1− z ce qui se traduit par 2 z − 2 = 0 et z ≠ i , soit z = 1
Comme u = u , u est réel, Z1 l’est aussi. Dans ce cas,  est et z ≠ i . Donc  est l’ensemble des nombres complexes z,
l’ensemble des nombres complexes privé de 1. z ≠ i , dont le module est égal à 1.
b) Si u − u ≠ 0 , la condition nécessaire et suffisante pour d)  est représenté par le cercle de centre O et de rayon 1
que Z1 = Z1 trouvée dans la question 1. b) s’écrit z = 1. privé du point d’affixe i.
Dans ce cas,  est l’ensemble des nombres complexes de
module 1 privé de 1. 34  Équation du troisième degré dans  
© Nathan 2012 – Transmath Term. S

c) Lorsque u − u ≠ 0 , • Les outils

v – Calcul algébrique avec les nombres complexes.
 est représenté par le
cercle de centre O et de – Techniques de factorisation d’un polynôme.
O u – Discriminant d’un polynôme de second degré à
rayon 1 privé du point
d’affixe 1.  coefficients réels.
z+i • Les objectifs
3. a) Z 2 = se traduit par : – Factorisation d’un polynôme dont on connaît une racine.
z−i
x + yi + i x + ( y + 1)i – Résolution d’une équation de troisième degré à coefficients
X + Yi = = 172663_C08_prof_fig05
.
x + yi − i x + ( y − 1)i complexes.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 5

 1. a) P( 4i ) = ( 4i )3 − ( 3 + 4i ) × ( 4i )2 − 6( 3 + 4i ) × 4i + 72i a+b
Cela veut dire que est un argument de eia + eib et que
= − 64i + 16( 3 + 4i ) − 24i( 3 − 2i ) + 72i 2
= 0.  b − a
2 cos  est son module.
Donc z0 = 4i est solution de l’équation P( z ) = 0 .  2 
b) Par le calcul
( z − 4i )( az 2 + bz + c ) = az 3 + (b − 4ia ) z 2 + ( c − 4ib ) z − 4ic. i
a+b
 i a−b i
b−a

eia + eib = e 2  e 2 + e 2 
2. a) Pour avoir l’égalité P( z ) = ( z − 4i )( az 2 + bz + c )  
pour tout nombre complexe z, il suffit de prendre a = 1 ,  i b−a  i a+b
= 2 Re  e 2  e 2
b − 4ia = − 3 − 4i , c − 4ib = −18 + 12i et − 4ic = 72i,  
a+b
soit a = 1 , b = − 3 et c = −18.  b − a i 2 
= 2 cos   e .
On a alors, pour tout nombre complexe z :  2 
P( z ) = ( z − 4i )( z 2 − 3 z − 18) .  b − a  b − a
Comme 2 cos  > 0 , alors eia + eib = 2 cos 
b) P( z ) = 0 équivaut à z = 4i ou z 2 − 3 z − 18 = 0 .  2   2 
Le discriminant de la deuxième équation est ∆ = 81 . a+b
et arg (eia + eib ) = (mod 2p ) .
∆ > 0 , donc cette équation admet deux solutions réelles : 2
z1 = − 3 et z2 = 6 . On en déduit que l’équation P( z ) = 0 36  Narration de recherche
admet trois solutions : 1. z = − sin( 2θ) + 2i cos 2 (θ) , θ ∈ ] − π ; π [ .
z0 = 4i , z1 = − 3 et z2 = 6 . 2
z= sin 2 ( 2θ) + 4 cos 4 (θ)
3. On pose :
= 4 sin 2 (θ)cos 2 (θ) + 4 cos 4 (θ) = 4 cos 2 (θ) .
Q( z ) = 3 z 3 + (1 + 6i ) z 2 + (16 + 2i ) z + 32i .
 π π
On cherche une solution z0 de type α i avec α réel. • Si θ ∈ − ;  , alors z = 2 cos(θ) .
 2 2
On trouve z0 = − 2i . On cherche ensuite a, b et c pour  π
i θ +  π
avoir Q( z ) = ( z + 2i )( az 2 + bz + c ) pour tout nombre Dans ce cas, z = 2 cos(θ)e  2 , donc θ + est un
2
complexe z. On trouve a = 3 , b = 1 et c = 16 . Il en argument de z.
résulte que pour tout nombre complexe z,  π  π 
• Si θ ∈  − π ; −  ∪  ; π , alors z = − 2 cos(θ). Dans ce
Q( z ) = ( z + 2i )( 3 z 2 + z + 16 ) .  2  2 
 π
Donc l’équation Q( z ) = 0 équivaut à z = − 2i ou i θ −  π
cas, z = − 2 cos(θ)e  2 , donc θ − est un argument de z.
3 z 2 + z + 16 = 0 . Cette deuxième équation a deux 2
2. Soit A le point d’affixe 1.
solutions complexes conjuguées :
z = 1 − z équivaut à OM = AM . Cela signifie que M
−1 − i 191 − 1 + i 191 appartient à la médiatrice du segment [OA], ce équivaut à
z1 = et z2 = .
6 6 1 π 5π
− sin( 2θ) = , soit 2θ = − + 2 kπ ou 2θ = − + 2 kπ
On en déduit que l’équation Q( z ) = 0 a trois solutions : 2 6 6
π
−1 − i 191 − 1 + i 191 avec k entier relatif. Il en résulte que θ = − + kπ ou
z0 = − 2i , z1 = et z2 = . 12
6 6 5π
θ=− + kπ . Comme θ ∈ ] − π ; π [, on obtient quatre
12
35  Narration de recherche valeurs de θ pour lesquelles z et 1 − z ont le même
5π π 7p 11p
P(eia + eib) module : − , − , et .
12 12 12 12
N(eib) 37  TD – Ensemble de points
v A. 2. Conjecture  : lorsque θ décrit l’intervalle [0 ; 2 π [,
l’ensemble  décrit par le point M semble être le cercle de
M(eia )
b centre O et de rayon 1.
a 3. OM = z = ei θ = 1, donc M appartient au cercle de
O u centre O et de rayon 1.
Réciproquement, tout point M du cercle de centre O et de
rayon 1 a pour coordonnées ( cos(θ)  ; sin(θ) ) où θ est une
  →
mesure de l’angle  u, OM dans l’intervalle [0 ; 2 π [ . Donc
© Nathan 2012 – Transmath Term. S

 
l’affixe de M est z = ei θ .
On suppose que b > a . Il en résulte que l’ensemble des points M d’affixe z = ei θ
172663_C08_prof_fig07
Soit I le milieu de [OP]. OMPN est un losange, donc où θ décrit l’intervalle [0 ; 2 π [ est le cercle de centre O et
les diagonales sont perpendiculaires et se rencontrent de rayon 1.
a+b
en leur milieu. On en déduit que est une mesure de B. 1. b) Conjecture : lorsque θ décrit l’intervalle [0 ; 2 π [,
2 l’ensemble 9 décrit par le point P semble être le cercle de
 →  b − a
l’angle ( u , OP ) et que OP = 2 OI = 2 cos  . centre A et de rayon 1.
 2 

6 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

c) AP = 1 + z − 1 = z = ei θ = 1, donc P appartient au 3. a) « ABC est rectangle en A  » signifie que les droites
cercle de centre A et de rayon 1. (AB) et (AC) sont perpendiculaires, ce qui équivaut,
Réciproquement, considérons un point P de ce cercle  z − zA  π
d’après 1. c), à arg  C  = (mod p ) , ce qui se traduit
d’affixe zP . Soit z = zP − 1 .  zB − z A  2
On a z = zP − 1 = AP = 1 , d’où z = ei θ z − zA
par «  C est imaginaire pur ».
  → zB − z A
où θ est une mesure de l’angle  u, AP dans l’intervalle b) « ABC est un triangle équilatéral direct » si, et seulement
 
AC →  →
π z − zA
[0 ; 2 π [ . On conclut que zP = 1 + e i θ . si,
AB
= 1 et ( AB, AC) = , ce qui équivaut à C
3 zB − z A
=1
Il en résulte que l’ensemble des points P d’affixe 1 + ei θ où
 z − zA  π zC − z A π
θ décrit l’intervalle [0 ; 2 π [ , est le cercle de centre A et de et arg  C = . Cela se traduit par «  = e
i
3  ».

rayon 1.  zB − z A  3 zB − z A
z − zI
2. b) Lorsque r est fixe et que θ décrit l’intervalle [0 ; 2 π [ , B. 1. a) B =
− 4 + 2i i ( 2 + 4i )
= = i.
M et M’ décrivent respectivement deux cercles de même z A − zI 2 + 4i 2 + 4i
centre O et de rayons 1 et r. En effet, OM ' = rei θ = r . b) On déduit de A. 3. a) que le triangle IAB est rectangle
Réciproquement, si M9 est un point du cercle de centre O et IB
en I. D’autre part, d’après A. 2., = i = 1, donc IAB est
de rayon r, alors son affixe a pour module r et s’écrit rei θ , IA
isocèle en A.
  →  En définitive, IAB est rectangle isocèle en A.
où θ est une mesure de l’angle  u, OM ' dans l’intervalle
  z − zA − 3 + 3i
[0 ; 2 π [ . 2. a) B = = +
1 3
i.
Lorsque θ est fixe et que r varie, le point M9 décrit une zC − z A 3 + 3i 2 2
demi-droite ouverte d’origine O et passant par M. En effet, z − zA i
π
b) B = e 3 ; on en déduit d’après A. 3. b) que le
r étant strictement positif zC − z A
arg( rei θ ) = arg( ei θ ) = θ (mod 2p ) , triangle ABC est équilatéral direct.
ce qui équivaut à
  →    → 39  TD – Analyse fréquentielle des signaux
 u , OM ' =  u , OM . A. 1. e −ix est le conjugué de eix , donc :
eix + e − ix 2 Re( eix ) 2 cos( x )
3. b) On conjecture que les points O, M et S sont alignés. = = = cos( x ) ;
2 2 2
1 + z + z2 1 + ei θ + e 2 i θ e −e
ix − ix
2i Im( e ) 2i sin( x )
ix
c) = = = = sin( x ) .
z ei θ 2i 2i 2i
= e + 1 + ei θ
−i θ
2. a) On applique ce qui précède à x = ωnt  :
= 1 + 2 Re( ei θ ) . eiωnt + e − iωnt eiωnt − e − iωnt
cos(ωnt ) = et sin(ωnt ) = .
1 + z + z2 2 2i
Donc est un réel k. b) an cos(ωnt ) + bn sin(ωnt )
z 
→ 
→ eiωnt + e − iωnt eiωnt − e − iωnt
d) D’où 1 + z + z = k z ; or cela signifie que OS = k OM,
2
= an + bn
donc les points O, M et S sont alignés. 2 2i
eiωnt + e − iωnt eiωnt − e − iωnt
= an − ibn
38  TD–→Utiliser l’affixe d’un vecteur
→ 
2
an − ibn iωnt an + ibn − iωnt
2
→   →
A. 1. a) ( AB, CD) = ( AB, u ) + ( u , CD) = e + e .
 →  → 2 2
= ( u , CD) − ( u , AB) . N

b) On en déduit que :

→  →
3. uN (t ) = a0 + ∑a
n =1
n
cos(ωnt ) + bn sin(ωnt )
( AB, CD) = arg( zD − zC ) − arg( zB − zA ) N an − ibn an + ibn

 z − zC 
= arg  D
= a0 + ∑ eiωnt + e − iωnt
. n =1 2 2
 zB − z A  N
c) Il découle du résultat de 1. b) que :
→ →
= c0 + ∑c e
n =1
n
iωnt
+ c− n e − iωnt
• les vecteurs AB et CD sont colinéaires si, et seulement si, n= N
 z − zC  = ∑ce iωnt
.
arg  D  = 0 (mod p ) ;
n
n= − N
 zB − z A  3π
1 2
2 π ∫− π2
© Nathan 2012 – Transmath Term. S

• les droites (AB) et (CD) sont perpendiculaires si, et B. a) a0 = u(t )dt

seulement si,
1  2
π 3π
 z − zC  
2 π  ∫− π2
π = dt + ∫ π2 0 dt
arg  D
−  = 2 (mod p ) . 
 B
z z A
 1 1
2

2. D’après 1. b), on a : = ×π = .

2π 2
b − z  z − b
1  nπ 

→ → Pour tout entier naturel n  1, cn = sin   est réel.
( MA, MB) = arg 
a −  = arg  . a − ibn n π  2
z z − a
Comme cn = n , on déduit que bn = 0 pour tout
z−b z −b MB 2
D’autre part, = = .
z−a z−a MA entier naturel n  1.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 7

 1 d) On constate que l’allure de u11 se rapproche davantage
b) Si n = 2 p , alors cn = sin ( pπ) = 0 .
2 pπ de celle du signal u(t).
Comme bn = 0 , an = 2 cn = 0 . 1 2π 1 2π 1
Si n = 2 p + 1 , alors : C. a) a0 =
2π ∫0
u(t )dt =
2π ∫0
tdt =
2π
× 2π2 = π .
1  ( 2 p + 1) π 1
cn = sin   Pour tout entier naturel n  1, cn = i est imaginaire pur.
( 2 p + 1) π  2 n
1  π an − ibn
= sin  pπ +  Comme cn = , on déduit que an = 0 pour tout
( 2 p + 1) π  2 2
( − 1) p entier naturel n  1. a − ibn ib
= . b) Pour tout entier naturel n  1, cn = n =− n ,
π( 2 p + 1) 2 2
2( −1) p donc
D’où an = 2 cn = .
π( 2 p + 1) 2 2 1 2
bn = − cn = − × i = − .
c) Dans la formule i i n n
5
c) Dans la formule
u5 (t ) = a0 + ∑a n
cos(ωnt ) + bn sin(ωnt ) , 4

∑a
n =1
u4 (t ) = a0 + cos(ω nt ) + bn sin(ω nt ) ,
1 n
on remplace a0 par , bn par 0 et an par 0 si n est pair n =1
2 2
on remplace a0 par p , an par 0 et bn par − , et on obtient :
2( −1) p n
( n  1), par si n = 2 p + 1 (n impair).
π( 2 p + 1)  1 1 1 
On obtient : u4 (t ) = π − 2 sin(t ) + sin( 2t ) + sin( 3t ) + sin( 4t ) .
 2 3 4 
1 2 2 2 d) On constate que l’allure de u7 se rapproche davantage
u5 (t ) = + cos(t ) − cos( 3t ) + cos(5t ).
2 π 3π 5π de celle du signal u(t).

EXERCICES Entraînement (page 253)

De tête L’ensemble des nombres
complexes
40  z1 + z2 = 5 + 2i  ; z1 − z2 = − 1 + 6i  ;
3 z1 = 6 + 12i . 50  z1 = 14 − 2i  ; z2 = 8 − 6i  ; z3 = 7.
41  a) ( 2i )2 = − 4  ; ( − i 3 )2 = − 3  ; (1 + i )2 = 2i . 51  z1 = 8 − 6i  ; z2 = 36 + 2i .
b) 2i( 3 + 5i ) = −10 + 6i  ; 2( 3 − i ) + 4(i + 2 ) = 14 + 2i .

42  La partie réelle de ( 2 + 3i )(5 + 4i ) est – 2. 52  Corrigé sur le site élève.

43  Le conjugué de i − 2 est − i − 2 . 53  z1 = − 4 − 19 i  ; z2 = 3i  ; z3 = 12 + 9 i .

13 13 25 25
44  a) 1 + i = 2  ; b) 2i = 2  ; 54  z1 = + i  ; z2 = − 6 + 7 i .
8 1
5 5 5 5
c) − 2 + i = 5  ; d) 2 + 3i = 13 .
55  f ( z ) = z 2 − z
45  a) arg( − 3) = π ; b) arg(i ) = π ; = ( x + yi )2 − ( x + yi )
2 = x 2 + 2 xyi + y 2 i 2 − x − yi
π = ( x 2 − y 2 − x ) + y ( 2 x − 1)i .
c) arg( − i ) = −  ; d) arg ( − i 2 )  = 0 .
4
2 Donc Re( f ( z )) = x 2 − y 2 − x et Im( f ( z )) = y ( 2 x − 1) .

46  a) arg( 3z ) = π  ; b) arg( − z ) = 6 π 56  Corrigé sur le site élève.

5 5
π  1 π 3 z + z ' = 2 − 5i (L1 )
c) arg( z ) = −  ; d) arg   = − . 57  a) 
© Nathan 2012 – Transmath Term. S

5  z 5 z − z ' = − 2 + i (L2 )

π
47  a) 2 ei π = − 2 ; b) 3e = 3i . 4 z = − 4i (L1 ) + (L2 )
i
2
⇔
z ' = z + 2 − i (L2 )
π
i 2 2
c) e 4 = + i.
2 2 z = − i
⇔
48  2i et – 2i sont les solutions dans  de l’équation z ' = 2 − 2i.
z2 = − 4. Le système admet une seule solution, c’est le couple
π 6p
( z ; z ') = ( − i ; 2 − 2i ) .
49  La notation exponentielle de − 2 e 5 est 2 e 5 .
i i

8 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

 3 z + z ' = 5 + 2i (L1 ) Équation du second degré
b) 
− z + z ' = 1 − 2i (L2 ) à coefficients réels
4 z = 4 + 4i (L1 ) − (L2 )
⇔ 63  a) Le discriminant de l’équation 2 z 2 − 6 z + 5 = 0
z ' = z + 1 − 2i (L2 )
est ∆ = − 4. L’équation admet deux solutions complexes
z = 1 + i conjuguées :
⇔
z ' = 2 − i. 3 1 3 1
z1 = − i et z2 = + i .
Le système admet une seule solution, c’est le couple 2 2 2 2
( z ; z ') = (1 + i ; 2 − i ) . b) Le discriminant de l’équation z 2 − 5 z + 9 = 0 est
∆ = − 11. L’équation admet deux solutions complexes
conjuguées :
5 11 5 11
Conjugué d’un complexe z1 = −
2 2
i et z2 = +
2 2
i.
c) Le discriminant de l’équation z 2 + z + 1 = 0 est
58  a) z = 2 − 5i  ; b) z = 2 + 1 i  ; ∆ = − 3. L’équation admet deux solutions complexes
5
5
conjuguées :
8 1
c) z = i  ; d) z = 5 − i  ; e) z = + i . 1 3 1 3
5 5 z1 = − − i et z2 = − + i.
2 2 2 2
59  1. z2 est le conjugué de z1 , donc z1 + z2 est réel et d) Le discriminant de l’équation z 2 − 2 z + 3 = 0 est
z1 − z2 est imaginaire pur. ∆ = − 8. L’équation admet deux solutions complexes
2i + 1 1 − 2i conjuguées :
2. z1 + z2 = +
i+2 2−i 2 − 2i 3
z1 = = 1 − i 3 et z2 = 1 + i 3 .
( 2i + 1)( 2 − i ) + ( 2 + i )(1 − 2i ) 2
=
( 2 + i )( 2 − i ) e) L’équation z = z + 1 s’écrit z 2 − z − 1 = 0 , son
2

8 discriminant est ∆ = 5 > 0, elle admet deux solutions

= .
5 réelles :
2i + 1 1 − 2i 6 1− 5 1+ 5
z1 − z2 = − = i. z1 = et z2 = .
i+2 2−i 5 2 2
f) L’équation z 2 + 3 = 0 admet deux solutions complexes :
60  a) Z = 2i + 3z  ; b) Z = 3 − i + 2i z ;
c) Z = ( 2 + i z )( 2 z − 4 − 3i )  ; z1 = i 3 et z2 = − i 3.
− 2i + 1 + i z
d) Z = . g) ∆ = (1 + 3 )2 − 4 3 = 4 − 2 3 = ( 3 − 1)2 .
− 5i + 2 z ∆ > 0 , donc l’équation admet deux solutions réelles :
61  a) L’équation 4 z + 2i − 4 = 0 1+ 3 − ( 3 − 1)
x1 = = 1;
s’écrit 4 z − 2i − 4 = 0 , 2
2i + 4 1 1+ 3 + ( 3 − 1)
ce qui équivaut à z = = 1+ i. x2 = = 3.
4 2 2
b) L’équation (iz − 2 + i )( 2i z + i − 2 ) = 0 h) ∆ = ( 2 2 )2 − 16 = − 8 < 0, l’équation admet deux
équivaut à iz − 2 + i = 0 ou 2i z + i − 2 = 0 , solutions complexes conjuguées :
2−i 2−i 1 − 2 2 − 2i 2
soit z = = − 1 − 2i ou z = = +i. z1 = = − 2 − i 2 et z2 = − 2 + i 2 .
i 2i 2 2
On obtient donc deux solutions : i) L’équation ( z 2 + 2 )( z 2 − 4 z + 4 ) = 0 s’écrit
1
z1 = − 1 − 2i et z2 = − i . ( z + 2 )( z − 2 ) = 0 , ce qui est équivalent à z + 2 = 0
2 2 2

2
c) On pose z = x + yi avec x et y réels. ou z − 2 = 0 , soit z = − i 2 ou z = i 2 ou z = 2 .
L’équation 2 z + i z = 4 s’écrit 2( x + yi ) + i( x − yi ) = 4 , z−3
j) Pour z ≠ 2 , l’équation = z équivaut à
8 z−2
ce qui équivaut à 2 x + y = 4 et x + 2 y = 0 , soit x = z − 3 = z ( z − 2 ) , soit z 2 − 3 z + 3 = 0 . ∆ = − 3 < 0,
3
© Nathan 2012 – Transmath Term. S

4 l’équation admet deux solutions complexes conjuguées  :

et y = – 
​   ​ .
3 3−i 3 3 3 3 3
8 4 z1 = = − i et z2 = + i.
L’équation a donc une seule solution : z = − i . 2 2 2 2 2
3 3
d) En multipliant l’équation de la question c) par i, on k) ∆ = 4(1 + 2 )2 − 8( 2 + 2 ) = − 4, l’équation admet
obtient l’équation de la question d). Celle-ci admet donc la donc deux solutions complexes conjuguées :
8 4 2(1 + 2 ) − 2i
même solution, z = − i . z1 = = 1+ 2 − i et z2 = 1 + 2 + i.
3 3 2
62  Corrigé sur le site élève. 64  Corrigé sur le site élève.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 9

 65  a) Le discriminant de l’équation Forme trigonométrique
z − 2(1 + 2 cos θ) z + 5 + 4 cos θ = 0
2 et notation exponentielle
est ∆ = − 16 sin 2 (θ) .
L’équation admet deux solutions complexes conjuguées : 70  1. a = 3 − 2i = 13 ;
z1 = 1 + 2 eiθ et z2 = 1 + 2 e − iθ . b = − 3 + 2i = 13 ; c = 2 + 3i = 13.
b) Le discriminant de l’équation 2. On déduit que OA = OB = OC = 13. Il en résulte que
z 2 − 2(1 + cos θ) z + 2(1 + cos θ) = 0 les points A, B et C appartiennent au cercle de centre O et
est ∆ = − 4 sin 2 (θ). de rayon 13 .
L’équation admet deux solutions complexes conjuguées :
z1 = 1 + e i θ et z2 = 1 + e − i θ . 71  z1 = − 3 + 4i = 9 + 16 = 5 ,
z2 = 6−i 2 = 6 + 2 = 2 2,
2
Affixe d’un point, affixe z3 = ( z2 ) 2 = z2 = ( 2 2 )2 = 8 ,
d’un vecteur z4 = z1 z2 = z1 z2 = 5 × 2 2 = 10 2 ,

66  1. zA = − 4 + i  ; zB = − 1 − i   ; zC = − 1 + 3i   ; z2 z2 2 2
z5 = = = .
zD = 5 − i . z1 z1 5

→ 
→
L’affixe de AB est 3 − 2i et celle de CD est 6 − 4i .

→ 
→ 
→
2. affixe( CD ) = 2 affixe (AB ) signifie que CD = 2 AB ,

→
72  z A = 1 + i  ; arg( z A ) = π (mod 2p ) ,
4
donc les droites (AB) et (CD) sont parallèles. 3π
zB = − 1 + i  ; arg( zB ) = (mod 2p ),
4
67  2. ABCD est un parallélogramme si, et seulement si, zC = − 1 − i  ; arg( zC ) =
5π
(mod 2p ) ,

→ 
→
AD = BC , ce qui équivaut à z D − a = c − b , soit : 4
π
z D = a + c − b = 1 + 2i + 3 − 2i + 3 + i = 7 + i . zD = 1 − i  ; arg( zD ) = − (mod 2p ) ,
4
68  1. (1 + i )2 = 2i  ; (1 + i )4 = ( 2i )2 = − 4 ; 73  1. H
(1 + i )8 = 16 .
2. Un entier naturel n s’écrit sous la forme 4k ou 4k + 1 ou
4k + 2 ou 4k + 3 , k entier naturel. E
(1 + i )4 k = ( − 4 )k ∈ , v
(1 + i )4 k +1 = ( − 4 )k (1 + i ) , A
(1 + i )4 k + 2 = ( − 4 )k (1 + i )2 = ( − 4 )k × 2i , D O u C
(1 + i )4 k + 3 = ( − 4 )k (1 + i )3 = ( − 4 )k ( −2 + 2i ) . B
On déduit que le point M n d’affixe (1 + i )n appartient à F
l’axe des abscisses si, et seulement si, n est multiple de 4.
G
69  a) L’ensemble des points M dont l’affixe z vérifie
Re(z) = – 2 est une droite parallèle à l’axe des ordonnées.
2. A et H appartiennent à la droite d’équation y = x et leurs
Re(z) = –2 172663_C08_prof_fig010 π
coordonnées sont positives, donc arg( zA ) = arg( zH ) =
4
(mod 2p ) . B est le symétrique de A par rapport à O, donc
v 5π
arg( zB ) = (mod 2p ) .
O u 4
zC et zD sont des réels non nuls respectivement positif
et négatif, donc arg( zC ) = 0  (mod 2p ) et arg( zD ) = π  
© Nathan 2012 – Transmath Term. S

b) L’ensemble des172663_C08_prof_fig08
points M dont l’affixe z vérifie Im(z) = 3
est une droite parallèle à l’axe des abscisses.
Im(z) = 3
v π
O u
(mod 2p ).
zE et zG sont des imaginaires purs dont les parties
imaginaires sont respec­tivement positive et négative, donc
π π
arg( zE ) = (mod 2p ) et arg( zG ) = − (mod 2p ).
2 2
F appartient à la droite d’équation y = − x et son abscisse
est strictement positive donc arg( zF ) = − (mod 2p ) .
4
74  Corrigé sur le site élève.

172663_C08_prof_fig09
10 Enseignement spécifique ● Chapitre 8 ● Nombres complexes
 75  a) 3 1  π  π
3 + i = 2( + i ) = 2(cos   + i sin   ) , donc :
π 2 2  6  6
arg( z ) = (mod 2p ) . v
( ) π π

arg( z ) = arg  3 + i  = 3 arg( 3 + i ) = 3 × = .
3
3 —
3
  6 2
O u
 
77  a) 3 + 3i 3 = 6  1 + i 3 = 6 cos  π + i sin  π .
2 2   3  3 
b) 1 3    π  π 
π b) 2 − 2i 3 = 4  − i = 4 cos  −  + i sin  −  .
arg( z ) = − (mod 2p ) . 172663_C08_prof_fig11 2 2    3   3 
6 v
u  2 2
O – c) − 2 + i 2 = 2  − +i 
—
6  2 2 
  3π  3π
= 2 cos   + i sin   .
  4  4 
5π
c) arg(iz ) = (mod p ) équivaut à :   π  π
4 d) 2 − 2i = 2(1 − i ) = 2 2 cos  −  + i sin  −  .
  4  4 
5π 172663_C08_prof_fig12
arg(i ) + arg( z ) = (mod p ) ,   π  π 
4 e) − 3i = 3 cos  −  + i sin  −  .
  2  2 
5π 5π π 3π
soit arg( z ) = − arg(i ) = − = (mod p ) . f) − 5 = 5 (cos( π ) + i sin( π )) .
4 4 2 4
2 2i 3 2
g) − + = (− 1 + i 3 )
v 3
—
5 5 5
4 4 1 3
= − + i 
O u
5 2 2
4   2 π  2 π 
= cos   + i sin   .
5  3   3 
3 3  3  π
h) =  ; arg  = − arg(1 − i ) = ,
 z 
d) arg 
π
= 172663_C08_prof_fig13
(mod p ) équivaut à : 1− i 2 1 − i 4
1 + i 4 3 3  π  π 
π donc = cos + i sin   .
arg( z ) − arg(1 + i ) = (mod p ) , 1− i 2 4 4
4
π π π π 1 3   π  π 
soit arg( z ) = + arg(1 + i ) = + = (mod p ) . i) 1 − i 3 = 2  − i  = 2 cos  −  + i sin  −  ,
4 4 4 2 2 2   3  3 
  π  π
1 + i = 2 cos   + i sin   ,
  4  4 
v 
— donc
2   π π  π π 
(1 − i 3 )(1 + i ) = 2 2 cos  − +  + i sin  − + 
O   3 4  3 4 
u
  π  π 
= 2 2 cos  −  + i sin  −  .
  12  12
1 3   π  π
j) 1 + i 3 = 2  + i  = 2 cos   + i sin   ,
76  a) arg( z ) = arg [( 2 − 2i )(1 + i )] 2 2   3  3 
172663_C08_prof_fig14
π π   π  π 
= arg 2(1 − i ) + arg(1 + i ) = − + = 0. 2 − 2i = 2(1 − i ) = 2 2 cos  −  + i sin  −  ,
4 4   4  4 
b) 2 + i 6 = 2 2 , donc :
donc
1 3  π  π
2 + i 6 = 2 2  + i  = 2 2 (cos   + i sin   ) .
 2 2   3   3 1+ i 3 2 1 2
= = =
Il s’ensuit que : 2 − 2i 2 2 2 2
arg( z ) = arg( 2i( 2 + i 6 ))  1 + i 3
© Nathan 2012 – Transmath Term. S

π  π 7 π
= arg( 2i ) + arg( 2 + i 6 )
et arg 
−  = 3 −  − 4  = 12 (mod 2p ) ,
 2 2 i 
π π
= + 1+ i 3 2   7 π  7 π 
2 3 D’où = cos   + i sin   .
5π 2 − 2i 2   12  12
= .
6
c) arg( z ) = arg( − 3i(1 + i )) 78  a) z1 = cos − π + i sin − π ,
= arg(– 3i) + arg(1 + i)  6  6
π π π  2 π  2 π
=− + =− . b) z2 = cos   + i sin   ,
2 4 4  3  3

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 11

  6 π  6 π 1 2
c) z3 = cos   + i sin   , En effet, si z = , alors z z = 1 , d’où z = 1.
 5  5 z
Comme z  0, alors z = 1.
  9 π  9 π 
d) z4 = 7 cos   + i sin   , 2. «  Si z = z ' ou z = − z ' , alors z = z '   ». Cette
  7  7 
proposition est vraie. En effet, si z = z ' alors z = z ' , et
 
7 π  
7 π
e) z5 = cos   + i sin   . si z = − z ' alors z = − z ' = − 1 z ' = z ' .
 18   18 
Implication réciproque  : «  Si z = z ' alors z = z ' ou
10
π  z = − z '  ». Elle est fausse.
79  a) z1 = e 4  = e 4 = e 2 = e  2  = e 2 , donc
π 10 π 5π i +2π π
i i i i
Contre-exemple :
 
i z = z et ( z ≠ iz et z ≠ − i z).
 π  π
z1 = cos   + i sin   . z
 2  2 3. La proposition « Si est réel, alors z est réel ou z est
−i
π z
b) 2 − i 2 = 2 (1 − i ) = 2 e 4 z
imaginaire pur  » est vraie. En effet, si est réel alors
 π  π  6 π  6 π i
6π
z
− cos   + i sin   = cos   + i sin   = e 7
 7  7  7  7 z  z z z
; cela implique = . D’où z 2 − (z) = 0 .
2
=
−i
π
i
6π  6 π π
i −  i
17 π z  z z z
donc z2 = 2 e 4 e 7 = 2e  7 4 = 2e 28 .
Cette égalité s’écrit (z − z) (z + z) = 0 . On en déduit que
 17 π 17 π
D’où z2 = 2 cos  + i sin  . z = z ou z = − z , c’est-à-dire que z est réel ou imaginaire pur.
  28   28 
Implication réciproque : « Si z est réel ou z est imaginaire
c) z3 = (1 + i )2012 (1 − i )2013 z
2012 2013 pur alors est réel » Vraie. En effet, Si z est réel, alors
 π
i   π
−i  z
=  2e 4   2 e 4 
  z z
= 1 , et si z est imaginaire pur alors = − 1. Dans les
i
2012 π
−i
2013 π z z
= 2 2012 2 e 4 e 4
z
−i
π deux cas est réel.
= 2 2012 2 e 4 z
π 4π
  π  π  83  z1 = − 2 e 3 = 2 e
i i
;
= 2 2012 2 cos  −  + i sin  −  . 3
  4  4  i
π
−i
π
i
π
−i
π
z2 = (1 − i )e 6 = 2e 4 e 6 = 2e 12 ;
80  Corrigé sur le site élève. i
π
i
6π
3 −i
π
z3 = − 2 e 5 = 2e 5  ; z4 = π
= 3e 7 ;
i
81  1. z = 4 3 + 4i.
2 e 7

2. z 2 = 8. Soit θ un argument de z2. −2 2 −i π 2 i4π

z5 = π
=− e 5 = e 5 ;
i 3 3
4 3 3 4 1 3e 5
On a cos(θ) = = et sin(θ) = = , 3i i
π
−i
2π
i
π
8 2 8 2 z6 = = 3e 2 e 5 = 3e 10 .
2π
π e
i
donc θ = (mod 2p ). 5
6 π
−i
π π
84  z1 z2 = e 3 × 3e
i i
3. z
2
= 8 donc z = 2 2 .
4 = 3e 12 .
π
p z1 i
arg( z 2 ) = 2 arg( z ) (mod 2p ) et est un argument de z 2 , e 3 1 i π3 + π4 1 i 7π
6 = π
= e = e 12 .
z2 −i 3 3
p 3e 4
donc est un argument de z. 3
12  i π3 
4. Une forme trigonométrique de z est : z13 =  e  = eiπ .
 
π π 2π 3π
  π  π  z1 z2 z3 = e
i
× 3e
−i
× 2e
i
= 3 2e
i
.
z = 2 2 cos   + i sin   . 3 4 3 4
 12 12 4
 i
2π
 i
8π
En utilisant la forme algébrique de z, on obtient : z3 4 =  2 e 3
 = 4 e . 3

 π 3 +1 6+ 2 z2 −i
π
cos   = = 3e 4 3 2 − i 1112π
12 2 2 4 = 2π
= e .
z3 i 2
 π 3 −1 6− 2 2e 3
sin   = = .
12 85  1. Forme algébrique :
© Nathan 2012 – Transmath Term. S

2 2 4
z1 − 2 − 2i ( − 2 − 2i )(1 − i 3 ) − 3 − 1 3 −1
= = = + i.
82  1. « Si z = 1 alors z = 1  ». Cette proposition est z2 1+ i 3 4 2 2
z Forme exponentielle :
vraie. i
5π
2 z1 −1 − i 2e 4 i
11π
En effet, z = z z , donc si z = 1 alors z z = 1 . = = π
= 2 e 12 .
1 z2 1 3 i
D’où z ≠ 0 et z = . +i e3
z 2 2
1 z1  z1  11π
Implication réciproque : « Si z = alors z = 1 » Elle est 2. = 2  ; arg   = (mod 2p ) .
z
également vraie. z2  z2  12

12 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

On conclut que : 90  a)  est l’ensemble des points M d’affixe z non nul
11π − 3 −1 − 6 − 2 tel que :
cos  = =
 12  2 2 4 5π
arg( z ) = (mod 2p ) .
11π 3 −1 6− 2 4
sin  = = . b)  est l’ensemble des points M d’affixe z non nul tel que :
 12  2 2 4
3π
arg( z ) = (mod p ) .
  π 4
86  1. c = 3 + 3 i = 3  3 + 1 i = 3e 6 ;
i

2 2  2 2 c)  est l’ensemble des points M d’affixe z tel que  z = 2.

3 − i π6 3 3 1  3 3 d)  est l’ensemble des points M d’affixe z tel que z  2.
d = e = − i = − i.
2 2  2 2 4 4
91  1.
2.
B C A
v B
u v
O A u
D O

3 3  1 3 
c−b= + i −  + i = 1.
172663_C08_prof_fig15 D
2 2  2 2 
→ 
→ C
Donc a = c − b  ; cela signifie que OA = BC . Il en résulte
que OACB est un parallélogramme. 2. zB − zA = 3, 5 + i − 1, 5i = 3, 5 − 0, 5i .
π
i zC − 172663_C08_prof_fig16
zD = 1 − 1, 5i − ( − 2, 5 − i ) = 3, 5 − 0, 5i .
D’autre part, OB = b = e 3 = ,1donc OA = OB. OACB → →
On a zB − zA = zC − zD , donc AB = DC . Il en résulte
étant un parallélogramme avec deux côtés consécutifs de que ABCD est un parallélogramme. D’autre part,
même longueur, c’est un losange. AB = zB − zA = 3, 5 − 0, 5i = 12, 5 ,
87  Corrigé sur le site élève. AD = zD − zA = − 2, 5 − 2, 5i = 12, 5 .
Donc ABCD est un parallélogramme qui a deux côtés
88  L’égalité ei ( a + b ) = eia eib s’écrit
consécutifs de même longueur. Il en résulte que ABCD est
cos( a + b ) + i sin( a + b ) = (cos a + i sin a )(cos b + i sin b ) .
un losange.
En écrivant les égalités entre les parties réelles et les parties
imaginaires des deux membres, on obtient : 92  Corrigé sur le site élève.
cos( a + b ) = cos( a )cos(b ) − sin( a )sin(b ) 93  1. a) M appartient à Γ si, et seulement si,
sin( a + b ) = cos( a )sin(b ) + sin( a )cos(b ) . z − ( 2 − i ) = 2 , ce qui équivaut à z − zA = 2 . Cela
L’égalité ei ( a − b ) = eia e − ib s’écrit signifie que AM = 2 .
cos( a − b ) + i sin( a − b ) = (cos a + i sin a )(cos( − b ) + i sin( − b )), b) Γ est le cercle de centre A et de rayon 2 .
soit : 2
2. z − ( 2 − i ) = 2 s’écrit z − ( 2 − i ) = 2 ,
cos( a − b ) + i sin( a − b ) = (cos a + i sin a )(cos b − i sin b ). 2
ce qui équivaut à ( x − 2 ) + ( y + 1)i = 2 ,
En écrivant les égalités entre les parties réelles et les parties soit ( x − 2 )2 + ( y + 1)2 = 2 .
imaginaires des deux membres, on obtient : C’est l’équation du cercle de centre A(2 ; – 1) et de rayon
cos( a − b ) = cos( a )cos(b ) + sin( a )sin(b ) 2.
sin( a − b ) = sin( a )cos(b ) − cos( a )sin(b ) .
L’égalité ei 2 a = (eia ) équivaut à
2
94  1. ∆ est la médiatrice de [AB].
cos( 2 a ) + i sin( 2 a ) = (cos( a ) + i sin( a ))2 M( z ) ∈ ∆ si, et seulement si, AM = BM .
= (cos 2 ( a ) − sin 2 ( a )) + 2i cos( a )sin( a ). Cela est équivalent à z − zA = z − zB , soit
On déduit que : z − (− i ) = z − 2 − i .
cos( 2 a ) = cos 2 ( a ) − sin 2 ( a ) 2. ∆ ' est la médiatrice de [BC].
sin( 2 a ) = 2 sin( a )cos( a ) . M( z ) ∈ ∆ ' si, et seulement si, BM = CM .
© Nathan 2012 – Transmath Term. S

Cela est équivalent à z − zB = z − zC , soit

Nombres complexes et géométrie z − 2 − i = z + 1 − 3i .
3. L’ensemble des points M(z) tels que :
89  2. zB − zA = 1 + 2i + 1 + 2i = 4 + 4i . z + i = z − 2 − i = z + 1 − 3i
3 3
7 1 8 est l’intersection des deux médiatrices ∆ et ∆ ' .
zC − zA = + 6i + + 2i = + 8i .
3 3 3 
→ 
→ 95  1. a) M( z ) ∈ ∆ si, et seulement si,
On a zC − zA = 2( zB − zA ) ; cela signifie que AC = 2 AB.
z − 1 − 2i = z + 2 − i .
On en déduit que les points A, B et C sont alignés.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 13

 zA zB − z A
Cette égalité s’écrit z − z A = z − z B , On en déduit que = eiθ, ou encore = e − iθ.
zB − z A zA
ce qui équivaut à AM = BM . D’où zB = e zA + zA = 4ie + 4i .
− iθ − iθ

b) On conclut que ∆ est la médiatrice du segment [AB]. 1

D’après la question 1. : zC = i( z − zB ) + zB . D’où :
2. L’égalité z − 1 − 2i = z + 2 − i est équivalente à : 2 A
2
z − 1 − 2i = z + 2 − i .
2 1
zC = i( 4i − 4ie − iθ − 4i ) + 4ie − iθ + 4i
En utilisant la forme algébrique de z, elle se traduit par : 2
= 2 e − iθ + 4i + 4ie − iθ
( x − 1)2 + ( y − 2 )2 = ( x + 2 )2 + ( y − 1)2 .
= ( 2 + 4i )(cos(θ) − i sin(θ)) + 4i .
Après simplification, on obtient : 3 x + y = 0 . ∆ est donc
Donc finalement :
une droite dont l’équation réduite est y = − 3 x .
zC = ( 4 sin(θ) + 2 cos(θ)) + ( 4 − 2 sin(θ) + 4 cos(θ)) i .
Vérifions que cette droite est la médiatrice de [AB].
 1 3 b) Le bras du robot atteint le point d’affixe 3 2 + i( 4 + 2)
Le milieu I  − ;  appartient à cette droite. si et seulement si :
 2 2

w( − 1 ; 3) est un vecteur directeur de ∆ . Il est orthogonal 4 sin(θ) + 2 cos(θ) = 3 2
→
 ,
au vecteur AB( − 3; − 1) car leur produit scalaire est nul.
4 − 2 sin(θ) + 4 cos(θ) = 4 + 2
96  Corrigé sur le site élève. ce qui donne :
 2
97  1. M( z ) ∈ Γ B si, et seulement si, BM  OB, ce cos(θ) =
2 ,

qui équivaut à : sin(θ) = 2
z − zB  zB , soit z − 2 − i  5 .  2
2. M( z ) ∈ Γ C si, et seulement si, CM  OC , ce qui π
c’est-à-dire θ = .
équivaut à : 4
z − zC  zC , soit z + 2 − 2i  2 2 .
3. L’ensemble  des points M(z) tels que z − 2 − i  5
et z + 2 − 2i  2 2 est l’intersection des deux disques Exercices de synthèse
Γ B et Γ C . Si A désigne le deuxième point d’intersection
des cercles frontières de Γ B et Γ C , alors  est la partie du 99  1. a) arg( z ) = arg  z × z ' = arg  z  + arg( z ') ,
z'   z '
plan délimitée par les deux arcs d’extrémités O et A.  z
donc arg   = arg( z ) − arg( z ') (mod 2p ) .
 z '
98  1. zA = 4i .  1
 zA  b) D’après a), arg  2  = arg(1) − arg( z 2 ) .

→ 
→
π π z 
( AB, OA ) = donc arg   = 3
3  zB − z A  Comme arg(1) = 0 , alors
(cf. exercice 38 page 251 du manuel).  1
arg  2  = − arg( z 2 ) (mod 2p ) .
zA OA 4 z 
D’autre part, = = = 1 . On en déduit que
zB − z A AB 4 D’autre part, d’après le prérequis,
zA i
π z − zA −i
π arg( z 2 ) = arg( zz ) = arg( z ) + arg( z ) = 2 arg( z ) ,
= e 3 , ou encore B = e 3 . D’où :
zB − z A zA  1
Donc arg  2  = − 2 arg( z ) (mod 2p ) .
−i
π  1 3 z 
zB = e 3 z A + z A =  − i  4i + 4i = 2 3 + 6i .
2 2 2. a) On note  l’ensemble des points M'(z') d’affixe
 z − zB  1
→  →
π π z ' = 2 lorsque M(z) décrit la demi-droite d privée de O.
( BA, BC ) = donc arg  C  = . z
2  z A − zB  2
π
zC − zB BC 2 1 M' ∈  si, et seulement si, arg( z ) = (mod 2p ) , ce qui
D’autre part, = = = . 3
équivaut à :
z A − zB AB 4 2
2π
z − zB 1 iπ 1 arg( z ') = − 2 arg( z ) = − (mod 2p ) .
On déduit que C = e2 = i. 3
z A − zB 2 2 Cela signifie que M' appartient à la demi-droite d’origine O

1 et de vecteur − w privée de O.
© Nathan 2012 – Transmath Term. S

Donc zC = i( zA − zB ) + zB
2 L’ensemble  est donc la demi-droite d' symétrique de la
1 demi-droite d par rapport à O, privée de O.
= i ( 4i − 2 3 − 6i ) + 2 3 + 6i
2 b) M' appartient à la demi-droite d signifie que :
= (1 + 2 3 ) + (6 − 3 )i . π
 →  →  zA  arg( z ') = (mod 2p ) ,
2. a) ( AB, OA ) = θ donc arg  3
 = θ. π
 zB − z A  ce qui équivaut à − 2 arg( z ) = (mod 2p ),
zA OA 4 3
D’autre part, = = = 1. π
zB − z A AB 4 soit arg( z ) = − (mod 2p ).
6

14 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

L’ensemble des points M décrit donc la demi-droite D’autre part :
   π z × z ' = (a − bi) (a '− b ' i) = ( aa '− bb ') − ( ab '+ ba ')i .
d’origine O et de vecteur directeur r tel que ( u , r ) = −
6 On déduit que (z × z ') = z × z ' .
(mod 2p ) , privée du point O. b) Démontrons par récurrence que pour tout entier naturel n
()
n
100  On pose z = x + yi , avec x et y réels. non nul et tout nombre complexe z, z n = z .
()
1
Z = z 2 − 2(1 + i ) z = ( x + yi )2 − 2(1 + i )( x + yi ). • Initialisation : z1 = z .
On obtient :
()
n
• Hérédité : supposons que z n = z , n étant entier naturel
Z = x 2 − y 2 − 2( x − y ) + 2( xy − x − y )i .
non nul (hypothèse de récurrence HR). On a :
x
Donc si M appartient à , alors y = , d’où : z n +1 = z n × z (définition de la puissance)
x −1
 x2 x  = z n × z (d’après 1.a))
Im( Z) = 2( xy − x − y ) = 2  −x−  = 0.
x − 1 x − 1
()
n
= z × z (d’après l’hypothèse HR)
On en déduit que le point M' d’affixe Z appartient à l’axe
= (z)
n +1
des abscisses. (définition de la puissance)
• Conclusion : la propriété étant vraie pour n = 1 et héréditaire,
−2 2 elle est vraie pour tout entier naturel n non nul.
101  1. z ' = =  donc z z ' = 2.
z z 2. a) ( − z )4 = z 4 , donc si z est solution de l’équation
 − 2 z 4 = − 4 , alors – z l’est aussi.
arg( z ') = arg   = arg( − 2 ) − arg( z ) = π − arg( z ) ,
 z z 4 = − 4 équivaut à (z 4 ) = − 4 , soit ( z )4 = − 4 . Donc si
donc arg( z ) + arg( z ') = π (mod 2p ) . z est solution de l’équation z 4 = − 4 , alors z l’est aussi.
2. a) M appartient à l’ensemble  formé du disque de centre i
π

O et de rayon 2 privé de O si, et seulement si, 0  z  2, b) z0 = 1 + i = 2e 4 .

2  π
i 
4
ce qui équivaut à  1, soit z '  1. z0 4 =  2 e 4  = 4 eiπ = − 4 , donc z0 est solution de (E).
z  
Cela signifie que le point M' n’appartient pas au disque
c) D’après a), − z0 = −1 − i , z0 = 1 − i et − z0 = −1 − i
ouvert de centre O et de rayon 1. On en déduit que, lorsque
sont aussi solutions de l’équation (E).
le point M décrit , l’ensemble des points M' est l’extérieur
3. a)
du disque ouvert de centre O et de rayon 1. B A
b) M ∈ [ OA ] − {O} si, et seulement si, v
E
0  z  2
 O u
 π ,
arg( z ) = (mod 2 π )
4
C D
ce qui est équivalent à
2
 z  1
 , F
π − arg( z ) = π − π = 3π (mod 2 π )
 4 4 zB − zC 2i 2i ( 3 − i ) 1 3 i
π
soit b) = = = +i
172663_C08_prof_fig18 =e3.
zE − zC 3+i 4 2 2
 z'  1
 Donc
 3π .
arg( z ') = (mod 2 π ) π  z − zC  
→  →
4 = arg  B = ( CE , CB )

Cela signifie que le point M' 3  zE − zC 
appartient à la demi-droite d’ori- A
w z − zC z − zC π
et CB = B
3p
A’ i
i
gine le point A' d’affixe e 4 et = B = e 3 = 1.
 v CE zE − zC zE − zC
de vecteur directeur w tel que O u
  3π On en déduit que le triangle BCE est équilatéral.
(u, w ) = .
© Nathan 2012 – Transmath Term. S

4  z − zE 2− 3+i
c) A = = 2− 3.
z A − zF 1 + ( 2 + 3)i
102  1. a) z = a + bi et z ' = a '+ b172663_C08_prof_fig17
' i sont deux nombres z − zE
Donc A est un réel k. Donc zA − zE = k ( zA − zF ) ,
complexes avec a, b, a' et b' réels. z A − zF

→ 
→
z × z ' = ( aa '− bb ') + ( ab '+ ba ')i , donc : ce qui équivaut à EA = k FA . On déduit que les points A,
(z × z ') = (aa '− bb ') − (ab '+ ba ')i . E et F sont alignés.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 15

 2. Lorsque m parcourt l’intervalle [0 ; 4], le point C semble
Avec les TICE
rester fixe et le point B semble décrire un segment passant
103  1. a) à e) par O.
 →  → → 
  →
3. 1. a) ( u , AC) − ( u , AP ) = ( AP , u ) + ( u , AC)

→ 
→
= ( AP , AC)
π
= (mod 2p ).
2
b) Comme
 →  →
( u , AC) − ( u , AP ) = arg( zC − zA ) − arg( zP − zA ) ,
on obtient :
π
arg( zC − zA ) − arg( zP − zA ) =
2
 zC − z A  π
d’où arg   = 2.
 zP − z A 
z − zA
Comme AC = AP , alors C = 1. Il en résulte que :
zP − z A
zC − z A i
π
= e 2 = i.
zP − z A
c) On déduit de ce qui précède que
f) Le point Ω semble décrire un segment d’extrémité I, zC = i ( zP − z A ) + z A
milieu de [OB], et passant par C.  m + ( 4 − m)i m + ( 4 − m)i
= i m −  + .

→ 
→  2 2
2. L’égalité AM = m AB se traduit par :
zM − zA = m( zB − zA ). On trouve zC = 2 + 2i .
On obtient zM = 4 + 4 mi . Donc l’affixe de zC ne dépend pas de m. zC est donc fixe.

→ 
→

→ 
→
L’égalité CN = − m CB se traduit par : 2. a) AB = CA donc zB − zA = zA − zC . D’où
z N − z C = − m( z B − z C ) . zB = 2 zA − zC = m + ( 4 − m)i − 2 − 2i = ( m − 2 )(1 − i ).
π π
On obtient z N = − 4 m + 4i . b) 1 − i = 2e
−i
4 , donc zB = ( m − 2 ) 2 e
−i
4 .
Ω est le milieu de [MN], donc π
z + zN • Si 2  m  4, zB = ( m − 2 ) 2 et arg( zB ) = − .
zΩ = M = ( 2 − 2 m) + ( 2 + 2 m)i . 4
2
zΩ − zI = m( − 2 + 2i ) et zC − zI = − 2 + 2i . Dans ce cas le point B décrit le segment [OE] privé de O,
→ →
et où zE = 2 − 2i .
Donc zΩ − zI = m( zC − zI ) , cela signifie que IΩ = m IC ,
donc lorsque m parcourt l’intervalle [0 ; 4], le point Ω décrit • Si 0  m  2 ,
π π

→ 
→ −i −i
le segment [IJ] où J est le point défini par I J = 4 IC . zB = − ( 2 − m ) 2 e 4 = ( 2 − m) 2 ei π e 4 .
3π
i
104  1. On obtient zB = ( 2 − m) 2 e 4 . Dans ce cas, lorsque
3π
m ≠ 2 , zB = ( 2 − m) 2 et arg( zB ) = . Le point B
4
décrit donc le segment [OF] privé de O, où zF = − 2 + 2i .
• Si m = 2 , zB = 0 . Donc B = O.
En conclusion, lorsque m parcourt l’intervalle [0 ; 4] ,
le point B décrit le segment [EF] avec zE = 2 − 2i et
zF = − 2 + 2i .

Prendre toutes les initiatives

© Nathan 2012 – Transmath Term. S

105  Il faut d’abord que z ≠ z 2 , z ≠ z 3 et z 2 ≠ z 3 , soit

z ≠ 0 , z ≠ −1 et z ≠ 1 .
z − z3
MNP est rectangle en P si, et seulement si, est
z2 − z3
imaginaire pur (cf. exercice A. 3. a) du TD 38 page 251 du
manuel). Comme z ≠ 0 et z ≠ 1 , la condition ci-dessus
1+ z
est équivalente à «  est imaginaire pur ».
z

16 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

 1+ z 1+ z En conclusion, l’ensemble recherché est la réunion des
Cela signifie que =− , soit z z + Re( z ) = 0. trois droites de la figure ci-après.
z z
En posant z = x + yi , cette égalité s’écrit :
2
 1 1
x 2 + y 2 + x = 0 , soit  x +  + y 2 = .
 2 4 B A
1 v
C’est l’équation du cercle de centre A d’affixe − et de
2
1 O
rayon . u
2
En conclusion, MNP est rectangle en P si, et seulement si,
1
M appartient au cercle de centre A d’affixe − et de rayon
2
1
privé des points d’affixes –1 et 0. 107  z1 et z2 sont de module 1 et d’arguments respectifs
172663_C08_prof_fig21
2
α et β , donc ils s’écrivent respectivement eiα et eiβ .
106  Remarquons d’abord que si z = 0 , z 3 est réel, donc ( z1 + z2 )2 ( eiα + eiβ )2
l’origine O du repère appartient à l’ensemble recherché. =
z1 z2 eiα eiβ
Pour z ≠ 0 , z 3 est réel si, et seulement si, arg( z 3 ) = kπ
kπ e i 2 α + 2e i ( α +β ) + e i 2β
avec k entier relatif, ce qui équivaut à arg( z ) = . On =
3 e i (α +β )
obtient trois possibilités : =e i (α −β )
+ 2 + ei (β − α )
π p
•  arg( z ) = − ou  : il s’agit de la droite de vecteur
3 3 π
= ei ( α − β ) + (ei ( α − β ) ) + 2
→ i
directeur OA avec z A = e 3 , privée de O ; = 2 cos(α − β) + 2
•  arg( z ) = 0 ou p  : il s’agit de l’axe des abscisses, privé = 2(cos(α − β) + 1) .
de O ; Comme − 1  cos(α − β)  1, on déduit de ce qui précède
2π 2p
•  arg( z ) = − ou  : il s’agit de la droite de vecteur ( z + z2 ) 2
→ 3 3 i2π que 1 est un réel positif ou nul.
directeur OB avec zB = e 3 , privée de O. z1 z2

EXERCICES Le jour du BAC (page 259)

108  Corrigé sur le site élève. Donc, ( z '+ 2i )( z − i ) = 1

zE − z A et arg [( z '+ 2i )( z − i )] = 0 (mod 2p ) ,

109  1. AD = AE donc = 1.
zD − z A
soit z '− zB z − zA = 1

→ 
→ π  z − zA  π
( AD, AE ) = donc arg  E  = 3 . On en déduit que et arg( z '− zB ) + arg( z − zA ) = k × 2π ,
3  Dz − z A

zE − z A i
π où k est entier relatif. Donc BM '× AM = 1
= e 3 , d’où
zD − z A  →  →
et ( u , BM') = − ( u , AM) + k × 2π .
i
π 1 3
zE = e 3 ( zD − zA ) + zA =  + i  (1 − i ) + i .
 2 2  3. a) AD = zD − zA = 1 − i = 2 et, comme ADE est
1 
© Nathan 2012 – Transmath Term. S

3
On trouve finalement z E =  + (1 + i ) . équilatéral, on a AE = AD = 2 . On en déduit que les
2 2 
points D et E appartiennent au cercle  de centre A et de
2 − i ( 2 − i )(1 − i ) 1 3
2. zD' = = = − i. rayon 2.
i +1 2 2 2
2z − i 
( z '+ 2i )( z − i ) =  + 2i ( z − i ) 1 1 2 AE
 iz + 1  b) D’après 2. b), BE ' = = = =
 2 z − i + 2 i (iz + 1) AE 2 2 2
=
  ( z − i )
iz + 1  →  →
i et ( u , BE') = −( u , AE ) + k × 2π . On utilise la symétrie
= ( z − i ) = 1.
iz + 1 axiale d’axe ∆, médiatrice de [AB].

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 17

 1 1 3
 b) zB' =  2i +  = i ,
2 2i 4
1 1 3
zC' =  −2i −  = − i .
2 2 i 4
E 3. Le point M' est confondu avec le point M si, et seulement
A 1 1
si, z ' = z , ce qui équivaut à z =  z +  , soit z = − 1
2 z
ou z = 1. Il en découle que l’ensemble des points M tels que
v M ' = M est constitué des deux points d’affixes – 1 et 1.
4. Si M appartient au cercle de centre O et de rayon 1, alors
son affixe s’écrit ei θ avec θ réel. Dans ce cas,
O u D 1 1 1
z ' =  ei θ + i θ  = ( ei θ + e − i θ ).
2 e  2
 Comme e = e ,
−i θ iθ

1
z ' = × 2 Re( ei θ ) = cos(θ).
2
cos(θ) est un réel de l’intervalle [ − 1 ; 1], donc le point
M' appartient au segment [KL] où K et L sont les points
D’
d’affixes respectives – 1 et 1.
B 3 3  3 1 5π
111  A.1. zA = − + i
i
= 3 − + i = 3e 6 ,
E’ s(E) 2 2  2 2
5π
−i
zB = z A = 3e 6 .
1 1
4. BD ' = et BE ' = . Comme AD = AE , alors 3. BA = zA − zB = zA − zA = 2i Im( zA ) = 3.
AD
172663_C08_prof_fig22
AE
BD ' = BE ' . D’autre part, 3 3
CA = zA − zC = + i = 3.
→ →  →  → 2 2
( BD', BE') = ( u , BE') − ( u , BD')
 →  → C est un point de l’axe des abscisses, et B et A sont
= − ( u , AE ) + ( u , AD)

→ 
→ symétriques par rapport à cet axe, donc CB = CA = 3. Il
= ( AE, AD) en résulte que les trois côtés du triangle ABC ont la même
π longueur. On en déduit que ABC est équilatéral.
=− .
3 1 i π2  5π
i 
 π 5 π
i +  i
213 π
i
π
Il s’ensuit que BD'E' est équilatéral. B. 1. a) zA ' = e  3e 6  = e  2 3  = e 6 = e 6 ,
3  
5π 2  π 5 π
1 1 1 1 i 
π
−i  i  −  −i
7π
i
5π

110  1. a) OM1 = = = , donc OM × OM1 = 1. zB' = e 2  3e 6  = e  2 3  = e 6 = e 6 ,

z z OM 3  
π
D’autre part, 1 i
zC ' = i( − 3) = 3i = 3e 2 .
2

 →  1 3
( u , OM1 ) = arg   (mod 2p ) b)
 z C’
= − arg( z ) (mod 2p )
 →
= − ( u , OM) (mod 2p ).
b)
B
A
A B’ v A’
v B’
A’ C O u
O u
A1 B
C’
© Nathan 2012 – Transmath Term. S

C i
5π 
→ 
→
c) zA = 3e 6 = 3 zB ' , donc OA = 3 OB' , ce qui
1 entraîne que les points O, A et B' sont alignés.
2. a) L’affixe de M1 est z1 = . 172663_C08_prof_fig24
5π  π π
z
172663_C08_prof_fig23 −i i− π +  i
zB = 3e 6 = 3e  6 = 3e − iπ e 6 = − 3 zA ' .
M' est le milieu de [M M1 ], donc 
→ 
→
z + z1 1 1 Cela signifie que OB = − 3 OA' , donc les points O, B et
z' = = z +  . A' sont alignés.
2 2 z

18 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

2. L’équation de la droite (AB) est x = −
3
. premier point du 3. que dans ce cas l’équation admet deux
2 solutions, z1 = − 3 + i et z2 = 2 + i . D’où
3 z1 −3 + i 3π
Si M(z) appartient à (AB) alors z = − + yi . =
i
= − 1 + i = 2e 4 .
2 z2 2+i
L’image M' par f a pour affixe La proposition c) est donc exacte.
2
1 1  3  3 1 
z ' = iz 2 = i  − + yi = y +  − y 2 .
3 3  2  4 3  113  1. a) zA ' = (1 − i )2 − 4(1 − i ) = − 4 + 2i .
Si on désigne par X et Y respectivement la partie réelle et la
zB' = ( 3 + i )2 − 4( 3 + i ) = − 4 + 2i .
1 3
partie imaginaire de z', alors X = y et Y = − y 2 + . b) Si les points M1 ( z1 ) et M 2 ( z2 ) ont la même image
3 4
par f, alors z12 − 4 z1 = z2 2 − 4 z2 , ce qui équivaut à
1 3
D’où Y = − X 2 + . Cela veut dire que si M est un point ( z1 − z2 )( z1 + z2 − 4 ) = 0 . Cela signifie que z1 = z2 ou
3 4 z + z2
de la droite (AB), alors le point M' appartient à la parabole z1 + z2 = 4 . Cette dernière égalité s’écrit 1 = 2.
d’équation 2
1 3 Ce nombre est l’affixe du milieu de M1 M 2  . On en déduit
Y = − X2 + . que, si deux points ont la même image par f, alors ils sont
3 4
confondus ou l’un est l’image de l’autre par la symétrie
112  1. Si z = 1 − 2i + ei θ, alors centrale de centre d’affixe 2.
z − (1 − 2i ) = ei θ = 1 , donc M appartient au cercle de 2. a) OMIM' est un parallélogramme si, et seulement si,
centre A d’affixe 1 – 2i et de rayon 1. 
→ 
→
OM' = MI , ce qui équivaut à z ' = − 3 − z , ou encore
Réciproquement, si M est un point de ce→cercle, alors
 z 2 − 4 z = − 3 − z , soit z 2 − 3 z + 3 = 0 .
z − zA = 1et arg( z − zA ) = θ avec θ = ( u , AM) (mod 2p ). b) ∆ = − 3 < 0, donc l’équation admet deux solutions
Donc z − zA = ei θ . D’où z = 1 − 2i + ei θ .
complexes conjuguées :
Réponse exacte : c).
2. − i( − 1 − 2i ) − 2i = − 2 − i ≠ i , donc la proposition a) 3−i 3 3+i 3
z1 =et z2 = .
est fausse. 2 2
− i( − 1 − i ) − 2i = − 1 − i , donc la proposition b) est 3. a) z '+ 4 = z 2 − 4 z + 4 = ( z − 2 )2 .
2
exacte. On en déduit que z '+ 4 = z − 2
z ' = − i( z + 2 ) , donc z ' = − i( z + 2 ) = − i z + 2 = z + 2 , et arg( z '+ 4 ) = arg (z − 2)  = 2 arg( z − 2 ) (mod 2p ) .
2
 
d’où si z ' = 1, alors z + 2 = 1. On en déduit que M 2
appartient au cercle de centre d’affixe − 2 et de rayon 1. La b) L’égalité z '+ 4 = z − 2 signifie que KM ' = JM 2 ,
proposition c) est donc exacte. donc si M appartient au cercle de centre J et de rayon 2, alors
z ' = − i( z + 2 ) équivaut à z = i( z '+ 2i ) . On a : KM ' = JM 2 = 2 2 = 4 ; cela signifie que M' appartient au
π cercle de centre K et de rayon 4.
arg( z ) = arg(i ) + arg( z '+ 2i ) = + arg( z '− ( − 2i )) .  π  π
2 c) zE + 4 = − 3i = 3(cos  −  + i sin  −  ) ,
π  2  2
On en déduit que arg( z ) = si, et seulement si, π
2  donc zE + 4 = 3 et arg( zE + 4 ) = − (mod 2p ) .
arg( z '− ( − 2i )) = 0, soit ( u , AM ') = 0 (mod 2p ) avec 2
z A = − 2i . D’après 3. a), zE est l’image de M(z) par f si, et seulement
2 π
y = − 2 si, z − 2 = 3 et 2 arg( z − 2 ) = − + k × 2 π , avec k
M’ décrit donc la demi-droite d’équation  . 2
x > 0 entier relatif.
La proposition d) est donc exacte. π
2 Cela signifie que z − 2 = 3 et arg( z − 2 ) = − + kπ .
3. • Avec z = x + i , l’équation z + z = 7 + i s’écrit 4
x + i + x 2 + 1 = 7 + i , soit x 2 + x − 6 = 0 . On obtient deux solutions,
π
∆ = 25 > 0 , donc cette équation admet deux solutions −i 6 6
z = 3e 4 +2=2+ − i
réelles – 3 et 2. 2 2
Il en résulte que lorsque z = x + i , l’équation : i
3π
6 6
2 ou z = 3e 4 +2=2− + i.
z+ z = 7+i 2 2
admet deux solutions distinctes − 3 + i et 2 + i .
© Nathan 2012 – Transmath Term. S

La proposition a) est donc exacte. 2

 z ( x + iy )2 x2 − y2 2 xy
114  a) z ' =   = 2
2
• Avec z = x + 2i , l’équation z + z = 7 + i s’écrit = 2 + 2 i.
 z x + y 2
x + y2 x + y2
x + 2i + x 2 + 4 = 7 + i , soit ( x 2 + x − 3) + i = 0 .
Cette équation n’a pas de solution x réelle. Il en résulte que La proposition a) est vraie.
2
lorsque z = x + 2i , l’équation z + z = 7 + i n’a pas de b) z' est réel si, et seulement si, 2 xy = 0 et ( x ; y ) ≠ (0 ; 0) ,
solution. soit ( x = 0 ou y = 0 ) et ( x ; y ) ≠ (0 ; 0) . Cela équivaut à
La proposition b) est donc fausse. « M appartient à l’union de l’axe des ordonnées avec l’axe
2
• L’équation z + z = 7 + i s’écrit z = (7 − z ) + i ,
2 des abscisses privé de O ».
donc si z est solution alors Im( z ) = 1 . On a montré dans le La proposition b) est donc fausse.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 19

 c) (1 + i )2 = 2i, (1 + i )4 = − 4, (1 + i )8 = 16 , donc l’image  1 + i 3 2π
arg  − = arg( − 1 − i 3 ) − arg( z ) = − + arg( z ).
M de (1 + i )8 appartient à l’axe des abscisses. On déduit,  z  3
d’après b), que f (1 + i)  est réel.
8
  Réponse exacte : b).
La proposition c) est donc vraie.  3 1 i
π

d) On pose z = rei θ avec r = z . M et M' sont confondus 4. 3 + i = 2 + i = 2 e 6 , donc

2  2 2
 rei θ 
si, et seulement si,  = rei θ , ce qui équivaut à
 r 
( )  = (6 k + 3) π = kπ + π .
6k +3
arg  3 + i
e 2i θ = rei θ , soit ei θ = r . Cela signifie que r = 1 et θ = 0   6 2
(mod 2p ) . Autrement dit, z = 1.
( )
6k +3
Cela signifie que 3 + i est imaginaire pur.
La proposition d) est donc vraie.
Réponse exacte : b).

115  1. 2( 3 + i ) + ( 3 − i ) = 9 + i . 5. z − i = z + 1 signifie que AM = BM, ce qui équivaut

Réponse exacte : c). à M est un point de la médiatrice du segment [AB].
2. i z + 1 = i( z − i ) = z − i = z − i = z + i . Réponse exacte : c).
Réponse exacte : c). 6. z − 1 + i = 3 − 4i , équivaut à z − zΩ = 5. Il s’agit
 1 3 −i
2π
donc du cercle de centre Ω et de rayon 5.
3. − 1 − i 3 = 2  − − i  = 2 e 3 .
 2 2 Réponse exacte : c).

EXERCICES Pour aller plus loin (page 262)

n
b) zn +1 − zn = rn +1ei θn+1 − rn ei θn
116  1. a) rn =   r0 .
2
 3 2 i θn + 23π
= re − rn ei θn
 2 π 3 n
b) θn = θ0 +   n .
 3  2 i2π 
 2   2   2 = rn ei θn  e 3 − 1
2 3

c) z0 z1 z2 = r0 r1r2 = r0  r0   r0 =   r0 3 , 3 
 3   3   3
8 3 4  4 3
donc r0 = 8 ; on en déduit que r0 = 3 , r1 = 2 et r2 = . = rn ei θn  − + i  ,
27 3  3 3
2π 19 19  2
n
arg( z0 z1 z2 ) = θ0 + θ1 + θ2 = 3θ0 + 3 × = 3θ0 + 2 π donc M n M n +1 = zn +1 − zn = r =
3   r .
3 n 3  3 0
(mod 2p ) , donc z0 z1 z2 = 8 implique 3θ0 = k × 2 π avec n
 2
k × 2π On obtient M n M n +1 = 19   .
k entier relatif, soit θ0 = .  3
3 n

 π
Comme θ0 appartient à 0 ; , on a θ0 = 0 .
In = ∑M M
k =0
k k +1
 3 n
 2
n

D’où θ1 =
2π
et θ2 =
4π
. Il en résulte que = 19 ∑   .
 
k =0 3
3 3
2π
i 4 i4π  2
n +1
z0 = 3 , z1 = 2 e 3 et z2 = e 3 . 1−  
3  3   2 n +1 
2. a) N.B. : L’échelle demandée a été ici réduite de moitié. Donc In = 19 = 3 19 1 −    .
1−
2   3 
M1 3
n +1
 2
lim   = 0 donc lim ( In ) = 3 19 .
n →+ ∞  3 n →+ ∞

117  A. 1. z1 = az0 = 3 + 3i 3  
© Nathan 2012 – Transmath Term. S

v 3 1
a2 = + i.
4 4
2. z1 = 3 + 3i 3 = 3 1 + i 3 = 6 , donc
O u M3 M0
1 3  i
π
z1 = 6  + i = 6 e 3 .
2 2 
3 1 1 3 1  1 iπ
M2 a2 = + i=  + i = e 6 .
4 4 2 2 2 2

20172663_C08_prof_fig25
Enseignement spécifique ● Chapitre 8 ● Nombres complexes
  1 iπ  iπ i
π b) N.B. : L’échelle demandée a été ici réduite de moitié.
3. a) z3 = a 2 z1 =  e 6  6 e 3  = 3e 2 = 3i .
2   
3
 1 iπ  iπ 3 i 5π v
z7 = a 6 z1 = (a 2 ) z1 =  e 6  6 e 3  = e 6 .
3

2    4
A3 A2
b) N.B. : L’échelle demandée est ici exacte.
A4
A0
A1
A1

A5
A3
A6 A0
O u
A7
v 2. a) Pour tout entier naturel n non nul,
O u 3 3 3
172663_C08_prof_fig27 3
zn +1 − zn =  + i  zn −  + i  zn −1
4 4 4 4
1 1 2
= , donc a =
B. 1. a) a 2 172663_C08_prof_fig26 = . 3 3
2 2 2 =  + i  ( zn − zn −1 ).
z 6 12  4 4 
z1 = a z0 , donc z0 = 1 = = .
a 2 2 b) On en déduit que pour tout entier n  1,
2 3 3 3
 2
n n dn = zn +1 − zn = +i z − zn −1 = d .
n 12  2  2 4 4 n 2 n −1
rn = zn = a z0 = a z0 =   ×
n
=  × 122.
 2 2  2 2 En raisonnant par récurrence, on peut dire que pour tout
n +1 n
 2  3
On obtient rn = 12   . entier n  1, dn =   d0 .
 2  2
b) On en déduit que ( rn ) est une suite géométrique de raison c) dn = zn +1 − zn = A n A n +1.
2 3
et de premier terme 6 2 . d) La suite ( dn ) est géométrique de raison et de
2 2
2. La raison de la suite géométrique ( rn ) étant comprise 3 3 1
strictement entre – 1 et 1, la suite converge vers 0. premier terme d0 = z1 − z0 = +i − 1 = , donc
4 4 2
Cela signifie que la distance OM n = rn tend vers 0 lorsque
n tend vers plus l’infini.  3
n   3 n 
1−   2 1 −   
3. OA p  10− 3si, et seulement si, n −1 n −1
 2   2   1
 2
p +1
L n = ∑ A K A k +1 = ∑ d k = d0 =  × .
rp = 12    10− 3, k =0 k =0 3 2− 3 2
 2 1−
2
 1   3 
n
ce qui équivaut à ln(12 ) + ( p + 1) ln    ln(10− 3 ) , On obtient L n = 1 −    ( 2 + 3 ).
 2   2  
ln(12 ) + 3 ln(10)  3
n
soit p  − 1 ≈ 26,1.
ln( 2 )
lim
n →+ ∞  = 0, donc la suite ( L n ) converge vers 2 + 3 .
 2
Donc le plus petit entier naturel p tel que OA p  10− 3 est
3 3 3 3 1  3 i π6
p = 27. 3. a) + i =  + i = e .
4 4 2  2 2 2
arg( z27 ) = arg( a 26 z1 ) = 13 arg( a 2 ) + arg( z1 ) .
 3 3 
π π an = arg( zn ) = arg  + i  zn −1 
Comme arg( a 2 ) = et arg( z1 ) = , alors
6 3  4 4 
13π π π 3 3
arg( z27 ) = + , soit arg( z27 ) = (mod 2 π ) . = arg  + i  + arg( zn −1 )
6 3 2 4 4
On en déduit que
π
 → π = + an −1 (mod 2p ) .
© Nathan 2012 – Transmath Term. S

( u , OA 27 ) = (mod 2p ) . 6
2 p
( an ) est une suite arithmétique de raison et de premier
6
3 3 3 3 3 nπ
118  1. a) z1 = + i  ; z2 = + i ; terme a0 = arg( z0 ) = 0 , donc an = (mod 2p ) .
4 4 8 8 6
3 3 9 9 3 b) O, A 0 et A n sont alignés si et seulement si le point A n
z3 = i  ; z4 = − + i  ; nπ
8 32 32 appartient à l’axe des abscisses, ce qui équivaut à = kπ
6
− 27 9 3 27 avec k entier relatif, soit n = 6 k . Les points O, A 0 et A n
z5 = + i  ; z6 = − .
64 64 64 sont alignés si, et seulement si, n est un multiple de 6.

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 21

 119  1. a) En utilisant les propriétés du conjugué, on a 2
2. a) ZZ = Z , donc ZZ = 1 équivaut à Z = 1. Comme
2

Z  0 , cette dernière condition est équivalente à Z = 1.

P (α) = (α) − 6 (α) + 23(α) − 34α + 26
4 3 2

En définitive, ZZ = 1 équivaut à Z = 1.
= (α 4 − 6α 3 + 23α 2 − 34α + 26) b) Z = 1 équivaut à ZZ = 1 . En utilisant la définition de
= P(α ) . Z, cette égalité s’écrit
b) Il en résulte que, si P(α ) = 0 , alors P(α ) = 0 .  2iz − i  − 2i z + i
2. a) On trouve P(1 + i ) = 0 .    = 1, soit z z − z − z = 0.
z +1 z +1 
b) On en déduit que P(1 − i ) = 0 . D’où 1 − i et 1 + i sont En utilisant la forme algébrique de z, cette égalité s’écrit
solutions de l’équation P( z ) = 0 . x 2 + y 2 − 2 x = 0 , soit ( x − 1)2 + y 2 = 1. Comme le
3. a) Q( z ) = [z − (1 + i )][z − (1 − i )] = z 2 − 2 z + 2 . couple ( − 1 ; 0) ne vérifie pas cette équation, on conclut
Posons Q1 ( z ) = az 2 + bz + c . On a : que l’ensemble 1 des points M d’affixe z tels que Z = 1
Q( z )Q1 ( z ) = az 4 + ( −2 a + b ) z 3 + ( 2 a − 2b + c ) z 2 + est le cercle de centre A(1; 0) et de rayon 1.
( 2b − 2 c ) z + 2 c . 3. a) Z + Z = 0 si, et seulement si, 2 Re( Z) = 0 , ce qui
Pour avoir, pour tout nombre complexe z, P( z ) = Q( z )Q1 ( z ) , équivaut à Re( Z) = 0 . Ainsi, Z est imaginaire pur.
on prend a, b et c tels que a = 1 , − 2 a + b = − 6 , b) Pour z ≠ −1 , l’égalité Z = − Z s’écrit
2 a − 2b + c = 23 , 2b − 2 c = − 34 et 2 c = 26, soit 2iz − i − 2i z + i
=− ,
a = 1, b = − 4 et c = 13. z +1 z +1
Il en résulte que ce qui équivaut à ( 2iz − i )( z + 1) = ( z + 1)( 2i z − i ) ,
P( z ) = Q( z ) (z 2 − 4 z + 13) . soit z = z .
b) L’équation P( z ) = 0 équivaut à Q( z ) = 0 , ou Il en résulte que l’ensemble  2 des points M d’affixe z tels
z 2 − 4 z + 13 = 0 . Les solutions de Q( z ) = 0 sont 1 − i que Z est imaginaire pur est l’axe des abscisses.
et 1 + i . Le discriminant de la deuxième équation est
∆ = − 36, elle admet donc deux solutions complexes
conjuguées
Prolongement du TD 38
4 − i 36
z1 = = 2 − 3i et z2 = 2 + 3i . 122  1. a)
2 α 2 − 4α = (1 + i 3 )2 − 4(1 + i 3 ) = − 6 − 2i 3 .
En conclusion, l’équation P( z ) = 0 admet trois solutions :
D’autre part,
1 − i , 1 + i , 2 − 3i et 2 + 3i .
2α − 8 = 2(1 − i 3 ) − 8 = − 6 − 2i 3 .
120  1. Pour z ≠ 1 , on a : On en déduit que α 2 − 4α = 2α − 8 .
5z − 2 5z − 2 b) OB = zB = α = 1 + i 3 = 2 = OA .
Z+Z= +
z −1 z −1
OC = zC = α = α = OA, donc les points B et C
(5 z − 2 )( z − 1) + ( z − 1)(5 z − 2 ) appartiennent au cercle de centre O et passant par A.
=
( z − 1)( z − 1) z 

→ 
→
π π
10 z z − 7 z − 7 z + 4 2. ( OD, OE ) = équivaut à arg  E  = (mod 2p ) .
= 3  D
z 3
zz − z − z + 1
2 zE
10 z − 7( z + z ) + 4 Comme OD = OE , alors = 1.
= 2
. zD
z − ( z + z) + 1 zE π
i
2. Le point M' appartient à l’axe des ordonnées si, et On déduit que = e 3 , soit
zD
seulement si, Z + Z = 0 , ce qui équivaut à
2
10 z − 7( z + z ) + 4 = 0 et z ≠ 1 . En utilisant i
π 1 3 
zE = zD e 3 = 2 ei θ  + i = ei θ (1 + i 3 ) = α zD.
z = x + iy avec x et y réels, cette condition s’écrit : 2 2 
10( x 2 + y 2 ) − 7( 2 x ) + 4 = 0 et ( x ; y ) ≠ (1; 0) , 3. a) F étant le milieu de [BD],
7 2 z + zD
ce qui équivaut à x 2 + y 2 − x + = 0 et ( x ; y ) ≠ (1; 0) , α + 2 ei θ α
5 5 zF = B = = + ei θ .
soit 2 2 2
 7
2
9 zC + zE α + αei θ
 x −  + y = et ( x ; y ) ≠ (1; 0) . G étant le milieu de [CE], zG = = .
© Nathan 2012 – Transmath Term. S

2
10 100 2 2
Comme les coordonnées (1; 0) vérifient cette équation, il αei θ + α
zG − 2 −2
7 b) = 2
s’agit donc de l’équation du cercle de centre A( ; 0) et de zF − 2 α
10 + ei θ − 2
3 2
rayon privé du point de coordonnées (1; 0) . αei θ + α − 4 2αei θ + 2α − 8
10 = =
α + 2e − 2
iθ
2α + 4 e i θ − 8
121  1. Pour z ≠ − 1, on a
2αei θ + α 2 − 4α α (2 ei θ + α − 4) α
− 2i z + i . = = = .
Z=
z +1 2 (2 e + α − 4)
iθ
2 (2 e + α − 4)
iθ
2

22 Enseignement spécifique ● Chapitre 8 ● Nombres complexes

 zG − z A zG − 2 On en déduit le tableau de variation de f :
α 1 3 i
π
= = +i= = e 3,
zF − z A zF − 2 2 2 2 p 5p
x – p – ​  ​  ​  ​  p
donc AFG est équilatéral (cf. exercice 38 A. 3. b) page 251 6 6
du manuel). 7 4 + 213
2
4. a) AF 2 = zF − 2 f
2 4 – 213 7
α
= + ei θ − 2
2 π
c) La longueur AF est minimale lorsque θ = − , donc
2
π 6
1 3 −i
= +i + cos(θ) + i sin(θ) − 2 lorsque z D = 2 e 6 .
2 2
 3
2
 3 
2
 → 
→
  →   
→

 123  A.  AB, AC =  AB, u + u , AC (mod 2p )
=  − + cos(θ) +  + sin(θ)
 2   2       
  →   →
= 4 − 3 cos(θ) + 3 sin(θ) . =  u , AC −  u , AB (mod 2p )
b) f est dérivable sur ] − π ; π] et pour tout réel x de cet    
= arg( c − a ) − arg(b − a ) (mod 2p )
intervalle,
 c − a
f '( x ) = 3 sin( x ) + 3 cos( x ) = arg  (mod 2p ) .
 b − a
1 3  i −1− i
= 2 3  cos( x ) + sin( x ) B. 1. a) zB' = = i.
 2 2  i
1+ i
b) z ' = 1 − donc z ' ≠ 1.
  π  π  z
= 2 3 cos   cos( x ) + sin   sin( x ) 2. a) z ' = 1 équivaut à z − zA = z , soit AM = OM.
  3  3 
L’ensemble  des points M pour lesquels z ' = 1 est la
 π médiatrice du segment [OA].
= 2 3 cos  x −  .
 3 b) Remarquons que si z = 1 + i , alors z ' = 0 est réel. Le
π π π π point A appartient donc à l’ensemble recherché.
f '( x ) = 0 si, et seulement si, x − = − ou x − = , Si z ≠ 1 + i et z ≠ 0 , alors z’ est un réel différent de 1 si,
3 2 3 2
π 5π  z − zA 
soit x = − ou x = . et seulement si, arg  = 0 (mod p ) , ce qui est
6 6
→ 
 z 
→
π π π équivalent à ( OM, AM) = 0 (mod p ) . Cela veut dire que
f '( x ) > 0 si, et seulement si, − < x − < , soit
2 3 2 M appartient à la droite (OA) privée de O et de A. Comme
π 5π on a remarqué que A fait partie de l’ensemble recherché,
− < x < .
6 6 en définitive, cet ensemble est la droite (OA) privée de O.

© Nathan 2012 – Transmath Term. S

Enseignement spécifique ● Chapitre 8 ● Nombres complexes 23