Академический Документы
Профессиональный Документы
Культура Документы
Plan du chapitre
1 Bref historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
2 Forme algbrique des nombres complexes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 4
5
6
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,
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,
http ://www.maths-france.fr
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).
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, 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.
http ://www.maths-france.fr
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
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 .
et
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 .
(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
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 .
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 .
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
http ://www.maths-france.fr
2.2
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
6=
6=
6=
6=
6=
2.3
2.3.1
a + ib = 0 a = b = 0.
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
.
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 .
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).
2.4
http ://www.maths-france.fr
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
Lensemble E des points M daffixe z tels que Z soit un imaginaire pur est la droite dquation x y + 1 = 0.
http ://www.maths-france.fr
3
2
1
2
2.5
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.
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 .
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))
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=
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
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| =
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.
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 .
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 =
z+i
. Dterminer et construire lensemble des points du plan daffixe z tels
zi
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 =
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
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|
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|.
Dmonstration .
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)|.
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).
Dmonstration .
|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,
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 .
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=
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
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
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
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
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
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
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
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
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
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.
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
3.3
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 =
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
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
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 .
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
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
1
1
+
et z21 + z22 .
z1 z2
3.7
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
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
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.
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
ei = 1.
ei 2 = i
b
ei = 1
b
e0 = 1
ei 2 = i
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).
21
http ://www.maths-france.fr
Dmonstration .
1) Soit (, ) R2 .
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
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|
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.
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 .
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.
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 = .
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
+ 2i sin
cos
= 2 cos
e2.
z = 1 + cos() + i sin() = 2 cos2
2
2
2
2
2
23
.
2
http ://www.maths-france.fr
+ 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
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
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
Nous donnons maintenant les formules exprimant cos , sin et tan en fonction de ei . Ces formules sont connues sous
le nom de formules dEuler.
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
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
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
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 .
Tn
1
x
2x2 1
4
8x 8x2 + 1
Un
0
1
2x
8x3 4x
26
http ://www.maths-france.fr
4.3.3
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
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
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
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
4.4.2
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
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).
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
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.
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
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
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
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
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
31
http ://www.maths-france.fr
Ak+2
b
Ak+1
2
n
b
Ak
1
Soit n > 2. Les racines n-mes deux deux distinctes de 1 dans C sont les nombres de la forme e
2i
n
2ik
n
2ik
n
k=0
n1
X
k=0
k =
1 n
11
=
= 0.
1
1
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
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
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.
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
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/
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
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
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
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
(M, M ) P 2 , t
u (M) = M MM = u .
= t
Pour tout vecteur
u du plan, t
u)
u.
u est une bijection du plan sur lui-mme et (t
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
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
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 = M M = kM (1 k)M = 0 M = 0 M = .
Donc
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
Pour tout point du plan et tout rel , r, est une bijection du plan sur lui-mme et (r, )
= r, .
6.2
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}.
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 =
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
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
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.
7
7.1
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
En particulier,
k Z/ z = z + 2ik.
ez = 1 k Z/ z = 2ik z 2iZ.
40
http ://www.maths-france.fr
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.
= 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
On a montr que
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
42
http ://www.maths-france.fr