Vous êtes sur la page 1sur 14

c Christophe Bertault - MPSI

Nombres complexes

1 Le corps C des nombres complexes

1.1 Construction partir du corps R des nombres rels

Dfinition (Loi de composition interne) Soit E un ensemble. On appelle loi de composition interne sur E, ou plus
simplement loi (interne) sur E toute application de E E dans E.

   Explication Une loi interne est ce que vous avez appel une opration dans les classes antrieures : laddition
des rels, la multiplication des rels, laddition des vecteurs. . . Par exemple, laddition des vecteurs est une loi interne car cest
une faon dassocier, tout couple (~ u, ~v ) de vecteurs, un autre vecteur que lon note ~
u + ~v .

Nous supposons dans ce qui suit que nous connaissons parfaitement lensemble R des nombres rels muni de ses deux lois +
et daddition et de multiplication. Partant de l, nous allons construire le corps C des nombres complexes.

Au commencement est R2 . Dans tout ce chapitre, R2 est identifi au plan euclidien quon a muni dun repre orthonormal
direct (O,~, ~) ; tout vecteur du plan est par l mme identifi ses coordonnes dans le repre (O,~, ~). On dfinit alors
sur R2 deux lois de composition internes, notes provisoirement et , en posant :

(x, y) (x0 , y 0 ) = (x + x0 , y + y 0 )
(x, y), (x0 , y 0 ) R2 , .
(x, y) (x0 , y 0 ) = (xx0 yy 0 , xy 0 + yx0 )
En tant quil est muni de ces deux lois, R2 est not C et ses lments sont appels nombres complexes.

Nous dcidons prsent didentifier, pour tout x R, le rel x et le nombre complexe (x, 0) ; cela signifie que nous noterons
dsormais x la place de (x, 0). Via cette identification, R peut-tre vu comme une partie de C.

x x0 = (x, 0) (x0 , 0) = (x + x0 , 0) = x + x0
Pour tous x, x0 R, cette identification permet dcrire : .
x x0 = (x, 0) (x0 , 0) = (xx0 , 0) = x x0
On voit donc que, sur les rels, se comporte comme laddition usuelle + et que se comporte comme la multiplication
usuelle . Les lois et sont donc des prolongements C des lois usuelles + et qui ntaient pour le moment dfinies
que sur R. Ce rsultat nous invite laisser de ct les notations et : dsormais, et seront notes respectivement
+ et et appeles addition et multiplication. Le symbole sera gnralement omis.

Dfinition (Parties relle et imaginaire dun nombre complexe) z


Im(z) b

Soit z = (x, y) C. Le rel x est appel la partie relle de z et not Re(z) ; de mme,
le rel y est appel la partie imaginaire de z et not Im(z).
~
Pour tous z, z 0 C : z = z0 Re(z) = Re(z 0 ) et Im(z) = Im(z 0 ). b ~
O Re(z)

   Explication Gomtriquement, Re(z) est labscisse du point z dans le repre (O,~, ~), et Im(z) est son ordonne.

Nous avons dcid plus haut de noter 1 llment (1, 0), identifi au rel 1 ; nous dcidons prsent de noter i llment (0, 1).

Dfinition (Forme algbrique dun nombre complexe) Soit z C. Il existe un couple unique (x, y) de rels tels que
z = x + iy. On a en fait x = Re(z) et y = Im(z).

 
Dmonstration Pour tous x, y R : x + iy = (x, 0) + (0, 1) (y, 0) = (x, 0) + (0, y) = (x, y). 

   En pratique
Lunicit de la forme algbrique dun nombre complexe est utilise frquemment pour faire des identifications. Elle permet,
quand on a une galit du type a + ib = a0 + ib0 , dcrire que a = a0 et que b = b0 .
Retenez bien lide suivante : une galit de nombres complexes, cest deux galits de nombres rels.

1
c Christophe Bertault - MPSI

8
< Un nombre complexe est nul si et seulement si ses parties relle et imaginaire le sont.
Remarque Un nombre complexe est rel si et seulement si sa partie imaginaire est nulle.
:
Un nombre complexe dont la partie relle est nulle est appel un imaginaire pur.

Dfinition (Affixe dun point et dun vecteur, image dun nombre complexe)
Soit M un point du plan de coordonnes (x, y). On appelle affixe de M le nombre complexe x + iy ; inversement M
est appel limage de x + iy.
Soit ~
u un vecteur de coordonnes (x, y). On appelle affixe de ~
u le nombre x + iy.

   Explication Dans la mesure o on a identifi R2 , C et le plan euclidien, on a en ralit M = (x, y) = x + iy. On


conserve cependant les trois notations diffrentes ; chacune est utile dans son contexte : il est parfois plus facile de penser en
termes de points, parfois plus facile de penser en termes de nombres complexes, etc.

Le thorme suivant est une consquence directe dun thorme que nous avons dmontr en gomtrie lmentaire du plan.

Thorme (Rgles de calcul sur les affixes)


Soient ~
u et ~v deux vecteurs daffixes respectifs u et v et , R. Le vecteur ~
u + ~v a pour affixe u + v.

Soient A et B daffixes respectifs a et b. Le vecteur AB a pour affixe (b a).
X
n
Soient A1 , A2 , . . . , An des points daffixes respectifs a1 , a2 , . . . , an et 1 , 2 , . . . , n des rels. On pose = k et on
k=1
1 X
n
suppose que 6= 0. Le barycentre des points pondrs (A1 , 1 ), (A2 , 2 ), . . . , (An , n ) a pour affixe k a k .

k=1

Nous disposons finalement dun quadruple point de vue sur un mme objet mathmatique : R2 est la fois lensemble de
couples de rels, le plan euclidien (constitu de points), lensemble des vecteurs du plan et lensemble C des nombres complexes.

Nous allons prsent dmontrer les proprits usuelles des lois + et sur C. Soient donc z = x + iy, z 0 = x0 + iy 0 et
z = x00 + iy 00 trois nombres complexes.
00

1) Commutativit de + : z + z 0 = (x, y) + (x0 , y 0 ) = (x + x0 , y + y 0 ) = (x0 + x, y 0 + y) = (x0 , y 0 ) + (x, y) = z 0 + z.

2) Commutativit de : zz 0 = (x, y)(x0, y 0 ) = (xx0 yy 0 , xy 0 +yx0 ) = (x0 xy 0y, x0 y+y 0 x) = (x0 , y 0 )(x, y) = z 0 z.

3) Associativit de + : Lordre des parenthses na pas dimportance quand on effectue des additions.
   
(z + z 0 ) + z 00 = (x, y) + (x0 , y 0 ) + (x00 , y 00 ) = (x + x0 , y + y 0 ) + (x00 , y 00 ) = (x + x0 ) + x00 , (y + y 0 ) + y 00
   
= x + (x0 + x00 ) , y + (y 0 + y 00 ) = (x, y) + (x0 + x00 , y 0 + y 00 ) = (x, y) + (x0 , y 0 ) + (x00 , y 00 ) = z + (z 0 + z 00 ).

4) Associativit de : Lordre des parenthses na pas dimportance quand on effectue des multiplications.
 
(zz 0 )z 00 = (x, y) (x0 , y 0 ) (x00 , y 00 ) = (xx0 yy 0 , xy 0 + yx0 ) (x00 , y 00 )
 
= (xx0 yy 0 )x00 (xy 0 + yx0 )y 00 , (xx0 yy 0 )y 00 + (xy 0 + yx0 )x00
 
= x(x0 x00 y 0 y 00 ) y(x0 y 00 + y 0 x00 ) , x(x0 y 00 + y 0 x00 ) + y(x0 x00 y 0 y 00 )
 
= (x, y) (x0 x00 y 0 y 00 , x0 y 00 + y 0 x00 ) = (x, y) (x0 , y 0 ) (x00 , y 00 ) = z(z 0 z 00 ).
5) Distributivit de sur + :
   
z(z 0 + z 00 ) = (x, y) (x0 , y 0 ) + (x00 , y 00 ) = (x, y) (x0 + x00 , y 0 + y 00 ) = x(x0 + x00 ) y(y 0 + y 00 ) , x(y 0 + y 00 ) + y(x0 + x00 )
 
= (xx0 yy 0 ) + (xx00 yy 00 ) , (xy 0 + yx0 ) + (xy 00 + yx00 ) = (xx0 yy 0 , xy 0 + yx0 ) + (xx00 yy 00 , xy 00 + yx00 )
   
= (x, y) (x0 , y 0 ) + (x, y) (x00 , y 00 ) = (zz 0 ) + (zz 00 ).
6) Existence dun lment neutre pour + : Cet lment neutre unique est 0. z +0 = (x, y)+(0, 0) = (x, y) = z.

7) Existence dun lment neutre pour : Cet lment neutre unique est 1. z 1 = (x, y)(1, 0) = (x, y) = z.

8) Existence dun inverse pour + : Tout nombre complexe z possde  un inverse unique pour + quon appelle son
oppos : cest 1 z, not z. z + (z) = (x, y) + [(1, 0) (x, y) = (x, y) + (x, y) = (0, 0) = 0.

2
c Christophe Bertault - MPSI

9) Existence dun inverse pour : Tout nombre complexe non nul z = x + iy possde un inverse unique pour
x iy 1
quon appelle son. . . inverse : cest 2 , not (z tant non nul, x2 + y 2 6= 0).
x + y2 z
   
1 x y x y y x
z = (x, y) , = x y 2 , x 2 +y 2 = (1, 0) = 1.
z x2 + y 2 x2 + y 2 x2 + y 2 x + y2 x + y2 x + y2

   Explication Pourquoi avons-nous dans le titre de cette partie qualifi C de corps ? Nous aurons loccasion dtudier
la notion de corps dans un prochain chapitre, mais en voici tout de mme une rapide dfinition. Un corps est un ensemble muni
de deux lois de composition internes, disons + et , qui vrifient toutes les proprits que nous venons de passer en revue
linstant : commutativit, associativit, distributivit, lment neutre, inverse.
Par exemple, R et Q, munis des lois daddition et de multiplication usuelles, sont des corps.

$ $ $ Attention ! Rappelons enfin que les ingalits nont aucun sens sur C. Quel sens donner la proposition i 6 i+1 ?
Une ingalit sur des complexes dans une copie est un crime impardonnable.

1.2 Conjugu et module dun nombre complexe

Dfinition (Conjugu et module dun nombre complexe) Soit z C.


On appelle conjugu de z, not z, le nombre complexe Re(z) iIm(z).
p
On appelle module de z, not |z|, le rel positif ou nul Re(z)2 + Im(z)2 .

   Explication
M
b
Ces deux notions ont une interprtation gomtrique trs naturelle, comme le montre la figure ci- Im(z)
contre : si nous notons M limage de z et M limage de z, M est le symtrique de M par rapport |
|z
laxe (Ox), et |z| = OM . Plus gnralement, si A et B sont deux points du plan daffixes respectifs
a et b, alors |b a| = AB.
b

Re(z)
Remarque La fonction module concide avec la fonction valeur absolue sur R, cest pourquoi
leurs notations sont identiques.
Im(z) b
M

Thorme Pour tous z, z 0 C :


z + z z z
Re(z) = , Im(z) = , z = z, z + z 0 = z + z 0 et zz 0 = zz 0 .
2 2i

|z| = 0 z = 0, Re(z) 6 |z| et Im(z) 6 |z|.

z |z|
z z = |z|2 , |z| = |z|, |zz 0 | = |z|.|z 0 | et si z 0 6= 0, 0 = 0 .
z |z |

0 0 0
Ingalit triangulaire : |z| |z | 6 |z z | 6 |z| + |z |.

   Explication

b
z + z0
Linterprtation gomtrique des ingalits Re(z) 6 |z| et Im(z) 6 |z| est vidente zb
partir de la figure prcdente.
Et que signifie lingalit triangulaire ? Elle signifie, sur le dessin ci-dessous, que la distance b

de O (z + z 0 ) est infrieure ou gale la somme des distances de O z et de O z 0 . z0


b



Dmonstration Contentons-nous de dmontrer lingalit triangulaire |z| |z 0 | 6 |z + z 0 | 6 |z| + |z 0 |. Pour
dmontrer cette ingalit avec |z z 0 | la place de |z + z 0 |, remplacer z 0 par z 0 .

3
c Christophe Bertault - MPSI

On part de lingalit Re(z z 0 ) 6 |z z 0 | = |z|.|z 0 | = |z|.|z 0 | que lon sait tre vraie.
rel
z }| {
0 0 z z 0 + zz 0
Re(z z ) 6 |z|.|z | 6 |z|.|z 0 | z z + zz 0 6 2|z|.|z 0 |
0
2
|z|2 + z z 0 + zz 0 + |z 0 |2 6 |z|2 + 2|z|.|z 0 | + |z 0 |2
2 2
z z + z z 0 + zz 0 + z 0 z 0 6 |z| + |z 0 | (z + z 0 )(z + z 0 ) 6 |z| + |z 0 |
2
|z + z 0 |2 6 |z| + |z 0 | |z + z 0 | 6 |z| + |z 0 |.
Lingalit de droite est ainsi dmontre. Remarquez bien que, contrairement aux apparences, nous travaillons
bien avec des ingalits sur des rels, puisque z z 0 + zz 0 = 2Re(z z0 ) R.

Lingalit de gauche en dcoule : |z| = (z + z 0 ) + (z 0 ) 6 |z + z 0 | + | z 0 |, do : |z| |z 0 | 6 |z + z 0 |.
Permutant les rles de z et z 0 , on obtient de mme : |z 0 | |z| 6 |z + z 0 |. Le rsultat en dcoule. 

   En pratique Lgalit z z = |z|2 est utilise gnralement pour dterminer la forme algbrique de linverse dun
1 a ib
nombre complexe. Pour tout couple de rels (a, b) 6= (0, 0) : = 2 .
a + ib a + b2

La notion de module dun nombre complexe permet une description aise des cercles et des disques dans le plan complexe.

Thorme (Cercles, disques et affixes) Soit A un point daffixe a et R R


+. R R
n o (i) b (ii) b
(i) Le cercle de centre A et de rayon R est lensemble z C/ |z a| = R . A A
n o
(ii) Le disque ferm de centre A et de rayon R est lensemble z C/ |z a| 6 R .
n o R
(iii) Le disque ouvert de centre A et de rayon R est lensemble z C/ |z a| < R . (iii) b
A

2 Le groupe U des nombres complexes de module 1

2.1 Dfinition, caractrisation

n o
Dfinition (Groupe U des nombres complexes de module 1) On note U lensemble z C/ |z| = 1 .

   Explication
n o n p o n o
U = z C/ |z| = 1 = (x, y) R2 / x2 + y 2 = 1 = (x, y) R2 / x2 + y 2 = 1 .
Dans le plan euclidien, U est donc en ralit le cercle de centre O et de rayon 1, i.e. le cercle trigonomtrique.
Pourquoi qualifier U de groupe dans la dfinition prcdente ? Nous aurons loccasion dtudier la notion de groupe
dans un prochain chapitre, mais en voici tout de mme une dfinition. Un groupe est un ensemble G muni dune loi de
composition interne, disons , qui vrifie quelques proprits intressantes :
1) est associative : g, g 0 , g 00 G, g (g 0 g 00 ) = (g g 0 ) g 00 ;
2) possde un lment neutre, disons e : g G, g e=e g =g ;
3) tout lment de G possde un inverse pour : g G, g 0 G/ g g 0 = g 0 g = e.
Dans le cas prsent, U est un groupe pour la loi de multiplication des nombres complexes ; on peut bien dire que est
une loi de composition interne sur U car le produit de deux lments de U est un lment de U.

Dfinition (Exponentielle i) Soit R. On appelle exponentielle (de) i, note ei , le nombre complexe :


ei = cos + i sin .

4
c Christophe Bertault - MPSI

   Explication La notation ei , qui cache un cosinus et un sinus, nest quune notation : ei nest pas e la puissance
i , ce qui na aucun sens. Quel rapport avec lexponentielle classique alors ? Le choix de la notation ei est justifi par lassertion
(iii) du thorme suivant, o lon montre que ei se comporte comme une exponentielle classique.
En ralit, la notation ei nest pas seulement lie par analogie lexponentielle usuelle ; derrire tout cela se cache une et une
seule exponentielle. Mais ce nest pas de votre ge.

Thorme (Proprits algbriques de lexponentielle i) Soient , 0 R et n N.


ei + ei ei ei
(i) cos = et sin = (formules dEuler).
2 2i
1
(ii) ei 6= 0 et ei = ei = .
ei
0 0
(iii) ei(+ ) = ei ei .
n n
(iv) ein = ei , ou encore : cos + i sin = cos(n) + i sin(n) (formule de Moivre).
(1 + it)2
(v) Posons t = tan . Alors : ei = .
2 1 + t2

Dmonstration
0 0
(iii) Montrons que : ei(+ ) = ei ei .
0       
ei ei = cos + i sin [cos 0 + i sin 0 = cos cos 0 sin sin 0 + i sin cos 0 + cos sin 0
0
= cos( + 0 ) + i sin( + 0 ) = ei(+ ) .

n
(iv) Montrons que : ei = ein . Supposons fix et raisonnons par rcurrence sur n.

i 0 i0
Initialisation : e =1=e .
n n+1
Hrdit : Soit n N. On suppose que ei = ein . Montrons que ei = ei(n+1) . Or en vertu du

i n+1

i n i in i i(n+) i(n+1)
point prcdent : e = e e = e e = e =e . Fin de la rcurrence.

1 t2 2t 1 t2 + 2it (1 + it)2
(v) Nous savons que cos = 2
et que sin = 2
. Du coup ei = 2
= . 
1+t 1+t 1+t 1 + t2

Thorme (Paramtrisation de U par lexponentielle i)


Pour tout nombre complexe z : zU R/ z = ei .
0
Pour tous , 0 R, lgalit ei = ei implique lgalit de et 0 2 prs ; en dautres termes :
 0

, 0 R, ei = ei = 0 mod 2 .

i
   Explication n o n o
Le premier point signifie que U = z C/ R/ z = ei = ei . Ce rsultat ei
R
~ b
nest rien de plus que la version nombres complexes de la paramtrisation cartsienne M
trigonomtrique du cercle trigonomtrique ; pour tout point M de coordonnes (x, y) :

b
x = cos
M appartient au cercle trigonomtrique R/ . O ~ 1
y = sin
 
Pour tout rel , ei est laffixe du point M tel que OM = 1 et ~, OM mod 2.
U
Dmonstration
Montrons que : R, ei U.
p
Soit donc R. Alors : ei = cos + i sin = cos2 + sin2 = 1 = 1. Donc en effet ei U.

Montrons que tout lment de U admet une criture de la forme ei pour un certain R et quun tel est
unique 2 prs.
Soit donc u U. Nous avons |u|2 = Re(u)2 + Im(u)2 = 1. Nous savons quil existe alors un rel , unique
2 prs, tel que Re(u) = cos et Im(u) = sin . On a donc bien u = ei et est unique 2 prs. 

5
c Christophe Bertault - MPSI

2.2 Forme trigonomtrique dun nombre complexe

Dfinition (Arguments et forme trigonomtrique dun nombre complexe) Soit z C non nul.
z
Alors U. Il existe donc un rel , unique 2 prs, tel que z = |z|ei . Un tel rel est appel un argument de z.
|z|
Il existe un unique argument de z dans lintervalle ] , ] : on lappelle largument principal de z et on le note arg(z).

Lcriture z = |z|ei arg(z) est appele la forme trigonomtrique de z. Gomtriquement, |z|, arg(z) est un couple
de coordonnes polaires de limage de z.

$ $ $ Attention ! Notez bien que zro na pas dargument, et quen gnral, faute dunicit, on parle dun argument.

Thorme (Proprits des arguments) Soient z, z 0 C non nuls.



z
arg(z) arg(z) mod 2, arg(zz 0 ) arg(z) + arg(z 0 ) mod 2 et arg arg(z) arg(z 0 ) mod 2.
z0

Dmonstration Dmontrons par exemple la seconde galit.


0 0 0
On a : z = |z| ei arg(z) et z 0 = |z 0 | ei arg(z ) . Ainsi zz 0 = |z| ei arg(z) |z 0 | ei arg(z ) = |zz 0 | ei(arg(z)+arg(z )) , mais
0 0 i arg(zz 0 )
par ailleurs zz = |zz | e . L unicit de la forme trigonomtrique des nombres complexes montre alors
que arg(zz 0 ) arg(z) + arg(z 0 ) mod 2 comme voulu. 

2.3 Racines nmes



Pour tout entier naturel n > 2, nous supposons
connue la fonction n racine nme sur R+ , fonction rciproque de la fonction
n
x 7 x bijective de R+ sur R+ . La fonction n est donc dfinie par :

x, y R+ , y = n x x = y n .

Pour n = 2, on parle de racine carre et on note simplement ; pour n = 3, de racine cubique.
Nous reviendrons sur ces fonctions dans de prochaines aventures. Notez bien cest un principe gnral que la courbe
reprsentative dune fonction rciproque est le symtrique par rapport la droite dquation y = x de la courbe reprsentative
de la fonction de dpart.
y=x y=x y=x
x 7 x2 x 7 x3 x 7 x4




3
b b b 4

b b b

Dfinition (Racines nmes )


Soient z C et n N . On appelle racine nme de z tout nombre complexe tel que z = n .
Les racines nmes de 1 sont gnralement appeles les racines nmes de lunit. Leur ensemble est not Un .


$ $ $ Attention ! Si z est un nombre complexe qui nest pas un rel positif ou nul, la notation n
z est la plus interdite
des notations interdites.

6
c Christophe Bertault - MPSI

Thorme Soit n N .
La seule racine nme de 0 est 0.
Soit z C non nul, donn sous une forme trigonomtrique z = rei . Alors z possde exactement n racines nmes ; ce
i 2ik
sont les nombres complexes n
r e n + n , k dcrivant lensemble J0, n 1K.
n 2ik
o
En particulier : Un = e n .
06k6n1

   En pratique Vous devez connatre et savoir dmontrer ce rsultat parfaitement.

Dmonstration Le cas du nombre 0 est une idiotie, car un produit de nombres complexes est nul si et seulement
si lun des facteurs lest.
Nous allons commencer par travailler sur les racines de lunit ; nous gnraliserons ensuite partir de ce cas.

Racines nmes de lunit : Soit C. Notons = || et lunique argument de dans lintervalle


[0, 2[. Utilisons alors l unicit de la forme trigonomtrique des nombres complexes :
 n
n = 1 ei =1 n ein = 1.ei.0
n = 1 et n 0 mod 2 =1 et k Z/ n = 2k
2k 2k
=1 et k Z/ = =1 et k J0, n 1K/ = .
n n
On a pu remplacer Z par J0, n 1K, car [0, 2[. Nous avons donc obtenu lquivalence suivante :
2ik
n = 1 k J0, n 1K/ =e n , comme voulu.

Cela nous fait bien un total de n racines nmes de lunit, car les exponentielles ainsi dcouvertes sont toutes
distinctes.
i
Cas gnral : Soit z C non nul, donn sous une forme trigonomtrique z = rei . On pose = n r e n .
n
Il est immdiat que = z, et est non nul puisque z ne lest pas. Nous disposons donc dau moins une
racine nme de z. Nous allons trouver toutes les autres partir delle.
Soit alors C.
 n

n = z n = n =1 ( 6= 0)

2ik i 2ik
k J0, n 1K/ =e n k J0, n 1K/ = n
r en+ n .

Cest le rsultat voulu. 
jb
   Explication Tchons de visualiser ce thorme au moyen de quelques dessins.

A quoi ressemblent les racines cubiques de lunit ? b


2i
n o 1
2
Posons j = e notation connatre. Alors U3 = 1, j, j . Graphiquement, U3 est
3

lensemble des trois sommets du triangle quilatral reprsent ci-contre.


b
j2 = j

Et en gnral ? Plus gnralement, Un est lensemble des sommets de lunique polygone rgulier i.e. cts de mme
longueur n cts de centre O, passant par le point daffixe 1.
2i
i e 5 2i
e
i
b b j=e 3
b b
3
4i
e 5
b

1b b b b b
1 1 1 1
b
4i
b
e 5
b
b b
i
2i
i e
2i
5 j 2 = j = e 3 e 3

U4 est lensemble U5 est lensemble des sommets U6 est lensemble des sommets
des sommes dun carr dun pentagone rgulier dun hexagone rgulier

7
c Christophe Bertault - MPSI

Thorme (Proprits des racines nmes de lunit) Soit n N, n > 2.


Y Y
n1
2ik
 Y Y
n1
2ik
 X
n1
(i) Pour tout z C : (z ) = ze n = zn 1 et (z ) = ze n = zk .
Un k=0 Un r{1} k=1 k=0

X X
n1
2ik
(ii) La somme des racines nmes de lunit est nulle, i.e. : = e n = 0. En particulier, 1 + j + j 2 = 0.
Un k=0

Dmonstration
(i) Nous dmontrerons ces galits avec plus de rigueur dans le chapitre sur les polynmes. Pour le moment,
contentons-nous de remarquer que les racines nmes de lunit sont tous les zros de la fonction polynomiale
Y Y
n1
2ik

z 7 z n 1 ; cela explique quon ait : (z ) = ze n = z n 1. On obtient la seconde
Un k=0
identit en divisant la premire par (z 1) division problmatique quand z = 1, mais nous reverrons cela
plus tard.
n
X k 2i
2i X
n1
2ik
n1
2i e n 1 e2i 1
(ii) Puisque n 6= 1, e n 6= 1. Du coup : e n = e n = 2i = 2i = 0. 
k=0 k=0 e n 1 e n 1

   En pratique Nous tudions prsent une technique susceptible de nous fournir les racines carres dun nombre
complexe donn sous forme algbrique. Pour les racines nmes avec n > 2, cette recherche savre prilleuse.
Soit donc z C, donn sous forme algbrique z = x + iy. Nous voulons calculer les racines carres de z, i.e. rsoudre lquation
2 = z dinconnue C donne sous forme algbrique = a + ib. Lide gniale de la mthode est cache dans lquivalence
suivante : 2 = z 2 = z et ||2 = |z|. Cette quivalence peut paratre idiote, mais cest pourtant grce
elle que nous allons russir notre calcul.

a 2 b2 = x p
2 = z 2 = z et ||2 = |z| et a 2 + b2 = x2 + y 2
2ab = y
p p
2 x+ x2 + y 2 x + x2 + y 2
a = , b2 = et 2ab = y
2 2
(effectuer la somme et la diffrence des quations a2 + b2 = . . . et a2 b2 = . . .)
Le rsultat obtenu semble compliqu, mais on en tire aisment les valeurs de a et b : les galits a2 = . . . et b2 = . . . nous
permettent de connatre a et b au signe prs ; pour savoir si a et b sont de mme signe ou de signes contraires, on utilise lgalit
2ab = y. On obtient finalement, si z 6= 0, deux racines carres distinctes opposes de z.

5+i
Exemple Les racines carres de 12 + 5i sont .
2
En effet Soit C, donn sous forme algbrique = a + ib.
8 2 2

< a + b = 122 + 52
2 = 12 + 5i 2 = 12 + 5i et ||2 = |12 + 5i| a2 b2 = 12
:
2ab = 5
a2 + b2 = 13, a2 b2 = 12 et 2ab = 5
13 + 12 13 12
a2 = , b2 = et 2ab = 5
2 2
5 1
a = , b = et 2ab = 5
2 2
   
5 1 5 1
(a, b) = , ou (a, b) = , (a et b sont de mme signe car 2ab = 5 > 0)
2 2 2 2
5+i 5+i
= ou = comme annonc.
2 2

La technique prcdente de calcul des racines carres dun nombre complexe est ce dont nous avons besoin pour rsoudre les
quations du second degr coefficients complexes.

Thorme (Equation du second degr coefficients complexes) Soient a, b, c C avec a 6= 0. Les solutions de
b
lquation az 2 + bz + c = 0 dinconnue z C sont , o est lune quelconque des deux racines carres du discriminant
2a
b c
b2 4ac. La somme de ces solutions vaut et leur produit .
a a

8
c Christophe Bertault - MPSI

Dmonstration Pour tout z C :


  " 2 # " 2 #
2 b c 2 b b2 c b b2 4ac
az + bz + c = a z + z + =a z+ 2 + =a z+
a a 2a 4a a 2a 4a2
" 2  2 # "  # "  #   
b b b b b +
=a z+ =a z+ + . z+ =a z z .
2a 2a 2a 2a 2a 2a 2a 2a

Or un produit de nombres complexes est nul si et seulement si lun de ses facteurs lest. . . 

5+i
Exemple Les solutions de lquation 4z 2 + 8z 3 5i = 0 dinconnue z C sont 3 .
2 2
2
En effet Le discriminant de cette quation du second degr est = (8 3) 4.4.(5i) = 16(12 + 5i). Or nous
5+i 5+i
avons trouv tout lheure les racines carres de 12 + 5i ; par exemple, en est une. Du coup, = 4
2 2
8 3 5+i
est une racine carre de . Les solutions recherches sont donc bien = 3 .
2.4 2 2

2.4 Lexponentielle complexe

Dfinition (Exponentielle complexe) Soit z C, donn sous forme algbrique z = x + iy. On appelle exponentielle (de)
z, note ez , le nombre complexe ez = ex eiy .

Thorme (Proprits de lexponentielle complexe)


(i) Lexponentielle complexe est 2i-priodique, i.e. : z C, ez+2i = ez .
0 0
(ii) Equation fonctionnelle : Pour tous z, z 0 C : ez+z = ez ez .
Lexponentielle transforme les sommes en produits.
(iii) Lexponentielle complexe ne sannule pas, et pour tous z C, C :
ez = k Z/ z = ln || + i arg() + 2ik.

   Explication Lassertion (iii) implique que 0 est le seul nombre complexe qui nest lexponentielle daucun nombre
complexe ; pour tout C non nul, il existe z C une infinit en fait, via la 2i-priodicit tel que = ez .

Dmonstration
(i) Facile : z C, ez+2i = eRe(z) eiIm(z)+2i = eRe(z) eiIm(z) = ez .

(ii) Soient z, z 0 C.
0 0 0 0 0 0 0 0
ez+z = eRe(z+z )
eiIm(z+z ) = eRe(z)+Re(z )
eiIm(z)+iIm(z ) = eRe(z) eRe(z )
eiIm(z) eiIm(z ) = ez ez .

(iii) Lexponentielle relle ne sannule pas, nous le savons dj, et la fonction 7 ei non plus car ei = 1 ;
produit de ces deux fonctions, lexponentielle complexe ne sannule donc pas.
Soient alors z C et C . Utilisons l unicit de la forme trigonomtrique des nombres complexes.
z 
ez = e = || et arg ez arg() mod 2
Re(z)
e = || et Im(z) arg() mod 2
Re(z) = ln || et k Z/ Im(z) = arg() + 2k
k Z/ z = ln || + i arg() + 2ik. 

9
c Christophe Bertault - MPSI

2.5 Linarisation et factorisation dexpressions trigonomtriques


   En pratique Linariser une expression polynomiale en cos x et sin x, cest lexprimer laide de cos x, cos(2x). . . et
sin x, sin(2x). . . en supprimant toutes les puissances qui pouvaient apparatre. Pour mener bien une linarisation, on dispose
de deux outils : les formules dEuler et la formule du binme de Newton.
Les exemples valent ici mieux quun long discours. Vous devez savoir faire ce genre de calcul rapidement et sans aide.

sin(5x) 5 sin(3x) + 10 sin x


Exemple x R, sin5 x = .
16
En effet Soit x R.
Premire tape : On remplace sin x grce la formule dEuler pour le sinus, puis on dveloppe grce
la formule du binme de Newton.
 5
eix eix 1  5ix 
sin5 x = = e 5e3ix + 10eix 10eix + 5e3ix e5ix .
2i 32i
Seconde tape : On regroupe les puissances de eix de manire pouvoir utiliser les formules dEuler dans
lautre sens.
1  5ix    sin(5x) 5 sin(3x) + 10 sin x
sin5 x = e e5ix 5 e3ix e3ix + 10 eix eix = .
32i 16

cos(6x) 2 cos(4x) + cos(2x) + 2


Exemple x R, sin2 x cos4 x = .
32
En effet Soit x R.
Premire tape : On remplace cos x et sin x laide des formules dEuler, puis on dveloppe grce la
formule du binme de Newton les deux parenthses ainsi obtenues ; finalement on dveloppe de nouveau.
 2  4
2 eix eix
4 eix + eix 1  2ix  
sin x cos x = = e 2 + e2ix e4ix + 4e2ix + 6 + 4e2ix + e4ix
2i 2 64
1  6ix 
= e + 2e4ix e2ix 4 e2ix + 2e4ix + e6ix .
64
Seconde tape : On regroupe les puissances de eix de manire pouvoir utiliser les formules dEuler dans
lautre sens.
1  6ix 6ix     cos(6x) 2 cos(4x) + cos(2x) + 2
sin2 x cos4 x = e +e +2 e4ix +e4ix e2ix +e2ix 4 = .
64 32

   En pratique Pour effectuer des factorisations, vous devez connatre la technique de langle moiti. Cette technique
sert crire les complexes de la forme eix + eiy sous forme de produit. Lide est simple :
i(x+y)  i(xy) i(xy)  i(x+y) xy
x, y R, eix + eiy = e 2 e 2 +e 2 = 2e 2 cos .
2
x+y
On parle de langle moiti car la technique consiste seulement mettre en facteur lexponentielle associe langle . Cette
2
technique sadapte bien sr au cas des complexes de la forme eix eiy .

8  
>
> sin (n + 1)x cos(nx)
X
n < si x
/ Z
Exemple Soient n N et x R. cos(2kx) = sin x .
>
>
k=0 :
n+1 si x Z
En effet Vous devez savoir refaire cette dmonstration, lexercice est trs classique.
X
n
Si x Z, alors cos(2kx) = 1 pour tout k J0, nK, et donc cos(2kx) = n + 1 comme annonc. Supposons
k=0
/ Z, de sorte que e2ix 6= 1.
dsormais que x
! 0  1
X
n X
n   X
n   Angle
ei(n+1)x ei(n+1)x ei(n+1)x
2ix
6=1 e2i(n+1)x 1 moiti
Re @ A
e
cos(2kx) = Re e2ikx = Re e2ikx = Re =  
k=0 k=0 k=0
e2ix 1 eix eix eix
0  1    
Formule
dEuler sin (n + 1)x sin (n + 1)x   sin (n + 1)x cos(nx)
= Re @einx A= Re einx = . Cest termin.
sin x sin x sin x

10
c Christophe Bertault - MPSI

3 Nombres complexes et gomtrie plane


zb
3.1 Interprtation gomtrique de
za

zb
Thorme (Interprtation gomtrique de ) Soient a, b, z C tels que z 6= a et z 6= b. On note A limage de a, B
za
celle de b et M celle de z.    
z b MB zb

z a = MA et arg
za
M A, M B mod 2.

   En pratique Ce rsultat peut tre utilis pour dmontrer lalignement de A, B et M , ou pour montrer lorthogonalit
des droites (AM ) et (BM ).
  zb
A, B et M sont aligns M A, M B 0 mod R.
za
  zb
(AM ) et (BM ) sont orthogonales M A, M B mod iR.
2 za

3.2 Produit scalaire et dterminant

Thorme (Produit scalaire, dterminant et affixes) Soient ~


u et ~v deux vecteurs daffixes respectifs u et v.
  
u ~v = Re uv
~ et u, ~v = Im uv .
det ~

Dmonstration Notons u = x + iy et v = x0 + iy 0 les formes algbriques de u et v respectivement.


 
uv = (x iy)(x0 + iy 0 ) = (xx0 + yy 0 ) + i(xy 0 yx0 ) = ~
u ~v + i det ~
u, ~v . 

   En pratique Nous en dduisons un nouveau moyen de montrer lalignement de trois points, la colinarit de deux
vecteurs ou lorthogonalit de deux vecteurs.

3.3 Transformations usuelles

Thorme (Transformations usuelles lmentaires) Soit M un point daffixe z.


(i) Soit ~
u un vecteur daffixe u. Limage de M par la translation de vecteur ~
u a pour affixe le nombre complexe z + u.
(ii) Soit R. Limage de M par lhomothtie de centre O et de rapport a pour affixe le nombre complexe z.
(iii) Soit R. Limage de M par la rotation de centre O et dangle de mesure a pour affixe le nombre complexe ei z.

En particulier, iz est laffixe de limage de M par la rotation de centre O et dangle de mesure .
2
(iv) Limage de M par la symtrie centrale de centre O a pour affixe le nombre complexe z.
(v) Limage de M par la symtrie par rapport laxe des abscisses (Ox) a pour affixe le nombre complexe z.
(vi) Limage de M par la symtrie par rapport laxe des ordonnes (Oy) a pour affixe le nombre complexe z.

Dmonstration

(i) La translation de vecteur ~ u envoie M sur un certain point M 0 dfini par : OM 0 = OM + u. En termes
0 0 0
daffixes, si z est laffixe de M , nous obtenons comme voulu lgalit : z = z + u.

(ii) Lhomothtie de centre O et de rapport envoie M sur un certain point M 0 dfini par : OM 0 = OM .
En termes daffixes, si z 0 est laffixe de M 0 , nous obtenons comme voulu lgalit : z 0 = z.

11
c Christophe Bertault - MPSI

0
(iii) La rotation de centre O et dangle
 de mesure
 envoie M sur un certain point M dfini cette fois par deux

relations : OM 0 = OM et OM , OM 0 mod 2. En termes daffixes, si z 0 est laffixe de M 0 ,
nous obtenons donc dabord deux galits : |z 0 | = |z| et arg(z 0 ) arg(z) mod 2. Do enfin :
0
z 0 = |z 0 |ei arg(z ) = |z|ei arg(z)+i = ei z.
(iv) La symtrie centrale de centre O nest autre que lhomothtie de centre O et de rapport 1 utiliser
lassertion (ii).
(v) Dj observ.
(vi) La symtrie par rapport (Oy) nest autre que la compose de la symtrie par rapport (Ox) et de la
symtrie centrale par rapport O utiliser les assertions (iv) et (v). 

   En pratique Il est important de connatre la dmonstration prcdente, qui dailleurs est trs simple. Car elle
nous fournit la mthode adopter pour caractriser en termes daffixe nimporte quelle transformation usuelle compose de
transformations lmentaires.

Exemple Lhomothtie de centre = i et de rapport 2 est lapplication z 7 2z i.


En effet Soit M un point daffixe note z. Notons M 0 limage de M par lhomothtie tudie et z 0 laffixe de

M . Alors M 0 est dfini par : M 0 = 2M . En termes daffixes, cette identit scrit : z 0 i = 2(z i), i.e.
0

z 0 = 2z i.


Exemple La rotation de centre A = 2 + i et dangle de mesure est lapplication z 7 iz + 1 + 3i.
2
En effet Soit M un point daffixe note z. Notons M 0 limage de M par larotation tudie et z 0 laffixe de M 0 .


Alors M 0 est dfini par les deux relations : AM 0 = AM et AM , AM 0 mod 2, qui scrivent en
2
0 0
termes daffixes : |z 2 i| = |z 2 i| et arg(z 2 i) arg(z 2 i) mod 2.
2 i
0 0 i arg(z 0 2i) i arg(z2i) i
Par consquent : z 2 i = |z 2 i| e = |z 2 i| e 2 = e 2 (z 2 i).
i
Et finalement : z 0 = e 2 (z 2 i) + 2 + i = i(z 2 i) + 2 + i = iz + 1 + 3i comme voulu.

3.4 Similitudes et isomtries

Dfinition (Similitude, isomtrie)


Soit > 0. On appelle similitude (plane) de rapport toute application f du plan dans lui-mme telle que pour tous
points M, N :
f (M )f (N ) = M N.

On appelle isomtrie (plane) toute application f du plan dans lui-mme telle que pour tous points M, N :
f (M )f (N ) = M N .

   Explication Une isomtrie est une application qui prserve les distances tymologiquement, iso-mtrie signifie
mme mesure . Une similitude est une application qui mulitplie les distances dans un rapport constant. En particulier, il est
clair que toute isomtrie est une similitude de rapport 1.

Exemple Les translations, les rotations et les symtries axiales sont des isomtries. Les homothties sont des similitudes.

Le thorme suivant montre que les similitudes sont des transformations trs simples quand on les observe travers le miroir
des affixes.

Thorme (Caractrisation complexe des similitudes/isomtries planes)


(i) Les similitudes planes sont exactement toutes les applications de la forme z 7 az + b ou z 7 az + b, o a, b C
et a 6= 0.
(ii) Les isomtries planes sont exactement toutes les applications de la forme z 7 az + b ou z 7 az + b, o a, b C
et |a| = 1.

12
c Christophe Bertault - MPSI

Dmonstration
(i) Il est clair que
toute application de la forme z 7 az + b, o a, b C et a 6= 0, est une similitude, car :
z, z 0 C, (az 0 + b) (az + b) = |a|.|z 0 z| le rapport de la similitude est prcisment |a|. Mme
chose pour les applications de la forme z 7 az + b.

Rciproquement, soit f une similitude de rapport > 0. Nous voulons montrer que f est soit de la forme
z 7 az + b, soit de la forme z 7 az + b, o a, b C et a 6= 0. La preuve seffectue en plusieurs tapes.

Puisque f est une similitude : f (1) f (0) = |1 0| = > 0. Par consquent f (0) 6= f (1).
f (z) f (0)
Nous pouvons donc poser, pour tous z C : g(z) = . Alors pour tous z, z 0 C :
f (1) f (0)

0 0 f (z 0 ) f (z) |z 0 z|
g(z 0 ) g(z) = f (z ) f (0) f (z) f (0) = f (z ) f (z) = = = |z 0 z|.
f (1) f (0) f (1) f (0) f (1) f (0) f (1) f (0) |1 0|

Ce calcul montre que g est une isomtrie. Nous allons tudier g pour obtenir des informations sur f .
Remarquons quon a g(0) = 0 et g(1) = 1.
 
Montrons que : z C, g(z) = z ou g(z) = z .
Fixons z C. Introduisons les formes algbriques de z et g(z) : z = x + iy et g(z) = x0 + iy 0 , o
x, x0 , y, y 0 R. Puisque g est une isomtrie et puisque g(0) = 0 et g(1) = 1, alors :

g(z) = g(z) g(0) = |z 0| = |z| et g(z) 1 = g(z) g(1) = |z 1|.

Ces deux galits nous conduisent un systme de deux quations :


 ( 
x02 + y 02 = x2 + y 2 x02 + y 02 = x2 + y 2 x0 = x
1 1 .
(x0 1)2 + y 02 = (x 1)2 + y 2 x0 = x L2 L1 L2 y 0 = y
2 2
Ceci montre comme voulu que g(z) = x0 + iy 0 = x + iy = z ou g(z) = x0 + iy 0 = x iy = z.
   
Montrons que : z C, g(z) = z ou z C, g(z) = z .
Nous venons de montrer que pour tout z, g(z) vaut z ou z. Mais on peut avoir a priori g(z) = z pour
certains z et g(z 0 ) = z 0 pour dautres z 0 . Il sagit maintenant de montrer quon a soit toujours g(z) = z,
soit toujours g(z) = z rsultat beaucoup plus fort. Remarquons quen vertu du point prcdent, on a
soit g(i) = i, soit g(i) = i = i.
1) Supposons dabord que g(i) = i et montrons que : z C, g(z) = z.
Soit z C. Faisons lhypothse que g(z) = z. Alors |z i| = g(z) g(i) = |z i|, i.e. |z + i| = |z i|.
Cette galit signifie que z est quidistant des points i et i, donc que z est situ sur leur mdiatrice
qui est laxe des rels. Ainsi z R et donc g(z) = z = z.
2) On montrerait de mme que si g(i) = i, alors : z C, g(z) = z.

Tchons de conclure. Posons a = f (1) f (0) 6= 0 et b = f (0). Alors par dfinition de g :


f (z) b
z C, g(z) = . Via le dernier point, nous avons bien soit : z C, f (z) = az + b,
a
soit : z C, f (z) = az + b. Fin de la preuve.

(ii) Les isomtries sont exactement toutes les similitudes de rapport 1. Or toute similitude est de la forme
z 7 az + b ou z 7 az + b, o a, b C et a 6= 0. Mais nous avons vu par ailleurs que le rapport dune telle
similitude est |a|. Les isomtries sont donc comme voulu toutes les applications de la forme z 7 az + b ou
z 7 az + b avec |a| = 1. 

Dfinition (Similitude plane directe/indirecte)


(i) Toute similitude plane de la forme z 7 az + b avec a, b C et a 6= 0 prserve les angles orients de vecteurs. Une
telle similitude est dire directe.
(ii) Toute similitude plane de la forme z 7 az + b avec a, b C et a 6= 0 transforme tout angle orient de vecteurs en
son oppos. Une telle similitude est dire indirecte.

   Explication Ce rsultat est tout fait non trivial : il ntait pas du tout vident, quand nous avons dfini la notion
de similitude, quune application qui multiplie les distances dans un rapport constant prserve ou renverse les angles orients.

13
c Christophe Bertault - MPSI

Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude z 7 az + b. Soient en outre U, V, W trois points distincts
daffixes respectives u, v, w. Leurs images respectives par f sont notes U 0 , V 0 , W 0 , daffixes u0 , v 0 , w0 . Alors :
   
u0 w0 (au + b) (aw + b) a(u w) uw u0 w0 uw
= = = , et donc : arg arg mod 2.
u0 v 0 (au + b) (av + b) a(u v) uv u0 v 0 uv

00 00  

Nous avons ainsi montr lgalit : U V ,U W U V , U W mod 2. Comme voulu, f prserve les
angles orients.
(ii) Imiter la preuve de lassertion (i). 

Exemple Les translations, les rotations et les homothties sont des similitudes directes. Les symtries axiales sont quant
elles indirectes.

Thorme (Caractrisation gomtrique des similitudes/isomtries planes directes)


(i) Toute similitude plane directe est soit une translation, soit la compose dune homothtie de rapport strictement
positif et dune rotation de mme centre. Dans ce second cas, si f est la compose dune homothtie de centre et de rapport
> 0 et dune rotation de mme centre et dangle de mesure , alors on dit que f est la similitude (directe) de centre , de
rapport et dangle de mesure .
(ii) Toute isomtrie plane directe est soit une translation, soit une rotation.

   Explication

Encore un rsultat non trivial. Dans le cas isomtries par exemple, il ntait pas du tout clair a priori s(M )
b
quune application qui prserve les distances et lorientation est soit une translation (dplacement Ici = 2.
suivant un vecteur constant), soit une rotation (dplacement angulaire constant autour dun point
fixe). On aurait pu imaginer que dautres transformations plus exotiques prservaient les distances.

La figure ci-contre illustre laction dune similitude s de centre , de rapport et dangle de mesure b b

sur un point M . On tourne et on dilate, ou bien on dilate et on tourne. M

Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude directe z 7 az + b. Si a = 1, alors f est la translation
de vecteur daffixe b. Supposons donc dsormais a 6= 1. Alors lquation f possde un unique point fixe :
b
lquation f () = dinconnue C possde une unique solution = . Notons le point dimage
1a
. Du coup, pour tout z C :
   
f (z) = f (z)f () = (az+b)(a+b) = a(z) = |a| ei arg(a) (z ) = ei arg(a) |a|(z ) .
| {z } | {z }
Rotation de centre Homothtie de centre
et dangle de mesure arg (a) et de rapport |a| > 0
| {z } | {z }
Homothtie de centre Rotation de centre
et de rapport |a| > 0 et dangle de mesure arg (a)

Comme voulu, f apparat comme la compose dune homothtie et dune rotation de mme centre.
(ii) Le cas des isomtries directes se dduit du cas des similitudes directes : une similitude directe de rapport
1 est soit une translation, soit une rotation. 

1 + 2i
Exemple Lapplication f : z 7 2iz + 1 est la similitude de centre , de rapport 2 et dangle de mesure .
5 2
En effet Comme le coefficient de z dans la forme de f est 2i 6= 1, f nest pas une translation. Son rapport est

alors |2i| = 2 et son angle a pour mesure arg(2i) = .
2
1 1 + 2i
Enfin le centre de f est son unique point fixe . Calculons son affixe : f () = = = .
1 2i 5

14