Вы находитесь на странице: 1из 42

Les nombres complexes

Plan du chapitre
1 Bref historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
2 Forme algbrique des nombres complexes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 4

5
6

2.1 Dfinition de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 4


2.1.1 Dfinition des oprations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 4
2.1.2 Proprits de laddition et de la multiplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 4
2.1.3 Inverse dun nombre complexe non nul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 5
2.2 Les diffrents ensembles de nombres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
2.3 Parties relle et imaginaire dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
2.3.1 Egalit de deux nombres complexes sous forme algbrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
2.3.2 Parties relle et imaginaire. Dfinitions et proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 7
2.4 Reprsentation gomtrique dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 7
2.5 Conjugu dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 9
2.6 Module dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 11
Le second degr dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 16
3.1 Transformation canonique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 16
3.2 Racines carres dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 16
3.3 Lquation du second degr dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 18
3.4 Factorisation dun trinme du second degr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 19
3.5 Le discriminant rduit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 19
3.6 Somme et produit des racines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 19
3.7 Le cas particulier de lquation coefficients rels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
Forme trigonomtrique dun nombre complexe non nul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
4.1 Nombres complexes de module 1. La notation ei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 20
4.2 Forme trigonomtrique dun nombre complexe non nul. Arguments dun nombre complexe non nul. . . . . . .page 22
4.3 Application la trigonomtrie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 22
4.3.1 Les formules dEuler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 24
4.3.2 Polynmes de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 25
4.3.3 Linarisation de polynmes trigonomtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 27
4.4 Applications la gomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 27
4.4.1 Cercles et disques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 27
dc
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 28
4.4.2 Interprtation gomtrique dun argument de
ba
Racines n-mes dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 30
5.1 Racines n-mes de lunit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 30
5.2 Racines n-mes dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 35
Similitudes planes directes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 36
6.1 Translations, homothties, rotations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 36
6.1.1 Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 36
6.1.2 Homothties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 37
6.1.3 Rotations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 37
6.2 Etude des transformations z 7 az + b . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 38
Exponentielle dun nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 40
7.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 40
7.2 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 40

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

Bref historique

Les nombres complexes sont ns dun problme algbrique : la rsolution de lquation de degr 3. Replaons nous dans le
contexte. Nous sommes au XVI me sicle. Limprimerie a entre cinquante et cent ans dexistence. On ne connat pas les
nombres complexes. Les grands noms des mathmatiques de lpoque sont Girolamo Cardano (en franais, Jerome
Cardan) (1501-1576), Nicolo Tartaglia (1500-1557), Ludovico Ferrari (1522-1565) et Rafael Bombelli (15261573). Ils travaillent sur la rsolution des quations, mais nont pas encore disposition notre formalisme (la lettre x). Par
exemple, le problme x3 + 6x = 20 devient sous la plume de Cardan : Soit le cube et six fois le ct gal 20 .
On sait rsoudre lquation de degr 1 avec une ide simple. Lgalit 2x 4 = 6 signifie : en partant dun nombre
inconnu x, en le multipliant par 2 puis en retranchant 4, on trouve 6. Pour retrouver le nombre initial, on effectue les
oprations contraires en sens inverse. On rajoute 4 au nombre 6, puis on redivise le rsultat obtenu par 2 et on
4+6
= 5.
obtient x =
2
Il en est de mme pour lquation de degr 2 : x2 4 = 12. Effectuer les oprations contraires consiste rajouter4 12 pour
obtenir 16puis faire le contraire de llvation au carr savoir reprendre la racine carre. On obtient x = 4 + 12 = 4
(ou x = 4 + 12 = 4). Les choses se compliquent avec lquation x2 4x + 3 = 0. Il ne semble plus possible de trouver
les oprations successives effectues partir de linconnue x. Le problme est que linconnue apparat deux fois. Tout
se passe comme si on avait en fait deux inconnues : x et x2 . Mais une astuce algbrique (la transformation canonique)
permet de se ramener une quation o linconnue apparat une seule fois et donc o lon comprend les diffrentes tapes
de calcul effectues partir de linconnue x.
x2 4x + 3 = 0 (x 2)2 1 = 0,

et pour obtenir linconnue


x, il ny a plusqu partir de 0, ajouter 1, prendre la racine carre () et finalement ajouter 2

pour obtenir x = 2 + 1 = 3 ou x = 2 1 = 1.
Passons lquation de degr 3. Par exemple, soit lquation
x3 + 3x2 21x 95 = 0

(E1 ).

Comme pour lquation de degr 2, on cherche transformer le premier membre de sorte que linconnue napparasse
quune seule fois. On espre parvenir une quation du genre (x + 1)3 27 = 0. On peut commencer le travail :
x3 + 3x2 21x 95 = 0 (x + 1)3 3x 1 21x 95 = 0 (x + 1)3 24x 96 = 0.

Malheureusement, le terme 24x persiste. Conservons nanmoins lide en considrant la nouvelle inconnue y = x + 1.
Lquation (E1 ) scrit maintenant plus simplement :
(E1 ) y3 24(y 1) 96 = 0 y3 24y 72 = 0 (E1 ).

La nouvelle quation est un peu plus simple car le terme de degr 2 a disparu, mais un terme de degr 1 est toujours
crit. Si maintenant, on cherche le faire disparatre laide dun nouveau changement dinconnue, on peut, mais on fera
rapparatre un terme de degr 2. En fait, une manipulation algbrique ne fera pas, dans le cas gnral, disparatre la
fois le terme de degr 1 et le terme de degr 2 (mme si pour lquation x3 + 3x2 + 3x 26 = 0, cela marche en lcrivant
successivement x3 + 3x2 + 3x + 1 27 = 0 puis (x + 1)3 27 = 0). Pour continuer, il faut une ide neuve. Cardan a eu
lide de chercher une solution de (E1 ) sous la forme y = u + v (pourquoi pas ?). Cela donne
(E1 ) (u + v)3 24(u + v) 72 = 0 u3 + v3 + 3u2 v + 3uv2 24(u + v) 72 = 0
3
3
u + v3 72 = 0
u + v3 = 72
u3 + v3 72 + (u + v)(3uv 24) = 0

3uv 24 = 0
u3 v3 = 83 = 512

Il faut faire attention limplication intermdiaire. Ce nest pas une quivalence. Cette implication doit tre comprise
sous la forme : si on trouve deux rels u et v tels que la somme u3 + v3 vaut 72 et le produit u3 v3 vaut 512, alors le
nombre y = u + v est solution de (E ) puis le nombre x = y 1 est solution de (E).
u3 et v3 sont les solutions de lquation de degr 2 : X2 72X + 256 = 0 (). Tout est l. Lide de Cardan a permis de
ramener la rsolution dune quation de degr 3 la rsolution dune autre quation, de degr 2 celle l. Le discriminant
rduit de () est = 362 512 = 784 = (28)2 . Les solutions de cette dernire quation sont donc u3 = 36 28 = 8 = 23
et v3 = 36 + 28 = 64 = 43 . Le nombre y = 2 + 4 = 6 est donc solution de (E ) puis le nombre x = y 1 = 5 est solution
de (E). On peut alors achever la rsolution de (E) en mettant (x 5) en facteur :
(E) x3 + 3x2 21x 95 = 0 (x 5)(x2 + 8x + 19) = 0 (x 5)((x + 4)2 + 3) = 0,

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

et (E) admet une et une seule solution (relle) savoir 5.


Ressayons tout ceci avec lquation x3 54x + 108 = 0 (E2 ). On pose x = u + v et on obtient :

(E2 ) (u + v)3 54(u + v) + 108 = 0 u3 + v3 + 108 + (u + v)(3uv 54) = 0

u3 + v3 = 108
u3 v3 = 183 = 5832

u3 et v3 sont alors les solutions de lquation X2 + 108X + 5832 = 0 () dont le discriminant rduit vaut cette foisci : = 542 5832 = 2916 = (542 ). () na donc pas de solution, si on ne connat pas les complexes. Pourtant, le
polynme x3 54x + 108, de degr 3, a forcment une racine car pour x = 1000, il prend une valeur ngative alors
que pour x = 1000, il prend une valeur positive, et il doit donc bien sannuler quelque part (la notion de continuit et
le thorme des valeurs intermdiaires ne seront connus que bien plus tard). Il ny a pas de raison que la mthode ne
fonctionne plus, simplement parce que () na pas de solution. Cardan (ou dautres ?) dcide de continuer :

X2 + 108X + 5832 = (X + 54)2 542 + 5832 = (X + 54)2 + 542 = (X + 54)2 (54 1)2

= (X + 54 + 54 1)(X + 54 54 1).

On y est, les complexes sont en train de natre. Lexpression 1 apparat comme un objet absurde qui plus
tard scrira
i (initiale du mot impossible et non pas du mot imaginaire ) (il faut noter quaujourdhui
la
notation
1 na aucun

sens car on ne sait pas si elle dsigne le nombre i ou le nombre i et on ncrit jamais 1).

On a ainsi u3 = 54(1 1) et v3 = 54(1 + 1) et donc


q

q
q
q

3
3
3
3
2(1 1) + 2(1 + 1)
x = 54(1 1) + 54(1 + 1) = 3
est solution de (E2 ). Le rsultat sous cette forme na videmment aucun intrt et il reste encore dcouvrir que

1)3 = 1 3 1 + 3( 1)2 ( 1)3 = 1 3 1 3 + 1 = 2 2 1,

de sorte que lon peut prendre u


= 3(1 1). De mme, en remplaant 1 par 1 (l, cest la notion de conjugu
qui pointe son nez), v = 3(1 + 1) et finalement, x = u + v = 6. On reporte alors le nombre 6 dans lquation, un peu
sceptique, et on constate merveill que marche :63 54 6 + 108 = 216 324 + 108= 0. En stant permis dcrire

1, on est all au bout des calculs, le nombre 1 disparaissant en fin de parcours et nayant donc t quun outil
intermdiaire, sans statut propre.

Dans un premier temps, ce nouvel objet ( 1) effraie, et va mettre du temps simposer. Pour preuve, constatons
quil a fallu attendre encore longtemps pour voir se mettre en place le vocabulaire et les notations que nous connaissons
aujourdhui : Descartes empoie le mot imaginaire en 1637, Euler introduit la notation i en 1777, et il faut attendre
1831 pour que Gauss parle de nombre complexe.
(1

Revenons maintenant au programme des classes prparatoires. Si la mthode de Cardan na pas tre connue dans sa
version gnrale, les manipulations prcdentes fournissent des exercices classiques dcrits ou doraux de concours :
p
p

3
3
Exercice 1. (E.S.T.P 1998) Simplifier le nombre 7 + 5 2 7 + 5 2.

Solution 1. p
On se sert des ides
prcdentes.
p
p
p
p
p

3
3
3
3
3
3
Posons u =
7+ 5 2, v
=
7 5 2 puis
a
=
7
+
5
2

7
+
5
2
=
7
+
5
2
+
7

5
2 = u + v. On a

u3 + v3 = 7 + 5 2 + 7 5 2 = 14 et uv = 3 49 50 = 1 puis
a3 = u3 + 3u2 v + 3uv2 + v3 = (u3 + v3 ) + 3uv(u + v) = 14 3a.
a est donc lune des solutions relles de lquation x3 + 3x 14 = 0 (E). Or, pour tout rel x,


x3 + 3x 14 = (x 2) x2 + 2x + 7 = (x 2) (x + 1)2 + 6 .

Ainsi, lquation (E) admet une et une seule solution relle savoir 2. Finalement,
p
p

3
3
7 + 5 2 7 + 5 2 = 2.

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

Forme algbrique des nombres complexes

2.1
2.1.1

Dfinition de C
Dfinitions des oprations

Aucune construction prcise du corps des complexes nest au programme des classes prparatoires. Donc, on admettra
quil existe un ensemble de nombres, not C, contenant lensemble R des nombres rels, tel que :
les lments de C, appels nombres complexes, sont de la forme a + ib o a et b sont deux nombres rels et i
est un nombre non rel.
C est muni de deux oprations + et dfinies par :
(a, b, a , b ) R4 , (a + ib) + (a + ib ) = (a + a ) + i(b + b ),
et
(a, b, a , b ) R4 , (a + ib) (a + ib ) = (aa bb ) + i(ab + a b).
En particulier,
i2 = 1.
Les rels sont les complexes de la forme a + 0i o a est rel. Plus prcisment, pour a rel, a + 0i = a.

Commentaire .

Dans ce qui prcde, rien ne tient debout, car un nombre complexe a + ib est dfini partir du nombre i et le nombre i est dfini
partir de la multiplication de deux nombres complexes ... Une construction mticuleuse serait ncessaire pour rendre lensemble
cohrent.
Quand (a, b) = (a , b ) = (0, 1), la formule (a + ib) (a + ib ) = (aa bb ) + i(ab + ba ) fournit i2 = 1.

2.1.2

Proprits de laddition et de la multiplication

Laddition et la multiplication dans C prolongent laddition et la multiplication dans R en ce sens que la somme et
le produit de deux nombres complexes qui sont des rels sont la somme et le produit de ces rels dans R. Le thorme
suivant dit que laddition et la multiplication dans C ont les mmes proprits que laddition et la multiplication dans R :
Thorme 1.
(z, z ) C2 , z + z = z + z
(z, z , z ) C3 , (z + z ) + z = z + (z + z )
z C, z + 0 = z
z C, z + (z) = 0

(z, z ) C2 , z z = z z
(z, z , z ) C3 , (z z ) z = z (z z )
z C, z 1 = z

Commentaire .
La premire proprit dit que laddition et la multiplication des nombres complexes est commutative. La deuxime proprit dit
que laddition et la multiplication des nombres complexes est associative. La troisime proprit dit que 0 (le nombre complexe
0 + 0i) est lment neutre pour laddition et 1 (le nombre complexe 1 + 0i) est lment neutre pour la multiplication. La dernire
proprit dit que z (si z = x + iy o x et y sont deux rels, alors z = x iy) est loppos de z. Ce vocabulaire sera dfini
prcisment dans le chapitre Structures .
Dans le thorme ci-dessus, il manque la notion dinverse dun nombre complexe non nul. Ceci sera analys dans le paragraphe
suivant.
Dmonstration .

Nous ne dmontrerons titre dexemple que lassociativit de la multiplication.

Soient x, x , x , y, y et y six rels puis z = x + iy, z = x + iy et z = x + iy .






(z z ) z = (x + iy)(x + iy ) (x + iy ) = (xx yy ) + i(xy + yx ) (x + iy )


= (xx yy )x (xy + yx )y + i (xx yy )y + (xy + yx )x
= (xx x yy x xy y yx y ) + i(xx y + xy x + yx x yy y )

et

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr





z (z z ) = (x + iy) (x + iy )(x + iy ) = (x + iy) (x x y y ) + i(x y + y x )


= x(x x y y ) y(x y + y x ) + i x(x y + y x ) + y(x x y y )
= (xx x xy y yx y yy x ) + i(xx y + xy x + yx x yy y ).

Donc, (z z ) z = z (z z ).

Thorme 2. (z, z , z ) C3 , (z + z ) z = z z + z z .
Commentaire . On dit que multiplication est distributive sur laddition.
Dmonstration .

Soient x, x , x , y, y et y six rels puis z = x + iy, z = x + iy et z = x + iy .





(z + z ) z = (x + iy) + (x + iy ) (x + iy ) = (x + x ) + i(y + y ) (x + iy )


= (x + x )x (y + y )y + i (x + x )y + (y + y )x
= (xx + x x yy y y ) + i(xy + x y + yx + y x )

 

= (xx yy ) + i(xy + yx ) + (x x y y ) + i(x y + y x )

= z z + z z .

2.1.3

Inverse dun nombre complexe non nul.

Thorme 3. Tout nombre complexe non nul a un inverse pour la multiplication ou encore
z C \ {0}, z C/ z z = 1.
De plus, si z = x + iy o (x, y) R2 \ {(0, 0)}, linverse z de z, not

1
, est
z

y
x
1
i 2
.
= 2
z
x + y2
x + y2
Dmonstration .

Soient x et y deux rels tels que (x, y) 6= (0, 0) puis z = x + iy.

Tout dabord, x2 + y2 est la somme de deux rels positifs, lun de ces deux rels tant strictement positif. Donc, x2 + y2 est un rel
strictement positif et en particulier x2 + y2 nest pas nul. Ensuite,

(x + iy)

x
y
i 2
x2 + y2
x + y2


= x
=

x
y
y 2
x2 + y2
x + y2

y
x
+i x 2
+y 2
x + y2
x + y2

x2 + y2
= 1.
x2 + y2

Commentaire . Nous reviendrons sur la notion dinverse dun nombre complexe dans le paragraphe module dun nombre
complexe .

2
2 3i
3
1
=
= 2
i.
2 + 3i
2 + 32
13 13
Une consquence importante du thorme 3 pour la rsolution des quations algbriques est
Par exemple,

Thorme 4. Dans C, un produit de facteurs est nul si et seulement si lun de ses facteurs est nul.
Dmonstration .

Soient A et B deux nombres complexes tels que A B = 0.

Si A 6= 0 alors A B = 0

1
1
AB=
0 B = 0. Rciproquement, si A = 0 ou B = 0, alors A B = 0.
A
A

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

2.2

Les diffrents ensembles de nombres

On dmarre avec lensemble N des entiers naturels qui permettent de compter des objets. Cet ensemble de nombres savre
insuffisant pour parler de dettes ou de temprature en dessous de 0. Il faut crer entre autres le nombre 1 ou encore dans
N, lquation x + 1 = 0.
On cre donc lensemble Z des entiers relatifs. Cet ensemble de nombres est encore insuffisant pour diviser en 10. Il faut
1
crer le nombre
= 0, 1 ou encore dans Z, lquation 10x = 1 na pas de solution.
10
n
On cre donc lensemble D des nombres dcimaux. Ce sont les nombres de la forme p o n est un entier relatif et p
10
est un entier naturel. Dans ce nouvel ensemble de nombres, lquation 3x = 1 na pas de solution. Dit autrement, on peut
1
dmontrer que le nombre , une fois cr, nest pas un nombre dcimal.
3
a
o a est un entier relatif et b est un
On cre lensemble Q des nombres rationnels. Ce sont les nombres de la forme
b
2
entier naturel non nul. Dans cet ensemble, lquation x = 2 ou encore le nombre 2, une fois cr, nest pas un nombre
rationnel.

1
On cre lensemble R des nombres rels comme ou 2 ou e mais aussi 1 ou 1 ou . Dans cet ensemble de nombres, il
3
reste encore des quations polynomiales qui nont pas de solution comme lquation x2 + 1 = 0 par exemple, ou encore il
manque des nombres.
On cre un nombre i vrifiant i2 = 1 puis on cre lensemble C des nombres complexes, nombres de la forme a + ib o a
et b sont deux nombres rels. Dans cet ensemble, lquation x2 + 1 = 0 a au moins solution. On dmontre en algbre que
dans lensemble C, toute quation polynomiale de degr suprieur ou gal 1 admet au moins une solution (thorme de
dAlembert-Gauss). Dun certain point de vue, on a donc enfin tous les nombres.
N

Lquation x + 1 = 0 na pas de solution dans N

Lquation 10x = 1 na pas de solution dans Z

Lquation 3x = 1 na pas de solution dans D

Lquation x2 = 2 na pas de solution dans Q

Lquation x2 = 1 na pas de solution dans R

Toute quation polynomiale a au moins une solution dans C

6=

6=

6=

6=

6=

2.3
2.3.1

Parties relle et imaginaire dun nombre complexe


Egalit de deux nombres complexes sous forme algbrique

Thorme 5. Pour tous rels a et b,

a + ib = 0 a = b = 0.

Plus gnralement, pour tous rels a, a , b et b

a + ib = a + ib a = a et b = b .

Dmonstration .

a
Soient a et b deux rels tels que a + ib = 0. Supposons par labsurde que b 6= 0. Alors, i = . En particulier, i est un rel ce qui
b
nest pas (car aucun rel na pour carr le nombre 1).
Donc, b = 0 puis a = 0. Rciproquement, si a = b = 0, alors a + ib = 0.
Soient a, a , b et b quatre rels.
a + ib = a + ib (a a ) + i(b b ) = 0 a a = b b = 0 a = a et b = b .
c Jean-Louis Rouget, 2016. Tous droits rservs.

http ://www.maths-france.fr

La proprit a + ib = a + ib a = a et b = b donne la possibilit didentifier les coefficients quand ceux-ci


sont rels. Par exemple, si x et y sont deux rels,



x+y=4
(x + y) + (x y) = 4 + 2
x=3
(x + y) + i(x y) = 4 + 2i

.
xy=2
(x + y) (x y) = 4 2
y=1

Ceci devient compltement faux si lun des nombres a, a , b ou b nest plus rel. Plus prcisment, si a, a , b ou b sont
des nombres complexes quelconques,
a + ib = a + ib 6 a = a et b = b .

Par exemple, 0 + 0 i = 0 = 1 + i i et pourtant 0 6= 1 et 0 6= i.


2.3.2

Partie relle et partie imaginaire. Dfinitions et proprits

Le thorme 4 dit que les deux nombres rels a et b dfinissant le nombre complexe z = a + ib sont uniquement dfinis
par le nombre complexe z. Ceci motive la dfinition suivante :
Dfinition 1. Soient a et b deux rels puis z = a + ib.
a est la partie relle du nombre complexe z et se note Re(z). b est la partie imaginaire du nombre complexe z et
se note Im(z).
Pour tout nombre complexe z, on a donc
z = Re(z) + i Im(z).
 Lexpression partie imaginaire est pigeuse. On aurait envie de dire que la partie imaginaire du nombre complexe
a + ib (o a et b sont deux rels) est ib. Ce nest pas le cas. La partie imaginaire du nombre complexe a + ib,
(a, b) R2 , est b et en particulier, la partie imaginaire dun nombre complexe est un rel.
Dfinition 2.
Les nombres complexes dont la partie imaginaire est nulle sont les rels.
Les nombres complexes dont la partie relle est nulle sont les imaginaires purs.
Notation. Lensemble des rels est R. Lensemble des imaginaires purs, cest--dire lensemble des iy o y dcrit R, se
note iR.
Thorme 6.
(z, z ) C2 , Re (z + z ) = Re(z) + Re(z ) et Im (z + z ) = Im(z) + Im(z ).
(, z) R C, Re (z) = Re(z) et Im (z) = Im(z).
Dmonstration .
Soit (z, z ) C2 .
z + z = (Re(z) + i Im(z)) + (Re(z ) + i Im(z )) = (Re(z) + Re(z )) + i(Im(z) + Im(z )).

Puisque Re(z)+Re(z ) et Im(z)+Im(z ) sont deux rels, on a montr que Re (z + z ) = Re(z)+Re(z ) et Im (z + z ) = Im(z)+Im(z ).
Soit (, z) R C.
z = (Re(z) + i Im(z)) = Re(z) + i Im(z).
Puisque Re(z) et Im(z) sont deux rels, on a montr que Re (z) = Re(z) et Im (z) = Im(z).

Ainsi, pour tout nombre complexe z, Re(2z + 3) = 2Re(z) + 3 et Im(2z + 3) = 2Im(z).

2.4

Reprsentation gomtrique des nombres complexes

On munit le plan dun repre orthonorm O,


u,
v .
A tout point du plan M de coordonnes (x, y), on peut associer le nombre complexe zM = x + iy. Le nombre complexe
zM sappelle laffixe du point M.
Inversement, tout nombre complexe z = x + iy avec (x, y) R2 , on peut associer le point M de coordonnes (x, y). M
sappelle limage ponctuelle du nombre complexe z.
c Jean-Louis Rouget, 2016. Tous droits rservs.

http ://www.maths-france.fr

A tout vecteur du plan


u de coordonnes (x, y), on peut associer le nombre complexe z
u
u = x + iy. Le nombre z

sappelle laffixe du vecteur


u.

Inversement, tout nombre complexe z = x + iy avec (x, y) R2 , on peut associer le vecteur


u de coordonnes (x, y).
u
sappelle limage vectorielle du nombre complexe z.

Si le point M a pour affixe z, sur un dessin on peut crire M(z) ou si le vecteur


u a pour affixe z, sur un dessin on peut

crire u (z). Ainsi, si z = x + iy o x et y sont deux rels, on a le dessin suivant

z)
u(

y
b

M(z)

Thorme 7.
Soient A et B deux points du plan. Le milieu I du segment [AB] a pour affixe zI =

= zB zA .
Soient A et B deux points du plan. Le vecteur AB a pour affixe z
AB

Dmonstration .

zA + zB
.
2

Soient A et B deux points du plan de coordonnes respectives (xA , yA ) et (xB , yB ).


x + x y + y 
A
B
A
B
. Donc,
,
2
2
xA + xB
yA + yB
1
1
zI =
+i
= ((xA + iyA ) + i (xB + iyB )) = (zA + zB ) .
2
2
2
2

On sait que I a pour coordonnes

On sait que AB a pour coordonnes (xB xA , yB yA ). Donc,


= (xB xA ) + i (yB yA ) = (xB + iyB ) + i (xA + iyA ) = zB zA .
z
AB

Exercice 2. Pour tout nombre complexe z, on pose Z = (1 + i)z + 1 i.


Dterminer et construire lensemble E des points M daffixe z tels que Z soit un imaginaire pur.
Solution 2. Soit z un nombre complexe. Posons z = x + iy o x et y sont deux rels.
Z = (1 + i)(x + iy) + 1 i = x y + 1 + i(x + y i).
Par suite, Re(Z) = x y + 1 puis
Z iR Re(Z) = 0 x y + 1 = 0.

Lensemble E des points M daffixe z tels que Z soit un imaginaire pur est la droite dquation x y + 1 = 0.

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

3
2

1
2

2.5

Conjugu dun nombre complexe

Dfinition 3.
Pour tout nombre complexe z, le conjugu de z est le nombre complexe not z dfini par
z = Re(z) i Im(z).
Gomtriquement, le point daffixe z est le symtrique du point daffixe z par rapport laxe des abscisses. Profitons-en
pour signaler que le point daffixe z est le symtrique du point daffixe z par rapport lorigine et que le point daffixe
z est le symtrique du point daffixe z par rapport laxe des ordonnes.

M3 (z)

M1 (z)

M4 (z)

M2 (z)

Thorme 8. z C, (z) = z.
Lapplication z 7 z est donc une involution et en particulier lapplication z 7 z est une permutation de C.

Dmonstration .

Soit z C.

(z) = Re(z) iIm(z) = Re(z) + iIm(z) = z.

c Jean-Louis Rouget, 2016. Tous droits rservs.


http ://www.maths-france.fr

Thorme 9.
1) (z, z ) C2 , z + z = z + z

2) a) (z, z ) C2 , z z = z z
b) z C, n N, (zn ) = zn .
 
1
1

3) a) z C , z 6= 0 et
= .
z
z
z
z

= .
b) (z, z ) C C ,

z
z
c) z C , n Z, (zn ) = zn .
Dmonstration .
1) Soit (z, z ) C2 . Posons z = x + iy et z = x + iy o x, y, x et y sont quatre rels.
z + z = x + iy + x + iy = (x + x ) + i(y + y ) = (x + x ) i(y + y ) = x iy + x iy = z + z .
2) a) (z, z ) C2 . Posons z = x + iy et z = x + iy o x, y, x et y sont quatre rels.

z z = (x + iy)(x + iy ) = (xx yy ) + i(xx + yy ) = (xx yy ) i(xy + yx )


= (xx (y)(y )) + i(x(y ) + (y)x ) = (x iy)(x iy )

= z z .
b) Soit z C. Montrons par rcurrence que n N, (zn ) = zn .
Le rsultat est vrai quand n = 0.
Soit n > 0. Supposons que (zn ) = zn . Alors,
(zn+1 ) = zn z

= zn z (daprs 2)a))

= zn z (par hypothse de rcurrence)


= zn+1 .

Le rsultat est dmontr par rcurrence.


3) a) Soit z C .
z
Ceci montre que z 6= 0 et que

 
1
1
= z = 1 = 1.
z
z

 
1
1
= .
z
z

b) Soit (z, z ) C C .
 

z 
1
1
1
z
z

=
= z = .
=
z
z
z
z
z
c) Soit z C . On sait dj que n N, (zn ) = zn . Soit n Z . Alors n > 0 et
(zn ) =

1
zn

1
= zn .
zn

Commentaire. On peut rsumer le thorme prcdent en disant que le conjugu marche bien avec toutes les opra(1 + i)z2 3i
(1 i)z2 + 3i
=
.
tions . Par exemple,
(z 3 + i)2
(z 3 i)2
Exercice 3. Rsoudre dans C les quations suivantes :
1) (3 i)z 2 + 4i = 0.
2) (1 + i)z + (3 i)z = 1 + 2i.
Solution 3.
c Jean-Louis Rouget, 2016. Tous droits rservs.

10

http ://www.maths-france.fr

1) Soit z C.
(3 i)z 2 + 4i = 0 (3 i)z 2 + 4i = 0 (3 + i)z 2 4i = 0

2 + 4i
(2 + 4i)(3 i)
10 + 10i
z=
z= 2
3+i
(3 + i)(3 i)
3 + 12
z = 1 + i.

z=

Lensemble des solutions de lquation propose est {1 + i}.


2) Soit z C. Posons z = x + iy o x et y sont deux rels.

(1 + i)z + (3 i)z = 1 + 2i (1 + i)(x + iy) + (3 i)(x iy) = 1 + 2i


(x y) + i(x + y) + (3x y) + i(x 3y) = 1 + 2i

(4x 2y) + i(2y) = 1 + 2i



4x 2y = 1

(par identification des parties relles et imaginaires)


2y = 2

y = 1
1

1 z = i.
4
x=
4


1
Lensemble des solutions de lquation propose est i .
4
Thorme 10.
1) z C, z + z = 2Re(z), z z = 2iIm(z).

1
1
(z + z) et Im(z) =
(z z).
2
2i
3) z C, (z R z = z) et (z iR z = z).

2) z C, Re(z) =

Dmonstration .

1) et 2) Soit z C. z + z = Re(z) + iIm(z) + Re(z) iIm(z) = 2Re(z) et z z = Re(z) + iIm(z) Re(z) + iIm(z) = 2iIm(z).
1
1
Par suite, on a aussi Re(z) = (z + z) et Im(z) =
(z z).
2
2i
1
1
3) Soit z C. z R Im(z) = 0
(z z) = 0 z = z et z iR Re(z) = 0 (z + z) = 0 z = z.
2i
2

2.6

Module dun nombre complexe

Dfinition 4.
Pour tout nombre complexe z, le module de z est le nombre rel positif not |z| dfini par
q
|z| = (Re(z))2 + (Im(z))2 .
Commentaire . Si z est un nombre rel x, alors |z| =

x2 + 02 = |x| o |x| dsigne la valeur absolue du rel x. Le module

dun rel est donc la valeur absolue de ce rel.

Le module
 dun nombre complexe sinterprte bien sr gomtriquement. On munit le plan dun repre orthonorm

O,
u,
v . Si M est un point du plan daffixe zM , alors immdiatement,
|zM | = OM.

Plus gnralement, si A et B sont deux points du plan,


q


2
2
.
AB = (xB xA ) + (yB yA ) = |(xB xA ) + i (yB yA )| = |zB zA | = z
AB
c Jean-Louis Rouget, 2016. Tous droits rservs.

11

http ://www.maths-france.fr

AB

|z B

zA

OM
b

|z M

Le module permet alors de dcrire simplement les cercles et les disques du plan. Soit un point du plan daffixe et R
un rel positif.
Le cercle de centre et de rayon R est lensemble des points M daffixe z tels que |z | = R ou encore, en identifiant
un point et son affixe,
C (, R) = {z C/ |z | = R}.
Le disque ferm (resp. ouvert) de centre et de rayon R est lensemble des points M daffixe z tels que |z | 6 R
(resp. |z | < R) ou encore,
Df (, R) = {z C/ |z | 6 R} (resp. Do (, R) = {z C/ |z | < R}).
Nous allons maintenant fournir un certain nombre de proprits algbriques du module. Commenons par signaler une
criture du module laide du conjugu :
Thorme 11.
1) Pour tout nombre complexe z, zz = |z|2 .
2) Pour tout nombre complexe z, |z| = 0 z = 0.

Dmonstration .

1) Soit z un nombre complexe.

zz = (Re(z) + iIm(z)) (Re(z) iIm(z)) = (Re(z))2 i2 (Im(z))2 = (Re(z))2 + (Im(z))2 = |z|2 .


2) En particulier, |z| = 0 zz = 0 z = 0 ou z = 0 z = 0.

Commentaire .
zz est un rel positif et on peut donc crire |z| =

zz.

Lgalit zz = |z| nous permet aussi de reparler de linverse dun nombre complexe non nul. Daprs ce qui prcde, si z est un
nombre complexe non nul, alors |z| 6= 0 et on peut crire
z
z
1
=
= 2.
z
zz
|z|
3 + 2i
3 + 2i
3
2
1+i
(1 + i)2
1 + 2i 1
1
=
= 2
=
+ i ou aussi
=
= 2
= i. On a lhabitude
2
3 2i
(3 2i)(3 + 2i)
3 + (2)
13 13
1i
(1 i)(1 + i)
1 + (1)2
de dire que lon rend rel le dnominateur en multipliant numrateur et dnominateur par le conjugu du dnominateur.
Par exemple,

Les galits z + z = 2Re(z), z z = 2iIm(z) et zz = |z|2 permettent assez souvent de se passer de poser z = x + iy. Cest
le cas dans lexercice suivant.
Exercice 4. Pour z C \ {i}, on pose Z =

que Z soit imaginaire pur.

z+i
. Dterminer et construire lensemble des points du plan daffixe z tels
zi

Solution 4. Soit z C \ {i}.

c Jean-Louis Rouget, 2016. Tous droits rservs.


12

http ://www.maths-france.fr

z+i zi
(z + i)(z + i) + (z i)(z i)
+
=
zi z+i
(z i)(z i)

2
2
2 |z| 1
2|z| 2
=
=
.
|z i|2
|z i|2

2Re(Z) = Z + Z =

Par suite, pour z 6= i,



2 |z|2 1
Z iR Re(Z) = 0
= 0 |z| = 1 (et z 6= i).
|z i|2

Lensemble des points daffixe z tels que Z soit imaginaire pur est le cercle de centre O et de rayon 1 priv du point de
coordonnes (0, 1).
1

Thorme 12.
1) a) (z, z ) C2 , |z z | = |z| |z |.
b) z C, n N, |zn | = |z|n .


1
1
2) a) z C , = .
z
|z|
z
|z|

b) (z, z ) C C , = .
z
|z |
c) z C , n Z, |zn | = |z|n .

Dmonstration .
1) a) Soient z et z deux nombres complexes.
|zz |2 = zz (zz ) = zzz z = |z|2 |z |2 = |z||z |

Puisque |zz | et |z||z | sont deux rels positifs, on en dduit que |z z | = |z| |z |.

2

b) Le rsultat se dmontre par rcurrence grce 1)a).





1
1
1
1
2) a) Soit z un nombre complexe non nul. Tout dabord, |z| 6= 0 puis |z| = z = |1| = 1 et donc = .
z
z
z
|z|


z
1
1
1
|z|

b) Soient z un nombre complexe puis z un nombre complexe non nul. = z = |z| = |z| = .
z
z
z
|z |
|z |

c) Soit z un nombre complexe non nul. On sait dj que n N, |zn | = |z|n . Soit n Z . Alors, n > 0 puis


1
1
|zn | = n = n = |z|n .
z
|z|

c Jean-Louis Rouget, 2016. Tous droits rservs.


13

http ://www.maths-france.fr

Commentaire .
(2 + i)(3 2i)2
par
4 + 3i
exemple, il serait trs maladroit de dvelopper le carr puis de rendre rel le dnominateur. Ce module doit se calculer ainsi :
Le thorme 11 dit que le module fonctionne bien avec la multiplication . Si on veut calculer le module de



(2 + i)(3 2i)2 |2 + i| |3 2i|2
13
5 13

=
= .
=


4 + 3i
|4 + 3i|
25
5

Si on crit explicitement lgalit |z z | = |z| |z | en passant aux parties relles et imaginaires, cela donne :
(a, b, c, d) R4 ,

a2 + b2




c2 + d2 = (ac bd)2 + (ad + bc)2 (identit de Lagrange).

Ce rsultat a une application en arithmtique (en se restreignant au cas particulier o (a, b, c, d) Z4 ) : si deux entiers sont somme
de deux carrs parfaits, alors leur produit est somme de deux carrs parfaits. Par exemple,



221 = 13 17 = 32 + 22 42 + 12 = (3 4 2 1)2 + (3 1 + 2 4)2 = 102 + 112 .
Cette constatation permet de ramener le problme de la dcomposition dun entier en somme de deux carrs parfaits (ce qui nest
pas toujours possible) au problme de la dcomposition de chaque nombre premier en somme de deux carrs parfaits. Ceci nest pas
anecdotique. Il nest pas rare que les nombres complexes soient un outil important pour faire de larithmtique.

Thorme 13.
1) (z, z ) C2 , |Re(z)| 6 |z| et |Im(z)| 6 |z|.

2) (z, z ) C2 , |Re(z)| = |z| z R et |Im(z)| = |z| z iR.

Dmonstration .

Soit z un nombre complexe.


|z| =

q
q
(Re(z))2 + (Im(z))2 > (Re(z))2 + 02 = |Re(z)|.

De plus, |z| = |Re(z)| (Im(z))2 = 0 z R (on retrouve au passage le fait que le module dun rel est sa valeur absolue.
De mme,

|z| =

q
q
(Re(z))2 + (Im(z))2 > 02 + (Im(z))2 = |Im(z)|.

De plus, |z| = |Im(z)| (Re(z))2 = 0 z iR.

Ensuite, on a immdiatement
Thorme 14. z C, |z| = | z| = |z|.
On a dit que le module fonctionne bien avec la multiplication. Le thorme 14 montre que ce nest pas du tout le cas avec
laddition. En gnral, on a |z + z | 6= |z| + |z |. Plus prcisment :
Thorme 15.
1) (z, z ) C2 , |z + z | 6 |z| + |z | (ingalit triangulaire).

2) (z, z ) C2 , |z + z | = |z| + |z | z = 0 ou (z 6= 0 et R+ / z = z) (cas dgalit de lingalit triangulaire).

Dmonstration .

Soient z et z deux nombres complexes.




|z + z |2 = z + z (z + z ) = z + z z + z


= zz + z z + zz + z z = |z|2 + 2Re zz + |z |2


6 |z|2 + 2 Re zz + |z |2




6 |z|2 + 2 zz + |z |2 = |z|2 + 2 |z| z + |z |2 = |z|2 + 2 |z| z + |z |2
2
= |z| + |z | ,

et donc |z + z | 6 |z| + |z | puisque |z + z | et |z| + |z | sont deux rels positifs. Ensuite, cette ingalit est une galit si et seulement
si chacune des ingalits crites ci-dessus est galit. Donc,

c Jean-Louis Rouget, 2016. Tous droits rservs.


14

http ://www.maths-france.fr






|z + z | = |z| + |z | zz = Re zz et Re zz = Re zz



zz R et Re zz = Re zz (daprs le thorme 13)
zz R+

zz
R+ ) (car si z 6= 0, alors |z|2 > 0)
|z|2
z
z
z = 0 ou (z 6= 0 et
R+ ) z = 0 ou (z 6= 0 et R+ ,
= )
z
z
+

z = 0 ou (z 6= 0 et R , z = z).

z = 0 ou (z 6= 0 et

Exercice 5. Montrer par rcurrence que pour tout entier n > 2, pour tous nombres complexes non nuls z1 , . . . zn ,
on a |z1 + . . . + zn | 6 |z1 | + . . . + |zn | avec galit si et seulement si pour tout k J2, nK, il existe k R+ tel que
zk = k z1 .
Solution 5. Montrons par rcurrence que pour tout entier n > 2, pour tous nombres complexes non nuls z1 , . . . zn , on
a |z1 + . . . + zn | 6 |z1 | + . . . + |zn | avec galit si et seulement si pour tout k J2, nK, il existe k R+ tel que zk = k z1
(Pn ) .
Le cas n = 2 est le thorme 15 (dans le cas o z1 6= 0 et z2 6= 0).
Soit n > 2. Supposons (Pn ). Soient z1 , z2 , . . . , zn+1 n + 1 nombres complexes tous non nuls. Dj,
|z1 + . . . + zn + zn+1 | 6 |z1 + . . . + zn | + |zn+1 |
6 |z1 | + . . . + |zn | + |zn+1 | (par hypothse de rcurrence).
De plus, lingalit est une galit si et seulement si chacune des deux ingalits crites est une galit. Par hypothse
de rcurrence, on a
|z1 + . . . + zn+1 | = |z1 | + . . . + |zn+1 | |z1 + . . . + zn | = |z1 | + . . . + |zn | et |z1 + . . . + zn + zn+1 | = |z1 + . . . + zn | + |zn+1 |
k J2, nK, k R+ / zk = k z1 et R+ / zn+1 = (z1 + . . . + zn )
k J2, n + 1K, k R+ / zk = k z1 .

Rciproquement, si k J2, n + 1K, k R+ / zk = k z1 , alors

|z1 + . . . + zn+1 | = |z1 (1 + 2 + . . . + n+1 )| = (1 + 2 + . . . + n+1 ) |z1 |


= |z1 | + 2 |z1 | + . . . + n+1 |z1 | = |z1 | + . . . + |zn+1 | .
Le rsultat est dmontr par rcurrence.

Sinon, voici un exercice plus simple pour rviser.


Exercice 6. Rsoudre dans C les quations suivantes :
1) ((1 + i)z + 1 i)(((2 i)z 3 + i) = 0.
2) (3 + 2i)z (1 i)z = 1 2i.
Solution 6.
1) Soit z C.
((1 + i)z + 1 i)(((2 i)z 3 + i) = 0 (1 + i)z + 1 i = 0 ou (2 i)z 3 + i = 0
(1 + i)z + 1 i = 0 ou (2 + i)z 3 i = 0

3+i
(1 + i)(1 i)
(3 + i)(2 i)
1 + i
ou z =
z=
ou z =
1+i
2+i
(1 + i)(1 i)
(2 + i)(2 i)
(1 + i)(1 i)
(3 + i)(2 i)
7i
z=
ou z =
z = i ou z =
.
(1 + i)(1 i)
(2 + i)(2 i)
5

z=

c Jean-Louis Rouget, 2016. Tous droits rservs.


15

http ://www.maths-france.fr



7i
.
Lensemble des solutions dans C de lquation propose est S = i,
5
2) Soit z C. Posons z = x + iy o x et y sont deux rels.
(3 + 2i)z (1 i)z = 1 2i (3 + 2i)(x + iy) (1 i)(x iy) = 1 2i
(2x y) + i(3x + 4y) = 1 2i

2x y = 1

(par identification des parties relles et imaginaires)


3x + 4y = 2


x= 2
2 7i
y = 2x 1
11

7 z = 11 .
3x + 4(2x 1) = 2

y=
11


2 7i
.
Lensemble des solutions dans C de lquation propose est S =
11

3
3.1

Le second degr dans C


Transformation canonique

Soient a, b et c trois nombres complexes tels que a 6= 0. Pour tout nombre complexe z,
!


2

b
b2
c
c
b
2
=a
z+
2+
az + bz + c = a z + z +
a
a
2a
4a
a
!

2
b2 4ac
b

=a
z+
2a
4a2
!

2
b

=a
z+
2
2a
4a
2

o on a pos = b2 4ac. est le discriminant du trinme z 7 az2 + bz + c.

Nous voulons maintenant profiter du rsultat de cette transformation canonique pour factoriser le trinme z 7 az2 +bz+c
en produit de polynmes de degr 1. Ceci sera rendu possible si on trouve un nombre complexe tel que 2 = . Si cest
le cas, pour tout nombre complexe z, on pourra crire
2  2 !




b
b
b

2
=a z+
z+
...
az + bz + c = a
z+

2a
2a
2a 2a
2a 2a
Le paragraphe suivant est consacr entre autres lquation 2 = dinconnue .

3.2

Racines carres dun nombre complexe

Commenons par donner une nouvelle condition ncessaire et suffisante dgalit de deux nombres complexes.
Thorme 16. Soient z et z deux nombres complexes.

Re(z) = Re(z )

|z| = |z |
.
z=z

sgn (Im(z)) = sgn (Im(z ))

Dans le thorme ci-dessus, lgalit sgn (Im(z)) = sgn (Im(z )) (signe de Im(z) gale signe de Im(z )) signifie que Im(z)
et Im(z ) sont ou bien tous deux strictement positifs, ou bien tous deux strictement ngatifs, ou bien tous deux nuls.
Dmonstration .

Re(z) = Re(z )

|z| = |z |
.
Soient z et z deux nombres complexes. Il est clair que si z = z , alors

sgn (Im(z)) = sgn (Im(z ))

c Jean-Louis Rouget, 2016. Tous droits rservs.


16

http ://www.maths-france.fr


Re(z) = Re(z )
|z| = |z |
. Posons z = x + iy et z = x + iy o x, x , y et y sont quatre rels.
Rciproquement, supposons que

sgn (Im(z)) = sgn (Im(z ))


Puisque Re(z) = Re(z ), on a x = x . Puisque |z| = |z |, on a x2 + y2 = x 2 + y 2 puis y2 = y 2 puis |y| = |y |. Enfin, puisque
sgn (Im(z)) = sgn (Im(z )), on en dduit dans tous les cas que y = y et donc que z = z .

On dispose maintenant de loutil pour pouvoir dterminer les racines carres dun nombre complexe quelconque, ce nombre
complexe tant fourni sous forme algbrique (et pas sous forme trigonomtrique). Ce qui suit dcrit la technique mettre
en uvre pour trouver des racines carres et est connatre.
On se donne Z un nombre complexe. On pose Z = a + ib o a et b sont deux rels. On cherche les nombres complexes
z = x + iy, (x, y) R2 , tels que z2 = Z. Daprs le thorme prcdent,
2


x y2 = a
Re z2 = Z
(I)
2
2
2
2

z = |Z| 

z =Z
x + y = a2 + b2 (II)

2
sgn Im z
= sgn (Im (Z))
sgn (2xy) = sgn (b)

 1

1

a 2 + b2 + a
((I) + (II))
x2 =

2
2



1 2
1
(S).

((II) (I))
y2 =
a + b2 a

2
2

sgn (xy) = sgn (b)

2 >
Maintenant, a2 + b
a2 = |a| et donc a2 + b2 > a et a2 + b2 > a puis a2 + b2 a > 0 et a2 + b2 + a > 0.
On note de plus que a2 + b2 a = 0 b = 0. Par suite,
r 



1 2
1  2

2
2

a +b +a
a + b2 + a
x =
x=
2
2
r 


 .

1
1 2

2
2
y2 =

2
a +b a
y=
a +b a
2
2

Il reste faire intervenir la condition sgn (xy) = sgn (b).

x=
(|a| + a)

r2
.
1er cas. Si b = 0 (cas o Z est rel), (S)
1

y=
(|a| a)

xy = 0

x= a
. Ainsi, un rel strictement positif a admet dans C deux racines carres distinctes savoir
Si a > 0, (S)
y=0

a et a.

x=0
Si a < 0, (S)
. Ainsi, un rel strictement ngatif a admet dans C deux racines carres distinctes savoir
y = a

i a et i a.
Si a = 0, (S) x = y = 0. 0 admet dans C une racine carre et une seule, savoir 0.
r 


1 2

a + b2 + a
x=
2
2me cas. Si b 6= 0 (cas o Z nest pas rel), le systme
r 
 admet quatre couples solutions

y= 1
2
2
a +b a
2



1
a2 + b2 a 6= 0 daprs une remarque faite plus haut). La condition sgn(xy) =
deux deux distincts (car si b 6= 0,
2
sgn(b) limine deux de ces quatre couples pour nen conserver que deux, opposes lune lautre.
On peut noncer
Thorme 17. Tout nombre complexe non nul admet dans C deux racines carres, opposes lune lautre.
Exercice 7. Trouver les racines carres de 8 6i dans C.
Solution 7. Soit z C. Posons z = x + iy o x et y sont deux rels.

c Jean-Louis Rouget, 2016. Tous droits rservs.


17

http ://www.maths-france.fr

x2 = (10 + 8)


2
2
2

x y =8
Re z p= 8
2
2
z2 = 82 + (6)2
1
x
+
y
=
10

z2 = 8 6i

y2 = (10 8)

xy < 0

sgn(Im z2 ) = sgn(6)
2

xy < 0
2
x =9
y2 = 1 (x, y) = (3, 1) ou (x, y) = (3, 1) z = 3 i ou z = 3 + i.

xy < 0

Les racines carres de 8 6i sont 3 i et 3 + i.

3.3

Lquation du second degr dans C

On utilise les rsultats des deux paragraphes prcdents pour rsoudre lquation du second degr dans C. On se donne
trois nombres complexes a, b et c o a 6= 0. On considre lquation
az2 + bz + c = 0

(E),

dinconnue le nombre complexe z. On pose = b 4ac puis on note un nombre complexe tel que 2 = (daprs le
paragraphe prcdent, quelque soit , existe).
!

2
b

az + bz + c = 0 a
z+
2 =0
2a
4a
2  2


(car a 6= 0)
z+
2a
2a






b
b +
b

b
z+
=0 z
z
=0

+
z+
2a 2a
2a 2a
2a
2a
b +
b
z=
ou
.
2a
2a
2

Thorme 18. Soient (a, b, c) C C C puis (E) : az2 + bz + c = 0 o z C. On pose = b2 4ac puis on
note un nombre complexe tel que 2 = .
Lquation (E) admet dans C deux solutions, distinctes ou confondues, savoir
b
b +
et z2 =
.
2a
2a
De plus, dans le cas o 6= 0, ces deux solutions sont distinctes et dans le cas o = 0, lquation (E) admet une
b
seule solution dite double savoir z1 = .
2a
z1 =

Exercice 8. Rsoudre dans C lquation z2 (4 + i)z + 5 + 5i = 0.


Solution 8. Le discriminant du trinme z2 (4 + i)z + 5 + 5i est
= (4 + i)2 4(5 + 5i) = 16 + 8i 1 20 20i = 5 12i.
6= 0 et donc lquation (E) admet deux solutions distinctes dans C.
Dterminons les racines carres de dans C. Soient a et b deux rels puis = a + ib.
2
2
2
a b2 = 5
a =4
a b2 = 5
p
2 =
b2 = 9
a2 + b2 = 13
a2 + b2 = (5)2 + (12)2

ab < 0
ab < 0
ab < 0
= 2 3i ou = 2 + 3i.

Ainsi, le nombre = 2 3i est un nombre complexe tel que 2 = . Lquation (E) admet deux solutions distinctes
(4 + i) (2 3i)
(4 + i) + (2 3i)
= 3 i et z2 =
= 1 + 2i.
savoir z1 =
2
2
c Jean-Louis Rouget, 2016. Tous droits rservs.

18

http ://www.maths-france.fr

3.4

Factorisation dun trinme du second degr

Avec les notations des paragraphes prcdent, pour z C, on peut crire


"
#
2



b
b
b +

az + bz + c = a z +
z
2 =a z
2a
4a
2a
2a
2

= a (z z1 ) (z z2 ) .
Donc,
Thorme 19. Soit (a, b, c) C C C. Pour tout nombre complexe z,
az2 + bz + c = a (z z1 ) (z z2 ) ,
o z1 et z2 sont les deux solutions, distinctes ou confondues, de lquation az2 + bz + c = 0.
Par exemple, pour tout nombre complexe z, z2 (4 + i)z + 5 + 5i = (z 3 + i)(z 1 2i).

3.5

Le discriminant rduit

Avec les notations des paragraphes prcdents, si = b2 4c et est un nombre complexe tel que 2 = , alors les deux
b
b +
et z2 =
. De plus, ces deux solutions sont confondues si
solutions de lquation az2 + bz + c = 0 sont z1 =
2a
2a
et seulement si = 0.
On suppose alors que b est le
doubledun nombre b , plus simple que b . Cest le cas des trinmes z2 4z + 3 ou
2
2
z (4 + 2i)z + 1 i ou z 2 2z + 2 + 3i ou z2 2z cos + 1 mais pas de z2 3z + 2 ou z2 (1 + i)z + 1 + 2i.

Puisque b = 2b , on a = b2 4ac = 4b 2 4ac = 4 b 2 ac . On pose alors = b 2 ac. est le discriminant
rduit du trinme az2 + bz + c et on a = 4 .
2

=
= et donc est une racine carre de dans C.
On pose encore = de sorte que = 2 . On a 2 =
2
4
4
Les solutions de lquation az2 + bz + c = 0 scrivent alors
b
2b 2
b
=
=
.
2a
2a
a
On peut noncer
Thorme 20. Soient (a, b, c) C C C puis (E) : az2 + bz + c = 0 o z C. On pose b = 2b , = b 2 ac
puis on note un nombre complexe tel que 2 = .
Lquation (E) admet dans C deux solutions, distinctes ou confondues, savoir
b +
b
et z2 =
.
a
a
De plus, dans le cas o 6= 0, ces deux solutions sont distinctes et dans le cas o = 0, lquation (E) admet une
b
b
= .
seule solution dite double savoir z1 =
2a
a
z1 =

Par exemple, considrons le trinme z2 2z cos + 1 o est un nombre rel donn. Le discriminant rduit de ce trinme
est
= ( cos )2 1 1 = cos2 1 = sin2 = (i sin )2 .

On peut prendre = i sin . Lquation z2 2z cos +1 = 0 admet dans C deux solutions savoir z1 = cos +i sin = ei
et z2 = cos i sin = ei . De plus, ces deux solutions sont confondues si et seulement si sin = 0 ce qui quivaut
Z.

3.6

Somme et produit des racines

Dans ce qui suit, on donne les relations existant entre les coefficients et les racines dun trinme du second degr. Le
thorme 20 est un cas particulier dun thorme plus gnral donnant les relations entre coefficients et racines dun
polynme de degr n, thorme nonc dans le chapitre Polynmes .

c Jean-Louis Rouget, 2016. Tous droits rservs.


19

http ://www.maths-france.fr

Thorme 21. Soit (a, b, c) C C C. Soient z1 et z2 les deux solutions, distinctes ou confondues, de lquation
az2 + bz + c = 0. Alors
z1 + z2 =
Dmonstration .

c
b
et z1 z2 = .
a
a

Les solutions z1 et z2 de lquation az2 + bz + c sont


z1 + z2 =

b +
b
et
. Donc,
2a
2a

b + b
2b
b
+
=
= ,
2a
2a
2a
a

et

b2 b2 4ac
b +
b
(b)2 2
b2
4ac
c
z1 z2 =

=
=
=
=
= .
2a
2a
4a2
4a2
4a2
4a2
a

Exercice 9. On note z1 et z2 les solutions dans C de lquation z2 (1 i)z + 2 + 3i = 0.


Calculer

1
1
+
et z21 + z22 .
z1 z2

Solution 9. On a z1 + z2 = 1 i et z1 z2 = 2 + 3i (en particulier, z1 6= 0 et z2 6= 0). Donc,


1
z1 + z2
1i
(1 i)(2 3i)
1 5i
1
+
=
=
=
=
z1 z2
z1 z2
2 + 3i
(2 + 3i)(2 3i)
13
et
2

z21 + z22 = (z1 + z2 ) 2z1 z2 = (1 i)2 2(2 + 3i) = 4 8i.

Commentaire . Il serait bien sr trs maladroit de chercher explicitement z1 et z2 .

3.7

Le cas particulier de lquation coefficients rels

On rappelle maintenant le cas o a, b et c sont trois rels tels que a 6= 0. Dans ce cas particulier,

b +
si > 0, lquation az + bz + c = 0 admet dans C deux solutions relles distinctes savoir z1 =
2a

b
.
et z2 =
2a
b
.
si = 0, lquation az2 + bz + c = 0 admet dans C une solution relle double savoir z1 =
2a
b +
si < 0, lquation az2 + bz + c = 0 admet dans C deux solutions non relles conjugues savoir z1 =
2a

b
2
o est un imaginaire pur tel que = (par exemple = i ).
et z2 =
2a
2

Forme trigonomtrique dun nombre complexe non nul

A partir de maintenant, le plan est orient dans le sens trigonomtrique et muni dun repre orthonorm direct O,
u,
v .
Notons que le plan muni dun repre orthonorm direct est parfois appel le plan complexe .

4.1

Nombres complexes de module 1. La notation ei

Lensemble des nombres complexes de module 1 se note U (initiale de unit). Donc,


U = {z C/ |z| = 1}.
On a le rsultat fondamental suivant :
Thorme 22. Soit z C.
|z| = 1 R/ z = cos() + i sin().

c Jean-Louis Rouget, 2016. Tous droits rservs.


20

http ://www.maths-france.fr

Dmonstration .

Soit z un nombre complexe de module 1. Le point M daffixe z est sur le cercle trigonomtrique. Donc, si est


une mesure de langle u , OM , alors M a pour coordonnes (cos(), sin()). Pour ce rel , on a effectivement z = cos() + i sin().
p
Rciproquement, soient un rel puis z = ei . Alors, |z| = cos2 () + sin2 () = 1.

En prjugeant du comportement algbrique de lexpression cos() + i sin(), on dcide de la dfinition suivante


Dfinition 5. Pour tout rel ,
cos() + i sin() = ei .


Donc, U = ei , R . Si z = ei , le rel sinterprte gomtriquement. Notons M le point daffixe z. Le point M
a pour coordonnes
  (cos , sin ). Le point M est sur le cercle trigonomtrique et le nombre est une mesure de langle

orient
u , OM .
M ei

1
Commenons par donner quelques valeurs usuelles de la fonction 7 ei .
e0 = 1 e2i = 1

ei 2 = i

ei 2 = i

et la merveilleuse formule due Euler

ei = 1.

ei 2 = i
b

ei = 1
b

e0 = 1

ei 2 = i

La fonction 7 ei obit aux rgles de calcul suivantes :


Thorme 23.

1) (, ) R2 , ei ei = ei(+ ) .
1
2) R, ei 6= 0 et i = ei = ei .
e
i

2 e
3) (, ) R , i = ei( ) .
e
n
4) R, n Z, ei = ein (formule de Moivre).

c Jean-Louis Rouget, 2016. Tous droits rservs.


21

http ://www.maths-france.fr

Dmonstration .
1) Soit (, ) R2 .


ei ei = (cos() + i sin()) cos( ) + i sin( )




= cos() cos( ) sin() sin( ) + i sin() cos( ) + cos() sin( )

= cos( + ) + i sin( + ) = ei(+ ) .


2) Soit R. ei = 1 et en particulier, ei 6= 0. Ensuite,
et donc


1
= ei . Ensuite, ei = 1 ei ei
ei

ei ei = ei() = e0 = 1
1
= 1 et donc ei = i = ei .
e

ei
1
= ei i = ei ei = ei( ) .
ei
e
4) La formule de Moivre se montre immdiatement par rcurrence pour n N puis si n < 0, on a

3) Soit (, ) R2 .

ei

n

1
1
= in = ein .
e
(ei )n

Un moment important du thorme prcdent est que linverse dun nombre complexe de module 1 est son conjugu
1
( i = ei ). Ceci peut sobtenir directement sans connatre la notation ei :
e
1
|z| = 1 z z = 1 i = z.
e
Par exemple

1
= i
i
4.2

Forme trigonomtrique dun nombre complexe non nul. Arguments dun nombre complexe non nul

Soit z un nombre complexe non nul. Le nombre

z
est un nombre complexe de module 1 car
|z|

z
= 1 |z| = 1.
|z| |z|

z
= ei . Par suite, si on pose r = |z|, on obtient z = rei o r est un rel
|z|
strictement positif et est un rel. De nouveau les rels r et sinterprtent gomtriquement. On note M le point daffixe
z
z = rei et M1 le point daffixe
= ei .
|z|

Le rel r est le module de z ou encore la distance


OM.
z = rei scrit encore OM = r
OM1 o r est un


 Ensuite,
 lgalit

rel strictement positif. On en dduit que


u , OM =
u , OM .
u , OM1 et donc est une mesure de langle
On en dduit quil existe un rel tel que

z = rei

r=

|z|

= ei

z
|z|

1
c Jean-Louis Rouget, 2016. Tous droits rservs.

22

http ://www.maths-france.fr

Le rel nest pas uniquement dfini par z car par exemple, si z = rei o r est un rel strictement positif et est un
rel, alors
rei(+2) = rei e2i = rei

et le rel = + 2 est un autre rel tel que z = rei . On va voir que nanmoins, dun certain point de vue, lcriture
z = rei est unique.
Thorme 24. Soient r et r deux rels strictement positifs et et deux rels.

Dmonstration .

rei = r ei r = r et ei = ei r = r et k Z/ = + 2k.

Soient r et r deux rels strictement positifs et et deux rels.

Si rei = r ei , alors rei = r ei puis r = r (car r > 0 et r > 0). Puisque r 6= 0, on en dduit que ei = ei .

Rciproquement, si r = r et ei = ei , alors rei = r ei . Ensuite,

ei = ei cos() + i sin() = cos( ) + i sin( ) cos() = cos( ) et sin() = sin( ) k Z/ = + 2k.

On peut maintenant donner la dfinition suivante.


Dfinition 6. Soit z un nombre complexe non nul. On note M le point daffixe z. Lcriture
z = rei = r(cos() + i sin()) avec (r, ) ]0, +[R,

sappelle la forme trigonomtrique de z. Cette criture est unique cest--dire que r et ei (mais pas ) sont
uniquement dfinis par z.
r est le module de z ou encore la distance OM.
 

est une mesure de langle


u , OM et sappelle un argument de z. On note arg(z) tout argument de z.

Commentaire . Pour tout rel , on a 0 = 0 ei . Le nombre complexe 0 peut donc lui aussi scrire rei mais en aucun
cas, on ne parle de la forme trigonomtrique de 0 car le nombre complexe ei , de module 1, nest pas uniquement dfini. Le rel
ne sinterprte plus comme une mesure dangle. Le nombre complexe 0 na pas dargument.
Les calculs prcdents fournissent la dmarche pour trouver la forme trigonomtrique dun nombre complexe non nul : on
met le module en facteur de sorte que z scrit z = r( + i) avec r > 0 et et rels tels que 2 + 2 = 1 puis on
cherche un rel tel que cos = et sin = .

Trouvons par exemple la forme trigonomtrique de 3 + i :


!

 

 

5i
5
5
3 1
+ i sin
= 2e 6 .
+ i = 2 cos
3+i=2
2
2
6
6
De manire gnrale, si z = a + ib = rei avec (a, b) R2 \ {(0, 0)} et (r, ) ]0, +[R, alors
r = |z| =

p
a
b
a
b
= et sin() =
= .
a2 + b2 et cos() =
2
2
2
2
r
r
a +b
a +b

Exercice 10. Soit R. Trouver la forme trigonomtrique de z = 1 + ei .


Solution 10.
1re solution (maladroite). Calculons le module de z :
1 + cos()
= 4 cos2
|z | = |1 + cos() + i sin()| = (1 + cos()) + sin = 2 + 2 cos() = 4
2

 



Par suite, |z | = 2 cos
. Ensuite,
2
 
 
 
 
i

+ 2i sin
cos
= 2 cos
e2.
z = 1 + cos() + i sin() = 2 cos2
2
2
2
2
2

c Jean-Louis Rouget, 2016. Tous droits rservs.


23

 

.
2

http ://www.maths-france.fr

 



= 0. Dans ce cas, z = 0 et z nadmet pas de forme

+ Z puis cos
1er cas. Si ( + 2Z), alors
2
2
2
trigonomtrique.
 
h
[
[i

2me cas. Si
] + 4k, + 4k[, alors
> 0. Dans ce cas, la forme
+ 2k, + 2k puis 2 cos
2
2
2
2
kZ
kZ
 
 

i
e 2 (|z | = 2 cos
et arg (z ) = [2]).
trigonomtrique de z est 2 cos
2
2
2

 

[
[
3

< 0. Dans ce cas,


+ 2k,
+ 2k puis 2 cos
3me cas. Si
] + 4k, 3 + 4k[, alors
2
2
2
2
kZ
kZ
 
 

z = 2 cos
e 2 = 2 cos
ei( 2 +) .
2
2
 
 

i(
+)
2
e
et arg (z ) = + [2]).
La forme trigonomtrique de z est 2 cos
(|z | = 2 cos
2
2
2
 



ei 2 . La discussion est alors la mme que


2me solution (la meilleure). z = 1 + ei = ei 2 ei 2 + ei 2 = 2 cos
2
prcdemment.

Les diffrentes formules concernant ei fournissent immdiatement :


Thorme 25.
2

1) (z, z ) (C ) , arg(z z )
= arg(z) + arg(z ) [2].
arg(z) [2] si > 0
.
2) (, z) R C, arg(z) =
arg(z)
+ [2] si < 0
 
1
= arg(z) [2].
3) z C , arg (z) = arg
z
4) z C , arg(z) = arg(z)
 z  + [2].
2
5) (z, z ) (C ) , arg = arg(z) arg(z ) [2].
z
6) z C , n Z, arg (zn ) = n arg(z) [2].

4.3

Application la trigonomtrie

Loutil fondamental de la trigonomtrie est lexponentielle. On a tablit que ei(a+b) = eia eib partir des formules
daddition cos(a + b) = cos a cos b sin a sin b et sin(a + b) = sin a cos b + cos a sin b. On peut dornavant tout penser
dans lautre sens et se dire que la formule ei(a+b) = eia eib permet de retrouver les formules daddition. Signalons quen
maths sp, on dfinit de manire gnrale lexponentielle dun nombre complexe indpendamment de toute rfrence la
trigonomtrie :
z C, ez =
et en particulier,
R, ei =

+ n
X
z
,
n!

n=0

+
X
(i)n
.
n!

n=0

On dmontre partir de cette dfinition lgalit fondamentale : (z, z ) C2 , ez ez = ez+z . Avec cette dfinition de
lexponentielle, on pourra entirement reconstruire la trigonomtrie partir de lexponentielle et pas linverse.
4.3.1

Les formules dEuler

Nous donnons maintenant les formules exprimant cos , sin et tan en fonction de ei . Ces formules sont connues sous
le nom de formules dEuler.

c Jean-Louis Rouget, 2016. Tous droits rservs.


24

http ://www.maths-france.fr

Thorme 26.
1) R,
cos =
et donc aussi



1 i
1 i
e + ei et sin =
e ei
2
2i

ei + ei = 2 cos et ei ei = 2i sin .
2) R \


2


+ Z ,
tan =

ei ei
e2i 1
1 e2i
=
=
.
i (ei + ei )
i (e2i + 1)
i (1 + e2i )

Dmonstration .
1) Soit R.
  1
 1

cos = Re ei =
ei + ei =
ei + ei
2
2

et


 

1  i
1  i
e ei =
e ei .
sin = Im ei =
2i
2i
Les formules pour tangente sont immdiates.

A titre de premier exemple dutilisation des formules dEuler, transformons les expressions 1 + ei , 1 ei et ei + ei .
 



i
i
i
i
2
2
2
1+e =e
e
= 2 cos
+e
ei 2 ,
2
puis

 



1 ei = ei 2 ei 2 ei 2 = 2i sin
ei 2 ,
2

et

ei + ei = ei

+
2

ei

+ ei

= 2 cos

ei

+
2

Dans les trois cas, nous avons mis en facteur lexponentielle de lexposant milieu . Dans les deux premiers cas, le milieu

et nous avons mis


de et 0 est et nous avons mis en facteur ei 2 et dans le dernier cas, le milieu de et est
2
2
+
en facteur ei 2 .
4.3.2

Polynmes de Tchebychev

Dans ce paragraphe, nous cherchons donner une expression de cos(n) et sin(n) en fonction de cos et sin .
Soient un rel et n un entier naturel.


n 
= Re ((cos + i sin )n )
cos(n) = Re ein = Re ei
!
n  
X
n
nk
= Re
(cos )
(i sin )k
k
k=0



X
X n
n
(cos )n2k (i sin )2k +
(cos )n(2k+1) (i sin )2k+1
= Re
2k
2k
+
1
n
06k6 2
06k6 n1
2





X
X
n
n
= Re
cosn2k sin2k + i
cosn(2k+1) sin2k+1 ,
(1)k
(1)k
2k
2k
+
1
n
n1
06k6 2

et donc

c Jean-Louis Rouget, 2016. Tous droits rservs.


06k6

25

http ://www.maths-france.fr

cos(n) =

06k6 n
2

(1)


k
n
cosn2k sin2 =
2k

(1)

06k6 n
2


k
n
cosn2k 1 cos2 .
2k

De mme,

sin(n) = Im ein


X
n
k
=
cosn(2k+1) sin2k+1
(1)
2k
+
1
06k6 n1
2


X
k
n
k
= sin
cosn(2k+1) 1 cos2
(1)
2k
+
1
n1
06k6

1
n1
n
et dans la deuxime, 0 6 2k + 1 6 n 6 k 6
06k6
(dans la premire somme, 0 6 2k 6 n 0 6 k 6
2
2
2
n1
). On a montr que
2
(n, ) N R,
X

cos(n) =

(1)k

06k6 n
2


k
n
cosn2k 1 cos2
2k

et
sin(n) = sin

(1)k

06k6 n1
2


k
n
cosn(2k+1) 1 cos2 .
2k + 1

Ainsi, si pour tout n N et tout x R, on pose


 
X
k
k n
xn2k 1 x2 et Un (x) =
(1)
Tn (x) =
2k
n
06k6 2

06k6 n1
2

(1)


k
n
xn(2k+1) 1 x2 ,
2k + 1

alors
(n, ) N R, cos(n) = Tn (cos ) et sin(n) = sin Un (cos ).
Pour n N, Tn (resp. Un ) est un polynme appel n-me polynme de Tchebychev de premire espce (resp.
deuxime espce). Ces polynmes seront tudis plus en dtail dans le chapitre Polynmes . Donnons dj les premires
valeurs de Tn et Un .
Pour tout rel x, T2 (x) = x2 (1 x2 ) = 2x2 1 ce qui correspond : R, cos(2) = 2 cos2 1.
Pour tout rel x, U2 (x) = 2x ce qui correspond : R, sin(2) = 2 sin cos .

Pour tout rel x, T3 (x) = x3 3x(1 x2 ) = 4x3 3x ce qui correspond : R, cos(3) = 4 cos3 3 cos .

Pour tout rel x, U3 (x) = 3x2 (1 x2 ) = 4x2 1 ce qui correspond : R, sin(3) = sin 4 cos2 1 =
3 sin 4 sin3 .
Pour tout rel x, T4 (x) = x4 6x2 (1 x2 ) + (1 x2 )2 = 8x4 8x2 + 1 ce qui correspond : R, cos(4) =
8 cos4 8 cos2 + 1.



Pour tout rel x, U4 (x) = 4x3 1 x2 4x 1 x2 = 8x3 4x ce qui correspond : R, sin(4) = sin 8 cos3 4 cos .

En rsum, pour tout rel x,


n
0
1
2
4

Tn
1
x
2x2 1
4
8x 8x2 + 1

c Jean-Louis Rouget, 2016. Tous droits rservs.


Un
0
1
2x
8x3 4x

26

http ://www.maths-france.fr

4.3.3

Linarisation de polynmes trigonomtriques


n

Les formules ei ei = ei(+ ) et ei transforment les produits en somme. Ce sont des formules de linarisation.


1 i
1 i
En tenant compte des formules dEuler, cos =
e + e et sin =
e e , on a maintenant tous les
2
2i
outils pour linariser tout polynme trigonomtrique cest--dire transformer tout produit de cos et/ou de sin en somme.
Ci-dessous, on donne quelques exemples de linarisation.
Exemple 1. Linarisons cos3 sin2 . Pour tout rel ,
 

 3 1 i
 2
1 i
i
i
cos sin =
e +e
e e
2
2i


1 3i
=
e
+ 3ei + 3ei + e3i e2i 2 + e2i
32

1 5i
e
+ e3i 2ei 2ei + e3i + e5i
=
32
1
1
= (2 cos(5) + 2 cos(3) 4 cos()) =
( cos(5) cos(3) + 2 cos()) .
32
16


Exemple 2. Linarisons cos3 sin3 . Pour tout rel ,


 

 3 1 i
 3
1 i
i
i
e +e
e e
cos sin =
2
2i

3
3
1
1
=
ei + ei ei ei
e2i e2i
=
64i
64i

1
e6i 3e2i + 3e2i e6i
=
64i
1
1
(2i sin(6) 6i sin(2)) =
( sin(6) + 3 sin(2)) .
=
64i
32
3

Exemple 3. Linarisons cos2 sin4 . Pour tout rel ,

cos sin =
=
=
=

 

 2 1 i
 4
1 i
i
i
e +e
e e
2
2i


1 2i
e
+ 2 + e2i e4i 4e2i + 6 4e2i + e4i
64

1 6i
e
2e4i e2i + 4 e2i 2e4i + e6i
64
1
1
(2 cos(6) 4 cos(4) 2 cos(2)+4) =
(cos(6) 2 cos(4) cos(2)+2) .
64
32

Dans les trois exemples prcdents, nous avons transforms des produits de fonctions trigonomtriques en sommes de
fonctions trigonomtriques. Cette transformation servira par exemple plus tard dans lanne calculer des intgrales. Par
exemple,
Z 2
0

1
cos x sin x dx =
32

Z 2

1
=
32

(cos(6) 2 cos(4) cos(2) + 2) dx

sin(6)
sin(4) sin(2)
2

6
4
2

 2
0

+2
2

1
(0 + ) =
.
=
32
32

4.4
4.4.1

Applications la gomtrie
Cercles et disques

Le plan est rapport un repre orthonorm direct O,


u,
v . Soient un point du plan daffixe et R un rel positif
ou nul.
c Jean-Louis Rouget, 2016. Tous droits rservs.

27

http ://www.maths-france.fr

En identifiant un point et son affixe, on note C(, R) (resp. Df (, R), Do (, R)) le cercle (resp. le disque ferm, le disque
ouvert) de centre et de rayon R. On a immdiatement
C(, R) = {z C/ |z | = R},
et
Df (, R) = {z C/ |z | 6 R},
et
Do (, R) = {z C/ |z | < R}.
A laide de la forme trigonomtrique dun nombre complexe, on peut donner chacun de ces trois ensembles en extension.
Par exemple, pour z C, z C(, R) R/ z = Rei R/ z = + Rei . Ainsi,
C(, R) = { + Rei , R},

et
Df (, R) = { + rei , (r, ) [0, R] R},
et
Do (, R) = { + rei , (r, ) [0, R[R}.
dc
ba


Le plan est rapport un repre orthonorm direct O,


u,
v . On sait dj que pour tout point M distinct de O,
 

u , OM = arg (zM ) [2].

4.4.2

Interprtation gomtrique dun argument de


Plus gnralement, si A et B sont deux points distincts daffixes respectives a et b et si M est le point tel que OM = AB,
alors zM = b a puis
   

u , AB =
u , OM = arg (zM ) = arg(b a) [2].
Soient alors A, B, C et D quatre points tels que A 6= B et C 6= D, daprs la relation de Chasles
         

AB, CD = AB,
u +
u , CD =
u , CD AB,
u
= arg(d c) arg(b a) [2]


dc
[2].
= arg
ba

On a montr que :
Thorme 27. Soient A, B, C et D quatre points tels que A 6= B et C 6= D.


 
dc
[2].
AB, CD = arg
ba
Commentaire . On notera que les lettres A, B, C et D apparaissent dans lordre inverse d, c, b et a dans arg


dc
.
ba

En particulier, si A, B et C sont trois points tels que A 6= B et A 6= C, alors




 
ca
[2].
AB, AC = arg
ba

A partir de cette formule, on peut obtenir une caractrisation de lalignement des trois points A, B et C ou de lorthogonalit
des droites (AB) et (AC).

c Jean-Louis Rouget, 2016. Tous droits rservs.


28

http ://www.maths-france.fr



 
ca
A, B et C aligns AB, AC = 0 [] arg
= 0 []
ba
ca
R .

ba

De mme,



 

ca
(AB)(AC) AB, AC = [] arg
= []
2
ba
2
ca
R .

ba

On a montr que

Thorme 28. Soient A, B et C sont trois points tels que A 6= B et A 6= C.


ca
R .
A, B et C sont aligns si et seulement si
ba
ca
iR .
Les droites (AB) et (AC) sont perpendiculaires si et seulement si
ba

z+1+i
.
z 1 2i
Dterminer et construire lensemble des points M daffixe z tels que
Exercice 11. Pour z 6= 1 + 2i, on pose Z =

1) Z est rel.
2) Z est imaginaire pur.


Solution 11. Le plan est rapport un repre orthonorm direct O,


u,
v . On note A et B les points daffixes respectives
1 i et 1 + 2i.

1re solution. On pose z = x + iy, (x, y) R2 , et on note M limage ponctuelle de z. Pour z 6= 1 + 2i,
(x + 1) + i(y + 1)
((x + 1) + i(y + 1))((x 1) i(y 2))
x + iy + 1 + i
=
=
x + iy 1 2i
(x 1) + i(y 2)
((x 1) + i(y 2))((x 1) i(y 2))
(x + 1)(x 1) + (y + 1)(y 2) + i((x + 1)(y 2) + (y + 1)(x 1))
=
(x 1)2 + (y 2)2

Z=

x2 + y2 y 3 + i(3x 2y + 1)
(x 1)2 + (y 2)2

Par suite,
3x 2y + 1
=0
(x 1)2 + (y 2)2
3x 2y + 1 et (x, y) 6= (1, 2).

ZR

Lensemble des points M daffixe z tels que Z soit rel est la droite dquation 3x 2y + 1 = 0 prive du point B. On
note que 3xA 2yA + 1 = 3 + 2 + 1 = 0 et donc que le point A appartient cette droite (ou encore si z = zA , alors
Z = 0 R). Finalement, lensemble des points M daffixe z tels que Z soit rel est la droite (AB) prive du point B.
De mme,

Z iR

x2 + y2 y 3
=0
(x 1)2 + (y 2)2

x2 + y2 y 3 = 0 et (x, y) 6= (1, 2)
2

13
1
2
=
x + y
et (x, y) 6= (1, 2).
2
4

c Jean-Louis Rouget, 2016. Tous droits rservs.


29

http ://www.maths-france.fr


2
1
13
Lensemble des points M daffixe z tels que Z soit imaginaire est le cercle dquation x2 + y
priv du
=
2
4



13
1
et de rayon
. On note que que le point A appartient ce cercle. Plus
point B ou encore le cercle de centre 0,
2
2
prcisment, est le milieu du segment [AB] et donc, lensemble des points M daffixe z tels que Z soit imaginaire pur
est le cercle de diamtre [AB] priv du point B.
2me solution. Soit z C \ {1 + 2i}. On note M le point daffixe z. On a donc M 6= B puis




z zA
z 6= zA et arg
= 0 []
z zB

 

M = A ou M 6= A et AM, BM = 0 []

Z R z = zA ou

A, B et M aligns
M (AB) \ {B}.

et





z zA

Z iR z = zA ou z 6= zA et arg
= []
z zB
2


 
M = A ou M 6= A et AM, BM = []
2
M appartient au cercle de diamtre [AB] priv du point B.
3

B
b

2
1

1
b

1
2

5
5.1

Racines n-mes dun nombre complexe


Racines n-me de lunit

Soit n N . Les racines n-mes de lunit dans C sont les nombres complexes z tels que zn = 1. On note Un lensemble
des racines n-mes de lunit. Donc,
Un = {z C/ zn = 1} .
On dtermine maintenant ces nombres. Le cas n = 1 tant immdiat, on suppose dornavant n > 2. Dj, pour z C,
Donc Un U. Soit alors R.
ei
On a montr que

n

zn = 1 |zn | = 1 |z|n = 1 |z| = 1.


= 1 ein = 1 k Z/ n = 2k k Z/ =

c Jean-Louis Rouget, 2016. Tous droits rservs.


30

2k
.
n

http ://www.maths-france.fr


2ik

Un = e n , k Z .
Un nouveau problme se pose : ces nombres ne sont pas deux deux distincts. On dtermine maintenant combien de
racines n-mes deux deux distinctes possde le nombre 1 dans C ou encore on dtermine le cardinal de Un .
Nous avons besoin dun peu darithmtique pour rsoudre ce problme. Nous donnons sans dmonstration un rsultat
que connaissent les lves qui ont suivi la spcialit maths en terminale et que ne connaissent pas les autres : (division
euclidienne dun entier relatif par un entier naturel non nul) si a est un entier relatif et b un entier naturel non nul, il
existe un couple dentiers relatifs (q, r) et un seul tel que a = bq + r et 0 6 r 6 n 1.
Soit k un entier relatif. La division euclidienne de k par n scrit k = qn + r o q Z et r J0, n 1K. On a alors
e

2ik
n

=e

2i(qn+r)
n

=e

2ir
n +2iq

=e

2ir
n

Ceci montre que le nombre complexe 1 admet dans C au plus n racines n-mes deux distinctes savoir les nombres de
2ik
la forme e n , k J0, n 1K.
2
Vrifions maintenant que ces nombres
sont deux
 deux distincts. Soit (k, l) J0, n 1K tel que k < l. Alors, 1 6

2i(lk)
2 2(n 1)
2(l k)
2ik
2il
]0, 2[ et donc e n

,
6= 1. On en dduit que e n 6= e n (car
l k 6 n 1 puis
n
n
n
2i(lk)
2il
2ik
2ik
= 1). Ceci montre que les n nombres e n , k J0, n 1K, sont deux deux distincts.
e n =e n e n
Signalons enfin que pour (k, l) Z2 ,
e

2ik
n

=e

On peut noncer :
Thorme 29. Soit n N .

2ik
Un = e n , k Z .

2il
n

q Z/

2k
2l
=
+ 2q q Z/ l = k + qn k l [n].
n
n

Le nombre 1 admet dans C exactement


n racines n-mes
deux deux distinctes, les nombres de la forme e

2ik
k J0, n 1K et donc on a aussi Un = e n , k J0, n 1K .

(k, l) Z2 , e

2ik
n

=e

2il
n

2ik
n

k l [n].

Les images des racines n-mes de lunit dans le plan forment (pour n > 3) un polygone rgulier convexe A0 A1 A2 . . . An1
n cts inscrit dans le cercle de centre O et de rayon 1 cest--dire que A0 A1 = A1 A2 = . . . = An2 An1 = An1 A0
\
\
et A\
0 A1 A2 = A1 A2 A3 = . . . = An1 A0 A1 et que tous les angles sont saillants et pas rentrants.
b
b

e
b

4i
n

e
b

2i
n

2i(n1)
n

La longueur dun ct est


(2k+1)i  i
2i(k+1)


2ik
i



.
e n e n = 2 sin
e n = e n
e n
n
En ce qui concerne les angles aux sommets, puisque le triangle OAk Ak+1 est isocle en O (voir figure page suivante),
2
(n 2)
\
\
Ak A\
=
.
k+1 Ak+2 = 2Ak Ak+1 O = Ak OAk+1 =
n
n
c Jean-Louis Rouget, 2016. Tous droits rservs.

31

http ://www.maths-france.fr

Ak+2
b

Ak+1

2
n
b

Ak
1

Signalons enfin Une proprit importante des racines n-mes de lunit :


Thorme 30. Pour n > 2, la somme des racines n-mes de lunit est nulle.
Dmonstration .

Soit n > 2. Les racines n-mes deux deux distinctes de 1 dans C sont les nombres de la forme e

k J0, n 1K. Posons = e

2i
n

2ik
n

. On a 6= 1 (car n > 2) et = 1. Donc,


n1
X

2ik
n

k=0

n1
X
k=0

k =

1 n
11
=
= 0.
1
1

On dtaille maintenant les cas n {2, 3, 4, 5, 6}.

Lquation z2 = 1 admet pour ensemble de solutions {1, 1}. Donc, U2 = {1, 1}. La somme de ces solutions est
effectivement nulle.

On pose j = e

2i
3



. On a alors U3 = 1, j, j2 .

j=e

2i
3
b

- 21

j2
Le nombre j vrifie
c Jean-Louis Rouget, 2016. Tous droits rservs.

32

http ://www.maths-france.fr

j3 = 1
j2 =

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

1 + j + j2 = 0 et donc 1 + j = j2 , 1 + j2 = j et j + j2 = 1
n Z, j3n = 1, j3n+1 = j et j3n+2 = j2 .

3
3
1
1
Les solutions de lquation z + z + 1 = 0 sont + i
= j et + i
= j = j2 . On a donc la factorisation valable
2
2
2
2
pour tout z C :
2


z3 1 = (z 1)(z2 + z + 1) = (z 1)(z j) z j2 .

ik

Immdiatement, U4 = e 2 , k J0, 3K = {1, i, 1, i}. Ce rsultat peut aussi sobtenir directement partir de la
factorisation valable pour tout z dans C :


z4 1 = z2 1 z2 + 1 = (z 1)(z + 1)(z i)(z + i).
i

4i
6i
8i
2i
U5 = 1, e 5 , e 5 , e 5 , e 5 .
e
b

4i
5

2i
5

6i
5
b

e
On se propose de dterminer les valeurs explicites des cos
et au compas du pentagone rgulier.

2
5

8i
5

et cos

4
5

puis de fournir une construction la rgle

1
1
puis a = + 4 et b = 2 + 3 . Puisque 5 = 1, on a 4 =
= et de mme 3 = 2 = 2 .

 
 
2
4
Donc, a = + = 2Re() = 2 cos
et de mme b = 2 cos
.
5
5
On pose = e

2i
5

Ensuite,
a + b = + 2 + 3 + 4 = 1
(car 1 + + 2 + 3 + 4 = 0) et
c Jean-Louis Rouget, 2016. Tous droits rservs.

33

http ://www.maths-france.fr


2 + 3 = 3 + 4 + 6 + 7 = 3 + 4 + + 2 = 1.



1
+
5
5
1

On en dduit que a et b sont les deux solutions de lquation z2 + z 1 = 0. Donc, {a, b} =


. Enfin,
,
2
2

1 + 5
1 5
2 h h
et donc a > 0. On en dduit que a =
0,
et que b =
puis que
5
2
2
2
ab = + 4

cos

2
5

51
et cos
4

4
5

5+1
.
4

Ces rsultats permettent de fournir une construction du pentagone rgulier la rgle et au compas. On part dun cercle
et on fixe lunit de longueur gale son rayon. On munit le plan dun repre orthonorm adapt et on place le point de
coordonnes (1, 0) qui est lun des cinq sommet du pentagone construire :
1

s 


2
1
1

On place le point A de coordonnes , 0 et le point B de coordonnes (0, 1). La distance AB est gale
+ 12
2
2

5
5
5
1
1
ou encore
. On rabat cette distance au compas pour obtenir les nombres +
et
sur laxe des abscisses.
2
2
2
2
2
On note I et J les points obtenus :
1

A
b

21

51
5+1
et x =
ou encore
Les mdiatrices des segments [OI] et [OJ] on,t pour quations respectives x =
4
4
 
 
2
4
x = cos
et x = cos
. Ces deux mdiatrices coupent donc le cercle en les quatre autres sommets du pentagone
5
5
construire.

c Jean-Louis Rouget, 2016. Tous droits rservs.


34

http ://www.maths-france.fr

1
b

21

b
b

On efface les traits de construction et on trace le pentagone. Si on trace les diagonales du pentagone et que lon efface les
cts, on obtient ltoile 5 branches dans laquelle on voit apparatre un pentagone rgulier ...
b

Les racines 6-mes de lunit sont deux deux opposes car z C, (z)6 1 = 0 z6 1 = 0. Dautre part, U3 U6
car z C, z3 = 1 z6 = 1. U6 contient donc 1, j et j2 et les opposs
de ces nombres.

Tous ces nombres tant deux
deux distincts (ce qui est gomtriquement clair), on a donc U6 = 1, j2 , j, 1, j2 , j .

j = ei 3

j2

5.2

j2 = ei 3

Racines n-mes dun nombre complexe

Soit n N . Il est clair que lquation zn = 0 admet une solution et une seule savoir z = 0 ou encore le nombre 0 admet
exactement une racine n-me savoir 0.
On se donne dornavant un nombre complexe non nul A et on cherche rsoudre lquation
zn = A (E).
On pose A = Rei o R ]0, +[ et R.
1re rsolution. Le nombre complexe a =
pour z C,

Re n est un nombre complexe non nul tel que an = Rei = A. Par suite,

zn = A zn = an
k Z/

c Jean-Louis Rouget, 2016. Tous droits rservs.


 z n
a

=1

2ik
i
2ik
z
n
= e n k Z/ z = Re n e n .
a
35

http ://www.maths-france.fr

2re rsolution. On pose z = rei o r ]0, +[ et R.


zn = A rn ein = Rei rn = R et k Z/ n = + 2k

2k
2k
n
n
r = R et k Z/ = +
k Z/ z = Rei( n + n ) .
n
n

2k

Ainsi, les racines n-mes de A sont les nombres de la forme n Rei( n + n ) , k Z. Comme dans le paragraphe prcdent,

2k

et sont toutes les racines n-mes de A dans C. La


les nombres n Rei( n + n ) , k J0, n 1K, sont deux
ideux distincts
2ik
prsentation de ces racines n-mes sous la forme n Re n e n , k J0, n 1K montre quon obtient toutes les racines
n-mes de A en multipliant lune dentre elles par les racines n-mes de lunit. On peut noncer :
Thorme 31.
Soit n N . Tout nombre complexe non nul admet exactement n racines n-mes deux deux distinctes.

2k

Si A = Rei o (R, ) ]0, +[R, les racines n-mes de A sont les nombres complexes de la forme n Rei( n + n ) ,
k J0, n 1K.
On obtient toutes les racines n-mes dun nombre complexe non nul en multipliant lune dentre elles par les racines
n-mes de lunit.

i
Par exemple, puisque 16 = 16ei , une racine quatrime de 16 = 16ei dans C est 2e 4 ou encore 2(1 + i). Les racines
quatrimes de 16 dans C sont alors
z0 =

6
6.1

2(1 + i), z1 = z0 i = 2(1 + i), z2 = z0 i2 = 2(1 i) et z3 = z0 i3 = 2(1 i).

Similitudes planes directes


Translations, homothties, rotations

6.1.1 Translations

Soit
u un vecteur du plan. La translation de vecteur
u est lapplication du plan dans lui-mme qui, un point M du

plan, associe de point M du plan tel que MM = u . La translation de vecteur


u se note t
u . On a donc

(M, M ) P 2 , t
u (M) = M MM = u .

Le thorme suivant est immdiat :


Thorme 32.

Pour tous vecteurs


u et
v du plan, t
u +
v.
v = t
u t

= t
Pour tout vecteur
u du plan, t
u)
u.
u est une bijection du plan sur lui-mme et (t

On veut rcrire lgalit MM =


u . On note z, z et z
u les affixes respectives de M, M et u . On obtient

z = z + z
u.

Lgalit ci-dessus signifie que si M est un point du plan daffixe z, alors son image M par t
u est le point daffixe z o

z = z + z
u sappelle lexpression complexe de la translation de vecteur u .
u . Lcriture z = z + z

c Jean-Louis Rouget, 2016. Tous droits rservs.


36

http ://www.maths-france.fr

6.1.2

Homothties

Soit un point du plan et k un rel. Lhomothtie de centre et de rapport k est lapplication du plan dans lui-mme

qui, un point M du plan, associe de point M du plan tel que M = kM. Lhomothtie de centre et de rapport k
se note h,k ou hom,k . On a donc

(M, M ) P 2 , h,k (M) = M M = kM.

M2

M1

M2
b

M1
ci-contre, k = 2
b

M3
b

M3
Quand k = 1, h,k est lidentit du plan. Quand k 6= 1, h,k admet un et un seul point invariant (cest--dire un point
M tel que h,k (M) = M) savoir le centre de lhomothtie h,k . Quand k = 1, h,k est la symtrie centrale de
centre (dans ce cas, pour tout M, est le milieu du segment [MM ]).
Le thorme suivant est immdiat :
Thorme 33.
Pour tout point du plan et tous rels k et k , h,k h,k = h,kk .

Pour tout point du plan et tout rel non nul k, h,k est une bijection du plan sur lui-mme et (h,k )

= h, 1 .
k

Dterminons maintenant lexpression complexe de lhomothtie de centre daffixe et de rapport k( R). Si M est
un point du plan, on note toujours z son affixe puis on pose M = h,k (M) et on note z laffixe de M . Lgalit

M = kM scrit z = k(z ) ou encore


Thorme 34. Soient un point du plan daffixe et k un rel.

Lexpression complexe de lhomothtie de centre et de rapport k est z = + k(z ).


Cette expression complexe est du type z = az + b o b est un nombre complexe et a est un rel (a est le rapport de
lhomothtie).
Dterminons maintenant les points invariants par h,k cest--dire les points M du plan tels que h,k (M) = M. Si k = 1,
immdiatement h,k = IdP(E) ou encore tout point du plan est invariant par h,k . Si k 6= 1, pour tout point M du plan,

M = M M = kM (1 k)M = 0 M = 0 M = .

Donc

Thorme 35. Soient un point du plan et k un rel.


Si k = 1, h,k = IdP .

Si k 6= 1, h,k admet un point invariant et un seul, son centre .


6.1.3

Rotations

On se donne un point (le centre de la rotation) et un nombre rel . On dfinit alors la rotation de centre et dangle
, note r, . Soit M un point du plan. On note M = r, (M).
Si M = , alors on pose M = .
 
Si M 6= , alors M est le point du plan tel que M = M (ce qui impose M 6= ) et M, M = [2].
c Jean-Louis Rouget, 2016. Tous droits rservs.

37

http ://www.maths-france.fr

M
b

Dterminons lexpression complexe de r, . Soit M un point du plan distinct de dont laffixe est note z et soit M un
point du plan dont laffixe est not z .
 
M, M = [2]


z

= [2]
|z | = |z | et arg
z




z
= 1 et arg z = [2]

z
z

= ei
z
z = + ei (z ).

M = r, (M) M = M et

Cette dernire galit reste valable quand M = ou encore quand z = . Donc,


Thorme 36. Soient un point du plan daffixe et un rel.

Lexpression complexe de la rotation de centre et dangle est z = + ei (z ).


Cette expression complexe est du type z = az + b o b est un nombre complexe et a est un nombre complexe de module
1 (a = ei o est une mesure de langle de la rotation). Sinon, les deux thormes suivants sont immdiats.
Thorme 37.
Pour tout point du plan et tous rels et , r, r, = r,+ .

Pour tout point du plan et tout rel , r, est une bijection du plan sur lui-mme et (r, )

= r, .

Thorme 38. Soient un point du plan et un rel.


Si 2Z, r, = IdP .
Si
/ 2Z, r, admet un point invariant et un seul, son centre .

6.2

Etude des transformations z 7 az + b

Soient un point du plan, k un rel et un rel tels que kei


/ {0, 1} (kei {0, 1} quivaut k = 0 ou (k = 1 et
i
2Z) et donc ke
/ {0, 1} quivaut (k 6= 0 et (k 6= 1 ou
/ 2Z)). Effectuons successivement la rotation de centre
et dangle puis lhomothtie de centre et de rapport k. La transformation obtenue sappelle la similitude de centre
, de rapport k et dangle et note s,,k la transformation ainsi obtenue.
Soit M un point du plan dont laffixe est note z. On pose M = r, (M) et M = h,k (M ) de sorte que M = s,,k (M).
On note z et z les affixes respectives de M et M . On a
z = ei (z ) = kei (z ),
et donc z = + kei (z ).
Lcriture prcdente scrit sous la forme z = az + b o a est un nombre complexe distinct de 0 et de 1 et b est un
nombre complexe.

c Jean-Louis Rouget, 2016. Tous droits rservs.


38

http ://www.maths-france.fr

= k
M

On a obtenu

Thorme 39. Soient un point du plan, k un rel et un rel tels que kei
/ {0, 1}.

Lexpression complexe de la similitude de centre , dangle et de rapport k est z = + kei (z ).


Effectuons maintenant le travail inverse. On se donne deux nombres complexes a et b et on considre lapplication f du
plan dans lui-mme dexpression complexe z = az + b. On va analyser la nature de f en fonction de a et b.
1er cas. Si a = 0, alors pour tout z dans C, z = b. Dans ce cas, lapplication f est constante et en particulier, lapplication
f nest pas une bijection du plan sur lui-mme.
2me cas. On suppose a 6= 0. Dterminons les points invariants par f. Pour tout z C,
z = z az + b = z (1 a)z = b.

1er sous-cas. Si a = 1, alors pour tout z dans C, z = z + b. Dans ce cas, f est la translation de vecteur daffixe b
et en particulier, si a = 1 et b = 0, f est lidentit du plan.
b
(ce qui est
1a
aussi le cas quand a = 0). Puisque est invariant par f, on a = a + b et pour z dans C, on peut crire en posant
a = rei o r ]0, +[ et R \ 2Z,
2me sous-cas. Si a 6= 1, f admet un point invariant et un seul savoir le point daffixe =

z = (az + b) (a + b) = a(z ) = rei (z ).


Dans ce cas, f est la compose de lhomothtie de centre et de rapport k = |a| et de la rotation de centre et
b
dangle = arg(a) [2] cest--dire la similitude centre daffixe =
, de rapport k = |a| et dangle
1a
= arg(a) [2].
On a (presque) montr que
Thorme 40. Soient a et b deux nombres complexes. Soit f lapplication du plan dans lui-mme dexpression
complexe z = az + b.
Si a = 0, f est constante.
Si a = 1, f est la translation de vecteur daffixe b.

Si a
/ {0, 1}, f est la similitude centre daffixe =

b
, de rapport k = |a| et dangle = arg(a) [2].
1a

De plus,

f
f
f
f

a un unique point invariant si et seulement si a 6= 1.


est une translation si et seulement si a = 1.
est une homothtie si et seulement si a R.
est une rotation si et seulement si |a| = 1.

Exemple. Considrons les trois applications f1 , f2 et f3 du plan dans lui-mme dexpressions complexes respectives
z = 3z 1 + 2i, z = iz 3 i et z = (1 + i)z 1.
f1 est une homothtie de rapport 3. Le centre de f1 est son unique point invariant. Or, pour z C, z = 3z 1 + 2i
1
z = i.
2
c Jean-Louis Rouget, 2016. Tous droits rservs.

39

http ://www.maths-france.fr


1
, 1 et de rapport k = 3.
f1 est donc lhomothtie de centre
2

f2 est une rotation dangle arg(i) = [2]. Le centre de f2 est son unique point invariant. Or, pour z C,
2
(3 + i)(1 i)
3+i
z=
z = 2 + i.
z = iz 3 i z =
1+i
2

f2 est donc la rotation de centre (2, 1) et dangle = .


2

f3 est une similitude de rapport |1 + i| = 2 et dangle arg(1 + i) = [2]. Le centre de f3 est son unique point invariant.
4
Or, pour z C,


z = (1 + i)z 1 iz = 1 z = i.

f3 est donc la similitude de centre (0, 1), de rapport 2 et dangle = .


4

7
7.1

Exponentielle dun nombre complexe


Dfinition

Dfinition 7. Pour tout nombre complexe z, on pose


ez = eRe(z) eiIm(z) .
Puisque Re(z) et Im(z) sont des rels, le nombre eRe(z) etant strictement positif, eRe(z) eiIm(z) est la forme trigonomtrique de ez . On a donc immdiatement
Thorme 41.
z C, ez 6= 0,

z C, |ez | = eRe(z) et arg (ez ) = Im(z) [2].


 On prendra garde de ne pas remplacer ez 6= 0 par ez > 0 . z est maintenant un nombre 
complexe
 
 quelconque
i
j
1
2
cos 23 + i sin 23
et pas obligatoirement un rel. Par exemple, e = 1 est un rel strictement ngatif et e = e
nest pas un rel.

7.2

Proprits

On commence par les cas dgalit des exponentielles de deux nombres complexes.
Thorme 42.

(z, z ) C2 , ez = ez k Z/ z = z + 2ik.
z C, ez = 1 z 2iZ.
Dmonstration .

Soient z et z deux nombres complexes. La condition ncessaire et suffisante dgalit de deux nombres

complexes non nuls sous forme trigonomtrique donne dans le thorme 24 page 23 fournit

 


ez = ez ez = |ez | et arg ez = arg (ez ) [2]
eRe(z

= eRe(z) et k Z/ Im(z ) = Im(z) + 2k

Re(z ) = Re(z) et k Z/ Im(z ) = Im(z) + 2k

En particulier,

k Z/ z = z + 2ik.

ez = 1 k Z/ z = 2ik z 2iZ.

c Jean-Louis Rouget, 2016. Tous droits rservs.


40

http ://www.maths-france.fr

Une consquence importante du thorme 42 est que lapplication C


z
R R est injective.
x 7 ex

C nest pas injective alors que lapplication


7 ez

Le thorme qui suit donne les proprits algbriques de lexponentielle dun nombre complexe : il sagit une nouvelle fois
des rgles de calcul usuelles sur les exposants.
Thorme 43.

1) (z, z ) C2 , ez ez = ez+z .
2) z C, ez 6= 0 et

1
= ez .
ez

ez

= ezz .
ez
n
4) z C, n N, (ez ) = enz .
3) (z, z ) C2 ,

Dmonstration .
1) Soit (z, z ) C2 . Posons z = x + iy et z = x + iy o x, x , y et y sont quatre rels.

ez ez = ex eiy ex eiy = ex ex eiy eiy

= ex+x ei(y+y

= e(x+x

)+i(y+y )

= ez+z .

2) Soit z C.
Par suite, ez 6= 0 et

1
= ez .
ez

ez ez = ez+(z) = e0 = 1.

3) Soit (z, z ) C2 .

ez
1
= ez z = ez ez = ezz .
ez
e
4) Soit z C. Par rcurrence, on montre facilement que n N, (ez )n = enz .
Si n est un entier relatif strictement ngatif, alors n > 0 et

(ez ) =

1
(ez )n

1
= enz .
enz

Il reste se proccuper de la surjectivit de lexponentielle. On sait dj que lapplication C C nest pas surjective
z 7 ez
z
car le nombre 0 na pas dantcdent par cette application (z C, e 6= 0). On va voir par contre que lapplication
C C est surjective.
z 7 ez

Soit Z un nombre complexe non nul. Soit z C.

ez = Z |ez | = |Z| et arg (ez ) = arg (Z)) [2]

eRe(z) = |Z| et k Z/ Im(z) = arg (Z)) + 2k

On a montr que

Re(z) = ln(|Z|) et k Z/ Im(z) = arg (Z)) + 2k (car |Z| R+ et Re(z) R)


k Z/ z = ln(|Z|) + iarg(Z) + 2ik.

Thorme 44.
Lapplication C
z

C est surjective.
7 ez

Si Z C , les solutions dans C de lquation ez = Z sont les nombres de la forme z = ln(|Z|) + iarg(Z) + 2ik o
k Z.
c Jean-Louis Rouget, 2016. Tous droits rservs.

41

http ://www.maths-france.fr

Par exemple, les nombres complexes z tels que ez = 1 sont les nombres de la forme 2ik, k Z, et les nombres complexes

z tels que ez = i sont les nombres de la forme i + 2ik, k Z.


2
De manire gnrale, si Z est un nombre complexe non nul, lquation ez = Z a toujours une infinit de solutions. Pour
cette raison, on ne dfinit pas en classe prparatoire le logarithme dun nombre complexe et on ncrit jamais ln(Z)
quand
Z est un nombre complexe qui nest pas un rel strictement positif. Pour les mmes raisons, on ncrit jamais Z quand
Z est un nombre complexe qui nest pas un rel positif ou aussi, on ncrit jamais Z quand nest pas entier.

c Jean-Louis Rouget, 2016. Tous droits rservs.


42

http ://www.maths-france.fr

Вам также может понравиться