NOMBRES COMPLEXES

Au dbut du XVIme sicle, le mathmaticien Scipione dal Ferro, propose une formule donnant une solution de l'quation du 3me degr x 3 + px = q : x=
3

q - q 2 + 4 p3 27 + 2

q + q 2 + 4 p 3 27 2

A la fin du XVIme sicle, le mathmaticien Bombelli applique cette formule l'quation x 3 - 15x = 4. Il obtient littralement : x=
3

2 - 11 -1 + 2 + 11 -1
-1 .

Cette criture n'a, a priori, pas de sens puisqu'on ne sait pas ce que reprsente le symbole not Mais Bombelli va plus loin. Il remarque, en utilisant les rgles usuelles de calcul que :

(2 +

-1 = 2 + 11 -1 et x=2+

(2 -

-1 = 2 - 11 -1
-1 = 4

Si bien qu'il obtient finalement :

-1 + 2 -

Or, x = 4 est bien une solution de l'quation x 3 - 15x = 4. Une question naturelle s'est alors pose : peut-on lgitimement calculer avec des symboles imaginaires comme ci-dessus ? C'est ainsi qu'est ne la thorie des nombres complexes...

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 lensemble des nombres rels pour en trouver. 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 lon a rencontr est . Pourtant, lquation x 2 + 1 = 0 na pas de solutions dans ... 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 lment de sera not i (i comme imaginaire). Le nombre i est tel que i = 1 ! Lquation ci-dessus possde alors deux solutions : x 2 + 1 = 0 quivaut x 2 - i 2 = 0 soit (x i)(x + i) = 0 donc x = i ou x = i.
2

Guesmi.B

2. Construction du corps des nombres complexes 2.1 Dfinition Notons l'ensemble des couples de rels : = {(a, b) } Les lments de sont appels des nombres complexes. 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 L'ensemble peut tre muni de deux lois + et qui prolongent les lois + et de . L'ensemble contient "une copie" de . Il existe dans un lment, not i, tel que i 2 = -1. Tout lment z de s'crit, de manire unique z = a + bi, o a et b sont des rels. Dmonstration (Hors programme) On muni cet ensemble des deux lois de composition interne suivantes : la premire, note + , est dfinie par : (a, b) + (a', b') = (a + a', b + b') la seconde, note , est dfinie par : (a, b) (a', b') = (aa' - bb', ab' + a'b) Par exemple, avec (a, b) = (2, 5) et (a', b') = (-3, 4), on a : (2, 5) + (-3, 4) = (-1, 9) (2, 5) (-3, 4) = (-26, -7) 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 (a, b) (0, 0) admet un inverse.) j : (, +, ) (, + , ) a a (a, 0) (a) + (a') = (a, 0) + (a', 0) = (a + a', 0) = (a + a') (a) (a') = (a, 0) (a', 0) = (aa', 0) = (aa') (1) = (1, 0) De plus j est injectif : (a) = (a') (a, 0) = (a', 0) (a - a', 0) = (0, 0) a = a'
On constate que si les secondes composantes sont nulles, alors les lois + et se comportent comme les lois usuelles + et sur les rels. Les rgles de calculs (avec les lois + et ) dans seront donc les mmes que dans en remplaant i2 par -1 ou vice versa.

Considrons l'application :

Alors j est un morphisme de corps. En effet :

Donc j induit un isomorphisme entre les corps (, +, ) et j() = {(a, 0) , a }. On peut donc identifier les lments de avec ceux de j(). L'ensemble contient donc une "copie" de . 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 : a = (a, 0) On a de plus : Notons : Ainsi : Enfin, pour tous rels a et b on a : (a, b) = (a, 0) + (0, b) = (a, 0) (1, 0) + (b, 0) (0, 1) C'est--dire, avec les notations ci-dessus : (a, b) = a 1 + b i = a + bi Autrement dit, tout lment de z = (a, b) de peut s'crire z = a + bi. Cette criture est unique. En effet : a + bi = a' + b'i (a, b) = (a', b') (a - a', b - b') = (0, 0) a = a' et b = b' Ce dernier rsultat tant fort utile, mettons-le en vidence : 2.3. Thorme galit entre deux nombres complexes Soient a, b, a' et b' quatre nombres rels. a + bi = a' + b'i a = a' et b = b' En particulier, a + bi = 0 si et seulement si a = 0 et b = 0. On parle alors de nombre complexe nul. Dmonstration du thorme : Dj fait ci-dessus. On peut nanmoins en donner une preuve diffrente. Montrons, pour commencer, l'quivalence : a + bi = 0 a = 0 et b = 0. Dj, il est clair que si a = 0 et b = 0 alors a + bi = 0. Rciproquement, supposons que a + bi = 0. Montrons qu'alors, ncessairement, a = 0 et b = 0. En effet si b 0, alors on pourrait crire : i = 2 a . Le nombre i serait rel et on ne pourrait avoir i = -1. b

not

Cette notation permet de confondre les lments de avec leur copie (lments de j())...

(0, 1) (0, 1) = (-1, 0) i = (0, 1) i i = -1

not

Donc b = 0. L'galit a + bi = 0 se rduit a + 0i = 0 d'o a = 0. On a donc montr que si a + bi = 0 alors a = 0 et b = 0. Considrons maintenant deux nombres complexes Z = a + bi et Z' = a' + b'i. Il est clair que si a = a' et b = b' alors Z = Z'. Rciproquement, supposons que Z = Z'. Alors, on a : (a - a') + (b - b')i = 0 Et d'aprs ce qui prcde, a - a' = 0 et b - b' = 0 d'o a = a' et b = b'.

Exemple : Z1 = 3 + 2i et Z2 = 2 i ; calculer Z1 + Z2 ; Z1 Z2 ; Z1 Z2 ; Z1 + 2Z2 ; 2Z1 3Z2 ; Z .

2.4. Dfinition Soit Z , Z = a + ib (avec a et b rels). Le rel a sappelle la partie relle de Z et b la partie imaginaire. On note : Exemples : On a : a = Re(Z) et b = Im(Z) Z1 = 3 + 2i ; Z2 = 3i Re(Z1) = 3 ; Im(Z1) = 2 ; Re(Z2) = 0 ; Im(Z2) = -3
Humour : pourquoi la vie des Hommes est-elle complexe ? Car elle possde une partie relle et une partie imaginaire.

Attention ! La partie imaginaire d'un nombre complexe est un nombre rel ! 2.5. Dfinition

Tout nombre complexe de la forme z = bi (o b ) s'appelle un imaginaire pur. L'ensemble des imaginaires purs est not i. 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.

Les applications Re : et Im : sont -linaires. Cela signifie : "Z, Z' , "l : Re(Z + lZ') = Re(Z) + lRe(Z') et Im(Z + lZ') = Im(Z) + lIm(Z')

3. Reprsentation gomtrique des nombres complexes ur uu r Munissons le plan dun repre orthonorm ( O ; e1 , e2 ) . 3.1. Principe : tout nombre complexe Z = a + bi (avec a et b rels), on peut associer le point M(a ; b). Cela dcoule simplement du fait que l'application : : Z = a + bi a M(a, b)

est une bijection.

Exemple : Z = 2 - 5i correspond le point M(2 ; -5) et rciproquement. 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).

3.3. Autre interprtation trs utilise : tout nombre complexe Z = a + bi (avec a et b rels), on peut associer le vecteur u

a b

Ce vecteur u s'appelle le vecteur image du nombre complexe Z.

(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 .

 -5 Exemple : si Z = 5 2i et M est limage de Z, alors le vecteur OM est le vecteur image de M. -2

L'affixe est souvent note entre parenthses derrire le point ou le vecteur.

Axe des imaginaires purs M(Z)

Guesmi.B

e2
O

e1

Axe des rels

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 Dmonstration : notons A(xA ; yA) et B(xB ; yB). Alors ZA = xA + yAi et ZB = xB + yBi. Nous savons que les coordonnes de AB sont : Or : xB - x A yB - y A

ZB - ZA = xB + yBi - xA - yAi = (xB - xA) + (yB - yA)i Donc laffixe du vecteur AB est ZB ZA.

Axe des imaginaires purs B(ZB)

e2
O

A(ZA)

Axe des rels

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 ).

4. Conjugu d'un nombre complexe. Inverse d'un nombre complexe non nul Soit mettre sous la forme a + bi le nombre complexe suivant : Z = 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. Exemples : le conjugu de 9 4i est 9 + 4i. Cas particuliers : i = 0 + 1i = 0 - 1i = -i ; 7 = 7. 4.2. Vocabulaire : on dit que Z et Z sont des nombres complexes conjugus. 4.3. Remarque : Re(Z) = Re( Z ). 4.4. Consquences Critre pour qu'un nombre complexe soit rel (resp. imaginaire pur) On a : Et les proprits suivantes : Z est rel Z = Z Dmonstration : Notons Z = a + bi (avec a et b rels). Ainsi : Z + Z = a + bi + a - bi = 2a = 2Re(Z) et Z - Z = a + bi - (a - bi) = 2bi = 2iIm(Z) On en dduit : Z est rel Im(Z) = 0 Z - Z = 0 Z = Z Z est imaginaire pur Re(Z) = 0 Z + Z = 0 Z = - Z 4.5. Interprtation gomtrique du conjugu : Les images de deux nombres complexes conjugus sont symtriques par rapport l'axe des rels :
Axe des imaginaires purs b M(Z)

1 . Comment faire ? 2 + 3i

Z + Z = 2Re(Z) et Z - Z = 2iIm(Z)

et

Z est imaginaire pur Z = - Z

e2
O

e1

Axe des rels

-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 : ZZ = a + b
2 2

Application : pour crire les nombres complexes fractionnaires sous la forme a + bi, on multiplie le numrateur et le dnominateur par la quantit conjugue. Exemples : 1 3 + 4i 3 + 4i 3 4 = = = + i 3 - 4i (3 - 4i )(3 + 4i ) 25 25 25 1- i = i 1+ i 7 + 3i =1+i 5 - 2i

4.7. Thorme Proprits de la conjugaison Pour tous nombres complexes Z et Z', on a :

Z + Z = Z + Z - Z = -Z ZZ = ZZ

Zn = Z n

Z Z (Z' 0) Z ' = Z

Dmonstration : posons Z = a + bi et Z' = a' + b'i (avec a, b, a et b' rels). Alors :

Z + Z = a + bi + a + bi = (a + a) + (b + b)i = (a + a') - (b + b')i Z + Z = a + bi + a + bi = a - bi + a' - b'i = (a + a') - (b + b')i

Donc Z + Z = Z + Z . Les autres galits se dmontrent de faon analogue.

Exemples : Le conjugu de Z1 = Celui de Z = 4 - 5i 4 + 5i est Z1 = . 3+ i 3- i

2 z 2 - i 2z 2 + i 2z 2 - i est Z = = . 5z + 1 5z + 1 5z + 1 iz - 1 soit rel. z -i

Exercice : dterminer le lieu des points M d'affixe z telle que Solution : pour z i, on a en posant z' = z' z = z' iz - 1 : z -i

-iz - 1 iz - 1 = (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) Comme z i, le lieu des points M tels que iz - 1 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 exposants, les produits et les sommes) : P( Z ) = P ( Z ) et donc si P(Z) = 0 alors P ( Z ) = 0 d'o P( Z ) = 0.

Exemple : on donne P(x) = x2 + x + 1. On vrifiera que les nombres complexes j = 3 3 1 1 et j = - - i sont tous deux des racines de P. +i 2 2 2 2

5. Module et argument d'un nombre complexe Voici la figure illustrant les deux dfinitions suivantes :
Axe des imaginaires purs

b |Z|

M(Z)

e2
O

q = arg(Z)

e1

Axe des rels

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. On a galement (d'aprs le thorme 4.6.) |Z| = Si Z = a + bi est rel (b = Im(Z) = 0), on a |Z| = 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 Et par passage la racine carre : D'o : |Z| |a| et |Z| |b| |Z| max(|a|, |b|) ZZ ou encore Z
2

= ZZ .

a 2 = |a|. Le module d'un nombre rel est donc sa valeur

Exercice : soient A(0 ; 4), B(3 ; 0) et C(6 ; 8). Quelle est la nature du triangle ABC ? Il suffit de calculer les longueurs AB, AC et BC pour voir si des cts sont gaux. La rciproque du thorme de Pythagore permet de voir s'il y a un angle droit.

Application : Soient u et v deux nombres complexes distincts et de mme module r. Alors

2 2

u+v est imaginaire pur. u-v

On a : Et d'aprs 4.4. on a :

u + v = u + v = uuv + uvv = u v + u v = - u + v u-v u - v u - v uuv - uvv u 2 v - u v 2 u+v 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 [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. On notera par exemple arg(Z) = Exemples : arg(i) = p p p [2p] ; arg(1) = 0 [2p] ; arg(-1) = p [2p] ; arg(-i) = - [2p] ; arg(1 + i) = [2p]. 2 2 4

Cas particuliers importants : un rel strictement positif a un argument nul [2p], un rel strictement ngatif a un argument gal p [2p]. On peut dire : Z ( Z = 0 ou arg(Z) = 0 [p] ) p [2p] et un 2

un imaginaire pur dont la partie imaginaire est strictement positive a un argument gal imaginaire pur dont la partie imaginaire est strictement ngative a un argument gal On peut dire : Z i ( Z = 0 ou arg(Z) = p [p] ) 2

p [2p]. 2

5.4. Mthode gnrale pour calculer l'argument principal d'un nombre complexe non nul : D'aprs les relations mtriques dans le triangle rectangle OHM (voir figure ci-dessous), on a : p Cas o q 0; : 2 cos(q) = OH a = Z OM et sin(q) = HM b = OM Z

OH a < 0 (-a ) a HM b p Cas o q ; p : cos(q) = -cos(p - q) = = = et sin(q) = = Z OM Z OM Z 2

Axe des imaginaires purs Axe des imaginaires purs

b |Z|

M(Z)

M(Z) |Z|

e2
O

q = arg(Z)

H a

Axe des rels

H a

p-q O

q = arg(Z)
Axe des rels

Guesmi.B

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. Bref, dans tous les cas, nous avons : cos(q) = a Z et sin(q) = b 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 : a "invcos" donne la valeur absolue de q Z sin(q) donne le signe de q Exemples : Argument principal q de Z = -2 3 + 2i . On a |Z|2 = a2 + b2 = 12 + 4 = 16 donc |Z| = 4. Nous devons maintenant rsoudre le systme suivant : -2 3 - 3 cos(q) = = 4 2 sin(q) = 2 = 1 4 2 Comme nous avons une bonne connaissance du cercle trigonomtrique, nous concluons q = Argument principal q de Z = 3 - 4i. On a |Z|2 = 9 + 16 = 25 donc |Z| = 5. Nous devons rsoudre le systme : 3 cos(q) = 5 sin(q) = - 4 5 Ce ne sont pas des valeurs remarquables. La calculatrice donne |q| 0,9273 rad. Mais sin(q) est ngatif, donc q est ngatif : q -0,9273 rad, c'est--dire : q 53,13. 5p . 6
-q N'oublions pas qu'un angle et son oppos ont le mme cosinus. La fonction "invcos" ou "cos-1" de la calculatrice, qui renvoit une mesure d'angle partir de la donne du cosinus doit donc faire un choix : celui de renvoyer la mesure de l'angle comprise entre 0 et p. q

5.5. Thorme Proprits des modules Pour tous nombres complexes Z et Z' : Module d'un produit : |Z Z'| = |Z| |Z'|. Et en particulier, si l est rel : |l Z| = |l| |Z|. Module d'un quotient : Z Z 1 1 = (lorsque Z' 0). En particulier, pour tout Z 0 : = Z Z Z Z

Ingalit triangulaire : |Z + Z'| |Z| + |Z'| Dmonstration : |Z Z'|2 = Z Z' Z Z = Z Z' Z Z = Z Z Z' Z =|Z|2|Z'|2 = (|Z||Z'|)2 Et comme un module est positif : |Z Z'| = |Z||Z'|
Axe des imaginaires purs

La deuxime proprit se dmontre de faon analogue.

S(Z + Z') M'(Z')

Quant l'ingalit triangulaire, la figure suivante est plus parlante que n'importe quelle dmonstration. Soient M, M' et S les images respectifs de Z, Z' et Z + Z'. On a OS OM + OM' donc |Z + Z'| |Z| + |Z'|. Une preuve rigoureuse de l'ingalit triangulaire sera donne au 6.

e2
O

M(Z)
Axe des rels

e1

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 pour tout nombre complexe Z. |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'.

5.6. Thorme Proprits des arguments Pour tout Z * : arg( Z ) = -arg(Z) [2p] arg(-Z) = arg(Z) + p [2p] arg(- Z ) = p - arg(Z) [2p]

Ce thorme s'illustre sur la figure suivante :

Axe des imaginaires purs

N'(- Z )

M(Z)

e2
-a O

q = arg(Z)

e1

Axe des rels

N(-Z)

-b M'( Z )

Remarque : soit Z * Si l * + , alors : Si l * - , alors : arg(lZ) = arg(Z) [2p] arg(lZ) = arg(Z) + p [2p]

D'autres proprits des arguments seront vues plus loin. Exercice (hors programme) : soit Z = x + iy avec Z 0. Dmontrer que l'on a : y si Z \ * arg(Z) = p si Z * -. - et arg(Z) = 2 arctan 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 D'o : ( JI , JM ) = [p] 2 y q Pour tout M C \ {J}, on a : tan = 2 Z + x Et si M = J, on a : D'o le rsultat. q=p

q 2

q x C

6. Diffrentes formes d'critures des nombres complexes 6.1. Forme trigonomtrique L'criture Z = a + bi s'appelle la forme algbrique de Z (ou encore forme cartsienne). 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 : Or r > 0, donc : |Z|2 = r2 cos2(q) + r2 sin2(q) = r2 |Z| = r Z = r (cos(q) + i sin(q)) = r cos(q) + i r sin(q)

Soit q' un argument de Z, alors : Z = r (cos(q') + i sin(q')) = r cos(q') + i r sin(q') Or, par hypothse : Et d'aprs le thorme 2.2., a' + b'i = a + bi quivaut a' = a et b' = b donc :

r cos(q') = r cos(q) et r sin(q') = r sin (q) D'o : Ce qui implique : Donc : cos(q') = cos(q) et sin(q') = sin(q) q' = q [2p] q = arg(Z) [2p]

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 !)

Transformons :

p p Z = 2 - cos - i sin = 2 5 5

cos p + p + i sin p + p 5 5 6p 6p 4p . (Argument principal : - 2p = ) 5 5 5

Le module de Z est donc r = 2 et un de ses arguments est q =

Les proprits suivantes sur les arguments permettent de multiplier et diviser simplement deux nombres complexes : 6.4. Thorme Proprits des arguments (bis) Pour tous nombres complexes Z et Z' non nuls on a : arg(ZZ') = arg(Z) + arg(Z') [2p] Z arg = arg(Z) - arg(Z') [2p] Z
n

1 arg = -arg(Z) [2p] Z arg(Z ) = n arg(Z) [2p] pour tout n

On notera l'analogie entre ces relations et les proprits de la fonction logarithme.

Dmonstration : utilisons des formes trigonomtriques de Z et Z' : Z = r (cos(q) + i sin(q)) et Z' = r' (cos(q') + i sin(q')) Ainsi : ZZ' = r r' (cos(q) + i sin(q)) (cos(q') + i sin(q')) ZZ' = r r' [cos(q) cos(q') - sin(q) sin(q') + i (sin(q) cos(q') + cos(q) sin(q'))] Ce qui, d'aprs les formules trigonomtriques d'addition, donne : ZZ' = r r' (cos (q + q') + i sin (q + q')) Et comme r r ' > 0, on en dduit d'aprs le thorme 6.3. que : |ZZ'| = r r' et arg(ZZ') = q + q' = arg(Z) + arg(Z') [2p] D'o la premire relation : En spcialisant Z' = arg(ZZ') = arg(Z) + arg(Z') [2p]

1 dans cette relation, cela donne : Z 1 arg(1) = arg + arg(Z) [2p] Z

1 Or, arg(1) = 0 [2p] d'o la seconde relation : arg = -arg(Z) [2p] Z En remarquant que Z 1 =Z on a d'aprs ce qui prcde : Z Z Z 1 arg = arg(Z) + arg = arg(Z) - arg(Z') [2p] Z Z D'o la troisime relation.

Pour la dernire relation, distinguons trois cas : n>0: arg(Z ) = arg(Z Z ... Z) = n arg(Z) [2p]
(Peut se dmontrer proprement par rcurrence)
n

n < 0, alors en posant m = -n > 0 et en utilisant le cas prcdent avec m > 0:

n 1 1 arg(Z ) = arg m = m arg = -m arg(Z) = n arg(Z) [2p] Z Z

Pour n = 0, la relation arg(Z ) = n arg(Z) [2p] est triviale.

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 2p 2p Soit Z = 3 cos - + i sin - 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)

D'aprs ce que l'on a vu ci-dessus, on a pour tous q et q' de : (q + q') = (q)(q') La fonction est donc une solution (complexe) de l'quation fonctionnelle (u + v) = (u)(v). Or, on sait que les solutions de cette quation fonctionnelle sont solutions des quations diffrentielles du type : y' = ay Dterminons a (qui est ici dans puisque est valeur dans ). En tendant les proprits de la drivation aux fonctions de dans , on a drivable sur et : '(q) = -sin(q) + i cos(q) = i (q) D'o a = i et : (q) = (0) eiq = eiq

Cette constatation rend parfaitement lgitime la dfinition (ou notation) suivante : 6.5. Dfinition Pour tout rel q, on note eiq le nombre complexe cos(q) + i sin(q).
eiq dsigne donc le nombre complexe de module 1 et d'argument q : | eiq | = 1 et arg( eiq ) = q [2p].

Exemples : e i 0 = 1 ; e

p 2

= i ; eip = -1 ; e 2 ip = 1 ; e

-i

p 2

= -i.

Un nombre complexe de module r et d'argument q s'crit alors Z = r e iq . Cette criture est appele une forme exponentielle de Z. 6.7. Remarque : le conjugu de eiq est e - iq .

ue

sm

i.B

Une simple transcription des proprits vues sur les arguments donne alors : 6.8. Thorme : pour tous q et q' de
eiq e iq ' = ei ( q + q ')

eiq = ei ( q - q ') eiq '

(e )
i p 12

iq n

= einq pour n

La notation exponentielle rend les calculs trs simples, par exemple : Si Z = 3 e Exercices : 1) Dterminer la forme algbrique du nombre Z = Posons Z1 = 1 + i et Z2 = 3 - i. Dterminons les formes exponentielles de Z1 et Z2 : Comme |Z1| = 2 et arg(Z1) = D'o : Comme |Z2| = 2 et arg(Z2) = D'o : Et finalement : 2) Calculer (1 + i)14. Posons Z = 1 + i. On a : Z14 = 27 e
i 7p 2 i p [2p], on a : Z1 = 2 e 4 4 4 Z1 = 4 eip = -4 -i p [2p], on a : Z2 = 2 e 6 6 3 Z2 =8 e -i p 2 p p i 3p 4

et Z' = 7 e

-i

2p 3

alors ZZ' = 21 e

Z 3 i 12 et = e Z' 7

17 p

(1 + i) 4 . ( 3 - i) 3

En remarquant que (1 + i)2 = 2i, le rsultat (1 + i)4 = -4 est immdiat.

= -8i

Z=

4 Z1 1 =- i 3 2 Z2

Z= 2 e

p 4 3p 2

D'o :

= 128 ei 2 p e

= -128 i

nigme : o est l'erreur dans le calcul suivant : En levant la puissance x : D'o : 1 En particulier pour x = : 4 D'o : Rponse : la relation e

(e )
e
inq i

e 2 ip = 1

2 ip x

=1 =1

e 2 ipx = 1
p 2

=1 1 . 4

( )

i=1 = e n'est pas valable si n =

iq n

6.9. Une dmonstration (hors programme) de l'ingalit triangulaire : Pour tous Z1, Z2 , |Z1 + Z2| |Z1| + |Z2| Lemme : Pour tous nombres complexes Z1 = r1 e iq 1 et Z2 = r2 e iq 2 , on a : |Re(Z1 Z2 )| r1 r2. Preuve du lemme : |Re(Z1 Z2 )| = |Re(r1 r2 e i( q1 -q2 ) )| = | r1 r2 cos(q1 - q2)| r1 r2. Et, en particulier : Re(Z1 Z2 ) r1 r2. Dmonstration de l'ingalit triangulaire : |Z1 + Z2|2 = (Z1 + Z2) ( Z1 + Z2 ) = (Z1 + Z2)( Z1 + Z2 ) = Z1 Z1 + Z1 Z2 + Z2 Z1 + Z2 Z2 = r12 + (Z1 Z2 + Z1Z2 ) + r22 |Z1 + Z2|2 = r12 + 2 Re(Z1 Z2 ) + r22 Et d'aprs le lemme : |Z1 + Z2|2 r12 + 2 r1 r2 + r22 (r1 + r2)2
On dmontre que l'application : j :

est un produit scalaire sur . Le lemme n'est alors autre que l'ingalit de Cauchy-Schwarz. L'ingalit triangulaire en dcoule (voir la leon sur le produit scalaire )

(Z1 ; Z2) a Re( Z1 Z 2

Et par croissance de la fonction racine carre : |Z1 + Z2| |Z1| + |Z2| 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

7. Formules de Moivre. Formules d'Euler 7.1. Thorme

(1)

Formules de Moivre : pour tout q et tout n (cos(q) + i sin(q))n = cos (nq) + i sin(nq) Formules d'Euler : cos(q) = eiq + e - iq 2 (cos(q) - i sin(q))n = cos (nq) - i sin(nq) sin(q) = eiq - e -iq 2i

Dmonstration : utilisons les formes exponentielles : (cos(q) + i sin(q))n = e iq D'o la premire formule de Moivre.

( )

= 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.

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) Linariser : sin 3 (q) et cos 4 (q)

2) Calculer cos(3q) en fonction de cos(q) et sin(3q) en fonction de sin(q). 3) Dmontrer que : 4) Calculer, pour tout t : p [2p] : 2
x 2 - 2xcos(q) + 1 = (x - eiq )(x - e - iq )

e it 1 Re it et Re it e - 1 e - 1
e 2iq =

5) Dmontrer que pour tout q

1 + i tan(q) 1 - i tan(q)

6) Calculer

e
k =0

ikt

. En dduire que pour tout x :

n sin[(2n + 1)x] = sin x 2 cos(2 kx ) 1 k =0 7) On pose S = cos(p) + cos(q) et S' = sin(p) + sin(q).

Dmontrer que S + iS' = 2 e

p-q cos . 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).
i

p+ q 2

Solutions : 1) On a : eiq - e -iq e3iq - 3eiq + 3e -iq - e -3iq 2i sin(3q) - 6i sin(q) 1 3 = - sin(3q) + sin(q) sin (q) = = = 2i 4 -8i -8i 4
3 3

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) + = 8 8 2 16 16 2 2) D'aprs la formule de Moivre : (cos(q) + i sin(q))3 = cos(3q) + isin(3q) cos3(q) + 3i cos2(q) sin(q) - 3 cos(q) sin2(q) - i sin3(q) = cos(3q) + isin(3q) Et en identifiant les parties relles et imaginaires : cos(3q) = cos3(q) - 3cos(q) sin2(q) = cos3(q) - 3cos(q)(1 - cos2(q)) = 4cos3(q) - 3cos(q) sin(3q) = 3cos2(q) sin(q) - sin3(q) = 3(1 - sin2(q))sin(q) - sin3(q) = 3sin(q) - 4sin3(q) 3) On dveloppe : (x - eiq )(x - e -iq ) = x 2 - ( eiq + e -iq )x + 1 = x 2 - 2xcos(q) + 1 4) Pour tout t , on a :

1 -ie - it / 2 1 -i (cos(t / 2) - i sin(t / 2)) i cos(t / 2) + sin(t / 2) 1 = = = = =2sin(t / 2) 2sin(t / 2) eit - 1 eit / 2 ( eit / 2 - e -it / 2 ) 2ieit / 2 sin(t / 2) 2sin(t / 2) D'o : 1 1 Re it = e - 1 2 eit 1 = e - 1 1 - e- it
it

(Rsultat indpendant de t)

Et comme :

Il vient :

e it 1 1 = - Re Re it -it = e -1 2 e - 1

(D'aprs le calcul prcdent)

5) Pour tout q

p [2p], on a, en multipliant numrateur et dnominateur par cos(q) : 2 1 + i tan(q) cos(q) + i sin(q) eiq = = -iq = e 2iq 1 - i tan(q) cos(q) - i sin(q) e

6) Pour tout t \ 2p, on a :

e
k =0

ikt

ei ( n +1) t - 1 = e = eit - 1

int 2

n +1 sin t 2 t sin 2

L'galit est vidente si x p. Posons t = 2x, ainsi pour tout x \ p : n 2ikx sin[(n + 1) x] 1 sin[(2n + 1) x ] - sin(- x) 1 sin[(2n + 1) x] 1 e Re = = + = cos(nx) sin( x) sin( x ) sin( x) 2 2 2 k =0

D'o : D'o le rsultat.

n sin[(2n + 1) x] =2 cos(2kx ) - 1 sin( x) k =0

7) On a :

S + iS' = e ip + e iq = e

p+ q 2

p -q p+ q i p-q i -i p-q e 2 + e 2 = 2 e 2 cos 2

D'o :

p+q p-q cos(p) + cos(q) = 2 cos cos 2 2 p+q p-q sin(p) + sin(q) = 2 sin cos 2 2

De mme :

T + iT' = e ip - e iq = e

p+ q 2

p-q p+ q i p-q i -i p-q e 2 - e 2 = 2i e 2 sin 2

D'o :

p-q p+q cos(p) - cos(q) = -2sin sin 2 2 p+q p-q sin(p) - sin(q) = 2 sin cos 2 2

8. Nombres complexes et Gomtrie ur uu r Dans tout ce paragraphe, le plan est muni d'un repre orthonormal direct ( O ; e1 , e2 ) . 8.1. Calculs de distances Rappelons que si ZA et ZB sont les affixes respectives de deux points A et B alors : AB = |ZB - ZA| Exemples : 1) Dterminer l'ensemble des points M d'affixe z telles que : |z - 2| = |z + i| On introduit A(2) et B(-i), ainsi on a : AM = BM L'ensemble recherch est la mdiatrice du segment [AB]. 2) Dterminer l'ensemble des points M d'affixe z telles que : |z - 3i| = 2 On introduit C(3i), ainsi on a : CM = 2 L'ensemble recherch est le cercle de centre C et de rayon 2. 3) Dterminer l'ensemble des points M d'affixe z telles que : |z - 2| = |2z + i| i On introduit A(2) et B - , ainsi : 2 AM = 2BM MA . MB

Il s'agit de la ligne de niveau k (ici k = 2) de l'application M a Voici une mthode pour la dterminer : Soit k tel que |k| 1. Les galits suivantes sont quivalentes : MA = k MB MA2 = k2 MB2 2 2 MA = k2 MB

( MA - k MB ).( MA + k MB ) = 0 Introduisons le barycentre G1 de (A, 1) et (B, -k) et le barycentre G2 de (A, 1) et (B, k). (Ces barycentres existent bien car k 1 et k -1) On obtient alors : Et comme (1 - k)(1 + k) 0 : (1 - k) MG1 . (1 + k) MG2 = 0 MG1 . MG2 = 0

L'ensemble recherch est donc le cercle de diamtre [G1G2].

8.2. Calculs d'angles 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 : Ainsi : OM = AB ( e1 ; AB ) = ( e1 ; OM ) = arg(z) = arg(b - a) [2p]

Axe des imaginaires purs B(b) M(z) arg(b - a)

e2
O

arg(z)

A(a) Axe des rels

e1

Exemple :

On donne A(1) et B(2, i 3 ). Dterminer une mesure de l'angle ( e1 ; AB ). On a : D'o : b - a = 1 + i 3 = 2e

i p 3

p ( 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]

Or, d'aprs la relation de Chasles sur les angles :

( e1 ; CB ) - ( e1 ; CA ) = ( CA ; CB ) [2p]

Et d'aprs les proprits des arguments : b - c arg(b - c) - arg(a - c) = arg [2p] a - c Donc : b - c ( CA ; CB ) = arg [2p] a - c

Guesmi.B

CAS PARTICULIERS de ce thorme : Il rsulte du fait que un argument d'un rel (non nul) est zro (modulo p) et que celui d'un imaginaire pur (non nul) est gal et C(c) tels que A C : b-c est rel les points A, B et C sont aligns a-c Et si de plus B C : b-c est imaginaire pur les droites (CA) et (CB) sont perpendiculaires. a-c p (modulo p) que pour tous points A(a), B(b) 2

Exemple : On donne A(5 + 3i) et B(5 - 8i). Le triangle OAB est-il rectangle en O ? D'aprs ce qui prcde : Or : b ( OA ; OB ) = arg [2p] a b 5 - 8i 1 - 55i = = 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 : (AB) ^ (CD) En effet, on a les quivalences suivantes : d -c i b-a

(AB) ^ (CD)

p ( AB ; CD ) = [p] 2 p ( AB ; e1 ) + ( e1 ; CD ) = [p] 2 p [p] arg(d - c) - arg(b - a) = 2 d -c p arg [p] = b-a 2 d -c i b-a

Avec des vecteurs, la proprit ci-contre s'crit :

r r aff ( u ) u ^v r i

aff ( v )

8.3. Liens entre les nombres complexes et certaines transformations du plan Considrons une fonction dfinie sur valeurs dans . Nous pouvons associer cette fonction la transformation ponctuelle T qui chaque point M d'affixe z associe le point M' d'affixe z' = (z).

8.3.1. Thorme criture complexe d'une translation La translation de vecteur u , d'affixe a, transforme un point M(z) en un point M'(z') tel que : z' = z + a "Ajouter un nombre a c'est translater d'un vecteur d'affixe a"

Axe des imaginaires purs

M'(Z + a) M(Z)

e2
O

A(a)
Axe des rels

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 : D'o le thorme. z' - z = a

8.3.2. Thorme criture complexe d'une rotation La rotation de centre W(w) et d'angle q transforme un point M(z) en un point M'(z') tel que : z' - w = eiq (z - w) "Multiplier par eiq c'est faire tourner d'un angle q "
Axe des imaginaires purs

Illustration :
z' - w

M'(z')

W(w)

z-w

M(z)

e2
O

Axe des rels

e1

Dmonstration : Si M = W, la relation z' - w = eiq (z - w) est triviale. Supposons dsormais M W. Dire que M' est l'image de M par la rotation de centre W et d'angle q signifie : WM = WM WM , WM = q [2p] Ce qui se traduit, en termes d'affixes, par : | z - w | = | z - w | z - w arg = q [2p] z-w

On en dduit : D'o le rsultat. Cas particuliers :

z - w = eiq z -w

Si W = O, alors l'criture complexe de la rotation devient : z' = eiq z Si q = p (quart de tour de sens direct), alors l'criture complexe de la rotation devient : 2 z' - w = i(z - w) p , alors l'criture complexe de la rotation devient : 2 z' = iz
p 3

Si W = O et q =

Cas du triangle quilatral. Soient A, B et C trois points du plan d'affixes respectives zA, zB et zC. ABC est un triangle quilatral de sens direct zC - zA = e
i

(zB - zA)

(En effet, c'est quivalent dire que C est l'image de B par la rotation de centre A et d'angle

p ) 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

Il suffit de remarquer que B est l'image de A par la rotation de centre W et d'angle b - w = i(a - w) w(i - 1) = ia - b w=

p : 2

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

b - ia 1- i

Exprimer les coordonnes de v en fonction de celles de u . Notons z = r eiq l'affixe de u et z' celle de v . On a donc : D'o : z' = iz = i r e = i r (cos(q) + i sin(q)) = r (-sin(q) + i cos(q)) x' = - r sin(q) = -y et y' = r cos(q) = x
iq

Cet exemple montre ce que deviennent les coordonnes d'un vecteur lorsqu'on le fait "tourner" d'un quart de tour direct.

v (-y, x)

8.3.3. Thorme criture complexe d'une homothtie L'homothtie de centre W(w) et de rapport k * transforme un point M(z) en un point M'(z') tel que : 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 Dterminer la nature de et prciser ses lments caractristiques. Montrons que admet un unique point invariant. Pour cela on rsout l'quation : (w) = w w=5 w + 2i 2 4 w= i 7

La dmarche ci-contre fait figure de mthode. Lorsqu'on a affaire une transformation du plan dont l'criture complexe est : z' = az + b (a 0) on commence par rechercher son ventuel point fixe : si a = 1 et b = 0, alors est l'identit (tous les points du plan sont fixes) si a = 1 et b 0, il n'y a pas de point fixe et est une translation.

4 La transformation admet un unique point invariant W d'affixe w = i. 7 Pour dterminer la nature de on exprime z' - w en fonction de z - w . z = - 5 z + 2i 2 5 w = - w + 2i 2

si a 1, il y a un unique point fixe w =

b 1- a

Dans ce cas, si a est un rel, est une homothtie de rapport a. Si a est un complexe de module 1 (a = e ), est une rotation d'angle q. Plus gnralement (a = R e ), est une similitude (voir cours de spcialit).
iq iq

On a :

En soustrayant, membre membre, ces deux galits, on obtient : z' - w = 5 (z - w) 2

On en dduit, grce son criture complexe, que est l'homothtie de centre W et de rapport k = -

5 . 2

8.4. quation paramtrique d'un cercle 8.4.1. Thorme Soit C le cercle de centre W(w) et de rayon R. Soit M un point d'affixe z. Alors : M C il existe un rel q tel que z = w + R e Dmonstration : nous aurons besoin du lemme suivant, fort utile : 8.4.2. Lemme : Soient z1 et z2 deux nombres complexes. Alors : |z1| = |z2| il existe un rel q tel que z1 = eiq z2
iq

Remarque : on peut choisir q dans [0, 2p[ ou tout autre intervalle semi-ouvert de longueur 2p.

Dmonstration du lemme : Supposons |z1| = |z2|. Si z1 et z2 sont de module nul (donc sont nuls), n'importe quel rel q fera l'affaire. Supposons que le module r de z1 et z2 est non nul. Notons a1 et a2 des arguments respectifs de z1 et z2. On a ainsi : Comme r > 0, on a : Il suffit de poser q = a1 - a2 ainsi : De plus, q est un argument de z1 . z2 z1 = r e ia1 et z2 = r e ia2 z1 = e i ( a1 -a2 ) z2 z1 = eiq z2

Guesmi.B

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 : Or, d'aprs le lemme : M C WM = R |z - w| = R

|z - w| = R il existe un rel q tel que z - w = R eiq D'o le thorme et on a de plus : q = arg(z - w) = ( e1 ; WM ) [2p] ur uu r Exemple : dans le plan muni d'un repre orthonorm direct ( O ; e1 , e2 ) , on considre le point A(a) du cercle de centre O et de rayon 1 tel que arg(a) = p 1 puis le point B du cercle de centre A et de rayon tel que 6 4

p ( e1 ; AB ) = . Quelle est l'affixe b de B ? 4 On a clairement : De plus : b=

a= e
p

p 6 p p

b=a+

i 1 i4 1 i e = e6+ e4 4 4

D'o : Remarque :

3 1 2 2 4 3+ 2 4+ 2 + i+ +i = +i 2 2 8 8 8 8

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. Nombres complexes et barycentre 8.5.1 Thorme Soit G le barycentre de n points pondrs (A1, a1), (A2, a2), ... , (An, an) avec

a
p =1

Notons zp les affixes des points Ap (1 p n). Alors l'affixe zG de G est donne par :

a
zG =
p =1 n p =1

pzp

L'affixe du barycentre est la moyenne (pondre) des affixes des points

En particulier, si on considre des points A(a), B(b) et C(c), on a : affixe du milieu de [AB] : affixe du centre de gravit du triangle ABC : a+b 2 a+b+c 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 ) = 2 p ( AB , CR ) = 2

et BQ = CA et CR = AB

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 R

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
M k A

 Ensemble des points M tels que MA = MB : mdiatrice du segment [AB]

M

// A

// B

Ensemble des points M tels que ( MA ; MB ) = 0 [p] : droite (AB) prive des points A et B
M A B Un angle orient de deux vecteurs n'est dfini que si 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

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
M

M'

 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 direct
M

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

Ensemble des points M tels que MA . MB = 0 : cercle de diamtre [AB]

M Dans un produit scalaire, les vecteurs peuvent trs bien tre nuls, c'est pour cela, qu'ici, on ne retire pas les points A et B. A B

9. quations du second degr coefficients rels (activit complter)

9.1. QUATIONS DU TYPE x2 = a o a est un rel et x quantit inconnue. 1. Rappeler les solutions de l'quation x 2 = a dans le cas o a 0. 2. On suppose que a < 0. Vrifier que a = i - a complexes que l'on prcisera. L'quation x 2 = a possde deux solutions dans : Si a 0, ce sont les rels suivants : Si a < 0, ce sont les imaginaires purs conjugus suivants : Applications : Rsoudre dans les quations suivantes : 3 x2 = -3 z2 + = 0 4 1 =0 x

) . En dduire que l'quation x

2

= a possde deux solutions

z2 = cos2 q - 1

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. 1. Rappeler les solutions de l'quation a x 2 + bx + c = 0 (a 0) lorsque D 0. Rappelons (voir cours de Premire) que l'quation a x 2 + bx + c = 0 (a 0) peut s'crire de manire quivalente : D b x + = 2a 4a 2 2. On suppose que D < 0. Vrifier que D = i - D solutions complexes que l'on prcisera. L'quation a x 2 + bx + c = 0 (a 0) possde deux solutions dans : Si D 0, ce sont les rels suivants : Si D < 0, ce sont les complexes conjugus suivants :
2

. En dduire que l'quation ci-dessus possde deux

RETENIR : dans , on peut toujours obtenir la factorisation suivante : az2 + bz + c = a(z - z1)(z - z2) o z1 et z2 sont les racines du polynme az2 + bz + c

Applications : Rsoudre, dans , les quations suivantes : 2z2 - 3z + 4 = 0 x2 - 2x + 2 = 0 2z4 + z2 - 10 = 0

Guesmi.B

10. quations du second degr coefficients complexes (Hors programme)

10.1. QUATIONS DU TYPE z2 = z0 o z0 est un complexe et z complexe inconnu. On pose z0 = a + ib = r e iq et z = x + iy o a, b, x et y sont des rels. Si un argument q de z0 est connu, l'quation est facile rsoudre, ses solutions sont : 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 De plus, l'quation z2 = z0 s'crit : x2 + 2xyi - y2 = a + bi x2 - y2 = a Et : En additionnant (E1) et (E2) : En soustrayant (E1) et (E2) : On sait, d'aprs une remarque (5.2.) que : 2xy = b 2x = r + a
2

(E 1 )

En identifiant les parties relles et imaginaires, il vient : (E 2 ) (E 3 )

2y2 = r - a r |a|

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 : z1 = x1 + iy1 = Si b 0, on choisit : z1 = x1 + iy1 = r +a r -a r +a r -a +i et z2 = x2 + iy2 = +i 2 2 2 2 r+a r -a r +a r -a +i et z2 = x2 + iy2 = -i 2 2 2 2

On pourra vrifier, a posteriori, ces rsultats. Exemple : rsoudre, dans , l'quation : On crit z = x + iy, ainsi : z2 = 3 + 4i x2 + 2xyi - y2 = 3 + 4i

Et avec la condition sur les modules (|z|2 = 5), on obtient le systme : x2 + y2 = 5 2 2 x - y = 3 2 xy = 4 Les deux premires quations donnent :
x 2 = 4 et y 2 = 1

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

10.2. QUATIONS DU TYPE az2 + bz + c = 0 o a, b et c sont des complexes avec a 0 On note D le discriminant : D = b2 - 4ac (Attention, ici D ) Soit d un complexe tel que : d2 = D (Existe d'aprs 10.1) La forme canonique permet alors de conclure :
2 2 z+ b = D = d 2 2a 4a 4a 2

Guesmi.B

Et en factorisant, on retrouve des formules semblables celles connues dans : z1 = -b - d -b + d ; z2 = 2a 2a

Attention, contrairement aux quations dont les coefficients sont des rels, ici les complexes z1 et z2 ne sont pas ncessairement conjugus.

Exemple : rsoudre, dans , l'quation : On calcule le discriminant D :

(1 + i)z2 + iz - 1 = 0

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 : z1 = -i - (2 + i ) -2 - 2i 2 1 1 -b + d -i + (2 + i ) = = -1 ; z2 = = = = - i 2(1 + i ) 2(1 + i ) 2(1 + i ) 2(1 + i ) 2 2a 2 c . a

Remarque : on pouvait voir ds le dbut la racine vidente z1 = -1 et en dduire z2 avec la relation z1z2 =