Académique Documents
Professionnel Documents
Culture Documents
Nombres complexes
Dfinition (Loi de composition interne) Soit E un ensemble. On appelle loi de composition interne sur E, ou plus
simplement loi (interne) sur E toute application de E E dans E.
Explication Une loi interne est ce que vous avez appel une opration dans les classes antrieures : laddition
des rels, la multiplication des rels, laddition des vecteurs. . . Par exemple, laddition des vecteurs est une loi interne car cest
une faon dassocier, tout couple (~ u, ~v ) de vecteurs, un autre vecteur que lon note ~
u + ~v .
Nous supposons dans ce qui suit que nous connaissons parfaitement lensemble R des nombres rels muni de ses deux lois +
et daddition et de multiplication. Partant de l, nous allons construire le corps C des nombres complexes.
Au commencement est R2 . Dans tout ce chapitre, R2 est identifi au plan euclidien quon a muni dun repre orthonormal
direct (O,~, ~) ; tout vecteur du plan est par l mme identifi ses coordonnes dans le repre (O,~, ~). On dfinit alors
sur R2 deux lois de composition internes, notes provisoirement et , en posant :
(x, y) (x0 , y 0 ) = (x + x0 , y + y 0 )
(x, y), (x0 , y 0 ) R2 , .
(x, y) (x0 , y 0 ) = (xx0 yy 0 , xy 0 + yx0 )
En tant quil est muni de ces deux lois, R2 est not C et ses lments sont appels nombres complexes.
Nous dcidons prsent didentifier, pour tout x R, le rel x et le nombre complexe (x, 0) ; cela signifie que nous noterons
dsormais x la place de (x, 0). Via cette identification, R peut-tre vu comme une partie de C.
x x0 = (x, 0) (x0 , 0) = (x + x0 , 0) = x + x0
Pour tous x, x0 R, cette identification permet dcrire : .
x x0 = (x, 0) (x0 , 0) = (xx0 , 0) = x x0
On voit donc que, sur les rels, se comporte comme laddition usuelle + et que se comporte comme la multiplication
usuelle . Les lois et sont donc des prolongements C des lois usuelles + et qui ntaient pour le moment dfinies
que sur R. Ce rsultat nous invite laisser de ct les notations et : dsormais, et seront notes respectivement
+ et et appeles addition et multiplication. Le symbole sera gnralement omis.
Soit z = (x, y) C. Le rel x est appel la partie relle de z et not Re(z) ; de mme,
le rel y est appel la partie imaginaire de z et not Im(z).
~
Pour tous z, z 0 C : z = z0 Re(z) = Re(z 0 ) et Im(z) = Im(z 0 ). b ~
O Re(z)
Explication Gomtriquement, Re(z) est labscisse du point z dans le repre (O,~, ~), et Im(z) est son ordonne.
Nous avons dcid plus haut de noter 1 llment (1, 0), identifi au rel 1 ; nous dcidons prsent de noter i llment (0, 1).
Dfinition (Forme algbrique dun nombre complexe) Soit z C. Il existe un couple unique (x, y) de rels tels que
z = x + iy. On a en fait x = Re(z) et y = Im(z).
Dmonstration Pour tous x, y R : x + iy = (x, 0) + (0, 1) (y, 0) = (x, 0) + (0, y) = (x, y).
En pratique
Lunicit de la forme algbrique dun nombre complexe est utilise frquemment pour faire des identifications. Elle permet,
quand on a une galit du type a + ib = a0 + ib0 , dcrire que a = a0 et que b = b0 .
Retenez bien lide suivante : une galit de nombres complexes, cest deux galits de nombres rels.
1
c Christophe Bertault - MPSI
8
< Un nombre complexe est nul si et seulement si ses parties relle et imaginaire le sont.
Remarque Un nombre complexe est rel si et seulement si sa partie imaginaire est nulle.
:
Un nombre complexe dont la partie relle est nulle est appel un imaginaire pur.
Dfinition (Affixe dun point et dun vecteur, image dun nombre complexe)
Soit M un point du plan de coordonnes (x, y). On appelle affixe de M le nombre complexe x + iy ; inversement M
est appel limage de x + iy.
Soit ~
u un vecteur de coordonnes (x, y). On appelle affixe de ~
u le nombre x + iy.
Le thorme suivant est une consquence directe dun thorme que nous avons dmontr en gomtrie lmentaire du plan.
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
2) Commutativit de : zz 0 = (x, y)(x0, y 0 ) = (xx0 yy 0 , xy 0 +yx0 ) = (x0 xy 0y, x0 y+y 0 x) = (x0 , y 0 )(x, y) = z 0 z.
3) Associativit de + : Lordre des parenthses na pas dimportance quand on effectue des additions.
(z + z 0 ) + z 00 = (x, y) + (x0 , y 0 ) + (x00 , y 00 ) = (x + x0 , y + y 0 ) + (x00 , y 00 ) = (x + x0 ) + x00 , (y + y 0 ) + y 00
= x + (x0 + x00 ) , y + (y 0 + y 00 ) = (x, y) + (x0 + x00 , y 0 + y 00 ) = (x, y) + (x0 , y 0 ) + (x00 , y 00 ) = z + (z 0 + z 00 ).
4) Associativit de : Lordre des parenthses na pas dimportance quand on effectue des multiplications.
(zz 0 )z 00 = (x, y) (x0 , y 0 ) (x00 , y 00 ) = (xx0 yy 0 , xy 0 + yx0 ) (x00 , y 00 )
= (xx0 yy 0 )x00 (xy 0 + yx0 )y 00 , (xx0 yy 0 )y 00 + (xy 0 + yx0 )x00
= x(x0 x00 y 0 y 00 ) y(x0 y 00 + y 0 x00 ) , x(x0 y 00 + y 0 x00 ) + y(x0 x00 y 0 y 00 )
= (x, y) (x0 x00 y 0 y 00 , x0 y 00 + y 0 x00 ) = (x, y) (x0 , y 0 ) (x00 , y 00 ) = z(z 0 z 00 ).
5) Distributivit de sur + :
z(z 0 + z 00 ) = (x, y) (x0 , y 0 ) + (x00 , y 00 ) = (x, y) (x0 + x00 , y 0 + y 00 ) = x(x0 + x00 ) y(y 0 + y 00 ) , x(y 0 + y 00 ) + y(x0 + x00 )
= (xx0 yy 0 ) + (xx00 yy 00 ) , (xy 0 + yx0 ) + (xy 00 + yx00 ) = (xx0 yy 0 , xy 0 + yx0 ) + (xx00 yy 00 , xy 00 + yx00 )
= (x, y) (x0 , y 0 ) + (x, y) (x00 , y 00 ) = (zz 0 ) + (zz 00 ).
6) Existence dun lment neutre pour + : Cet lment neutre unique est 0. z +0 = (x, y)+(0, 0) = (x, y) = z.
7) Existence dun lment neutre pour : Cet lment neutre unique est 1. z 1 = (x, y)(1, 0) = (x, y) = z.
8) Existence dun inverse pour + : Tout nombre complexe z possde un inverse unique pour + quon appelle son
oppos : cest 1 z, not z. z + (z) = (x, y) + [(1, 0) (x, y) = (x, y) + (x, y) = (0, 0) = 0.
2
c Christophe Bertault - MPSI
9) Existence dun inverse pour : Tout nombre complexe non nul z = x + iy possde un inverse unique pour
x iy 1
quon appelle son. . . inverse : cest 2 , not (z tant non nul, x2 + y 2 6= 0).
x + y2 z
1 x y x y y x
z = (x, y) , = x y 2 , x 2 +y 2 = (1, 0) = 1.
z x2 + y 2 x2 + y 2 x2 + y 2 x + y2 x + y2 x + y2
Explication Pourquoi avons-nous dans le titre de cette partie qualifi C de corps ? Nous aurons loccasion dtudier
la notion de corps dans un prochain chapitre, mais en voici tout de mme une rapide dfinition. Un corps est un ensemble muni
de deux lois de composition internes, disons + et , qui vrifient toutes les proprits que nous venons de passer en revue
linstant : commutativit, associativit, distributivit, lment neutre, inverse.
Par exemple, R et Q, munis des lois daddition et de multiplication usuelles, sont des corps.
$ $ $ Attention ! Rappelons enfin que les ingalits nont aucun sens sur C. Quel sens donner la proposition i 6 i+1 ?
Une ingalit sur des complexes dans une copie est un crime impardonnable.
Explication
M
b
Ces deux notions ont une interprtation gomtrique trs naturelle, comme le montre la figure ci- Im(z)
contre : si nous notons M limage de z et M limage de z, M est le symtrique de M par rapport |
|z
laxe (Ox), et |z| = OM . Plus gnralement, si A et B sont deux points du plan daffixes respectifs
a et b, alors |b a| = AB.
b
Re(z)
Remarque La fonction module concide avec la fonction valeur absolue sur R, cest pourquoi
leurs notations sont identiques.
Im(z) b
M
Explication
b
z + z0
Linterprtation gomtrique des ingalits Re(z) 6 |z| et Im(z) 6 |z| est vidente zb
partir de la figure prcdente.
Et que signifie lingalit triangulaire ? Elle signifie, sur le dessin ci-dessous, que la distance b
Dmonstration Contentons-nous de dmontrer lingalit triangulaire |z| |z 0 | 6 |z + z 0 | 6 |z| + |z 0 |. Pour
dmontrer cette ingalit avec |z z 0 | la place de |z + z 0 |, remplacer z 0 par z 0 .
3
c Christophe Bertault - MPSI
On part de lingalit Re(z z 0 ) 6 |z z 0 | = |z|.|z 0 | = |z|.|z 0 | que lon sait tre vraie.
rel
z }| {
0 0 z z 0 + zz 0
Re(z z ) 6 |z|.|z | 6 |z|.|z 0 | z z + zz 0 6 2|z|.|z 0 |
0
2
|z|2 + z z 0 + zz 0 + |z 0 |2 6 |z|2 + 2|z|.|z 0 | + |z 0 |2
2 2
z z + z z 0 + zz 0 + z 0 z 0 6 |z| + |z 0 | (z + z 0 )(z + z 0 ) 6 |z| + |z 0 |
2
|z + z 0 |2 6 |z| + |z 0 | |z + z 0 | 6 |z| + |z 0 |.
Lingalit de droite est ainsi dmontre. Remarquez bien que, contrairement aux apparences, nous travaillons
bien avec des ingalits sur des rels, puisque z z 0 + zz 0 = 2Re(z z0 ) R.
Lingalit de gauche en dcoule : |z| = (z + z 0 ) + (z 0 ) 6 |z + z 0 | + | z 0 |, do : |z| |z 0 | 6 |z + z 0 |.
Permutant les rles de z et z 0 , on obtient de mme : |z 0 | |z| 6 |z + z 0 |. Le rsultat en dcoule.
En pratique Lgalit z z = |z|2 est utilise gnralement pour dterminer la forme algbrique de linverse dun
1 a ib
nombre complexe. Pour tout couple de rels (a, b) 6= (0, 0) : = 2 .
a + ib a + b2
La notion de module dun nombre complexe permet une description aise des cercles et des disques dans le plan complexe.
n o
Dfinition (Groupe U des nombres complexes de module 1) On note U lensemble z C/ |z| = 1 .
Explication
n o n p o n o
U = z C/ |z| = 1 = (x, y) R2 / x2 + y 2 = 1 = (x, y) R2 / x2 + y 2 = 1 .
Dans le plan euclidien, U est donc en ralit le cercle de centre O et de rayon 1, i.e. le cercle trigonomtrique.
Pourquoi qualifier U de groupe dans la dfinition prcdente ? Nous aurons loccasion dtudier la notion de groupe
dans un prochain chapitre, mais en voici tout de mme une dfinition. Un groupe est un ensemble G muni dune loi de
composition interne, disons , qui vrifie quelques proprits intressantes :
1) est associative : g, g 0 , g 00 G, g (g 0 g 00 ) = (g g 0 ) g 00 ;
2) possde un lment neutre, disons e : g G, ge=eg =g ;
3) tout lment de G possde un inverse pour : g G, g 0 G/ g g 0 = g 0 g = e.
Dans le cas prsent, U est un groupe pour la loi de multiplication des nombres complexes ; on peut bien dire que est
une loi de composition interne sur U car le produit de deux lments de U est un lment de U.
4
c Christophe Bertault - MPSI
Explication La notation ei , qui cache un cosinus et un sinus, nest quune notation : ei nest pas e la puissance
i , ce qui na aucun sens. Quel rapport avec lexponentielle classique alors ? Le choix de la notation ei est justifi par lassertion
(iii) du thorme suivant, o lon montre que ei se comporte comme une exponentielle classique.
En ralit, la notation ei nest pas seulement lie par analogie lexponentielle usuelle ; derrire tout cela se cache une et une
seule exponentielle. Mais ce nest pas de votre ge.
Dmonstration
0 0
(iii) Montrons que : ei(+ ) = ei ei .
0
ei ei = cos + i sin [cos 0 + i sin 0 = cos cos 0 sin sin 0 + i sin cos 0 + cos sin 0
0
= cos( + 0 ) + i sin( + 0 ) = ei(+ ) .
n
(iv) Montrons que : ei = ein . Supposons fix et raisonnons par rcurrence sur n.
i 0 i0
Initialisation : e =1=e .
n n+1
Hrdit : Soit n N. On suppose que ei = ein . Montrons que ei = ei(n+1) . Or en vertu du
i n+1
i n i in i i(n+) i(n+1)
point prcdent : e = e e = e e = e =e . Fin de la rcurrence.
1 t2 2t 1 t2 + 2it (1 + it)2
(v) Nous savons que cos = 2
et que sin = 2
. Du coup ei = 2
= .
1+t 1+t 1+t 1 + t2
i
Explication n o n o
Le premier point signifie que U = z C/ R/ z = ei = ei . Ce rsultat ei
R
~ b
nest rien de plus que la version nombres complexes de la paramtrisation cartsienne M
trigonomtrique du cercle trigonomtrique ; pour tout point M de coordonnes (x, y) :
b
x = cos
M appartient au cercle trigonomtrique R/ . O ~ 1
y = sin
Pour tout rel , ei est laffixe du point M tel que OM = 1 et ~, OM mod 2.
U
Dmonstration
Montrons que : R, ei U.
p
Soit donc R. Alors : ei = cos + i sin = cos2 + sin2 = 1 = 1. Donc en effet ei U.
Montrons que tout lment de U admet une criture de la forme ei pour un certain R et quun tel est
unique 2 prs.
Soit donc u U. Nous avons |u|2 = Re(u)2 + Im(u)2 = 1. Nous savons quil existe alors un rel , unique
2 prs, tel que Re(u) = cos et Im(u) = sin . On a donc bien u = ei et est unique 2 prs.
5
c Christophe Bertault - MPSI
Dfinition (Arguments et forme trigonomtrique dun nombre complexe) Soit z C non nul.
z
Alors U. Il existe donc un rel , unique 2 prs, tel que z = |z|ei . Un tel rel est appel un argument de z.
|z|
Il existe un unique argument de z dans lintervalle ] , ] : on lappelle largument principal de z et on le note arg(z).
Lcriture z = |z|ei arg(z) est appele la forme trigonomtrique de z. Gomtriquement, |z|, arg(z) est un couple
de coordonnes polaires de limage de z.
$ $ $ Attention ! Notez bien que zro na pas dargument, et quen gnral, faute dunicit, on parle dun argument.
3
b b b 4
b b b
$ $ $ Attention ! Si z est un nombre complexe qui nest pas un rel positif ou nul, la notation n
z est la plus interdite
des notations interdites.
6
c Christophe Bertault - MPSI
Thorme Soit n N .
La seule racine nme de 0 est 0.
Soit z C non nul, donn sous une forme trigonomtrique z = rei . Alors z possde exactement n racines nmes ; ce
i 2ik
sont les nombres complexes n
r e n + n , k dcrivant lensemble J0, n 1K.
n 2ik
o
En particulier : Un = e n .
06k6n1
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.
Cela nous fait bien un total de n racines nmes de lunit, car les exponentielles ainsi dcouvertes sont toutes
distinctes.
i
Cas gnral : Soit z C non nul, donn sous une forme trigonomtrique z = rei . On pose = n r e n .
n
Il est immdiat que = z, et est non nul puisque z ne lest pas. Nous disposons donc dau moins une
racine nme de z. Nous allons trouver toutes les autres partir delle.
Soit alors C.
n
n = z n = n =1 ( 6= 0)
2ik i 2ik
k J0, n 1K/ =e n k J0, n 1K/ = n
r en+ n .
Cest le rsultat voulu.
jb
Explication Tchons de visualiser ce thorme au moyen de quelques dessins.
Et en gnral ? Plus gnralement, Un est lensemble des sommets de lunique polygone rgulier i.e. cts de mme
longueur n cts de centre O, passant par le point daffixe 1.
2i
i e 5 2i
e
i
b b j=e 3
b b
3
4i
e 5
b
1b b b b b
1 1 1 1
b
4i
b
e 5
b
b b
i
2i
i e
2i
5 j 2 = j = e 3 e 3
U4 est lensemble U5 est lensemble des sommets U6 est lensemble des sommets
des sommes dun carr dun pentagone rgulier dun hexagone rgulier
7
c Christophe Bertault - MPSI
X X
n1
2ik
(ii) La somme des racines nmes de lunit est nulle, i.e. : = e n = 0. En particulier, 1 + j + j 2 = 0.
Un k=0
Dmonstration
(i) Nous dmontrerons ces galits avec plus de rigueur dans le chapitre sur les polynmes. Pour le moment,
contentons-nous de remarquer que les racines nmes de lunit sont tous les zros de la fonction polynomiale
Y Y
n1
2ik
z 7 z n 1 ; cela explique quon ait : (z ) = ze n = z n 1. On obtient la seconde
Un k=0
identit en divisant la premire par (z 1) division problmatique quand z = 1, mais nous reverrons cela
plus tard.
n
X k 2i
2i X
n1
2ik
n1
2i e n 1 e2i 1
(ii) Puisque n 6= 1, e n 6= 1. Du coup : e n = e n = 2i = 2i = 0.
k=0 k=0 e n 1 e n 1
En pratique Nous tudions prsent une technique susceptible de nous fournir les racines carres dun nombre
complexe donn sous forme algbrique. Pour les racines nmes avec n > 2, cette recherche savre prilleuse.
Soit donc z C, donn sous forme algbrique z = x + iy. Nous voulons calculer les racines carres de z, i.e. rsoudre lquation
2 = z dinconnue C donne sous forme algbrique = a + ib. Lide gniale de la mthode est cache dans lquivalence
suivante : 2 = z 2 = z et ||2 = |z|. Cette quivalence peut paratre idiote, mais cest pourtant grce
elle que nous allons russir notre calcul.
a 2 b2 = x p
2 = z 2 = z et ||2 = |z| et a 2 + b2 = x2 + y 2
2ab = y
p p
2 x+ x2 + y 2 x + x2 + y 2
a = , b2 = et 2ab = y
2 2
(effectuer la somme et la diffrence des quations a2 + b2 = . . . et a2 b2 = . . .)
Le rsultat obtenu semble compliqu, mais on en tire aisment les valeurs de a et b : les galits a2 = . . . et b2 = . . . nous
permettent de connatre a et b au signe prs ; pour savoir si a et b sont de mme signe ou de signes contraires, on utilise lgalit
2ab = y. On obtient finalement, si z 6= 0, deux racines carres distinctes opposes de z.
5+i
Exemple Les racines carres de 12 + 5i sont .
2
En effet Soit C, donn sous forme algbrique = a + ib.
8 2 2
< a + b = 122 + 52
2 = 12 + 5i 2 = 12 + 5i et ||2 = |12 + 5i| a2 b2 = 12
:
2ab = 5
a2 + b2 = 13, a2 b2 = 12 et 2ab = 5
13 + 12 13 12
a2 = , b2 = et 2ab = 5
2 2
5 1
a = , b = et 2ab = 5
2 2
5 1 5 1
(a, b) = , ou (a, b) = , (a et b sont de mme signe car 2ab = 5 > 0)
2 2 2 2
5+i 5+i
= ou = comme annonc.
2 2
La technique prcdente de calcul des racines carres dun nombre complexe est ce dont nous avons besoin pour rsoudre les
quations du second degr coefficients complexes.
Thorme (Equation du second degr coefficients complexes) Soient a, b, c C avec a 6= 0. Les solutions de
b
lquation az 2 + bz + c = 0 dinconnue z C sont , o est lune quelconque des deux racines carres du discriminant
2a
b c
b2 4ac. La somme de ces solutions vaut et leur produit .
a a
8
c Christophe Bertault - MPSI
Or un produit de nombres complexes est nul si et seulement si lun de ses facteurs lest. . .
5+i
Exemple Les solutions de lquation 4z 2 + 8z 3 5i = 0 dinconnue z C sont 3 .
2 2
2
En effet Le discriminant de cette quation du second degr est = (8 3) 4.4.(5i) = 16(12 + 5i). Or nous
5+i 5+i
avons trouv tout lheure les racines carres de 12 + 5i ; par exemple, en est une. Du coup, = 4
2 2
8 3 5+i
est une racine carre de . Les solutions recherches sont donc bien = 3 .
2.4 2 2
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 .
Explication Lassertion (iii) implique que 0 est le seul nombre complexe qui nest lexponentielle daucun nombre
complexe ; pour tout C non nul, il existe z C une infinit en fait, via la 2i-priodicit tel que = ez .
Dmonstration
(i) Facile : z C, ez+2i = eRe(z) eiIm(z)+2i = eRe(z) eiIm(z) = ez .
(ii) Soient z, z 0 C.
0 0 0 0 0 0 0 0
ez+z = eRe(z+z )
eiIm(z+z ) = eRe(z)+Re(z )
eiIm(z)+iIm(z ) = eRe(z) eRe(z )
eiIm(z) eiIm(z ) = ez ez .
(iii) Lexponentielle relle ne sannule pas, nous le savons dj, et la fonction 7 ei non plus car ei = 1 ;
produit de ces deux fonctions, lexponentielle complexe ne sannule donc pas.
Soient alors z C et C . Utilisons l unicit de la forme trigonomtrique des nombres complexes.
z
ez = e = || et arg ez arg() mod 2
Re(z)
e = || et Im(z) arg() mod 2
Re(z) = ln || et k Z/ Im(z) = arg() + 2k
k Z/ z = ln || + i arg() + 2ik.
9
c Christophe Bertault - MPSI
En pratique Pour effectuer des factorisations, vous devez connatre la technique de langle moiti. Cette technique
sert crire les complexes de la forme eix + eiy sous forme de produit. Lide est simple :
i(x+y) i(xy) i(xy) i(x+y) xy
x, y R, eix + eiy = e 2 e 2 +e 2 = 2e 2 cos .
2
x+y
On parle de langle moiti car la technique consiste seulement mettre en facteur lexponentielle associe langle . Cette
2
technique sadapte bien sr au cas des complexes de la forme eix eiy .
8
>
> sin (n + 1)x cos(nx)
X
n < si x
/ Z
Exemple Soient n N et x R. cos(2kx) = sin x .
>
>
k=0 :
n+1 si x Z
En effet Vous devez savoir refaire cette dmonstration, lexercice est trs classique.
X
n
Si x Z, alors cos(2kx) = 1 pour tout k J0, nK, et donc cos(2kx) = n + 1 comme annonc. Supposons
k=0
/ Z, de sorte que e2ix 6= 1.
dsormais que x
! 0 1
X
n X
n X
n Angle
ei(n+1)x ei(n+1)x ei(n+1)x
2ix
6=1 e2i(n+1)x 1 moiti
Re @ A
e
cos(2kx) = Re e2ikx = Re e2ikx = Re =
k=0 k=0 k=0
e2ix 1 eix eix eix
0 1
Formule
dEuler sin (n + 1)x sin (n + 1)x sin (n + 1)x cos(nx)
= Re @einx A= Re einx = . Cest termin.
sin x sin x sin x
10
c Christophe Bertault - MPSI
zb
Thorme (Interprtation gomtrique de ) Soient a, b, z C tels que z 6= a et z 6= b. On note A limage de a, B
za
celle de b et M celle de z.
z b MB zb
z a = MA et arg
za
M A, M B mod 2.
En pratique Ce rsultat peut tre utilis pour dmontrer lalignement de A, B et M , ou pour montrer lorthogonalit
des droites (AM ) et (BM ).
zb
A, B et M sont aligns M A, M B 0 mod R.
za
zb
(AM ) et (BM ) sont orthogonales M A, M B mod iR.
2 za
En pratique Nous en dduisons un nouveau moyen de montrer lalignement de trois points, la colinarit de deux
vecteurs ou lorthogonalit de deux vecteurs.
Dmonstration
(i) La translation de vecteur ~ u envoie M sur un certain point M 0 dfini par : OM 0 = OM + u. En termes
0 0 0
daffixes, si z est laffixe de M , nous obtenons comme voulu lgalit : z = z + u.
(ii) Lhomothtie de centre O et de rapport envoie M sur un certain point M 0 dfini par : OM 0 = OM .
En termes daffixes, si z 0 est laffixe de M 0 , nous obtenons comme voulu lgalit : z 0 = z.
11
c Christophe Bertault - MPSI
0
(iii) La rotation de centre O et dangle
de mesure
envoie M sur un certain point M dfini cette fois par deux
relations : OM 0 = OM et OM , OM 0 mod 2. En termes daffixes, si z 0 est laffixe de M 0 ,
nous obtenons donc dabord deux galits : |z 0 | = |z| et arg(z 0 ) arg(z) mod 2. Do enfin :
0
z 0 = |z 0 |ei arg(z ) = |z|ei arg(z)+i = ei z.
(iv) La symtrie centrale de centre O nest autre que lhomothtie de centre O et de rapport 1 utiliser
lassertion (ii).
(v) Dj observ.
(vi) La symtrie par rapport (Oy) nest autre que la compose de la symtrie par rapport (Ox) et de la
symtrie centrale par rapport O utiliser les assertions (iv) et (v).
En pratique Il est important de connatre la dmonstration prcdente, qui dailleurs est trs simple. Car elle
nous fournit la mthode adopter pour caractriser en termes daffixe nimporte quelle transformation usuelle compose de
transformations lmentaires.
z 0 = 2z i.
Exemple La rotation de centre A = 2 + i et dangle de mesure est lapplication z 7 iz + 1 + 3i.
2
En effet Soit M un point daffixe note z. Notons M 0 limage de M par larotation tudie et z 0 laffixe de M 0 .
Alors M 0 est dfini par les deux relations : AM 0 = AM et AM , AM 0 mod 2, qui scrivent en
2
0 0
termes daffixes : |z 2 i| = |z 2 i| et arg(z 2 i) arg(z 2 i) mod 2.
2 i
0 0 i arg(z 0 2i) i arg(z2i) i
Par consquent : z 2 i = |z 2 i| e = |z 2 i| e 2 = e 2 (z 2 i).
i
Et finalement : z 0 = e 2 (z 2 i) + 2 + i = i(z 2 i) + 2 + i = iz + 1 + 3i comme voulu.
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.
12
c Christophe Bertault - MPSI
Dmonstration
(i) Il est clair que
toute application de la forme z 7 az + b, o a, b C et a 6= 0, est une similitude, car :
z, z 0 C, (az 0 + b) (az + b) = |a|.|z 0 z| le rapport de la similitude est prcisment |a|. Mme
chose pour les applications de la forme z 7 az + b.
Rciproquement, soit f une similitude de rapport > 0. Nous voulons montrer que f est soit de la forme
z 7 az + b, soit de la forme z 7 az + b, o a, b C et a 6= 0. La preuve seffectue en plusieurs tapes.
Puisque f est une similitude : f (1) f (0) = |1 0| = > 0. Par consquent f (0) 6= f (1).
f (z) f (0)
Nous pouvons donc poser, pour tous z C : g(z) = . Alors pour tous z, z 0 C :
f (1) f (0)
0 0 f (z 0 ) f (z) |z 0 z|
g(z 0 ) g(z) = f (z ) f (0) f (z) f (0) = f (z ) f (z) = = = |z 0 z|.
f (1) f (0) f (1) f (0) f (1) f (0) f (1) f (0) |1 0|
Ce calcul montre que g est une isomtrie. Nous allons tudier g pour obtenir des informations sur f .
Remarquons quon a g(0) = 0 et g(1) = 1.
Montrons que : z C, g(z) = z ou g(z) = z .
Fixons z C. Introduisons les formes algbriques de z et g(z) : z = x + iy et g(z) = x0 + iy 0 , o
x, x0 , y, y 0 R. Puisque g est une isomtrie et puisque g(0) = 0 et g(1) = 1, alors :
g(z) = g(z) g(0) = |z 0| = |z| et g(z) 1 = g(z) g(1) = |z 1|.
(ii) Les isomtries sont exactement toutes les similitudes de rapport 1. Or toute similitude est de la forme
z 7 az + b ou z 7 az + b, o a, b C et a 6= 0. Mais nous avons vu par ailleurs que le rapport dune telle
similitude est |a|. Les isomtries sont donc comme voulu toutes les applications de la forme z 7 az + b ou
z 7 az + b avec |a| = 1.
Explication Ce rsultat est tout fait non trivial : il ntait pas du tout vident, quand nous avons dfini la notion
de similitude, quune application qui multiplie les distances dans un rapport constant prserve ou renverse les angles orients.
13
c Christophe Bertault - MPSI
Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude z 7 az + b. Soient en outre U, V, W trois points distincts
daffixes respectives u, v, w. Leurs images respectives par f sont notes U 0 , V 0 , W 0 , daffixes u0 , v 0 , w0 . Alors :
u0 w0 (au + b) (aw + b) a(u w) uw u0 w0 uw
= = = , et donc : arg arg mod 2.
u0 v 0 (au + b) (av + b) a(u v) uv u0 v 0 uv
00 00
Nous avons ainsi montr lgalit : U V ,U W U V , U W mod 2. Comme voulu, f prserve les
angles orients.
(ii) Imiter la preuve de lassertion (i).
Exemple Les translations, les rotations et les homothties sont des similitudes directes. Les symtries axiales sont quant
elles indirectes.
Explication
Encore un rsultat non trivial. Dans le cas isomtries par exemple, il ntait pas du tout clair a priori s(M )
b
quune application qui prserve les distances et lorientation est soit une translation (dplacement Ici = 2.
suivant un vecteur constant), soit une rotation (dplacement angulaire constant autour dun point
fixe). On aurait pu imaginer que dautres transformations plus exotiques prservaient les distances.
La figure ci-contre illustre laction dune similitude s de centre , de rapport et dangle de mesure b b
Dmonstration
(i) Soient a, b C tels que a 6= 0 et f la similitude directe z 7 az + b. Si a = 1, alors f est la translation
de vecteur daffixe b. Supposons donc dsormais a 6= 1. Alors lquation f possde un unique point fixe :
b
lquation f () = dinconnue C possde une unique solution = . Notons le point dimage
1a
. Du coup, pour tout z C :
f (z) = f (z)f () = (az+b)(a+b) = a(z) = |a| ei arg(a) (z ) = ei arg(a) |a|(z ) .
| {z } | {z }
Rotation de centre Homothtie de centre
et dangle de mesure arg (a) et de rapport |a| > 0
| {z } | {z }
Homothtie de centre Rotation de centre
et de rapport |a| > 0 et dangle de mesure arg (a)
Comme voulu, f apparat comme la compose dune homothtie et dune rotation de mme centre.
(ii) Le cas des isomtries directes se dduit du cas des similitudes directes : une similitude directe de rapport
1 est soit une translation, soit une rotation.
1 + 2i
Exemple Lapplication f : z 7 2iz + 1 est la similitude de centre , de rapport 2 et dangle de mesure .
5 2
En effet Comme le coefficient de z dans la forme de f est 2i 6= 1, f nest pas une translation. Son rapport est
alors |2i| = 2 et son angle a pour mesure arg(2i) = .
2
1 1 + 2i
Enfin le centre de f est son unique point fixe . Calculons son affixe : f () = = = .
1 2i 5
14