COURS MPSI 3. NOMBRES COMPLEXES R.

FERROL 09/10
I. INTRODUCTION HISTORIQUE.
1) Rsolution de lquation du troisime degr : (E
1
) : x
3
+ 3x 2 = 0 par la mthode de Cardan (1501 - 1576, le
mme que celui qui a invent les... cardans).
D1
2) Rsolution de lquation de Bombelli (1526 - 1573) : (E
2
) : x
3
= 15x + 4.
) Par la recherche dune solution vidente.
D2
) par la mthode de Cardan.
D3
Bien que cette quation possde trois solutions relles, on saperoit que la mthode de Cardan oblige considrer des
nombres imaginaires, dont le carr est ngatif...
II) DFINITION DE C ET PREMIRES PROPRITS.
1) Problme : trouver un sur-ensemble de R muni dune addition et dune multiplication prolongeant celles de R et
conservant les mmes rgles opratoires, et tel quil existe un lment i dont le carr est gal 1.
Si cest possible, on doit avoir, pour x et y rels :
(x +iy) + (x

+iy

) = x +x

+i (y +y

)
(x +iy) (x

+iy

) = xx

yy

+i (xy

+yx

)
D4
do la
DEF : lensemble C des nombres complexes est lensemble R
2
des couples de rels, muni des deux oprations :
(x, y) + (x

, y

) = (x +x

, y +y

)
(x, y) (x

, y

) = (xx

yy

, xy

+yx

)
2) Proprits de + dans C :
P1 : (x, y) + (x

, y

) = (x

, y

) + (x, y) (commutativit)
P2 : (x, y) + ((x

, y

) + (x

, y

)) = ((x, y) + (x

, y

)) + (x

, y

) (associativit)
P3 : (x, y) + (0, 0) = (x, y) (do lexistence dun lment neutre)
P4 : (x, y) + (x, y) = (0, 0) (donc tout lment possde un symtrique)
D5
Ces 4 proprits font de (C, +) un groupe commutatif.
Proprits de . dans C :
P5 : (x, y) (x

, y

) = (x

, y

) (x, y) (commutativit)
P6 : (x, y) ((x

, y

) (x

, y

)) = ((x, y) (x

, y

)) (x

, y

) (associativit)
P7 : (x, y) ((x

, y

) + (x

, y

)) = (x, y) (x

, y

) + (x, y) (x

, y

) (distributivit)
P8 : (x, y) (1, 0) = (x, y) (do lexistence dun lment neutre)
D6
Adjointes aux 4 premires, ces 4 proprits font de (C, +, .) un anneau commutatif.
Il reste une neuvime proprit pour que (C, +, .) soit un corps commutatif :
P9 : si (x, y) = (0, 0) alors il existe (x

, y

) tel que (x, y) (x

, y

) = (1, 0)
(tout complexe non nul possde un symtrique pour la multiplication)
On dmontrera cette proprit ultrieurement : il est noter quelle nest pas vidente a priori ; par exemple si on avait
dni la multiplication par (x, y) (x

, y

) = (xx

+yy

, xy

+yx

) (avec un + la place du ), on aurait encore obtenu un

anneau, mais plus un corps.
1
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
3) criture algbrique x +iy dun complexe.
a) On remarque que :
1. (x, 0) + (x

, 0) = (x +x

, 0)
2. (x, 0) (x

, 0) = (xx

, 0)
3. Lapplication x (x, 0) est une bijection de R vers lensemble des complexes de deuxime coordonne nulle.
D7
Do lidentication (abus dcriture) : (x, 0) = x
b) Si lon pose i = (0, 1) , alors i
2
= 1
D8
PROP et DEF : Tout complexe z = (x, y) scrit sous la forme : x +iy ; x est la partie relle (note Re (z)) de z et y sa
partie imaginaire (note Im(z)). Les complexes de partie relle nulle sont appels les imaginaires purs.
REM 1 : la partie imaginaire dun complexe est un rel !
REM 2 : on a donc x + iy = x

+ iy

x = x

et y = y

, mais attention ceci nest valable que si x, y sont rels ; par

exemple :
i +i.i = 1 +i.1 et pourtant i = 1
Par convention, dans la suite de ce cours, z sera toujours un complexe de partie relle x et de partie imaginaire y.
4) Conjugu dun complexe.
DEF : z = x iy est le conjugu de z.
Proprits :
1. z = z
2. z +z = 2x, do Re (z) =
1
2
(z +z) ; z est imaginaire pur z +z = 0.
3. z z = 2iy, do i Im(z) =
1
2
(z z) ; z est rel z = z.
4. zz = x
2
+y
2
R
+
5. z +z

= z +z

; zz

= zz

D9
5) Module dun complexe.
DEF : |z| =

zz
_
=
_
x
2
+y
2
_
est le module de z.
REM 1 : le module, comme sa notation lindique, prolonge la valeur absolue sur R.
REM 2 : il vaut mieux le plus possible utiliser cette relation au carr : |z|
2
= zz = x
2
+y
2
.
Proprits :
6. |z| = |z| = |z|
7. z = 0 |z| = 0
8. ||z| |z

|| |z +z

| |z| +|z

| (ingalits triangulaires gauche et droite)

9. |zz

| = |z| |z

|
10. zz

= 0 z = 0 ou z

= 0 (un produit de complexes est nul ssi lun deux est nul)
D10
Lemme pour 8 : |z +z

|
2
= |z|
2
+|z

|
2
+ 2 Re
_
zz

_
.
6) application : (C, +, .) est un corps.
2
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
PROP : si z = 0
z
_
1
zz
.z
_
= 1
la proprit P9 ci-dessus est donc vrie avec x

=
x
x
2
+y
2
et y

=
y
x
2
+y
2
;
tout complexe non nul possde donc un symtrique pour la multiplication : (C, +, .) est un corps.
D11
Notation : le nombre
1
zz
.z est not
1
z
, et, comme dans R :
1
z

z = z.
1
z

est not
z
z

.
A bien savoir :
1
i
= i = i
Les relations 2. et 3. ci-dessus peuvent donc scrire :
Re (z) =
z +z
2
Im(z) =
z z
2i
Et on a aussi :
_
z
z

_
=
z
z

(z

= 0)

z
z

=
|z|
|z

|
(z

= 0)
z est de module 1 ssi son conjugu est gal son inverse
z
|z|
et
z
z
(z = 0) sont toujours de module 1.
D12
7) Problme de lexistence dune relation dordre sur C.
PROP : On peut trouver sur C des relations dordre total prolongeant lordre usuel sur R, cest--dire, vriant :
1. z z
2. z z

et z

z z = z

3. z z

et z

z z

4. z z

z z

5. si z et z

sont rels, z z

a la signication habituelle.
par contre, on ne peut pas en trouver qui soit de plus compatible avec laddition et la multiplication, cest-dire :
6. z z

z +z

+z

7. si z

0, z z

zz

D13
Cest la raison pour laquelle la relation note ne concerne que les rels.
III) RACINES CARREES ET EQUATIONS DU DEUXIEME DEGRE ; mthode algbrique.
1) Racines carres.
DEF : z est une racine carre de Z Z = z
2
.
TH : On pose Z = X +iY et z = x +iy ; alors :
z est une racine carre de Z
_
_
_
x
2
+y
2
= |Z|
x
2
y
2
= X
xy est du signe de Y
Les deux racines carres de Z sont donc

_
_
_

X
2
+Y
2
+X
2
+i signe (Y )
_

X
2
+Y
2
X
2
_
_
3
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
D14
REM : puisquil y a deux racines carres, NE JAMAIS CRIRE

Z, sauf si Z est rel 0 ; voici ce qui peut
arriver si vous le faites :
1 = i.i =

1 =
_
(1) (1) =

1 = 1
2) Application la rsolution de lquation du deuxime degr coecients complexes.
a) Forme canonique de az
2
+bz +c.
PROP : si a = 0, = b
2
4ac (discriminant)
az
2
+bz +c = a
_
_
z +
b
2a
_
2

4a
2
_
=
1
4a
_
(2az +b)
2

_
D15
b) Rsolution de az
2
+bz +c = 0.
PROP : si a = 0, lquation az
2
+bz +c = 0 possde toujours deux solutions, confondues si = 0 :
b
2a
o est lune des racines carres de
D16
REM : si b = 2b

, alors

=

4
= b
2
ac est appel le discriminant rduit et les solutions scrivent :
b

a
o

est lune des racines carres de

TOUJOURS UTILISER LE DISCRIMINANT RDUIT lorsque 2 se factorise dans b de faon apparente.

E2 : z
2
(2 + 2i)z + 1 = 0
IV) NOTATION EXPONENTIELLE.
1) Formule de Moivre et formule dEuler.
PROP : formule de Moivre : si f () = cos +i sin, alors
f
_
+

_
= f () f
_

_
Cette proprit, similaire celle de la fonction exponentielle, justie (partiellement) le fait que lon pose :
e
i
= cos +i sin
Ceci nest actuellement quune notation, et le lien avec la fonction exponentielle ne sera vu que plus tard.
La formule de Moivre devient alors :
e
i
e
i

= e
i(+

)
On en dduit, pour tout entier relatif n :
_
e
i
_
n
= e
in
D17
4
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
PROPRITS :
e
i0
= e
2i
= 1 ; e
i
= 1 ; e
i

2
= i
e
i
=
1
e
i
= e
i
e
i
= e
i

= mod2
u est de module 1 R / u = e
i
et on a les formules dEuler :
cos = Re
_
e
i
_
=
1
2
_
e
i
+e
i
_
sin = Im
_
e
i
_
=
1
2i
_
e
i
e
i
_
D18
2) Applications la trigonomtrie.
a) Linarisation.
On applique les formules dEuler, puis on dveloppe en utilisant la formule de Moivre, et on revient en sin et cos avec les
formules dEuler.
Exemples : E1
b) Mise sous forme de polynme en cos et sin (appel polynme trigonomtrique)
PROP : On a les dveloppements :
cos n =

0k
n
2
(1)
k
_
n
2k
_
(cos )
n2k
_
1 cos
2

_
k
sinn = sin

0k
n1
2
(1)
k
_
n
2k + 1
_
(cos )
n2k1
_
1 cos
2

_
k
D19
Ce qui donne, en posant pour tout rel x :
T
n
(x) =

0k
n
2
(1)
k
_
n
2k
_
x
n2k
_
1 x
2
_
k
U
n1
(x) =

0k
n1
2
(1)
k
_
n
2k + 1
_
x
n2k1
_
1 x
2
_
k
les formules :
cos n = T
n
(cos )
sinn = sinU
n1
(cos )
Les polynmes T
n
et U
n1
sont les polynmes de Tchebychev de premire et seconde espce.
c) Factorisation de e
ia
e
ib
PROP :
e
ia
+e
ib
= 2 cos
a b
2
e
i
a+b
2
e
ia
e
ib
= 2i sin
a b
2
e
i
a+b
2
D20
d) Calcul de C
n
=
n

k=0
cos ( +k) et S
n
=
n

k=0
sin( +k)
5
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
REM : cf. ex. 2 sur les fonctions circulaires pour une mthode sans complexe.
PROP : si = 0 mod2
C
n
=
sin
n + 1
2

sin

2
cos
_
+
n
2

_
S
n
=
sin
n + 1
2

sin

2
sin
_
+
n
2

_
D21
V) INTERPRTATION GOMTRIQUE ; ARGUMENT.
1) Interprtation gomtrique.
On a les correspondances suivantes (P est un plan rapport un repre orthonorm direct
_
O,

i ,

j
_
et

P lensemble
des vecteurs du plan) :
C R
2
P

P
z = x +iy (x, y) M

x
y
x

i +y

j =

u =

OM
z +z

(x +x

, y +y

)

u +

|z|
_
x
2
+y
2
OM

u
|z

z| ........................................... ........ .............

On dit que z est laxe de M et de

u , ce qui scrit M (z) et

u (z) ; M est le point-image de z et

u son vecteur-image.
Application 1 : si A(a) et B(b),

AB a pour axe .........
Application 2 : quation complexe du cercle (C) de centre () et de rayon R :
M (z) (C) ..................................... ..............................................................................
2) Argument dun nombre complexe non nul.
DEF : si M est un point daxe z = 0, on appelle argument de z toute mesure en radians de langle orient

_

i ,

OM
_
;
notation arg z.
REM 1 : cette notation arg z est pratique mais abusive dans la mesure o elle ne reprsente pas un seul rel, mais une
innit, dirant dun multiple de 2 ; on crit ceci sous la forme :
arg z = mod2
CNS : si z = 0
arg z = mod2 e
i
=
z
|z|
z = |z| e
i
D22
PROPRITS : avec zz

= 0, A(a) , B(b) , C (c) , D(d) (A = B et C = D),

arg (zz

) = ...................................... mod2
arg
_
z
z

_
= .................................... mod2
arg (z) = ......................................... mod2
z est rel arg z = 0 mod
z est imaginaire pur arg z =

2
mod

AB,

CD
_
= arg
_
d c
b a
_
mod2 et

((AB) , (CD)) = arg
_
d c
b a
_
mod
Les droites (AB) et (CD) sont parallles ssi arg
_
d c
b a
_
= 0 mod
Les droites (AB) et (CD) sont perpendiculaires ssi arg
_
d c
b a
_
=

2
mod
6
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
D23
3) Coordonnes polaires dun point et forme trigonomtrique dun complexe.
PROP : (, ) R
2
est un couple de coordonnes polaires de M daxe z ssi
e
i
= z
Lcriture e
i
est appele une forme trigonomtrique (ou exponentielle, ou polaire) du complexe z.
ATTENTION :
REM 1 : ici nest pas forcment suppos 0 ; il vaut donc |z| et
e
i
= z
_
_
_
si > 0 : |z| = et arg z = mod2
si < 0 : |z| = ........et arg z = ................. mod2
si = 0 : z = 0
:
D24
REM 2 : lexpression 2 cos
a b
2
e
i
a+b
2
constitue une forme exponentielle de e
ia
+e
ib
.
4) Interprtation gomtrique de la multiplication des complexes.
(R)appel : la compose de lhomothtie de centre et de rapport avec la rotation de mme centre et dangle est
appele la similitude directe de centre de rapport et dangle .
PROP : multiplier un complexe par le complexe e
i
revient faire subir son point image une similitude directe de
centre O de rapport et dangle .
D25
APPLICATION :
1. Si M

(z

) est limage de M (z) par la similitude directe de centre () de rapport et dangle , on a :

z

= e
i
(z )
2. Si a et b sont deux complexes, la transformation du plan
M (z) M

(z

) avec z

= az +b
est
- soit la translation de vecteur

u (b) si a = 1.
- soit la similitude directe de centre
_
b
1 a
_
de rapport |a| dangle arg a si a = 1.
Cest une homothtie ssi a est rel, et une rotation ssi a est de module 1.
D26
VI) RACINES n-IMES DES NOMBRES COMPLEXES.
1) Dnition et premires remarque.
DEF : si z et Z C et n N
z est une racine nime de Z si z
n
= Z
REM 1 : pour n 1, 0 a une et une seule racine n-ime : lui-mme.
REM 2 : si n est pair et z est une racine nime de Z, alors z galement.
REM 3 : si n = pq avec p, q N, les racines nimes de Z en sont les racines pimes des racines qimes.
7
COURS MPSI 3. NOMBRES COMPLEXES R. FERROL 09/10
REM 4 : les racines nimes du conjugu de Z sont les conjugus des racines nimes de Z.
REM 5 : si z
0
est lune des racines nimes de Z = 0, on obtient toutes les autres en multipliant z
0
par les racines
nimes du nombre 1 (que lon nomme traditionnellement : racines nimes de lunit).
D27
2) Rsolution laide de la forme exponentielle.
TH : si Z = 0 est de module R et dargument , z possde exactement n racines nimes distinctes de mme module
gal
n

R et dargument

n
+
2k
n
avec k [|0, n 1|]
D28
REM 1 : les points-images de ces racines forment un polygone rgulier n cts inscrit dans un cercle de centre O et de
rayon
n

R ; on en dduit que la somme des racines nimes dun complexe est nulle.
REM 2 : puisquil y n racines n-imes, ON NECRIT JAMAIS DANS UN CALCUL
n

Z sauf si Z est rel 0.

Eventuellement, on peut par contre considrer que lcriture
n

Z
C
reprsente LENSEMBLE des n racines n-imes
complexes de Z (notation non classique).
Exemples E3 :

1
C
= {1, 1} ,

1
C
= {i, i} , et dterminer de mme les ensembles

i
C
,

1 +i
C
,
3

1
C
,
4

1
C
,
6

1
C
.
- construire graphiquement les 8 racines huitime de (3 + 4i)/5.
- dterminer une valeur approche dune racine cinquime de 2 + 3i laide dune machine calculer.
- calculer (2 +i)
3
et en dduire lensemble
3

2 + 11i
C
.
3) Groupe des racines nimes de lunit.
Remarque pralable : linverse, le conjugu, le produit de racines nimes de lunit est encore une racine nime de
lunit.
D29
On verra plus tard que cela implique que lensemble U
n
=
n

1
C
de ces racines forme un groupe multiplicatif ; on a :
U
1
= {1}, U
2
= {1, 1}, U
3
= {1, e
2i
3
, e
4i
3
= e

2i
3
} ; si lon pose j = e
2i
3
, alors U
3
= {1, j, j
2
} et lon a :
j =
1 +i

3
2
(forme utiliser le moins possible)
j
2
= j =
1
j
1 +j +j
2
= 0
U
4
= {.................................}, U
6
= {.........................................}
Et si u = e
2i
n
, U
n
=
_
e
2ik
n
/ k Z
_
= {1, u, u
2
, ..., u
n1
}
Et comme u
nk
= u
k
on peut crire :
U
n
=

{1, u, u, u
2
, u
2
, ......., u
p
, u
p
} si n = 2p + 1
{1, .............................................} si n = 2p
D30
VII) PILOGUE : RSOLUTION DE LQUATION DE BOMBELLI DANS C.
D31
8