Professional Documents
Culture Documents
Nombres complexes
Le corps C des nombres complexes
1
1.1
Dfinition (Loi de composition interne) Soit E un ensemble. On appelle loi de composition interne sur E, ou plus
simplement loi (interne) sur E toute application de E E dans E.
Explication
Une loi interne est ce que vous avez appel une opration dans les classes antrieures : laddition
des rels, la multiplication des rels, laddition des vecteurs. . . Par exemple, laddition des vecteurs est une loi interne car cest
une faon dassocier, tout couple (~
u, ~v ) de vecteurs, un autre vecteur que lon note ~
u + ~v .
Nous supposons dans ce qui suit que nous connaissons parfaitement lensemble R des nombres rels muni de ses deux lois +
et daddition et de multiplication. Partant de l, nous allons construire le corps C des nombres complexes.
Au commencement est R2 . Dans tout ce chapitre, R2 est identifi au plan euclidien quon a muni dun repre orthonormal
direct (O,~, ~) ; tout vecteur du plan est par l mme identifi ses coordonnes dans le repre (O,~, ~). On dfinit alors
sur R2 deux lois de composition internes, notes provisoirement et , en posant :
(x, y) (x0 , y 0 ) = (x + x0 , y + y 0 )
.
(x, y) (x0 , y 0 ) = (xx0 yy 0 , xy 0 + yx0 )
En tant quil est muni de ces deux lois, R2 est not C et ses lments sont appels nombres complexes.
Nous dcidons prsent didentifier, pour tout x R, le rel x et le nombre complexe (x, 0) ; cela signifie que nous noterons
dsormais x la place de (x, 0). Via cette identification, R peut-tre vu comme une partie de C.
x x0 = (x, 0) (x0 , 0) = (x + x0 , 0) = x + x0
.
x x0 = (x, 0) (x0 , 0) = (xx0 , 0) = x x0
On voit donc que, sur les rels, se comporte comme laddition usuelle + et que se comporte comme la multiplication
usuelle . Les lois et sont donc des prolongements C des lois usuelles + et qui ntaient pour le moment dfinies
que sur R. Ce rsultat nous invite laisser de ct les notations et : dsormais, et seront notes respectivement
+ et et appeles addition et multiplication. Le symbole sera gnralement omis.
Dfinition
Soit z = (x, y) C. Le rel x est appel la partie relle de z et not Re(z) ; de mme,
le rel y est appel la partie imaginaire de z et not Im(z).
Pour tous z, z 0 C :
Explication
z = z0
Re(z) = Re(z 0 )
Im(z)
et
Im(z) = Im(z 0 ).
~
b
Re(z)
Gomtriquement, Re(z) est labscisse du point z dans le repre (O,~, ~), et Im(z) est son ordonne.
Nous avons dcid plus haut de noter 1 llment (1, 0), identifi au rel 1 ; nous dcidons prsent de noter i llment (0, 1).
Dfinition (Forme algbrique dun nombre complexe) Soit z C. Il existe un couple unique (x, y) de rels tels que
z = x + iy. On a en fait x = Re(z) et y = Im(z).
Dmonstration
Pour tous x, y R :
En pratique
Lunicit de la forme algbrique dun nombre complexe est utilise frquemment pour faire des identifications. Elle permet,
quand on a une galit du type a + ib = a0 + ib0 , dcrire que a = a0 et que b = b0 .
Retenez bien lide suivante : une galit de nombres complexes, cest deux galits de nombres rels.
8
< Un nombre complexe est nul si et seulement si ses parties relle et imaginaire le sont.
Remarque
Dfinition
Soit M un point du plan de coordonnes (x, y). On appelle affixe de M le nombre complexe x + iy ; inversement M
est appel limage de x + iy.
Soit ~
u un vecteur de coordonnes (x, y). On appelle affixe de ~
u le nombre x + iy.
Explication
Dans la mesure o on a identifi R2 , C et le plan euclidien, on a en ralit M = (x, y) = x + iy. On
conserve cependant les trois notations diffrentes ; chacune est utile dans son contexte : il est parfois plus facile de penser en
termes de points, parfois plus facile de penser en termes de nombres complexes, etc.
Le thorme suivant est une consquence directe dun thorme que nous avons dmontr en gomtrie lmentaire du plan.
Thorme
Soient ~
u et ~v deux vecteurs daffixes respectifs u et v et , R. Le vecteur ~
u + ~v a pour affixe u + v.
n
1 X
k a k .
n
X
k et on
k=1
k=1
Nous disposons finalement dun quadruple point de vue sur un mme objet mathmatique : R2 est la fois lensemble de
couples de rels, le plan euclidien (constitu de points), lensemble des vecteurs du plan et lensemble C des nombres complexes.
Nous allons prsent dmontrer les proprits usuelles des lois + et sur C. Soient donc z = x + iy, z 0 = x0 + iy 0 et
z = x00 + iy 00 trois nombres complexes.
00
1) Commutativit de + :
2) Commutativit de :
3) Associativit de + : Lordre des parenthses na pas dimportance quand on effectue des additions.
z(z 0 + z 00 ) = (x, y) (x0 , y 0 ) + (x00 , y 00 ) = (x, y) (x0 + x00 , y 0 + y 00 ) = x(x0 + x00 ) y(y 0 + y 00 ) , x(y 0 + y 00 ) + y(x0 + x00 )
= (xx0 yy 0 ) + (xx00 yy 00 ) , (xy 0 + yx0 ) + (xy 00 + yx00 ) = (xx0 yy 0 , xy 0 + yx0 ) + (xx00 yy 00 , xy 00 + yx00 )
7) Existence dun lment neutre pour : Cet lment neutre unique est 1.
9) Existence dun inverse pour : Tout nombre complexe non nul z = x + iy possde un inverse unique pour
1
x iy
, not (z tant non nul, x2 + y 2 6= 0).
quon appelle son. . . inverse : cest 2
x + y2
z
z
1
= (x, y)
z
y
x
,
x2 + y 2 x2 + y 2
x
y
y
x
y 2
, x 2
+y 2
x2 + y 2
x + y2
x + y2
x + y2
= (1, 0) = 1.
Explication Pourquoi avons-nous dans le titre de cette partie qualifi C de corps ? Nous aurons loccasion dtudier
la notion de corps dans un prochain chapitre, mais en voici tout de mme une rapide dfinition. Un corps est un ensemble muni
de deux lois de composition internes, disons + et , qui vrifient toutes les proprits que nous venons de passer en revue
linstant : commutativit, associativit, distributivit, lment neutre, inverse.
Par exemple, R et Q, munis des lois daddition et de multiplication usuelles, sont des corps.
$ $ $ Attention ! Rappelons enfin que les ingalits nont aucun sens sur C. Quel sens donner la proposition i 6 i+1 ?
Une ingalit sur des complexes dans une copie est un crime impardonnable.
1.2
Dfinition
Re(z)2 + Im(z)2 .
Explication
Ces deux notions ont une interprtation gomtrique trs naturelle, comme le montre la figure cicontre : si nous notons M limage de z et M limage de z, M est le symtrique de M par rapport
laxe (Ox), et |z| = OM . Plus gnralement, si A et B sont deux points du plan daffixes respectifs
a et b, alors |b a| = AB.
Im(z)
|
|z
b
Re(z)
Remarque La fonction module concide avec la fonction valeur absolue sur R, cest pourquoi
leurs notations sont identiques.
b
Im(z)
Thorme
Pour tous z, z 0 C :
z + z
,
2
Re(z) =
Im(z) =
|z| = 0 z = 0,
z z = |z|2 ,
Ingalit triangulaire :
z z
,
2i
z = z,
Re(z) 6 |z|
|
z | = |z|,
|zz 0 | = |z|.|z 0 |
et
z + z 0 = z + z0
Im(z) 6 |z|.
et si z 0 6= 0,
0
0
0
|z| |z | 6 |z z | 6 |z| + |z |.
et
zz 0 = zz0 .
|z|
z
0 = 0 .
|z |
Explication
Linterprtation gomtrique des ingalits Re(z) 6 |z| et Im(z) 6 |z| est vidente
z + z0
zb
Et que signifie lingalit triangulaire ? Elle signifie, sur le dessin ci-dessous, que la distance
de O (z + z 0 ) est infrieure ou gale la somme des distances de O z et de O z 0 .
z0
Dmonstration
Re(z z ) 6 |z|.|z |
z z0 + zz 0
6 |z|.|z 0 |
2
|z|2 + z z0 + zz 0 + |z 0 |2 6 |z|2 + 2|z|.|z 0 | + |z 0 |2
2
z z + z z0 + zz 0 + z 0 z0 6 |z| + |z 0 |
2
}|
z z + zz 0 6 2|z|.|z 0 |
2
(z + z 0 )(
z + z0 ) 6 |z| + |z 0 |
|z + z 0 |2 6 |z| + |z 0 |
rel
0
|z + z 0 | 6 |z| + |z 0 |.
Lingalit de droite est ainsi dmontre. Remarquez bien que, contrairement aux apparences, nous travaillons
bien avec des ingalits sur des rels, puisque z z0 + zz 0 = 2Re(z z0 ) R.
Lgalit z z = |z|2 est utilise gnralement pour dterminer la forme algbrique de linverse dun
a ib
1
= 2
.
nombre complexe. Pour tout couple de rels (a, b) 6= (0, 0) :
a + ib
a + b2
La notion de module dun nombre complexe permet une description aise des cercles et des disques dans le plan complexe.
(Cercles, disques et affixes) Soit A un point daffixe a et R R
+.
Thorme
z C/
|z a| = R .
z C/
z C/
(i)
(ii)
|z a| 6 R .
|z a| < R .
(iii)
2
2.1
Dfinition, caractrisation
n
Dfinition
Explication
n
z C/
|z| = 1 .
x2 + y 2 = 1 = (x, y) R2 / x2 + y 2 = 1 .
U = z C/ |z| = 1 = (x, y) R2 /
Dans le plan euclidien, U est donc en ralit le cercle de centre O et de rayon 1, i.e. le cercle trigonomtrique.
Pourquoi qualifier U de groupe dans la dfinition prcdente ? Nous aurons loccasion dtudier la notion de groupe
dans un prochain chapitre, mais en voici tout de mme une dfinition. Un groupe est un ensemble G muni dune loi de
composition interne, disons , qui vrifie quelques proprits intressantes :
1) est associative :
g, g 0 , g 00 G,
g (g 0 g 00 ) = (g g 0 ) g 00 ;
g G,
ge=eg =g ;
g G,
g 0 G/
g g 0 = g 0 g = e.
Dans le cas prsent, U est un groupe pour la loi de multiplication des nombres complexes ; on peut bien dire que est
une loi de composition interne sur U car le produit de deux lments de U est un lment de U.
Dfinition
Explication La notation ei , qui cache un cosinus et un sinus, nest quune notation : ei nest pas e la puissance
i , ce qui na aucun sens. Quel rapport avec lexponentielle classique alors ? Le choix de la notation ei est justifi par lassertion
(iii) du thorme suivant, o lon montre que ei se comporte comme une exponentielle classique.
En ralit, la notation ei nest pas seulement lie par analogie lexponentielle usuelle ; derrire tout cela se cache une et une
seule exponentielle. Mais ce nest pas de votre ge.
Thorme
(i)
cos =
ei + ei
2
(ii)
ei 6= 0
et
(iii)
ei(+ ) = ei ei .
(iv)
ein = ei
(v)
et
sin =
ei = ei =
ei ei
2i
(formules dEuler).
1
.
ei
n
ou encore :
cos + i sin
ei =
n
(formule de Moivre).
= cos(n) + i sin(n)
(1 + it)2
.
1 + t2
Dmonstration
(iii) Montrons que :
ei(+ ) = ei ei .
ei ei = cos + i sin [cos 0 + i sin 0 = cos cos 0 sin sin 0 + i sin cos 0 + cos sin 0
ei
e
n
i 0
= ein .
=1=e
i0
.
n
n+1
Thorme
2t
1 t2 + 2it
(1 + it)2
1 t2
et que sin =
. Du coup ei =
=
.
2
2
2
1+t
1+t
1+t
1 + t2
zU
R/
z = ei .
ei = ei
R/ z = ei
0 mod 2 .
ei
o
R
. Ce rsultat
R/
x = cos
.
y = sin
Pour tout rel , ei est laffixe du point M tel que OM = 1 et ~, OM mod 2.
ei
M
Dmonstration
Montrons que : R, ei U.
p
Donc en effet ei U.
Montrons que tout lment de U admet une criture de la forme ei pour un certain R et quun tel est
unique 2 prs.
Soit donc u U. Nous avons |u|2 = Re(u)2 + Im(u)2 = 1. Nous savons quil existe alors un rel , unique
2 prs, tel que Re(u) = cos et Im(u) = sin . On a donc bien u = ei et est unique 2 prs.
2.2
Dfinition
Lcriture z = |z|ei arg(z) est appele la forme trigonomtrique de z. Gomtriquement, |z|, arg(z) est un couple
de coordonnes polaires de limage de z.
$ $ $ Attention !
Thorme
Notez bien que zro na pas dargument, et quen gnral, faute dunicit, on parle dun argument.
arg(
z ) arg(z) mod 2,
et
arg
z
arg(z) arg(z 0 ) mod 2.
z0
2.3
Racines nmes
n
x 7 x bijective de R+ sur R+ . La fonction n est donc dfinie par :
x, y R+ ,
y = n x x = y n .
y=x
x 7 x2
x 7 x3
Dfinition
y=x
x 7 x4
(Racines nmes )
Les racines nmes de 1 sont gnralement appeles les racines nmes de lunit. Leur ensemble est not Un .
$ $ $ Attention !
des notations interdites.
Si z est un nombre complexe qui nest pas un rel positif ou nul, la notation
Thorme
Soit n N .
Soit z C non nul, donn sous une forme trigonomtrique z = rei . Alors z possde exactement n racines nmes ; ce
2ik
i
n
sont les nombres complexes
r e n + n , k dcrivant lensemble J0, n 1K.
n
En particulier :
Un = e
En pratique
2ik
n
06k6n1
Dmonstration Le cas du nombre 0 est une idiotie, car un produit de nombres complexes est nul si et seulement
si lun des facteurs lest.
Nous allons commencer par travailler sur les racines de lunit ; nous gnraliserons ensuite partir de ce cas.
Racines nmes de lunit : Soit C. Notons = || et lunique argument de dans lintervalle
[0, 2[. Utilisons alors l unicit de la forme trigonomtrique des nombres complexes :
n = 1
n
ei
n = 1
=1
n ein = 1.ei.0
=1
et
k Z/ n = 2k
=1
et
k J0, n 1K/ =
=1
et
et
n 0
mod 2
2k
k Z/ =
n
2k
.
n
On a pu remplacer Z par J0, n 1K, car [0, 2[. Nous avons donc obtenu lquivalence suivante :
n = 1
k J0, n 1K/
=e
2ik
n
comme voulu.
Cela nous fait bien un total de n racines nmes de lunit, car les exponentielles ainsi dcouvertes sont toutes
distinctes.
i
Cas gnral : Soit z C non nul, donn sous une forme trigonomtrique z = rei . On pose = n r e n .
n
Il est immdiat que = z, et est non nul puisque z ne lest pas. Nous disposons donc dau moins une
racine nme de z. Nous allons trouver toutes les autres partir delle.
Soit alors C.
n = z
n = n
k J0, n 1K/
2ik
=e n
n
=1
( 6= 0)
k J0, n 1K/
r en+
2ik
n
.
jb
Explication
2i
3
Posons j = e
notation connatre. Alors U3 = 1, j, j . Graphiquement, U3 est
lensemble des trois sommets du triangle quilatral reprsent ci-contre.
j2 = j
Et en gnral ? Plus gnralement, Un est lensemble des sommets de lunique polygone rgulier i.e. cts de mme
longueur n cts de centre O, passant par le point daffixe 1.
b
i
e
1b
2i
5
j=e
4i
5
b
2i
3
b
i
3
U4 est lensemble
des sommes dun carr
4i
5
b
2i
5
j 2 = j = e
2i
3
i
3
Thorme
Un
(z ) =
n1
Y
k=0
ze
2ik
n
= zn 1
X
et
Un r{1}
Un
n1
X
2ik
n
n1
Y
(z ) =
k=1
ze
2ik
n
n1
X
zk .
k=0
En particulier, 1 + j + j 2 = 0.
= 0.
k=0
Dmonstration
(i) Nous dmontrerons ces galits avec plus de rigueur dans le chapitre sur les polynmes. Pour le moment,
contentons-nous de remarquer que les racines nmes de lunit sont tous les zros de la fonction polynomiale
Y
Un
(z ) =
n1
Y
k=0
ze
2ik
n
= z n 1.
On obtient la seconde
identit en divisant la premire par (z 1) division problmatique quand z = 1, mais nous reverrons cela
plus tard.
(ii) Puisque n 6= 1, e
2i
n
6= 1. Du coup :
n1
X
2ik
n
k=0
n1
X
2i
n
k
k=0
2i
n
n
2i
n
e2i 1
2i
n
= 0.
En pratique
Nous tudions prsent une technique susceptible de nous fournir les racines carres dun nombre
complexe donn sous forme algbrique. Pour les racines nmes avec n > 2, cette recherche savre prilleuse.
Soit donc z C, donn sous forme algbrique z = x + iy. Nous voulons calculer les racines carres de z, i.e. rsoudre lquation
2 = z dinconnue C donne sous forme algbrique = a + ib. Lide gniale de la mthode est cache dans lquivalence
suivante :
2 = z 2 = z et ||2 = |z|.
Cette quivalence peut paratre idiote, mais cest pourtant grce
elle que nous allons russir notre calcul.
2 = z
2 = z
2
a =
et
x+
||2 = |z|
a 2 b2 = x
2ab = y
et
a 2 + b2 =
x2 + y 2
x2 + y 2
x + x2 + y 2
, b2 =
et 2ab = y
2
2
(effectuer la somme et la diffrence des quations a2 + b2 = . . . et a2 b2 = . . .)
Le rsultat obtenu semble compliqu, mais on en tire aisment les valeurs de a et b : les galits a2 = . . . et b2 = . . . nous
permettent de connatre a et b au signe prs ; pour savoir si a et b sont de mme signe ou de signes contraires, on utilise lgalit
2ab = y. On obtient finalement, si z 6= 0, deux racines carres distinctes opposes de z.
Exemple
5+i
Les racines carres de 12 + 5i sont .
2
En effet Soit C, donn sous forme algbrique = a + ib.
2 = 12 + 5i
2 = 12 + 5i
a2 + b2 = 13, a2 b2 = 12 et 2ab = 5
13 12
13 + 12
, b2 =
et 2ab = 5
a2 =
2
2
5
1
et 2ab = 5
a = , b =
2
2
5
1
1
5
(a, b) = ,
ou (a, b) = ,
2
2
2
2
5+i
5+i
=
ou =
comme annonc.
2
2
et
8 2
2
< a + b = 122 + 52
a2 b2 = 12
2ab = 5
La technique prcdente de calcul des racines carres dun nombre complexe est ce dont nous avons besoin pour rsoudre les
quations du second degr coefficients complexes.
Thorme
Dmonstration
Pour tout z C :
b
c
az + bz + c = a z + z +
a
a
2
"
=a
z+
b
2a
2
=a
2a
"
b
z+
2a
2 #
2
"
=a
b2
c
2 +
4a
a
b
2a
z+
"
b
z+
2a
=a
# "
.
2a
z+
b
2a
2
b2 4ac
4a2
2a
=a z
b
2a
b +
2a
Or un produit de nombres complexes est nul si et seulement si lun de ses facteurs lest. . .
Exemple
2.4
5+i
Les solutions de lquation 4z 2 + 8z 3 5i = 0 dinconnue z C sont 3 .
2 2
2
En effet Le discriminant de cette quation du second degr est = (8 3) 4.4.(5i) = 16(12 + 5i). Or nous
5+i
5+i
avons trouv tout lheure les racines carres de 12 + 5i ; par exemple, en est une. Du coup, = 4
2
2
8 3
5+i
est une racine carre de . Les solutions recherches sont donc bien
= 3 .
2.4
2 2
Lexponentielle complexe
Dfinition (Exponentielle complexe) Soit z C, donn sous forme algbrique z = x + iy. On appelle exponentielle (de)
z, note ez , le nombre complexe ez = ex eiy .
Thorme
z C,
0
ez+2i = ez .
0
k Z/ z = ln || + i arg() + 2ik.
Explication
Lassertion (iii) implique que 0 est le seul nombre complexe qui nest lexponentielle daucun nombre
complexe ; pour tout C non nul, il existe z C une infinit en fait, via la 2i-priodicit tel que = ez .
Dmonstration
(i) Facile :
z C,
(ii) Soient z, z 0 C.
0
ez+z = eRe(z+z
eiIm(z+z ) = eRe(z)+Re(z
eiIm(z) eiIm(z ) = ez ez .
(iii) Lexponentielle relle ne sannule pas, nous le savons dj, et la fonction 7 ei non plus car ei = 1 ;
produit de ces deux fonctions, lexponentielle complexe ne sannule donc pas.
Soient alors z C et C . Utilisons l unicit de la forme trigonomtrique des nombres complexes.
ez =
z
e = ||
Re(z)
arg ez arg()
mod 2
Im(z) arg()
mod 2
et
k Z/ z = ln || + i arg() + 2ik.
= ||
et
Re(z) = ln ||
et
k Z/ Im(z) = arg() + 2k
2.5
En pratique Linariser une expression polynomiale en cos x et sin x, cest lexprimer laide de cos x, cos(2x). . . et
sin x, sin(2x). . . en supprimant toutes les puissances qui pouvaient apparatre. Pour mener bien une linarisation, on dispose
de deux outils : les formules dEuler et la formule du binme de Newton.
Les exemples valent ici mieux quun long discours. Vous devez savoir faire ce genre de calcul rapidement et sans aide.
Exemple
x R,
En effet
Premire tape : On remplace sin x grce la formule dEuler pour le sinus, puis on dveloppe grce
la formule du binme de Newton.
sin5 x =
eix eix
2i
5
1 5ix
e 5e3ix + 10eix 10eix + 5e3ix e5ix .
32i
Seconde tape : On regroupe les puissances de eix de manire pouvoir utiliser les formules dEuler dans
lautre sens.
sin5 x =
Exemple
sin(5x) 5 sin(3x) + 10 sin x
1 5ix
e e5ix 5 e3ix e3ix + 10 eix eix =
.
32i
16
sin2 x cos4 x =
x R,
En effet
Soit x R.
Premire tape : On remplace cos x et sin x laide des formules dEuler, puis on dveloppe grce la
formule du binme de Newton les deux parenthses ainsi obtenues ; finalement on dveloppe de nouveau.
2
4
eix eix
eix + eix
1 2ix
sin x cos x =
=
e 2 + e2ix e4ix + 4e2ix + 6 + 4e2ix + e4ix
2i
2
64
1 6ix
=
e + 2e4ix e2ix 4 e2ix + 2e4ix + e6ix .
64
2
Seconde tape : On regroupe les puissances de eix de manire pouvoir utiliser les formules dEuler dans
lautre sens.
sin2 x cos4 x =
cos(6x) 2 cos(4x) + cos(2x) + 2
1 6ix 6ix
e +e
+2 e4ix +e4ix e2ix +e2ix 4 =
.
64
32
En pratique Pour effectuer des factorisations, vous devez connatre la technique de langle moiti. Cette technique
sert crire les complexes de la forme eix + eiy sous forme de produit. Lide est simple :
eix + eiy = e
x, y R,
i(x+y)
2
i(xy)
2
+e
i(xy)
2
= 2e
i(x+y)
2
cos
xy
.
2
On parle de langle moiti car la technique consiste seulement mettre en facteur lexponentielle associe langle
technique sadapte bien sr au cas des complexes de la forme eix eiy .
Exemple
n
X
Soient n N et x R.
En effet
8
sin (n + 1)x cos(nx)
>
>
<
cos(2kx) =
>
>
:
k=0
sin x
si x
/ Z
n+1
si x Z
Vous devez savoir refaire cette dmonstration, lexercice est trs classique.
n
X
k=0
dsormais que x
/ Z, de sorte que e2ix 6= 1.
n
X
x+y
. Cette
2
cos(2kx) =
k=0
n
X
Re e2ikx = Re
k=0
Formule
dEuler
n
X
e2ikx
2ix
6=1
Re
k=0
Re @einx
sin (n + 1)x
sin x
1
A=
e2i(n+1)x 1
e2ix 1
sin (n + 1)x
sin x
10
Angle
moiti
Re einx =
Re @
1
A
Cest termin.
3
3.1
Interprtation gomtrique de
Thorme
(Interprtation gomtrique de
celle de b et M celle de z.
z b
MB
z a = MA
zb
za
zb
) Soient a, b, z C tels que z 6= a et z 6= b. On note A limage de a, B
za
et
arg
zb
za
M A, M B mod 2.
En pratique Ce rsultat peut tre utilis pour dmontrer lalignement de A, B et M , ou pour montrer lorthogonalit
des droites (AM ) et (BM ).
A, B et M sont aligns
(AM ) et (BM ) sont orthogonales
3.2
M A, M B 0
mod
M A, M B
zb
R.
za
mod
zb
iR.
za
Thorme
et
det ~
u, ~v = Im u
v .
u
v = (x iy)(x0 + iy 0 ) = (xx0 + yy 0 ) + i(xy 0 yx0 ) = ~
u ~v + i det ~
u, ~v .
En pratique Nous en dduisons un nouveau moyen de montrer lalignement de trois points, la colinarit de deux
vecteurs ou lorthogonalit de deux vecteurs.
3.3
Transformations usuelles
Thorme
(i) Soit ~
u un vecteur daffixe u. Limage de M par la translation de vecteur ~
u a pour affixe le nombre complexe z + u.
(ii) Soit R. Limage de M par lhomothtie de centre O et de rapport a pour affixe le nombre complexe z.
(iii) Soit R. Limage de M par la rotation de centre O et dangle de mesure a pour affixe le nombre complexe ei z.
(i) La translation de vecteur ~
u envoie M sur un certain point M 0 dfini par : OM 0 = OM + u. En termes
0
0
0
daffixes, si z est laffixe de M , nous obtenons comme voulu lgalit : z = z + u.
(ii) Lhomothtie de centre O et de rapport envoie M sur un certain point M 0 dfini par : OM 0 = OM .
En termes daffixes, si z 0 est laffixe de M 0 , nous obtenons comme voulu lgalit : z 0 = z.
11
0
(iii) La rotation de centre O et dangle
de mesure
envoie M sur un certain point M dfini cette fois par deux
|z 0 | = |z|
et
Do enfin :
(iv) La symtrie centrale de centre O nest autre que lhomothtie de centre O et de rapport 1 utiliser
lassertion (ii).
(v) Dj observ.
(vi) La symtrie par rapport (Oy) nest autre que la compose de la symtrie par rapport (Ox) et de la
symtrie centrale par rapport O utiliser les assertions (iv) et (v).
En pratique
Il est important de connatre la dmonstration prcdente, qui dailleurs est trs simple. Car elle
nous fournit la mthode adopter pour caractriser en termes daffixe nimporte quelle transformation usuelle compose de
transformations lmentaires.
Exemple
En effet
Soit M un point daffixe note z. Notons M 0 limage de M par lhomothtie tudie et z 0 laffixe de
0
M . Alors M 0 est dfini par : M 0 = 2M . En termes daffixes, cette identit scrit : z 0 i = 2(z i), i.e.
z 0 = 2z i.
Exemple
AM , AM 0
0
0
i arg(z 0 2i)
i arg(z2i) i
2 = e
2 (z 2 i).
Par consquent : z 2 i = |z 2 i| e
= |z 2 i| e
i
Et finalement : z 0 = e 2 (z 2 i) + 2 + i = i(z 2 i) + 2 + i = iz + 1 + 3i comme voulu.
0
3.4
Similitudes et isomtries
Dfinition
(Similitude, isomtrie)
Soit > 0. On appelle similitude (plane) de rapport toute application f du plan dans lui-mme telle que pour tous
points M, N :
f (M )f (N ) = M N.
On appelle isomtrie (plane) toute application f du plan dans lui-mme telle que pour tous points M, N :
f (M )f (N ) = M N .
Explication Une isomtrie est une application qui prserve les distances tymologiquement, iso-mtrie signifie
mme mesure . Une similitude est une application qui mulitplie les distances dans un rapport constant. En particulier, il est
clair que toute isomtrie est une similitude de rapport 1.
Exemple
Les translations, les rotations et les symtries axiales sont des isomtries. Les homothties sont des similitudes.
Le thorme suivant montre que les similitudes sont des transformations trs simples quand on les observe travers le miroir
des affixes.
Thorme
(i) Les similitudes planes sont exactement toutes les applications de la forme z 7 az + b ou z 7 a
z + b, o a, b C
et a 6= 0.
(ii) Les isomtries planes sont exactement toutes les applications de la forme z 7 az + b ou z 7 a
z + b, o a, b C
et |a| = 1.
12
Dmonstration
(i) Il est clair que
toute application de la forme z 7 az + b, o a, b C et a 6= 0, est une similitude, car :
z, z 0 C, (az 0 + b) (az + b) = |a|.|z 0 z| le rapport de la similitude est prcisment |a|. Mme
chose pour les applications de la forme z 7 a
z + b.
Rciproquement, soit f une similitude de rapport > 0. Nous voulons montrer que f est soit de la forme
z 7 az + b, soit de la forme z 7 a
z + b, o a, b C et a 6= 0. La preuve seffectue en plusieurs tapes.
f (1) f (0) = |1 0| = > 0.
f (z) f (0)
.
g(z) =
f (1) f (0)
0
0
f (z 0 ) f (z)
|z 0 z|
g(z 0 ) g(z) = f (z ) f (0) f (z) f (0) = f (z ) f (z) =
=
= |z 0 z|.
f (1) f (0)
f (1) f (0)
f (1) f (0)
|1 0|
f (1) f (0)
Ce calcul montre que g est une isomtrie. Nous allons tudier g pour obtenir des informations sur f .
Remarquons quon a g(0) = 0 et g(1) = 1.
Montrons que :
z C,
g(z) = z ou g(z) = z .
g(z) = x0 + iy 0 ,
g(z) 1 = g(z) g(1) = |z 1|.
et
x02 + y 02 = x2 + y 2
(x0 1)2 + y 02 = (x 1)2 + y 2
x02 + y 02 = x2 + y 2
1
1
x0 = x
L2 L1 L2
2
2
x0 = x
.
y 0 = y
Montrons que :
z C,
g(z) = z
ou
z C,
g(z) = z .
Nous venons de montrer que pour tout z, g(z) vaut z ou z. Mais on peut avoir a priori g(z) = z pour
certains z et g(z 0 ) = z0 pour dautres z 0 . Il sagit maintenant de montrer quon a soit toujours g(z) = z,
soit toujours g(z) = z rsultat beaucoup plus fort. Remarquons quen vertu du point prcdent, on a
soit g(i) = i, soit g(i) = i = i.
1) Supposons dabord que g(i) = i et montrons que : z C, g(z)
= z.
Soit z C. Faisons lhypothse que g(z) = z. Alors |
z i| = g(z) g(i) = |z i|, i.e. |z + i| = |z i|.
Cette galit signifie que z est quidistant des points i et i, donc que z est situ sur leur mdiatrice
qui est laxe des rels. Ainsi z R et donc g(z) = z = z.
2) On montrerait de mme que si g(i) = i, alors :
z C,
g(z) = z.
(i) Toute similitude plane de la forme z 7 az + b avec a, b C et a 6= 0 prserve les angles orients de vecteurs. Une
telle similitude est dire directe.
(ii) Toute similitude plane de la forme z 7 a
z + b avec a, b C et a 6= 0 transforme tout angle orient de vecteurs en
son oppos. Une telle similitude est dire indirecte.
Explication Ce rsultat est tout fait non trivial : il ntait pas du tout vident, quand nous avons dfini la notion
de similitude, quune application qui multiplie les distances dans un rapport constant prserve ou renverse les angles orients.
13
Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude z 7 az + b. Soient en outre U, V, W trois points distincts
daffixes respectives u, v, w. Leurs images respectives par f sont notes U 0 , V 0 , W 0 , daffixes u0 , v 0 , w0 . Alors :
(au + b) (aw + b)
a(u w)
u0 w0
uw
=
=
=
,
u0 v 0
(au + b) (av + b)
a(u v)
uv
Nous avons ainsi montr lgalit :
angles orients.
00 00
U V ,U W
et donc :
arg
u0 w0
u0 v 0
U V , U W mod 2.
arg
uw
uv
mod 2.
Exemple Les translations, les rotations et les homothties sont des similitudes directes. Les symtries axiales sont quant
elles indirectes.
Thorme
(i) Toute similitude plane directe est soit une translation, soit la compose dune homothtie de rapport strictement
positif et dune rotation de mme centre. Dans ce second cas, si f est la compose dune homothtie de centre et de rapport
> 0 et dune rotation de mme centre et dangle de mesure , alors on dit que f est la similitude (directe) de centre , de
rapport et dangle de mesure .
(ii) Toute isomtrie plane directe est soit une translation, soit une rotation.
Explication
s(M )
Encore un rsultat non trivial. Dans le cas isomtries par exemple, il ntait pas du tout clair a priori
quune application qui prserve les distances et lorientation est soit une translation (dplacement
suivant un vecteur constant), soit une rotation (dplacement angulaire constant autour dun point
fixe). On aurait pu imaginer que dautres transformations plus exotiques prservaient les distances.
Ici = 2.
La figure ci-contre illustre laction dune similitude s de centre , de rapport et dangle de mesure
sur un point M . On tourne et on dilate, ou bien on dilate et on tourne.
Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude directe z 7 az + b. Si a = 1, alors f est la translation
de vecteur daffixe b. Supposons donc dsormais a 6= 1. Alors lquation f possde un unique point fixe :
b
. Notons le point dimage
lquation f () = dinconnue C possde une unique solution =
1a
. Du coup, pour tout z C :
ei arg(a) (z )
{z
= ei arg(a)
Rotation de centre
{z
|a|(z )
{z
Homothtie de centre
{z
Homothtie de centre
Rotation de centre
Comme voulu, f apparat comme la compose dune homothtie et dune rotation de mme centre.
(ii) Le cas des isomtries directes se dduit du cas des similitudes directes : une similitude directe de rapport
1 est soit une translation, soit une rotation.
Exemple
1 + 2i
14
}
}