Académique Documents
Professionnel Documents
Culture Documents
Nombre Complexe PDF
Nombre Complexe PDF
Au dbut du XVIme sicle, le mathmaticien Scipione dal Ferro, propose une formule donnant une
q - q 2 + 4 p3 27 q + q 2 + 4 p 3 27
x= 3
+ 3
2 2
A la fin du XVIme sicle, le mathmaticien Bombelli applique cette formule l'quation x 3 - 15x = 4.
Il obtient littralement :
3 3
x= 2 - 11 -1 + 2 + 11 -1
Cette criture n'a, a priori, pas de sens puisqu'on ne sait pas ce que reprsente le symbole not -1 .
Mais Bombelli va plus loin. Il remarque, en utilisant les rgles usuelles de calcul que :
(2 + ) (2 - )
3 3
-1 = 2 + 11 -1 et -1 = 2 - 11 -1
1. Introduction
Lquation x + 7 = 6 na pas de solutions dans , mais elle en a dans un ensemble plus grand : (x = 1).
De mme, lquation 3x = 1 na pas de solutions dans , alors que dans un ensemble plus grand, par
exemple, il y en a une : x = 1/3. Et puis, lquation x 2 = 2 na pas de solutions dans ; il faut chercher dans
Bref, quand une quation na pas de solutions, une dmarche naturelle (et historique) consiste en chercher
dans un ensemble plus grand. Au stade de nos connaissances actuelles, lensemble numrique le plus grand que
On va donc, dans ce chapitre construire ? ou plutt imaginer un ensemble plus grand que dans lequel
lquation x 2 + 1 = 0 possde des solutions. On l'appellera : ensemble des nombres complexes. Le principal
2
lment de sera not i (i comme imaginaire). Le nombre i est tel que i = 1 ! Lquation ci-dessus possde
2.1 Dfinition
Notons l'ensemble des couples de rels :
= {(a, b) }
Comme il n'est pas pratique de travailler avec des couples (notations un peu lourdes), nous allons voir
(thorme 2.2.) que l'on peut noter les lments de de manire commode et faciliter ainsi les calculs.
2.2. Thorme
Les rgles de calculs (avec
L'ensemble peut tre muni de deux lois + et qui prolongent les lois + et de .
les lois + et ) dans
L'ensemble contient "une copie" de . seront donc les mmes que
dans en remplaant i2 par
Il existe dans un lment, not i, tel que i 2 = -1.
-1 ou vice versa.
Tout lment z de s'crit, de manire unique z = a + bi, o a et b sont des rels.
On vrifie facilement que (, + , ) est un corps commutatif (c'est--dire : la loi + est associative,
commutative, admet un lment neutre (0, 0) et tout lment (a, b) admet un oppos (-a, -b) ; la loi est
associative, commutative, distributive par rapport la loi + , admet un lment neutre (1, 0) et tout lment
Considrons l'application : j : (, +, ) (, + , )
a a (a, 0)
Alors j est un morphisme de corps. En effet :
On constate que si les secondes
(a) + (a') = (a, 0) + (a', 0) = (a + a', 0) = (a + a')
composantes sont nulles, alors les
(a) (a') = (a, 0) (a', 0) = (aa', 0) = (aa') lois + et se comportent comme
De plus j est injectif : (a) = (a') (a, 0) = (a', 0) (a - a', 0) = (0, 0) a = a'
Par la suite, on note donc simplement + et les deux lois de et lorsqu'un couple a sa deuxime composante
nulle (couples de la forme (a, 0)), on le notera tout simplement a :
not Cette notation permet de confondre les lments de
a = (a, 0) avec leur copie (lments de j())...
2
Exemple : Z1 = 3 + 2i et Z2 = 2 i ; calculer Z1 + Z2 ; Z1 Z2 ; Z1 Z2 ; Z1 + 2Z2 ; 2Z1 3Z2 ; Z .
2.5. Dfinition
Tout nombre complexe de la forme z = bi (o b ) s'appelle un imaginaire pur.
2.6. Remarques :
Dans l'ensemble , il n'y a plus la notion d'ordre usuelle(1) ... On ne pourra pas, ce niveau, comparer un
nombre complexe un autre ou dire s'il est positif ou ngatif etc ... (Except pour les imaginaires purs o
l'on peut dfinir un ordre naturel comme pour les rels)
On vitera l'usage abusif du symbole radical qui reste rserv aux rels positifs.
"Z, Z' , "l : Re(Z + lZ') = Re(Z) + lRe(Z') et Im(Z + lZ') = Im(Z) + lIm(Z')
3.1. Principe :
tout nombre complexe Z = a + bi (avec a et b rels), on peut associer le point M(a ; b).
3.2. Vocabulaire :
le point M(a ; b) sappelle limage du nombre complexe Z = a + bi.
le nombre complexe Z = a + bi sappelle laffixe du point M(a ; b). ("Affixe" est un nom fminin)
on note souvent Z = affixe(M) ou Z = aff(M).
(1)
Ce qui ne signifie pas que l'on ne puisse pas ordonner . On dit juste que la relation d'ordre usuelle connue sur ne se prolonge pas .
Nombres complexes Page 4 G. COSTANTINI http://bacamaths.net/
-5
Exemple : si Z = 5 2i et M est limage de Z, alors le vecteur OM est le vecteur image de M.
-2
e2
Axe des rels
O a
e1
Question : quelle est l'affixe de e1 , e2 ,- e1 et - e2 ?
3.4. Application : si ZA est laffixe de A et ZB laffixe de B, alors laffixe du vecteur AB est ZB ZA :
aff( AB ) = ZB ZA
e2 A(ZA)
Axe des rels
O
e1
Exemple : l'affixe du vecteur AB avec A(3 ; 5) et B(5 ; 8) est Z = 2 + 3i.
Ces applications permettent de traduire des problmes de gomtrie en relations entre nombres complexes. Par
exemple, on utilisera souvent que deux vecteurs sont gaux si et seulement si ils ont mmes affixes. Ou encore,
on utilisera que l'affixe d'une somme de deux vecteurs est la somme des affixes de ces vecteurs :
aff( u + v ) = aff( u ) + aff( v )
Plus gnralement, l'application aff : , o dsigne le plan euclidien, est linaire :
Pour tous vecteurs u et v et tout scalaire l , on a : aff( u + l v ) = aff( u ) + laff( v ).
1
Soit mettre sous la forme a + bi le nombre complexe suivant : Z = . Comment faire ?
2 + 3i
4.1. Dfinition
Soient a et b deux nombres rels.
Le nombre complexe conjugu de Z = a + bi est le nombre complexe Z = a bi.
4.4. Consquences Critre pour qu'un nombre complexe soit rel (resp. imaginaire pur)
On a : Z + Z = 2Re(Z) et Z - Z = 2iIm(Z)
Dmonstration :
Notons Z = a + bi (avec a et b rels). Ainsi :
Les images de deux nombres complexes conjugus sont symtriques par rapport l'axe des rels :
Axe des imaginaires purs
b M(Z)
e2
Axe des rels
O a
e1
-b M'( Z )
4.6. Thorme
Pour tout nombre complexe Z = a + ib (avec a et b rels), la quantit Z Z est un nombre rel :
2 2
ZZ = a + b
Z Z
Z + Z = Z + Z - Z = -Z ZZ = ZZ Zn = Z n Z ' = (Z' 0)
Z
Exemples :
4 - 5i 4 + 5i
Le conjugu de Z1 = est Z1 = .
3+ i 3- i
2z 2 - i 2 z 2 - i 2z 2 + i
Celui de Z = est Z = = .
5z + 1 5z + 1 5z + 1
iz - 1
Exercice : dterminer le lieu des points M d'affixe z telle que soit rel.
z -i
iz - 1
Solution : pour z i, on a en posant z' = :
z -i
-iz - 1 iz - 1
z' z = z' = (iz + 1)(i - z ) = (iz - 1)( z + i ) - z - i z z + i - z = i z z - z - z - i
z +i z -i
z' 2i z z = 2i z z = 1
Notons, z = a + bi (avec a et b rels), ainsi : z' a2 + b2 = 1
Or, l'ensemble des points M(a, b) pour lesquels a2 + b2 = 1 est le cercle de centre O et de rayon 1 (cercle unit)
iz - 1
Comme z i, le lieu des points M tels que soit rel est le cercle unit priv du point d'affixe i.
z -i
4.8. Application du thorme 4.7. : si un polynme P, coefficients rels, admet un nombre complexe Z comme
racine alors Z est aussi une racine de P puisque, d'aprs les proprits de la conjugaison (qui commute avec les
1 3 1 3
On vrifiera que les nombres complexes j = - +i et j = - - i sont tous deux des racines de P.
2 2 2 2
b M(Z)
|Z|
e2 q = arg(Z)
Axe des rels
O a
e1
5.1. Dfinition
On appelle module dun nombre complexe Z = a + bi la quantit positive |Z| = a 2 + b2 .
En fait, si Z est l'affixe d'un point M(a ; b), le module de Z nest autre que la distance OM : OM = |Z|.
a
Si Z est l'affixe d'un vecteur AB , le module de Z reprsente la distance AB : AB = |ZB - ZA|.
b
Exemples :
Module de Z = -3 + 4i : |Z|2 = 9 + 16 = 25 donc |Z| = 5. Module de Z = 9i : |Z| = 9.
On donne ZA = 1 + 3i ; ZB = 2 i. A est l'image de ZA ; B est l'image de ZB ; calculer la distance AB :
l'affixe du vecteur AB est ZB ZA = 3 4i donc AB = |ZB ZA| = 32 + ( -4) 2 = 5
5.2. Remarques :
|Z| 0 pour tout nombre complexe Z.
|Z| = 0 quivaut Z = 0.
2
On a galement (d'aprs le thorme 4.6.) |Z| = ZZ ou encore Z = ZZ .
Si Z = a + bi est rel (b = Im(Z) = 0), on a |Z| = a 2 = |a|. Le module d'un nombre rel est donc sa valeur
absolue, ce qui justifie la notation.
Le module de Z = a + bi est toujours suprieur max(|a|, |b|). En effet :
a2 + b2 a2 et a2 + b2 b2
Application :
u+v
Soient u et v deux nombres complexes distincts et de mme module r. Alors est imaginaire pur.
u-v
u + v = u + v = uuv + uvv = u v + u v = - u + v
2 2
On a :
u - v u - v uuv - uvv u 2 v - u v 2 u-v
u+v
Et d'aprs 4.4. on a : est imaginaire pur
u-v
5.3. Dfinition
On appelle argument dun nombre complexe Z non nul toute mesure, en radians, de langle orient e1 , OM .
On le note q = arg (Z).
Un nombre complexe possde une infinit d'arguments ! Si q est un argument de Z, tout autre argument de Z
est de la forme q + 2kp (k ). L'unique argument q appartenant l'intervalle ]-p ; p] s'appelle l'argument
principal.
p p p
On notera par exemple arg(Z) = [2p] ou arg(Z) = modulo 2p pour signifier que arg(Z) peut tre gal
4 4 4
p
mais aussi gal n'importe lequel des nombres + 2kp o k .
4
Attention ! Le nombre complexe nul Z = 0 ne possde pas d'arguments car, dans ce cas, l'angle e1 , OM ne
se dfini pas.
p p p
Exemples : arg(i) = [2p] ; arg(1) = 0 [2p] ; arg(-1) = p [2p] ; arg(-i) = - [2p] ; arg(1 + i) = [2p].
2 2 4
D'aprs les relations mtriques dans le triangle rectangle OHM (voir figure ci-dessous), on a :
p OH a HM b
Cas o q 0; : cos(q) = = et sin(q) = =
2 OM Z OM Z
p OH a < 0 (-a ) a HM b
Cas o q ; p : cos(q) = -cos(p - q) = - = - = et sin(q) = =
2 OM Z Z OM Z
b M(Z) M(Z) b
|Z| |Z|
q = arg(Z)
e2 q = arg(Z) p-q
H Axe des rels
H Axe des rels
O a a O
e1 e1
Dans les cas o q est ngatif, on raisonne de mme, en tenant compte du fait que sin(-q) = -sin(q) et HM = -b.
a b
Bref, dans tous les cas, nous avons : cos(q) = et sin(q) =
Z Z
Si les cosinus et sinus ci-dessus ont des valeurs remarquables, on peut trouver q directement l'aide du cercle
trigonomtrique, sinon, l'aide d'une calculatrice, on utilise la rgle suivante :
N'oublions pas qu'un angle et son
oppos ont le mme cosinus. La
a fonction "invcos" ou "cos-1" de la
"invcos" donne la valeur absolue de q calculatrice, qui renvoit une mesure
Z d'angle partir de la donne du
cosinus doit donc faire un choix :
sin(q) donne le signe de q celui de renvoyer la mesure de
l'angle comprise entre 0 et p.
Exemples :
q
Argument principal q de Z = -2 3 + 2i .
On a |Z|2 = a2 + b2 = 12 + 4 = 16 donc |Z| = 4. -q
Dmonstration :
|Z Z'|2 = Z Z' Z Z = Z Z' Z Z = Z Z Z' Z =|Z|2|Z'|2 = (|Z||Z'|)2
Complment :
On dit que l'application , Z a |Z| est une norme. Cela est d au fait que l'on a les proprits suivantes :
|Z| = 0 quivaut Z = 0.
|l Z| = |l| |Z| pour tout nombre complexe Z et tout rel l.
|Z + Z'| |Z| + |Z'| pour tous nombres complexes Z et Z'.
b
N'(- Z ) M(Z)
e2 q = arg(Z)
Axe des rels
-a a
O
e1
-b
N(-Z) M'( Z )
y
arg(Z) = p si Z *- et arg(Z) = 2 arctan si Z \ *- .
Z + x
Soit C le cercle de centre O et de rayon |Z|. Soient I, J et M les points d'affixes respectives |Z|, -|Z| et Z.
Soit q un argument de Z. On a ainsi : ( OI , OM ) = q [2p] M
y
D'aprs le thorme de l'angle au centre, on a :
2( JI , JM ) = ( OI , OM ) [2p] q
q
q J 2 I
D'o : ( JI , JM ) = [p] x
2
q y
Pour tout M C \ {J}, on a : tan = C
2 Z + x
Et si M = J, on a : q=p
D'o le rsultat.
Or, nous avons vu (paragraphe 5) que a = r cos(q) et b = r sin(q) o r = |Z| et q = arg(Z). Le nombre complexe Z
peut donc s'crire : Z = r (cos(q) + i sin(q)) ; cette criture s'appelle une forme trigonomtrique de Z.
6.2. Remarque : le nombre complexe nul Z = 0 n'a pas de forme trigonomtrique (puisque pas d'argument).
Pour trouver une forme trigonomtrique d'un nombre complexe Z non nul il suffit de calculer son module et un
argument.
6.3. Thorme
Si Z = r (cos(q) + i sin(q)) avec r > 0 alors r = |Z| et q = arg (Z) [2p]
Dmonstration
On a : |Z|2 = r2 cos2(q) + r2 sin2(q) = r2
Or r > 0, donc : |Z| = r
Soit q' un argument de Z, alors : Z = r (cos(q') + i sin(q')) = r cos(q') + i r sin(q')
Or, par hypothse : Z = r (cos(q) + i sin(q)) = r cos(q) + i r sin(q)
Et d'aprs le thorme 2.2., a' + b'i = a + bi quivaut a' = a et b' = b donc :
p p
Exercice : dterminer une forme trigonomtrique de Z = -2 cos + i sin .
5 5
(Attention, l'criture ci-contre n'est pas une forme trigonomtrique car un module ne peut tre ngatif !)
p p cos p + p + i sin p + p
Transformons : Z = 2 - cos - i sin = 2
5 5 5 5
6p 6p 4p
Le module de Z est donc r = 2 et un de ses arguments est q = . (Argument principal : - 2p = - )
5 5 5
Les proprits suivantes sur les arguments permettent de multiplier et diviser simplement deux nombres
complexes :
Moralit : pour multiplier deux nombres complexes non nuls, on multiplie les modules et on additionne les
arguments. Pour diviser deux nombres complexes non nuls, on divise les modules et on soustrait les
arguments.
Exemple :
p p
Soit Z = 3 cos - + i sin - 2p 2p
et Z' = 2 cos + i sin . Calculer ZZ'.
4 4 3 3
On pourrait s'en tirer avec la trigonomtrie classique, mais les proprits des modules et des arguments livrent
directement le rsultat :
5p 5p
ZZ' = 6 cos + i sin
12 12
Nous allons voir maintenant une troisime faon, fort commode, de noter les nombres complexes.
Soit l'application : :
q a cos(q) + i sin(q)
(q + q') = (q)(q')
Or, on sait que les solutions de cette quation fonctionnelle sont solutions des quations diffrentielles du type :
y' = ay
6.5. Dfinition
eiq dsigne donc le nombre complexe de module 1 et d'argument q : | eiq | = 1 et arg( eiq ) = q [2p].
p p
i -i
Exemples : e i0 = 1 ; e 2 = i ; eip = -1 ; e 2 ip = 1 ; e 2 = -i.
Une simple transcription des proprits vues sur les arguments donne alors :
(1 + i) 4
1) Dterminer la forme algbrique du nombre Z = .
( 3 - i) 3
Posons Z1 = 1 + i et Z2 = 3 - i.
Dterminons les formes exponentielles de Z1 et Z2 :
p
p i
Comme |Z1| = 2 et arg(Z1) = [2p], on a : Z1 = 2 e 4 En remarquant que (1 + i)2 = 2i, le
4
rsultat (1 + i)4 = -4 est immdiat.
D'o : Z14 = 4 eip = -4
p
p -i
Comme |Z2| = 2 et arg(Z2) = - [2p], on a : Z2 = 2 e 6
6
p
-i
D'o : Z23 = 8 e 2 = -8i
Z14 1
Et finalement : Z= 3
=- i
Z2 2
2) Calculer (1 + i)14.
p
i
Posons Z = 1 + i. On a : Z= 2 e 4
7p 3p
i i
D'o : Z14 = 27 e 2 = 128 ei2p e 2 = -128 i
(e ) 2 ip x x
En levant la puissance x : =1 =1
D'o : e 2 ipx = 1
p
1 i
En particulier pour x = : e 2 =1
4
D'o : i=1
Rponse : la relation e ( )
iq n
= e inq
n'est pas valable si n =
1
4
.
|Z1 + Z2|2 = (Z1 + Z2) ( Z1 + Z2 ) = (Z1 + Z2)( Z1 + Z2 ) = Z1 Z1 + Z1 Z2 + Z2 Z1 + Z2 Z2 = r12 + (Z1 Z2 + Z1Z2 ) + r22
Remarque : cas d'galit dans l'ingalit triangulaire : quelle condition a-t-on : |Z1 + Z2| = |Z1| + |Z2| ?
D'aprs la dmonstration faite ci-dessus, on a :
|Z1 + Z2| = |Z1| + |Z2| Re(Z1 Z2 ) = r1 r2 cos(q1 - q2) = 1 q1 - q2 = 0 [2p] q1 = q2 [2p]
D'o : |Z1 + Z2| = |Z1| + |Z2| O, M1 et M2 sont aligns dans cet ordre
(1)
7. Formules de Moivre. Formules d'Euler
7.1. Thorme
Formules de Moivre : pour tout q et tout n
(cos(q) + i sin(q))n = cos (nq) + i sin(nq) (cos(q) - i sin(q))n = cos (nq) - i sin(nq)
( )
n
(cos(q) + i sin(q))n = e iq = e inq = cos (nq) + i sin(nq)
(1)
Ces formules ne sont plus explicitement au programme mais rien n'interdit un exercice (ou une activit) de les introduire car leur utilisation
(qui repose essentiellement sur les proprits de l'exponentielle complexe qui, elles, sont au programme...) s'avre trs pratique dans bien des
situations.
Nombres complexes Page 16 G. COSTANTINI http://bacamaths.net/
La seconde formule est obtenue en remplaant q par -q.
eiq + e - iq = cos(q) + i sin(q) + cos(-q) + i sin(-q) = cos(q) + i sin(q) + cos(q) - i sin(q) = 2 cos(q)
eiq - e - iq = cos(q) + i sin(q) - cos(-q) - i sin(-q) = cos(q) + i sin(q) - cos(q) + i sin(q) = 2 i sin(q)
D'o les deux formules d'Euler.
7.2. Applications :
1 e it
4) Calculer, pour tout t : Re it et Re it
e - 1 e - 1
p 1 + i tan(q)
5) Dmontrer que pour tout q [2p] : e 2iq =
2 1 - i tan(q)
n
6) Calculer e
k =0
ikt
. En dduire que pour tout x :
n
sin[(2n + 1)x] = sin x 2 cos(2kx ) - 1
k =0
7) On pose S = cos(p) + cos(q) et S' = sin(p) + sin(q).
p+ q
p-q
i
Dmontrer que S + iS' = 2 e cos 2
. En dduire des expressions de S et S' sous forme de produits.
2
Procder de mme avec T = cos(p) - cos(q) et T' = sin(p) - sin(q).
Solutions :
1) On a :
3
eiq - e -iq e3iq - 3eiq + 3e -iq - e -3iq 2i sin(3q) - 6i sin(q) 1 3
sin (q) =
3
= = = - sin(3q) + sin(q)
2i -8i -8i 4 4
4
eiq + e- iq e4 iq + 4e2 iq + 6 + 4e -2iq + e-4 iq 2 cos(4q) + 8cos(2q) + 6 1 1 3
cos 4 (q) = = = = cos(4q) + cos(2q) +
2 16 16 8 2 8
1 1
D'o : Re it = - (Rsultat indpendant de t)
e - 1 2
eit 1
Et comme : =
e - 1 1 - e- it
it
e it
= - Re -it
1 1
Il vient : Re it = (D'aprs le calcul prcdent)
e - 1 e -1 2
p
5) Pour tout q [2p], on a, en multipliant numrateur et dnominateur par cos(q) :
2
n +1
sin t
ei ( n +1) t - 1
n int
2
e ikt
= = e 2
eit - 1 sin
t
k =0
2
L'galit est vidente si x p.
sin[(2n + 1) x] n
D'o :
sin( x)
=2
k =0
cos(2kx ) - 1
D'o le rsultat.
p+ q
i i p-q -i
p -q
i
p+ q
p-q
7) On a : S + iS' = e ip + e iq = e 2 e 2 + e 2 = 2 e 2 cos
2
p+q p-q
D'o : cos(p) + cos(q) = 2 cos cos
2 2
p+q p-q
sin(p) + sin(q) = 2 sin cos
2 2
p+ q
i i p-q -i
p-q
i
p+ q
p-q
De mme : T + iT' = e ip - e iq = e 2 e 2 - e 2 = 2i e 2 sin
2
p-q p+q
D'o : cos(p) - cos(q) = -2sin sin
2 2
p-q p+q
sin(p) - sin(q) = 2 sin cos
2 2
Et comme (1 - k)(1 + k) 0 : MG1 . MG2 = 0
8.2.1. Thorme
Si A et B sont deux points distincts du plan complexe d'affixes respectives a et b alors :
( e1 ; AB ) = arg(b - a) [2p]
Dmonstration :
Soit M(z) le point tel que : OM = AB
Ainsi : ( e1 ; AB ) = ( e1 ; OM ) = arg(z) = arg(b - a) [2p]
B(b)
M(z)
arg(b - a)
e2 arg(z) A(a)
Axe des rels
O
e1
Exemple :
On donne A(1) et B(2, i 3 ). Dterminer une mesure de l'angle ( e1 ; AB ).
p
i
On a : b - a = 1 + i 3 = 2e 3
p
D'o : ( e1 ; AB ) = [2p]
3
8.2.2. Thorme
Si A, B et C sont trois points deux deux distincts du plan complexe d'affixes respectives a, b et c alors :
b - c
( CA ; CB ) = arg [2p]
a - c
Dmonstration : les affixes des vecteurs CA et CB sont respectivement (a - c) et (b - c).
D'aprs 8.2.1. : arg(a - c) = ( e1 ; CA ) [2p] et arg(b - c) = ( e1 ; CB ) [2p]
Exemple :
On donne A(5 + 3i) et B(5 - 8i). Le triangle OAB est-il rectangle en O ?
( OA ; OB ) = arg [2p]
b
D'aprs ce qui prcde :
a
b 5 - 8i 1 - 55i
Or : = = i
a 5 + 3i 34
Donc les droites (OA) et (OB) ne sont pas perpendiculaires.
Extension : A(a), B(b), C(c) et D(d) tant 4 points du plan, deux deux distincts, on a :
d -c
(AB) ^ (CD) i
b-a
En effet, on a les quivalences suivantes : (AB) ^ (CD)
p
( AB ; CD ) = [p]
2
p Avec des vecteurs, la proprit ci-contre
( AB ; e1 ) + ( e1 ; CD ) = [p] s'crit :
2
p r
r r aff ( u )
arg(d - c) - arg(b - a) = [p] u ^v r i
2 aff ( v )
d -c p
arg = [p]
b-a 2
d -c
i
b-a
transformation ponctuelle T qui chaque point M d'affixe z associe le point M' d'affixe z' = (z).
A(a)
e2
Axe des rels
O
e1
Dmonstration :
Dire que M' est l'image de M par la translation de vecteur u signifie :
MM = u
Ce qui se traduit, en termes d'affixes, par : z' - z = a
D'o le thorme.
z' - w = eiq (z - w)
Dmonstration :
WM = WM
WM , WM = q [2p]
| z - w | = | z - w |
Ce qui se traduit, en termes d'affixes, par : z - w
arg z - w = q [2p]
z' = eiq z
p
Si q = (quart de tour de sens direct), alors l'criture complexe de la rotation devient :
2
z' - w = i(z - w)
p
Si W = O et q = , alors l'criture complexe de la rotation devient :
2
z' = iz
Cas du triangle quilatral. Soient A, B et C trois points du plan d'affixes respectives zA, zB et zC.
p
i
ABC est un triangle quilatral de sens direct zC - zA = e 3 (zB - zA)
p
(En effet, c'est quivalent dire que C est l'image de B par la rotation de centre A et d'angle )
3
Exemple 1 : on donne deux points distincts A(a) et B(b). On construit le carr ABCD de sens direct.
Quelle est l'affixe w du centre W du carr ABCD ?
D C
A B
p
Il suffit de remarquer que B est l'image de A par la rotation de centre W et d'angle :
2
b - w = i(a - w)
w(i - 1) = ia - b
b - ia
w=
1- i
r r
u = v
Exemple 2 : soit u (x, y) un vecteur du plan (non nul) et v (x', y') tels que r r p
( u , v ) = 2
Exprimer les coordonnes de v en fonction de celles de u .
Cet exemple montre ce que
Notons z = r eiq l'affixe de u et z' celle de v . deviennent les coordonnes d'un
z' - w = k(z - w)
Dmonstration :
Dire que M' est l'image de M par l'homothtie de centre W et de rapport k signifie :
WM = k WM
Ce qui se traduit bien, en termes d'affixes, par :z' - w = k(z - w).
Exemple : soit la transformation du plan qui, tout point M(z) du plan associe le point M'(z') tel que :
5
z' = - z + 2i
2 La dmarche ci-contre fait figure de mthode.
Dterminer la nature de et prciser ses lments caractristiques. Lorsqu'on a affaire une transformation du plan
dont l'criture complexe est :
Montrons que admet un unique point invariant.
z' = az + b (a 0)
Pour cela on rsout l'quation : (w) = w on commence par rechercher son ventuel point fixe :
5 si a = 1 et b = 0, alors est l'identit (tous les
w=- w + 2i
2 points du plan sont fixes)
4 si a = 1 et b 0, il n'y a pas de point fixe et est
w= i
7 une translation.
4
La transformation admet un unique point invariant W d'affixe w = i. b
7 si a 1, il y a un unique point fixe w =
1- a
Pour dterminer la nature de on exprime z' - w en fonction de z - w . Dans ce cas, si a est un rel, est une homothtie
8.4.1. Thorme
Remarque : on peut choisir q dans
Soit C le cercle de centre W(w) et de rayon R. Soit M un point d'affixe z. Alors : [0, 2p[ ou tout autre intervalle
8.4.2. Lemme :
Soient z1 et z2 deux nombres complexes. Alors :
Rciproquement, s'il existe un rel q tel que z1 = eiq z2, il est clair que |z1| = |z2|.
Retour la dmonstration de 8.4.1. :
On a : M C WM = R |z - w| = R
p p p
1 i4 i 1 i
De plus : b=a+ e = e6+ e4
4 4
3 1 2 2 4 3+ 2 4+ 2
D'o : b= + i+ +i = +i
2 2 8 8 8 8
Remarque :
Si on note (xW, yW) les coordonnes de W et (x, y) celles de M, on a :
x = xW + R cos(q)
M C il existe un rel q tel que
y = yW + R sin(q)
8.5.1 Thorme
n
Soit G le barycentre de n points pondrs (A1, a1), (A2, a2), ... , (An, an) avec a
p =1
p 0
Notons zp les affixes des points Ap (1 p n). Alors l'affixe zG de G est donne par :
n
a
p =1
pzp
zG = n
a p =1
p
a+b
affixe du milieu de [AB] :
2
a+b+c
affixe du centre de gravit du triangle ABC :
3
Exemple :
ABC est un triangle de sens direct. On construit le point P tel que :
p
( BC , AP ) = et AP = BC
2
On construit de mme les points Q et R tels que :
p
( CA , BQ ) = et BQ = CA
2
p
( AB , CR ) = et CR = AB
2
Dmontrer que le triangle PQR a le mme centre de gravit que ABC.
P
On a donc : p - a = i(c - b)
q - b = i(a - c)
r - c = i(b - a) A
En additionnant membre membre ces trois galits, il vient :
p+q+r=a+b+c
On en dduit que les deux triangles ont le mme centre de gravit.
B C
Q
8.6. Quelques lieux de points
Soient A et B deux points distincts du plan.
Ensemble des points M tels que MA = k :
cercle de centre A et de rayon k si k > 0
le point A si k est nul
l'ensemble vide si k < 0
// //
A B
Ensemble des points M tels que ( MA ; MB ) = 0 [p] :
droite (AB) prive des points A et B Un angle orient de deux
vecteurs n'est dfini que si
M A B
les vecteurs ne sont pas nuls.
C'est pourquoi, les points A
et B doivent tre retirs, le
A B M
cas chant, des ensembles
ci-contre.
Ensemble des points M tels que ( MA ; MB ) = 0 [2p] :
droite (AB) prive du segment [AB]
M A B
A B M
Ensemble des points M tels que ( MA ; MB ) = p [2p] :
segment ouvert ]AB[
A M B
p
Ensemble des points M tels que ( MA ; MB ) = [p] :
2
cercle de diamtre [AB] priv des points A et B
A B
M'
A B
p
Ensemble des points M tels que ( MA ; MB ) = - [2p] :
2
demi-cercle de diamtre [AB] priv des points A et B et tel que MAB soit indirect
A B
Ensemble des points M tels que MA . MB = 0 :
cercle de diamtre [AB] Dans un produit scalaire, les
vecteurs peuvent trs bien
M tre nuls, c'est pour cela,
qu'ici, on ne retire pas les
points A et B.
A B
Applications :
Rsoudre dans les quations suivantes :
3 1
x2 = -3 z2 + = 0 z2 = cos2 q - 1 x+ =0
4 x
9.2. QUATIONS DU TYPE ax2 + bx + c = 0 o a, b et c sont des rels avec a 0 et x quantit inconnue.
Considrons le discriminant D = b2 - 4ac.
( )
2
2. On suppose que D < 0. Vrifier que D = i - D . En dduire que l'quation ci-dessus possde deux
Applications :
Rsoudre, dans , les quations suivantes :
2z2 - 3z + 4 = 0 x2 - 2x + 2 = 0 2z4 + z2 - 10 = 0
z1 = r e iq / 2 et z2 = - r e iq / 2
Dans le cas contraire, on procde analytiquement.
D'aprs les proprits des modules, on a :
|z|2 = r
x2 + y2 = r (E1)
De plus, l'quation z2 = z0 s'crit : x2 + 2xyi - y2 = a + bi
En identifiant les parties relles et imaginaires, il vient :
x2 - y2 = a (E2)
Et : 2xy = b (E3)
En additionnant (E1) et (E2) : 2x = r + a
2
Donc r + a et r - a sont positifs, les rels x et y existent bien et on choisit leur signe de faon que leur produit
soit du signe de b (afin de satisfaire la condition 2xy = b).
Si b 0, on choisit :
r+a r -a r +a r -a
z1 = x1 + iy1 = +i et z2 = x2 + iy2 = - -i
2 2 2 2
Si b 0, on choisit :
r +a r -a r +a r -a
z1 = x1 + iy1 = - +i et z2 = x2 + iy2 = +i
2 2 2 2
On pourra vrifier, a posteriori, ces rsultats.
x2 + y2 = 5
2
x - y = 3
2
2 xy = 4
Or, d'aprs la troisime condition xy = 2, les rels x et y sont de mme signe. On obtient donc :
z1 = 2 + i ; z2 = -2 - i
z+ b = D = d
2 2
2a 4a 2
4a 2
Et en factorisant, on retrouve des formules semblables celles connues dans : Attention, contrairement aux
quations dont les coefficients
-b - d -b + d
z1 = ; z2 = sont des rels, ici les complexes z1
2a 2a et z2 ne sont pas ncessairement
conjugus.
On calcule le discriminant D :
D = b2 - 4ac = -1 - 4(1 + i)(-1) = - 1 + 4(1 + i) = 3 + 4i
On cherche un complexe d tel que : d2 = 3 + 4i
D'aprs l'exemple prcdent, d = 2 + i convient. On en dduit nos deux solutions :
-i - (2 + i ) -2 - 2i -b + d -i + (2 + i ) 2 1 1
z1 = = = -1 ; z2 = = = = - i
2(1 + i ) 2(1 + i ) 2a 2(1 + i ) 2(1 + i ) 2 2
c
Remarque : on pouvait voir ds le dbut la racine vidente z1 = -1 et en dduire z2 avec la relation z1z2 = .
a