c Christophe Bertault - MPSI

Nombres complexes
1

Le corps C des nombres complexes

Dnition (Loi de composition interne) Soit E un ensemble. On appelle loi (de composition) interne sur E, ou mme
loi sur E, toute fonction de E E dans E.
Explication Une loi interne, cest ce que vous avez appel une opration dans les classes antrieures : laddition
des rels, la multiplication des rels, laddition des vecteurs. . . Dans tous les cas, une loi interne transforme deux objets dun

certain type des vecteurs et par exemple en un nouvel objet du mme type le vecteur + .
u
v
u
v

Nous supposerons dans ce chapitre que nous connaissons parfaitement lensemble R des rels muni de ses deux lois + et
daddition et de multiplication. Partant de l, nous allons construire le corps C des nombres complexes, cest--dire justier
quun tel ensemble C existe sans contradiction avec toutes les proprits que nous voulons lui donner. Il ne sut pas de dcrter
quun monde existe avec telle et telle proprits pour quil existe rellement : encore faut-il quil ne soit pas contradictoire.
Notre point de dpart, cest lensemble R2 , identi gomtriquement un plan muni dun repre orthonormal direct

O, , . Tout vecteur et tout point du plan sont ainsi identis leurs coordonnes dans ce repre. On dnit alors sur

2
R deux lois de composition internes et de la faon suivante. Pour tous (x, y), (x , y ) R2 :
(x, y) (x , y ) = (x + x , y + y )

et

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

Par dnition, lensemble R2 muni de ces deux lois est not C et ses lments sont appels nombres complexes.
Remarquons alors que pour tous x, x R : (x, 0) (x , 0) = (x + x , 0) et (x, 0) (x , 0) = (xx , 0). Ces galits
montrent que laddition et le produit agissent sur les couples de la forme (x, 0) comme laddition + et le produit
sur les rels. Nous identierons pour cette raison, pour tout x R, le couple (x, 0) et le rel x cela veut dire que
nous noterons dsormais x le couple (x, 0). Cette identication nous permet de considrer R comme une partie de C,
gomtriquement comme laxe des abscisses du plan R2 .
A prsent, pour tout x, x R : xx = (x, 0)(x , 0) = (x+x, 0) = x+x et xx = (x, 0)(x , 0) = (xx , 0) = xx .
Ces galits montrent que les lois et gnralisent C les lois usuelles + et que nous connaissions sur R. Nous
noterons par consquent sans risque dambigut + la loi et la loi , et appellerons ces lois respectivement addition
et multiplication sur C.
Dnition

(Parties relle et imaginaire)

Soit z = (x, y) C. Le rel x est appel la partie relle de z et not Re(z), et le rel y
est appel la partie imaginaire de z et not Im(z).
Pour tous z, z C :
En particulier :

z=0

z = z

Re(z) = Re(z )

Re(z) = Im(z) = 0,

et :

et

Im(z)

Im(z) = Im(z ).

zR

Im(z) = 0.

Re(z)

Enn, un nombre complexe dont la partie relle est nulle est appel un imaginaire pur.
Nous avons choisi plus haut de noter simplement 1 le couple (1, 0). Nous dcidons prsent de noter i llment (0, 1).
Pourquoi ce choix ? Parce qualors : i2 = (0, 1) (0, 1) = (1, 0) = 1. Progressivement, nous sommes bien en train de
construire avec rigueur les nombres complexes que nous connaissons .
Thorme

(Forme algbrique) Pour tout z C, il existe un et un seul couple (x, y) de rels pour lequel z = x + iy.
En fait x = Re(z) et y = Im(z).
Forme algbrique de z
Dmonstration
z = x + iy

Existence et unicit dmontres directement par quivalence. Pour tout (x, y) R2 :

z = (x, 0) + (0, 1) (y, 0)

x = Re(z)

et

y = Im(z).

z = (x, 0) + (0, y)

z = (x, y)

En pratique
Lunicit de la forme algbrique dun nombre complexe est utilise frquemment pour faire des
identications. Elle permet, quand on a une galit du type a + ib = a + ib , dcrire que a = a et que b = b . En rsum :
Une galit
de nombres complexes

Deux galits
de nombres rels

c Christophe Bertault - MPSI

Dnition (Axe et image) Dans la mesure o C = R2 est identi un plan muni dun repre orthonormal direct,
les notions de point, vecteur, coordonnes et nombre complexe sont quivalentes : on peut crire quun point est gal
un nombre complexe, quun vecteur est gal ses coordonnes, etc. Chaque notion nest quune manire dinterprter
intuitivement un mme objet.

Si M est un point (resp. si est un vecteur) de coordonnes (x, y), le nombre complexe x + iy est appel laxe de M (resp.
u

de ). Egalement, si z est un nombre complexe de forme algbrique z = x + iy, le point de coordonnes (x, y) est appel
u
limage de z.

Thorme

(Rgles de calcul sur les axes)

Soient et deux vecteurs daxes respectifs u et v et , R. Le vecteur + a pour axe u + v.

u
v
u
v

Soient A et B daxes respectifs a et b. Le vecteur AB a pour axe (b a).

n

Soient A1 , A2 , . . . , An des points daxes respectifs a1 , a2 , . . . , an et 1 , 2 , . . . , n des rels. On pose =

on suppose = 0. Le barycentre des points pondrs (A1 , 1 ), (A2 , 2 ), . . . , (An , n ) a pour axe

Exemple

Pour tous z, z C, le milieu du segment joignant z et z a pour axe

k et
k=1

k a k .
k=1

z + z
.
2

Notre construction de C est prsent presque acheve. Il ne nous reste plus qu dmontrer les proprits usuelles des lois +
et sur C. Soient donc z = x + iy, z = x + iy et z = x + iy trois nombres complexes.
Commutativit de + sur R

1) Commutativit de + :

z + z = (x, y) + (x , y ) = (x + x , y + y ) = (x + x, y + y) = (x , y ) + (x, y) = z + z.
Commutativit de + et sur R

2) Commutativit de :

zz = (x, y)(x , y ) = (xx yy , xy +yx ) = (x xy y, x y+y x) = (x , y )(x, y) = z z.

3) Associativit de + : Lordre des parenthses na pas dimportance quand on eectue des additions.
(z + z ) + z = (x, y) + (x , y ) + (x , y ) = (x + x , y + y ) + (x , y ) = (x + x ) + x , (y + y ) + y
= x + (x + x ) , y + (y + y ) = (x, y) + (x + x , y + y ) = (x, y) + (x , y ) + (x , y ) = z + (z + z ).
Associativit de + sur R

4) Associativit de : Lordre des parenthses na pas dimportance quand on eectue des multiplications.
(zz )z = (x, y) (x , y ) (x , y ) = (xx yy , xy + yx ) (x , y )
Distributivit de sur + sur R
et associativit de sur R

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

= x(x x y y ) y(x y + y x ) , x(x y + y x ) + y(x x y y )
= (x, y) (x x y y , x y + y x ) = (x, y) (x , y ) (x , y ) = z(z z ).

5) Distributivit de sur + :

z(z + z ) = (x, y) (x , y ) + (x , y ) = (x, y) (x + x , y + y )

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

= (xx yy , xy + yx ) + (xx yy , xy + yx ) = (x, y) (x , y ) + (x, y) (x , y ) = (zz ) + (zz ).
6) Existence dun lment neutre pour + : Cet lment neutre est 0.
et

z + 0 = (x, y) + (0, 0) = (x, y) = z

0 + z = (0, 0) + (x, y) = (x, y) = z.

7) Existence dun lment neutre pour : Cet lment neutre est 1.

et

z 1 = (x, y) (1, 0) = (x, y) = z

1 z = (1, 0) (x, y) = (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

et de mme

(z) + z = 0.

c Christophe Bertault - MPSI

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 = 0).
quon appelle son. . . inverse : cest 2
x + y2
z
z

x
y
1
= (x, y) 2
,
z
x + y 2 x2 + y 2

x2
y2
xy
xy
+ 2
, 2
+ 2
x2 + y 2
x + y2
x + y2
x + y2

1
z = 1.
z

et de mme

= (1, 0) = 1

Attention !
On rappelle que les ingalits nont aucun sens sur C. En quel sens pertinent un point
dun plan serait-il plus petit ou plus grand quun autre ?
Dnition

(Conjugu, module) Soit z C.

Im(z)

On appelle conjugu de z, not z, le nombre complexe Re(z) i Im(z).

On appelle module de z, not |z|, le rel positif ou nul

Explication

Thorme

z
|z |

Re(z)

Re(z)2 + Im(z)2 .

Im(z)

Module et valeur absolue concident sur R car pour tout x R :

x2 = |x|.

(Proprits des parties relle et imaginaire, du conjugu et du module) Soient z, z C.

Proprits des parties relle et imaginaire :

Re(z)
Proprits du conjugu :
Proprits du module :

|z|

et

Im(z)

Im(z) =

zz
.
2i

|z|.
zz = z z

et

Ingalit triangulaire :

et si z = 0 :

|z| |z |

z+

Dmonstration

|z z |

|z| + |z |.

Re(zz )

|z|.|z |

|zz | = |z|.|z | = |z|.|z | que lon sait tre vraie.

zz + zz
|z|.|z |
2
|z|2 + zz + zz + |z |2
zz + zz + zz + z z
|z + z |2

|z| + |z |

|z|2 + 2|z|.|z | + |z |2
2

|z| + |z |. Pour

Rel !

zz + zz

|z| + |z |

|z + z |

dmontrer cette ingalit avec |z z | la place de |z + z |, remplacer z par z .

On part de lingalit Re(zz )

1
x iy
z
=
= 2
.
z
|z|2
x + y2

Contentons-nous de dmontrer lingalit triangulaire |z| |z |

Linverse de z = x + iy = 0 se calcule grce la formule zz = |z|2 :

En pratique

|z| = |z|.

|z|
z
= .
z
|z |
|z| = 0 si et seulement si z = 0.

|zz | = |z| |z |

Egalement :

et

z + z = z + z,

z = z,
zz = |z|2 ,

z+z
2

Re(z) =

(z + z )(z + z )
|z + z |

2|z|.|z |

|z| + |z |.

|z| + |z |

Lingalit de droite est ainsi dmontre. Remarquez bien que, contrairement aux apparences, nous travaillons
bien avec des ingalits sur des rels, puisque zz + zz = 2Re(zz ) R. Pas dingalits dans C !
Lingalit de gauche en dcoule : |z| = (z + z ) + (z )
|z + z | + | z |, do :

Permutant les rles de z et z , on obtient de mme : |z | |z| |z + z |.

|z| |z |

|z + z |.

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

(Cercles, disques et axes) Soit A un point daxe a et R R .

+

(i) Le cercle de centre A et de rayon R est lensemble

z C/

(ii) Le disque ferm de centre A et de rayon R est lensemble

(iii) Le disque ouvert de centre A et de rayon R est lensemble

|z a| = R .
z C/
z C/

|z a|

R
(i)

R
(ii)

R .

|z a| < R .

R
(iii)

c Christophe Bertault - MPSI

Le groupe U des nombres complexes de module 1

Dnition

(Groupe U des nombres complexes de module 1) On note U lensemble

Explication

Dnition

Bref :

U = (x, y) R2 /

x2 + y 2 = 1 ,

z C/

|z| = 1 .

le cercle trigonomtrique !

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

ei = cos + i sin .
i

1
i 3
+
2
2
1
i
= +
2
2

i
3
=
+
2
2

e3 =

Explication
e

La notation ei , qui cache un cosinus et un sinus, nest quune notation : ei nest pas e la puissance i au sens o ce serait
e multipli par lui-mme i fois , ce qui na aucun sens ! Quel rapport avec lexponentielle classique alors ? Le choix de la notation ei
est justi par lassertion (iii) du thorme suivant, o lon montre que
ei se comporte comme une exponentielle classique. En ralit, une
notion unique dexponentielle se cache derrire lexponentielle relle et
lexponentielle i , mais ce nest pas encore de votre ge !

3i
4

i
2

=i

e4

1
i
= +
2
2

e6

ei = ei = 1

ei.0 = e2i = 1

e 2 = i
Thorme

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

(i) Conjugaison :

ei = ei =

(ii) Formules dEuler :

1
.
ei

cos =

ei + ei
2

et

sin =

ei ei
.
2i

ei(+ ) = ei ei .

(iii) Transformation des sommes en produits :

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

(iv) Formule de Moivre :

Explication
La relation ei(x+y) = eix eiy rsume deux formules que vous connaissez bien. Aprs rcriture :
cos(x + y) + i sin(x + y) = (cos x + i sin x)(cos y + i sin y), et donc par identication des parties relle et imaginaire :
et

cos(x + y) = cos x cos y sin x sin y

sin(x + y) = sin x cos y + cos x sin y.

Dmonstration
(ii) Tout simplement, pour tout z C :
(iv) Par rcurrence partir de (iii) :

Thorme

ei

z+z
2

= ein .

et

Im(z) =

z z
.
2i

Ce nest que a, la formule de Moivre.

(Paramtrisation de U par lexponentielle i )

Pour tout z C :
Bref :

Re(z) =

U= e

zU

ei

z=e .

R/

Pour tous , R :

ei = ei

[2] .

Dmonstration
Nous savons dj que tout point du cercle trigonomtrique a des coordonnes de la forme
(cos , sin ), donc un axe de la forme ei , avec unicit du modulo 2.

c Christophe Bertault - MPSI

Dnition

(Arguments et forme trigonomtrique)

z
U, il existe R, unique modulo 2, pour lequel z = |z| ei . Un tel rel est
Soit z C non nul. Comme
|z|
appel un argument de z et lcriture z = |z| ei est appele la forme trigonomtrique de z. Gomtriquement, |z|,
est un couple de coordonnes polaires de limage de z.
Pour tous z, z C non nuls darguments respectifs , , est un argument de z et + un argument de zz .
Dmonstration
Attention !

Exemple

Tout simplement :

z = |z| ei = |z| ei

zz = |z| ei |z | ei = |zz | ei(+ ) .

et

Zro na pas darguments.

Le nombre complexe

i
i
i
i
1i
e 12
e 4 + 3
2e 4

=
= .
=
i
1i 3
2
2
2 e 3

1i

admet
pour argument car :
12
1i 3

Nous disposons prsent de deux exponentielles : la fonction exponentielle sur R et lexponentielle i . Plus gnralement :
Dnition

(Exponentielle complexe) Soit z C. On appelle exponentielle (de) z, note ez , le nombre complexe :

ez = eRe(z) ei

Exemple

Thorme

e2+

i
4

1
i
+
2
2

= e2 e 4 = e2

Im(z)

ie2
e2
= + .
2
2

(Proprits de lexponentielle complexe)

Priodicit : Lexponentielle complexe est 2i-priodique, i.e. que pour tout z C :

Transformation des sommes en produits : Pour tous z, z C :

Pour tous z, z C :

Dmonstration
z+z

Re(z+z )

=e

i Im(z+z )

ez+2i = eRe(z) ei

Re(z)+Re(z )

=e

ez+z = ez ez .

Im(z)+2i

i Im(z)+i Im(z )

ez+2i = ez .

= eRe(z) ei

Re(z)

=e

Re(z )

Im(z)

i Im(z)

= ez

et :

i Im(z )

= ez ez .

Racines nmes dun nombre complexe

Pour tout n N , rappelons que la fonction racine nme est la rciproque de la fonction puissance nme sur R+ . Pour tous
x, y R+ :

y= nx

x = yn.
Dnition

(Racines nmes )

Soient z C et n N . On appelle racine nme de z tout nombre complexe pour lequel z = n .

Les racines nmes de 1 sont dites racines nmes de lunit. Leur ensemble est not Un .

Attention !

n
z

Notation autorise si x R+ .
La plus interdite des notations interdites si z C

R+ !

Pourquoi cet interdit ? Parce quun nombre complexe non nul a toujours plusieurs
racines nmes , comme lnonce le thorme
suivant. Or sil y en a plusieurs pour un z donn, laquelle choisirons-nous de noter n z ? Toutes se valent a priori, donc pas de

notation. Seule exception : si x R+ , x possde une et une seule racine nme positive ou nulle, et cest elle quon note n x.

c Christophe Bertault - MPSI

Thorme

(Formule des racines nmes ) 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 .
i + 2ik
n
Ce sont les nombres complexes
r e n n , k dcrivant lensemble 0, n 1 .
Cas particulier des racines nmes de lunit :

Un = e

2ik
n

0 k n1

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. Pour le reste, nous allons commencer par traiter le cas des racines de lunit, et ensuite
nous gnraliserons.
Racines nmes de lunit : Soit C. Posons = || et notons lunique argument de dans lintervalle
[0, 2[. Par unicit de la forme trigonomtrique des nombres complexes :

ei

n = 1

n = 1

=1
et

et

n ein = 1 ei.0

R+

n 0 [2]

2k
k Z/ =
n

=1

k 0, n 1 /

=e

2ik
n

=1

[0,2[

et

=1

k Z/ n = 2k

et

k 0, n 1 / =

2k
n

Ceci nous fait comme voulu un total de n racines nmes de lunit, n car les exponentielles ainsi obtenues
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. Ainsi nous disposons dj dune racine
nme de z. Nous allons trouver les autres partir delle. Pour tout C :
n = z

Dnition

n = n

Exemple

k 0, n 1 /

2ik

=e n

=1

( = 0)

k 0, n 1 /

r en+

2ik
n

i 3i
7i
Les racines cubiques de 1 + i sont 6 2 e 12 , 6 2 e 4 et 6 2 e 12 .

i
i
1
En eet Dabord : 1 + i = 2 +
= 2 e 4 . Il sut alors dappliquer la formule du thorme : les
2
2
i + 2ik
i 2ik
3
racines cubiques de 1 + i sont les trois nombres
2 e 12 3 = 6 2 e 12 + 3 , k dcrivant lensemble 0, 1, 2 .

(Le nombre j) On note j le nombre e

j3 = 1,

Dmonstration
Explication

2i
3

, racine 3me de lunit. Quelques relations connatre son sujet :

j = j2 ,

1 + j + j2 = 0.

Simple vrication.

Tchons de visualiser la formule des racines nmes sur quelques dessins.

Pour tout n N , Un est lensemble des sommets du polygone rgulier i.e. cts de mme longueur n cts, de
centre O et passant par le point daxe 1.
e

2i
5

j=e

j2 = j
U3 est lensemble des sommets
dun triangle quilatral.

e3

4i
5

1
1

2i
3

1
e

4i
5
2i

e 5
U5 est lensemble des sommets
dun pentagone rgulier.

i
U4 est lensemble
des sommets dun carr.

j2 = j = e

2i
3

e 3

U6 est lensemble des sommets

dun hexagone rgulier.

c Christophe Bertault - MPSI

i 2ik
Et la formule n r e n + n , elle raconte quoi ? Voyons cela sur lexemple
i
i
explicite de z = 2e 4 et n = 3. Les racines cubiques de z sont 0 = 3 2 e 12 ,
i
i + 4i
i 2
i + 2i
1 = 3 2 e 12 3 = 3 2 e 12 j et 2 = 3 2 e 12 3 = 3 2 e 12 j . Sur la gure

ci-contre, le grand cercle en pointill a pour rayon 2 et le petit 3 2.

i
Multipli par 3 2 e 12 , le triangle U3 = 1, j, j2 se trouve dilat dun facteur

3
2 et tourn dun angle de mesure
. Cest ainsi quil devient 0 , 1 , 2 .
12

1
0
12

2
3
2

En pratique
Quand on me donne un nombre complexe sous forme trigonomtrique rei , je sais calculer ses
i 2ik
racines n
grce la formule n r e n + n . Mais que faire si on me donne au dpart une forme algbrique ? Nous
allons voir quon peut alors calculer facilement les racines carres.
mes

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

a2 =

et

||2 = |z|

a 2 b2 = x
2ab = y

et

a 2 + b2 =

x2 + y 2

x2 + y 2
x + x2 + y 2
et b2 =
et 2ab = y
2
2
(eectuer la demi-somme et la demi-dirence des galits a2 + b2 = . . . et a2 b2 = . . . )
x+

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 nalement, si z = 0, deux racines carres distinctes de z opposes lune de lautre.

Exemple

5+i
Les racines carres de 12 + 5i sont .
2
En eet

2 = 12 + 5i

Soit C, donn sous forme algbrique = a + ib.

2 = 12 + 5i

a2 + b2 = 13,

et

||2 = |12 + 5i|

a2 b2 = 12

et

a + b2 = 122 + 52
a2 b2 = 12

2ab = 5
13 + 12
13 12
a2 =
, b2 =
2
2

2ab = 5

5
1
2ab=5 0
a = , b =
et 2ab = 5

2
2
5+i
5+i
ou =
comme annonc.
=
2
2

(a, b) =

5
1
,
2
2

ou

et

(a, b) =

2ab = 5
1
5
,
2
2

Nous sommes prsent capables de rsoudre toutes les quations du second degr coefficients complexes.
Thorme

(Equation du second degr coecients complexes) Soient a, b, c C avec a = 0. Les solutions

b
de lquation az 2 + bz + c = 0 dinconnue z C sont
, o est lune quelconque des deux racines carres du
2a
c
b
discriminant b2 4ac.
La somme de ces solutions vaut et leur produit .
a
a

Dmonstration

=a

z+

b
2a

Pour tout z C :
2

2a

az 2 + bz + c = a z 2 +

=a

z+

b
2a

.
2a

z+

b
c
z+
a
a
b
2a

2a

=a

z+

=a z

b
2a

b
2a

b2 4ac
4a2
z

b +
2a

Pour nir, on sait quun produit de nombres complexes est nul si et seulement si lun de ses facteurs lest.

Exemple

5+i
Les solutions de lquation 4z 2 + 8z 3 5i = 0 dinconnue z C sont 3 .
2 2

c Christophe Bertault - MPSI

Le discriminant de cette quation du second degr est (8 3)2 4.4.(5i) = 16(12 + 5i). Or nous avons
5+i
5+i
trouv tout lheure les racines carres de 12 + 5i par exemple donc = 4 est une racine carre
2
2

8 3
5+i
= 3 .
de notre discriminant. Les solutions recherches sont donc bien
2.4
2 2
En eet

Thorme

(Systmes somme-produit) Soient a, b C. Les solutions du systme somme-produit

x+y =a
xy = b

din-

connues x, y C sont les deux racines du polynme X 2 aX + b ventuellement gales.

Dmonstration

En rsum, tout repose sur la remarque suivante :

(X x)(X y) = X 2 (x + y)X + xy.

Quelques techniques calculatoires connatre

4
4.1

(D)linarisation dexpressions trigonomtriques

En pratique

Linariser une expression polynomiale en sin x et cos x par exemple 5 sin4 x cos7 x + 2 sin x cos4 x cest lexprimer
laide de sin x, sin(2x), sin(3x). . . et cos x, cos(2x), cos(3x). . . en supprimant toutes les puissances et tous les produits.
Deux outils fondamentaux sont ici requis : 1) les formules dEuler ; 2) la formule du binme.
b

Lune des applications classiques de la linarisation concerne les intgrales de la forme

sinm x cosn x dx, o a, b R et

m, n N. Sauf dans certains cas particuliers, on ne sait pas en gnral calculer directement une primitive de la fonction
x sinm x cosn x sur R. On sait en revanche le faire sans problme une fois quon a linaris.
Exemple

sin5 x =

Pour tout x R :
En eet

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

.
16

Soit x R.

Premire tape : On remplace sin x grce la formule dEuler pour le sinus, puis on dveloppe grce
la formule du binme.
sin5 x =

eix eix
2i

1
e5ix 5e3ix + 10eix 10eix + 5e3ix e5ix .
32i

Seconde tape : On regroupe les puissances de eix , puis on se sert des formules dEuler dans lautre sens.
sin5 x =

Exemple

1
32i

e5ix e5ix 5 e3ix e3ix + 10 eix eix

sin2 x cos4 x dx =

En eet

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

.
16

.
8

Soit x R.

Premire tape : On remplace cos x et sin x laide des formules dEuler, puis on dveloppe grce la
formule du binme les deux parenthses ainsi obtenues, et enn on dveloppe de nouveau.
2

eix + eix
1 2ix
eix eix
e 2 + e2ix
=
2i
2
64
1 6ix
e + 2e4ix e2ix 4 e2ix + 2e4ix + e6ix .
=
64

sin2 x cos4 x =

e4ix + 4e2ix + 6 + 4e2ix + e4ix

Seconde tape : On regroupe les puissances de eix , puis on se sert des formules dEuler dans lautre sens.
1
cos(6x) 2 cos(4x) + cos(2x) + 2
e6ix +e6ix +2 e4ix +e4ix e2ix +e2ix 4 =
.
64
32
Troisime tape : Le calcul de lintgrale !
sin2 x cos4 x =

2
0

sin2 x cos4 x dx =

1
32

2
0

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

sin(6x)
sin(4x)
sin(2x)
1

2
+
+ 2x
32
6
4
2

x=2

=
x=0

.
8

c Christophe Bertault - MPSI

En pratique
On a moins souvent loccasion de le faire, mais on peut aussi d-linariser les expressions
trigonomtriques, i.e. eectuer la transformation inverse de la linarisation. Deux outils dans ce cas : 1) la formule de Moivre ;
2) la formule du binme.
Exemple

Pour tout x R :
En eet

sin(6x) = 2 3 16 cos2 x + 16 cos4 x cos x sin x.

sin(6x) = Im e6ix = Im (cos x + i sin x)6

Pour tout x R :

= Im cos6 x + 6i cos5 x sin x 15 cos4 x sin2 x 20i cos3 x sin3 x + 15 cos2 x sin4 x + 6i cos x sin5 x sin6 x
= 6 cos5 x sin x 20 cos3 x sin3 x + 6 cos x sin5 x.
On pourrait sarrter l, mais on va tcher dembellir le rsultat.
sin(6x) = 2 3 cos4 x 10 cos2 x sin2 x + 3 sin4 x cos x sin x = 2 3 cos4 x 10 cos2 x 1 cos2 x + 3 1 cos2 x
= 2 3 16 cos2 x + 16 cos4 x cos x sin x

4.2

cos x sin x

aprs dveloppement.

Technique de langle moiti

En pratique
La technique de langle moiti consiste crire les complexes de la forme eix + eiy sous forme
trigonomtrique. On sen sert souvent pour factoriser des expressions en sinus et cosinus. Lide est simple. Pour tous x, y R :
eix + eiy = e

i(x+y)
2

i(xy)
2

+e

i(xy)
2

= 2e

i(x+y)
2

cos

xy
.
2

Mise en facteur de langle moiti

x+y
2

En ralit, le rsultat obtenu nest pas forcment la forme trigonomtrique de eix + eiy car cos
nen est pas loin. Cette technique sadapte bien sr au cas des complexes de la forme eix eiy .

sin (n + 1)x cos(nx)

sin x
cos(2kx) =

k=0

n+1
n

Exemple

Pour tous n N et x R :
En eet

si x Z
/
si x Z.

Vous devez tout prix savoir refaire cette dmonstration, lexercice est trs classique.
n

Si x Z, alors cos(2kx) = 1 pour tout k 0, n , et donc

cos(2kx) = n + 1 comme annonc. Supposons

k=0

dsormais que x Z, de sorte que e2ix = 1.

/
n

n
2ikx

Re e

cos(2kx) =
Formule
dEuler

2ikx

= Re

k=0

k=0

xy
peut tre ngatif, mais on
2

e2ix =1

Re

k=0

inx

sin (n + 1)x

Re e

sin x

e2i(n+1)x 1
e2ix 1

sin (n + 1)x

sin x

Angle
moiti

Re einx =

Re

ei(n+1)x ei(n+1)x ei(n+1)x

eix eix eix

sin (n + 1)x
sin x

cos(nx).

Similitudes complexes

Nous nous intressons dans ce dernier paragraphe aux transformations gomtriques du plan complexe que sont les translations, les homothties, les symtries, les rotations, etc. Nous allons nous rendre compte que ces transformations sont toutes de
la forme z az + b ou z az + b pour certains a, b C avec a = 0, puis en sens inverse nous tcherons dinterprter et de
caractriser gomtriquement toutes les fonctions de cette forme.
Explication
Les gures ci-dessous vous rappellent :
que laddition de deux nombres complexes sinterprte gomtriquement en termes de translation ;
deux ou trois choses concernant les symtries les plus simples ;
que le produit de deux nombres complexes sinterprte gomtriquement en termes dhomothtie et de rotation.

c Christophe Bertault - MPSI

2e

Symtrique de z
par rapport (Oy)

u
z

Symtrique de z
par rapport O

z+u

i
4

i
4

z
2z

Symtrique de z
par rapport (Ox)

Voyons maintenant ce quil en est de transformations plus compliques. Dans chacun des cas ci-dessous, z dsigne limage
de z par la transformation considre.
z

Rotation de centre
et dangle de mesure :
z = ei (z )
i.e. z = + ei (z ).

Homothtie de centre
et de rapport (ici = 2) :
z = (z )
i.e. z = + (z ).

Symtrie par rapport :

z = (z )
i.e. z = 2 z.

A lissue de ces rappels, il apparat clairement que les transformations gomtriques dont nous avons lhabitude sont de la
forme z az + b ou z az + b pour certains a, b C avec a = 0. Rciproquement, que pouvons-nous dire en gnral
des transformations de cette forme ? Fixons a, b C avec a = 0 et notons f la transformation z az + b. Notons en
outre un argument de a.
Si a = 1, f est simplement la translation de vecteur b.
Si a = 1, commenons par remarquer que f possde un et un seul point xe : lquation f () =
b
dinconnue C admet =
pour seule et unique solution. Intrt de la manuvre : rcrire f
1a
sous une forme plus sympathique. Pour tout z C, si nous posons z = f (z) :
z = az + b = az + ( a) = + a(z ),
ou encore :
z

|a| ei (z )

Rotation de centre
et dangle de mesure

Ici |a| = 2.

Homothtie de centre
et de rapport |a|

ei |a|(z ).

Homothtie de centre
et de rapport |a|
Rotation de centre
et dangle de mesure

Conclusion : f est la compose dune homothtie et dune rotation de mmes centres. De plus lordre dans
lequel on compose ces deux transformations ne compte pas. On dit que f est la similitude directe de centre
, de rapport |a| et dangle de mesure .

Ltude dtaille des transformations z az + b nest pas au programme.

Exemple

La fonction z 2iz + 1 est la similitude directe de centre

1 + 2i

, de rapport 2 et dangle de mesure .

5
2
i

En eet
Comme le coecient de z dans la forme de f est 2i = 2e 2 = 1, f nest pas une translation. Son

rapport est alors 2 et son angle a pour mesure .

2
1 + 2i
1
=
.
Enn le centre de f est son unique point xe . Calculons son axe : f () = =
1 2i
5
Nous venons de voir que toutes les transformations gomtriques que nous connaissons ont une forme commune z az + b
ou z az + b pour certains a, b C avec a = 0. Nous allons montrer pour nir que ces deux formes peuvent tre caractrises
compltement par une proprit gomtrique trs simple.
Thorme (Similitude) Soit f une fonction du plan dans lui-mme, quon peut donc aussi voir comme une fonction de
C dans C. Les assertions suivantes sont quivalentes :
(i) f multiplie les distances par un rapport constant. En dautres termes, il existe un rel > 0 tel que pour tous
points M et N du plan : f (M )f (N ) = M N .
Si on prfre les axes : > 0/ z, z C,
f (z) f (z ) = |z z |.
(ii) f est de la forme z az + b ou z az + b pour certains a, b C avec a = 0.
On dit, lorsque ces assertions sont vraies, que f est une similitude (de rapport = |a|).

10

c Christophe Bertault - MPSI

Explication Pourquoi ce mot similitude ?

Le fait quune similitude, par dnition, multiplie les distances par un rapport constant, a pour
consquence que limage dune gure quelconque par une similitude a la mme forme que cette
gure : limage peut-tre plus petite ou plus grande et positionne diremment dans le plan, elle
a en tout cas la mme forme que la gure de dpart.
Ci-contre par exemple, les quatre ellipses reprsentes sont semblables, i.e. quon peut passer de
lune lautre par une similitude bien choisie.

Dnition (Isomtrie) On appelle isomtrie toute similitude de rapport 1. Par dnition, une isomtrie f est donc
une application qui prserve les distances : z, z C,
f (z) f (z ) = |z z |, ou encore une fonction de la forme
z az + b ou z az + b avec |a| = 1.

Explication

Etymologiquement, iso-mtrie signie mme mesure .

Dmonstration

On dmontre ici lquivalence qui sert de dnition aux similitudes.

(ii) = (i) Toute application de la forme z az + b pour certains a, b C avec a = 0 est une similitude,
car pour tous z, z C :
(az + b) (az + b) = |a|.|z z| le rapport de la similitude est prcisment
|a|. Mme chose pour les applications de la forme z az + b.
(i) = (ii) Rciproquement, soit f une similitude de rapport > 0. Nous voulons montrer que f est soit de
la forme z az + b, soit de la forme z az + b pour certains a, b C avec a = 0.
Puisque f est une similitude :
pouvons poser, pour tout z C :
g(z ) g(z) =

f (1) f (0) = |1 0| = > 0, donc f (0) = f (1) et nous

f (z) f (0)
. Aussitt, pour tous z, z C :
g(z) =
f (1) f (0)

f (z ) f (z)
f (z ) f (0)
f (z ) f (z)
f (z) f (0)
|z z|
=
=

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

Conclusion : g est une isomtrie. Par ailleurs :

dterminer g et nous en dduirons f ensuite.
Montrons que :

z C,

et

g(0) = 0

g(1) = 1.

Dans ce qui suit, nous allons

g(z) = z ou g(z) = z .

Fixons z C et introduisons les formes algbriques de z et g(z) : z = x + iy et

x, x , y, y R. Puisque g est une isomtrie et puisque g(0) = 0 et g(1) = 1, alors :
et

g(z) = g(z) g(0) = |z 0| = |z|

g(z) = x + iy

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

Ces deux galits nous conduisent un systme de deux quations :

x2 + y 2 = x2 + y 2
(x 1)2 + y 2 = (x 1)2 + y 2
Conclusion :

g(z) = x + iy = x + iy = z

Montrons que :

z C,

x2 + y 2 = x2 + y 2
1
x = x
L2
L1

g(z) = z

ou

1
L2
2

x = x
y = y.

g(z) = x + iy = x iy = z.
ou

z C,

g(z) = z .

Nous venons de montrer que pour tout z C, g(z) vaut z ou z. Mais on peut avoir a priori g(z) = z pour
certains z et g(z ) = z pour dautres z. 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.
Supposons dabord que g(i) = i et montrons qualors pour tout 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 signie 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.
On montrerait de mme que si g(i) = i, alors pour tout z C :

g(z) = z.

f (z) b
Posons pour conclure a = f (1) f (0) = 0 et b = f (0). Par dnition de g : g(z) =
a
pour tout z C. Daprs le dernier point, f est nalement soit la fonction z az + b, soit la fonction
z az + b.

11

c Christophe Bertault - MPSI

Dnition

(Similitude directe/indirecte)

(i) Toute similitude de la forme z az + b pour certains a, b C avec a = 0 prserve les angles orients de vecteurs.
Une telle similitude est dire directe.
Comme nous lavons vu un peu plus haut, toute similitude directe est soit une translation, soit la compose dune homothtie
et dune rotation de mmes centres. En particulier, toute isomtrie directe est soit une translation, soit une rotation.
(ii) Toute similitude plane de la forme z az + b avec a, b C et a = 0 transforme tout angle orient de vecteurs
en son oppos. Une telle similitude est dire indirecte.

Explication Ce rsultat est surprenant et non trivial. Par dnition, les similitudes multiplient les distances par un
rapport constant. Rien ne laissait prsager quelles prserveraient/renverseraient uniformment les angles orients.
Dmonstration Dmontrons seulement lassertion (i), lassertion (ii) se dmontre de mme. Soit f une similitude
directe, disons z az + b pour certains a, b C avec a = 0. Soient U, V, W trois points daxes respectives
u, v, w, U = V et U = W . Leurs images respectives par f sont notes U , V , W daxes u , v , w . On commence
par observer que U = V et U = W car u = au + b = av + b = v et u = au + b = aw + b = w . Ensuite :
u w
(au + b) (aw + b)
a(u w)
uw
=
=
=
.
u v
(au + b) (av + b)
a(u v)
uv

En termes darguments :
Exemple

U V , U W U V , U W [2].

Bref, f prserve les angles orients.

Translations, rotations et homothties sont des similitudes directes, mais les symtries axiales sont indirectes.

12