Vous êtes sur la page 1sur 12

© 2008 - Gérard Lavau - http://pagesperso-orange.fr/lavau/index.htm Vous avez toute liberté pour télécharger, imprimer, photocopier ce cours et le diffuser gratuitement. Toute diffusion à titre onéreux ou utilisation commerciale est interdite sans accord de l'auteur. Si vous êtes le gestionnaire d'un site sur Internet, vous avez le droit de créer un lien de votre site vers mon site, à condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas télécharger les fichiers de mon site pour les installer sur le vôtre.

LES NOMBRES COMPLEXES

PLAN I : Généralités

1) Historique 2) Définition 3) Conjugaison 4) Module et inégalité triangulaire 5) Argument

a) Définition

b) Forme trigonométrique

c) Exponentielle complexe

d) Formule d'Euler

e) Groupes

II : Utilisation des complexes 1) Formule de Moivre

2) Linéarisation

3) Réduction de acosθ + bsinθ 4) Racines d'un complexe

a) racine carrée, méthode algébrique

b) racine n ème : méthode trigonométrique

c) racines n ème de l'unité

5) Interprétation géométrique

I : Généralités

1– Historique Les nombres complexes, tels que nous les utilisons aujourd'hui, datent du XIX ème siècle. Ils étaient cependant connus et utilisés depuis plusieurs siècles sous le nom de nombres imaginaires (terme qui est resté dans l'expression "partie imaginaire"). Ils sont apparus lorsque l'on a essayé de résoudre les équations du 3 ème degré. Le premier à avoir résolu des équations du 3 ème degré du type x 3 + px = q ( p > 0, q > 0) semble être Scipione Del Ferro (1465 – 1526), professeur à l'université de Bologne. Il ne publia pas sa découverte mais la transmit à son élève Antonio Maria Fior. En 1531, Tartaglia (1500 – 1557), soit à la lumière d'une indiscrétion, soit par sa propre invention, apprit également à résoudre les équations du 3 ème degré. Croyant à une imposture, Fior lança un défi public à Tartaglia. A la fin du temps imparti, Tartaglia avait résolu toutes les équations de Fior, alors que celui–ci n'avait résolu qu'une seule équation de Tartaglia. La supériorité de Tartaglia provient du fait que ce dernier savait résoudre les équations du type x 3 + px 2 = q, chose que Fior ne savait pas faire. En 1539, Tartaglia accepta de dévoiler son secret à Cardan (1501 – 1576) qui le publia peu après, malgré la colère de Tartaglia. Un élève de Cardan, Ludovico Ferrari (1522 – 1565), parvint à résoudre les équations du 4 ème degré. Signalons qu'on ne peut résoudre n'importe quelle équation

- 1

-

algébrique par radicaux. C'est impossible pour la plupart des équations du 5 ème degré, par exemple x 5 + x a = 0, avec a = 3, 4, 5, 7, 8, 9, 10, 11

Voici comment procède Cardan. Considérant l'identité :

(a + b) 3 = 3ab(a + b) + a 3 + b 3 Cardan explique en 1545 comment résoudre les équations du type :

x 3 = px + q

en posant ab = p et a 3 + b 3 = q. Ayant trouvé a et b, une solution est donnée alors par a + b.

3

Exemple 1 : Résoudre x 3 = 18x + 35.

 ab = 6 3 + b 3 = 35



a

 a 3 b 3 = 6 3 = 216 a 3 + b 3 = 35



Donc a 3 et b 3 sont racines de l'équation X 2 – 35X + 216 = 0, à savoir 8 et 27. Donc a = 2 et b = 3. Une solution de l'équation initiale est donc 5. Les autres solutions sont trouvées en factorisant :

x 3 – 18x – 35 = (x – 5)(x 2 + 5x + 7) etc (Les équations du second degré à discriminant négatif sont considérées comme n'ayant pas de solution à l'époque).

Exemple 2 : Résoudre x 3 = 15x + 4

 ab = 5 3 + b 3 = 4



a

 a 3 b 3 = 5 3 = 125 a 3 + b 3 = 4



Donc a 3 et b 3 sont racines de l'équation X 2 – 4X + 125 = 0. Cette équation admet un discriminant négatif. Elle est donc réputée ne pas avoir de solution. Est–ce à dire que l'équation initiale n'admet pas non plus de solution ? Si. Toute équation du troisième degré admet au moins une solution (pourquoi ?). Ici, 4 est racine évidente. Bombelli (1526–1573) eut l'idée de penser que les parties "impossibles" ou imaginaires devaient s'éliminer pour redonner la racine réelle. Il écrivit donc :

et 4 =

a 3 = 2 + = 2 + 11 –1 b 3 = 2 –
a 3 = 2 +
= 2 + 11
–1
b 3 = 2 –
= 2 – 11
–1
3 2 + 11
–1 + 3 2 – 11
–1
⇒ a = 3 2 + 11 –1 ⇒ b = 3 2 – 11
⇒ a = 3 2 + 11
–1
⇒ b = 3 2 – 11
–1

De fait, on peut vérifier que :

(2 +

–1) 3 = 8 + 12 3 = 8 + 12

De fait, on peut vérifier que : (2 + –1) 3 = 8 + 12 –1

–1 – 6 –

–1 = 2 + 11 –1
–1
= 2 + 11
–1
+ –1) 3 = 8 + 12 –1 – 6 – –1 = 2 + 11

de sorte que la solution de Cardan vaut également (2 + –1) + (2 – –1), ce qui donne effectivement 4. Les solutions sont, en notation moderne :

a = 2 + i et b = 2 – i

a+b = 4

a = (2+i)j et b = (2–i)j 2

a+b = –2 –

3
3

a = (2+i)j 2 et b = (2–i)j

a+b = –2 +

3
3

j = exp( 2iπ ) est racine cubique de 1. Les trois racines trouvées sont bien racines de :

x 3 – 15x – 4 = (x – 4)(x 2 + 4x + 1) Bombelli fut donc le premier à introduire une notation proche de notre notation moderne. Mais l'utilisation des nombres imaginaires a mis plusieurs siècles avant de s'imposer. Girard (1595–1632) déclare :

3

- 2 -

De quelle utilité sont ces solutions impossibles 1 ? Je réponds : pour trois choses. Pour la certitude des règles générales, pour leur utilité, et parce qu'il n'y a pas d'autres solutions. Mais ses vues avancées à l'époque n'ont guère eu d'influence.

Il faut attendre le XIXème siècle pour que les nombres imaginaires soient universellement adoptés. La représentation géométrique des nombres complexes par les points du plan joue un grand rôle dans cette acceptation, le support géométrique apportant une caution aux yeux de nombreux mathématiciens de l'époque. En 1798, Wessel qui est arpenteur, introduit un axe imaginaire perpendiculaire à l'axe réel. Il

note ε pour

Argand, quant à lui, interprète en 1806 les nombres négatifs comme ayant une direction opposé aux nombres positifs. A cette époque, on note encore a : b :: c : d pour désigner le fait que la grandeur a est à la grandeur b ce que la grandeur c est à la grandeur d. Argand note donc que 1 : 1 :: –1 : –1 et que 1 : –1 :: –1 : 1, à savoir, 1 est à 1 ce que –1 est à –1, et 1 est à –1 ce que –1 est à 1. Il se demande alors quelle quantité x vérifiera 1 : x :: x : –1, à savoir, 1 est à x ce que x est à –1. Il a l'idée de se placer dans le plan et de voir que la quantité x est celle qui est orthogonale à la droite définissant 1 et –1. x joue évidemment ici le rôle du complexe ± i. Il propose d'abandonner le qualificatif d'imaginaire, et de qualifier x de quantités médianes. Mais les mémoires de ces deux auteurs resteront confidentiels. Celui de Wessel, figurant dans les Mémoires de l'Académie des Sciences du Danemark, passera complètement inaperçu, et ne sera traduit en français qu'en 1897. Celui d'Argand aura plus de chance, puisqu'il fera l'objet d'articles dans les Annales de Gergonne en 1813-14. Les complexes prendront définitivement leur statut moderne grâce à l'influence de Gauss, dont le renom dépasse de loin celui des précédents personnages. Déjà en 1799, Gauss utilise implicitement le plan complexe dans sa thèse. En 1811, il écrit :

De même qu'on peut se représenter le domaine entier de toutes les quantités réelles au moyen d'une ligne droite indéfinie, de même, on peut se figurer le domaine entier de toutes les quantités, les quantités réelles et imaginaires au moyen d'un plan indéfini où tout point, déterminé par son abscisse a et son ordonnée b, représente pour ainsi dire la quantité a + bi. Et en 1831 :

Si le point de vue que l'on avait de ce sujet était jusqu'à présent mauvais, et donc enveloppé de mystère et d'obscurité, c'est largement en raison d'une terminologie inadaptée qui aurait due être blâmée. Si, au lieu d'unité positive, négative et imaginaire

Si, au lieu d'unité positive, négative et imaginaire –1, et interprète les vecteurs du plan comme

–1, et interprète les vecteurs du plan comme des nombres complexes.

— ou pire encore impossible — l'on avait nommé +1, –1 et –1 , disons, unité directe, inverse et latérale, on aurait à peine vu paraître une telle obscurité. ou encore :

Aussi longtemps que les quantités imaginaires étaient basées sur la fiction, elles n'étaient pas pleinement acceptées en mathématiques, mais plutôt regardées comme quelque chose que l'on devait tolérer ; elles étaient loin d'avoir acquis le même statut que les quantités réelles. Il n'y a plus aucune justification à une telle discrimination, maintenant que la métaphysique des nombres imaginaires a été pleinement éclairée, et qu'il a été montré qu'ils avaient une signification aussi réelle que les nombres négatifs. C'est à partir de cette époque que Gauss emploie le terme "complexe" en lieu et place du terme "imaginaire". C'est également au cours du XIXème siècle que les nombres complexes commencent à être largement utilisés en physique.

les nombres complexes commencent à être largement utilisés en physique. 1 il s'agit des nombres complexes

1 il s'agit des nombres complexes

- 3 -

2– Définition L'ensemble des complexes est en bijection avec 2 . Ses éléments sont notés z = a+ib, pour a et b

réels. a est la partie réelle, b la partie imaginaire. i est un symbole n'ayant d'autre but que de distinguer partie réelle Re(z) = a de sa partie imaginaire Im(z) = b. Les règles de calculs sont les règles usuelles de la somme et du produit, avec la règle i 2 = –1. La notation i est due à Euler (1707 – 1783). Ces règles donnent à une structure appelée corps, comme ou . Dans un corps, il y a deux opérations, somme et produit, et tout élément non nul z = a + ib possède un inverse :

z 1 =

aib

a 2 +b 2

comme on le vérifie facilement.

Depuis Gauss (1777 – 1855), on a adopté une représentation géométrique des complexes. Si on munit le plan d'un repère orthonormé, alors le complexe z = a+ib peut se représenter :

– par le vecteur de composantes (a,b), vecteur dit d'affixe z.

– par le point de coordonnées (a,b), point dit d'affixe z.

3– Conjugaison On définit une application de

z = a+ib z = aib, conjugué de z. Cette application est une conjugaison et correspond géométriquement à une symétrie orthogonale par rapport à l'axe des abscisses. Il s'agit d'une involution (sa composée avec elle–même est égale à l'identité).

dans

par :

On vérifie facilement que l'on a les règles de calcul suivantes :

z + z' =

z + z'

z

Re(z) = z +

2

z' =

z

z z'

z

Im(z) = z

2i

–-

z = –z

1/ z =

1/z

4– Module et inégalité triangulaire

Le module de z = a + ib est

euclidienne du vecteur d'affixe z ou comme la distance du point d'affixe z à l'origine. De même,

est la distance du point d'affixe z au point d'affixe a. Ainsi, R étant un réel strictement positif, {z,

R} s'appelle

disque fermé de centre a de rayon R.

z

=

R} s'appelle disque fermé de centre a de rayon R. z = a 2 + b

a 2 +b 2 . Il s'interprète géométriquement comme la norme

z a

z a < R} est le disque (dit ouvert) de centre a de rayon R. L'ensemble {z, z a

On vérifie facilement les règles de calculs suivantes :

zz'

=

z

z'

– z = z
z
=
z

z

z =

z

= 0 z = 0

Re(z)

z

Seule l'inégalité triangulaire

z – z' ≤
z
– z'

z + z'

 

1

 

2

z

z

Im(z)

z = 2 z ≤ z
z =
2
z
z

z

+

z'

est non évidente. Elle découle de la même

propriété dans le plan euclidien. On peut aussi la démontrer directement de la façon suivante :

- 4 -

z + z' ≤ z + z' z + z' 2 ≤ ( z +
z
+ z'
z +
z'
z
+ z'
2 ≤ (
z
+ z'
z
2 + z z' + –
z
z' +
z z' + –
z z' ≤ 2
z
z'

)

2

z' 2

z 2 + 2 z

z'

+

z'

2

On reconnaît dans le membre de gauche le double de la partie réelle de z z'.

 

Re(z z')

z

z'

ce qui est vrai car Re(z z')

z z'

Quant à la première inégalité, elle découle de la deuxième de la façon suivante :

z = z + z' – z' ≤ z – z' ≤ z + z'
z
=
z + z' – z'
z
z'
z + z'

z + z'

+

z'

De même en intervertissant les rôles de z et z'.

5– Argument

a) Définition :

L'argument d'un complexe non nul z est une mesure de l'angle (i,v) où v est le vecteur d'affixe z dans la base orthonormée (i,j). On le note arg(z). Il est défini à 2π près. La valeur particulière appartenant à l'intervalle ]–π,π] est appelé argument principal. On notera par exemple :

arg(z) ≡≡ θ [2π]

Si ϕ est l'argument de z, alors :

z = z (cosϕ + isinϕ)

On vérifie aisément que :

arg( z) = arg(1/z) = – arg(z) arg(zz') = arg(z) + arg(z')

Alors que l'addition d'un vecteur z' s'interprète géométriquement par une translation de vecteur le vecteur d'affixe z', le produit par z s'interprète comme la composée de :

une homothétie de centre O de rapport

une rotation de centre O d'angle arg(z').

z'

On parle de similitude (directe) de centre O, de rapport

z'

et d'angle arg(z').

Ainsi, le produit par i est une rotation de π . Le produit par j = e 2iπ/3 est une rotation de 2π

2

3 .

b) Forme trigonométrique :

En vertu des formules (à connaître) :

cos(θ + ϕ) = cos(θ)cos(ϕ) – sin(θ)sin(ϕ) sin(θ + ϕ) = sin(θ)cos(ϕ) + cos(θ)sin(ϕ)

on a :

(cos(θ + ϕ) + isin(θ + ϕ)) = (cos(θ) + isin(θ)) × (cos(ϕ) + isin(ϕ))

- 5 -

de sorte que la fonction f : θ → cos(θ) + isin(θ) vérifie la propriété f(θ + ϕ) = f(θ) × f(ϕ). Il s'agit d'une relation fonctionnelle comparable à celle de l'exponentielle et il est convenu de noter f(θ) = e iθ , de sorte que :

avec

z =

z

e iϕ (forme trigonométrique d'un nombre complexe)

e iθ × e iϕ

= e i(θ+ϕ)

Il est intéressant de remarquer qu'on utilise pour désigner la fonction f les symboles e et i, et pas une notation λ θ , avec λ défini autrement, alors qu'a priori, n'importe quelle exponentielle de θ pouvait faire l'affaire. Pourquoi ? Parmi les multiples raisons possibles, on a :

f(θ) = cos(θ) + isin(θ)

f '(θ) = – sin(θ) + icos(θ) = if(θ)

Comme dans , la dérivée par rapport à θ de la fonction e aθ est ae aθ , il est naturel de poser

f(θ) = e iθ , étendant ainsi la règle de dérivation d'une exponentielle au cas où a = i.

c) Exponentielle complexe :

Plus généralement, pour z = x + iy complexe, on pose :

e z = e x [cos(y) + isin(y)] = e x × e iy Il en résulte que la résolution de e z = a conduit à :

si a = 0 alors, il n'y a pas de solution

sinon, z = x + iy avec x = ln

a

et y = arg(a) + 2kπ, soit z = ln

a

+ iarg(a) + 2ikπ

On vérifiera que e z+z' = e z e z' . On peut également vérifier que la dérivée de t e at avec a complexe est ae at . En effet, si a = x + iy, alors :

e at = e tx [cos(ty) + isin(ty)] dont la dérivée par rapport à t est :

xe tx [cos(ty) + isin(ty)] + e tx [–ysin(ty) + iycos(ty)] = (x + iy) e tx [cos(ty) + isin(ty)] = ae at

d) Formule d'Euler :

Voici quelques formules :

e iπ = –1 (formule d'Euler) e 2iπ = 1

e iπ/2 = i

1 e iθ/2 (e iθ/2 + e iθ/2 ) = 2e iθ/2 cos

+ e iθ =

1 e iθ/2 (e iθ/2 e iθ/2 ) = 2ie iθ/2 sin

e iθ =

θ

2

θ

2

On notera que les deux dernières formules sont équivalentes à :

cosθ = 2cos 2 θ – 1 = cos 2 θ – sin 2 θ

2

2

1 – t 2

2 = 1 + tan 2 (θ/2) = 1 + t 2

1 – tan 2 (θ/2)

θ

sinθ = 2 sin 2 cos

θ

2

tan(θ/2)

2t

2 =

1 + tan 2 (θ/2) =

1

+ t 2

en posant t = tan(

θ

2

). On a aussi :

tanθ =

2 tan(θ/2)

2t

1 – tan 2 (θ/2) =

1

t 2

- 6 -

Ces trois formules sont faciles à mémoriser. cosθ est une fonction paire définie sur , et la seule

façon de combiner les expressions 2t, 1 + t 2 et 1 – t 2 en une fraction rationnelle paire définie sur et

de prendre le quotient

De même, sinθ est une fonction impaire définie sur

2t, 1 + t 2 et 1 – t 2 en une fraction rationnelle impaire définie sur

, et la seule façon de combiner les expressions

1 – t 2

1 + t 2 .

2t

1 + t 2 .

et de prendre le quotient

Enfin la tangente est le quotient de sin par cos. On a enfin e iθ = 1 t 2 + 2it

1 + t 2

.

Quand θ varie de –π à π exclus, [cos(θ), sin(θ)] décrit le cercle privé du point (–1,0). t = tan(

θ

2

) varie

1 1 t 2 ] est donc un paramétrage sous forme de fractions rationnelles de

[

+ t 2 ,

1 +

t 2

2t

de –

polynômes du cercle unité privé du point (–1,0).

à +.

e) Groupes :

Notons

l'ensemble {z |

z

= 1} = {z | ∃ θ ∈

, z = e iθ }. Cet ensemble possède les propriétés

suivantes :

est stable pour le produit (ce qui signifie : z

et z'

zz'

pour tous z et z')

Ce produit est associatif 2 (ce qui signifie que (zz')z" = z(z'z") pour tous z, z', z" de

1, neutre du produit (ce qui signifie que 1z = z1 = z pour tout z de

si z appartient à

)

), appartient à

, son inverse 1 z aussi.

On dit que (

et z' de entre (

, ×) est un groupe. Le produit étant commutatif (ce qui signifie que zz' = z'z pour tous z

), le groupe est dit commutatif (ou abélien). Il existe par ailleurs une analogie de structure

,+) et (

,×) par l'intermédiaire de l'application f suivante :

(

,+) (

, ×)

θ → e iθ = f(θ)

On a en effet f(θ + θ') = f(θ) × f(θ') On dit que f est un morphisme de groupe.

Voici des exemples de groupes :

(

(

,+)

*,×)

(

(

,+)

*,×)

Le fait qu'en outre le produit soit distributif par rapport à la somme (ce qui signifie que z(z' + z") = zz' + zz" et de même pour (z' + z")z, pour tous z, z' et z") fait que ( ,+,×) ou ( ,+,×) sont des corps.

( ,+,×) n'est pas un corps car les entiers non nuls distincts de ± 1 n'ont pas d'inverse dans . Par contre ( ,+,×) est aussi un corps.

2 Un exemple de produit non associatif est le produit vectoriel des vecteurs dans l'espace de dimension 3.

- 7 -

II : Utilisation des complexes

1– Formule de Moivre : (Moivre 1667 – 1754) Cette formule s'énonce :

(cosθ + isinθ) n = cos(nθ) + isin(nθ) Elle découle de la propriété (e iθ ) n = e inθ qui se montre aisément par récurrence. Elle permet de calculer cos(nθ) et sin(nθ) en fonction en fonction de cosθ et sinθ.

Exemple : Calculer cos( π ), sin( π ), cos( 2π ), sin( 2π ). Posons θ = π . On a sin(5θ) = 0. Or :

5

5

5

5

5

sin(5θ) = Im(cosθ + i.sinθ) 5 = 5 × cos 4 θ × sinθ – 10 × cos 2 θ × sin 3 θ + sin 5 θ

= 5(1–sin 2 θ) 2 × sinθ – 10(1–sin 2 θ) × sin 3 θ + sin 5 θ

= 5sinθ – 20sin 3 θ + 16sin 5 θ

16sin 4 θ – 20sin 2 θ + 5 = 0

On trouve sin 2 θ = 10 ±

16

20 = 5 ± 5
20
= 5 ±
5

8

La même formule s'applique pour θ = 2π . Donc :

5

5 sin 2 (π/5) = 5 – 8 5 sin 2 (2π/5) = 5 +
5
sin 2 (π/5) = 5 –
8
5
sin 2 (2π/5) = 5 +
8
5 – 5 2 2 5 + 5 2 2
5 –
5
2
2
5 +
5
2
2

sin(π/5) =

sin(2π/5) =

On en déduit :

6+2 5 5+1 cos(π/5) = = 4 4 5–1 cos(2π/5) = 4
6+2
5
5+1
cos(π/5) =
=
4
4
5–1
cos(2π/5) =
4

2– Linéarisation La linéarisation est le problème inverse du précédent. On se donne un produit de puissances de cosθ et sinθ et l'on souhaite exprimer cette expression en fonction d'une fonction linéaire (du premier degré) de cos(nθ) et sin(nθ). Ce problème se pose par exemple lorsque l'on cherche une primitive d'une telle fonction. Il suffit dans la plupart des cas d'utiliser :

cosθ = e iθ + e iθ

2

sinθ = e iθ 2i e iθ

On peut également utiliser les formules de trigonométrie.

EXEMPLE 1 :

- 8 -

ou

cos 4 θ = ( e iθ + e iθ

) 4

2

= e 4iθ + 4e 2iθ + 6 + 4e –2iθ + e –4iθ

16

= cos(4θ) + 4cos(2θ) + 3

8

cos 4 θ = (cos 2 θ) 2 = ( 1 + cos(2θ)

2

) 2 = 1 + 2cos(2θ) + cos 2 (2θ)

4

=

1 + 2cos(2θ) + 1 + cos(4θ)

2

4

= cos(4θ) + 4cos(2θ) + 3

8

EXEMPLE 2 :

sin 3 θ × cos 2 θ = ( e iθ 2i e iθ

) 3 × ( e iθ + e iθ ) 2 = (e iθ e iθ )(e 2iθ e –2iθ ) 2

2

–32i

= (e iθ e iθ )(e 4iθ – 2 + e 4iθ )

–32i

= e 5iθ e 3iθ 2e iθ + 2e iθ + e –3iθ e –5iθ

–32i

= 2sinθ + sin(3θ) – sin(5θ)

16

3– Réduction de acosθθ + bsinθθ

a et b sont deux réels non tous deux nuls. On factorise par

et b sont deux réels non tous deux nuls. On factorise par a 2 + b

a 2 +b 2 . On obtient :

 a a 2 +b 2 + b 2 cosθ +  2  a
a
a
2 +b 2
+ b 2 cosθ +
2
a
b  + b 2 sinθ  2 a 
b
+ b 2 sinθ
2
a

Les coefficients de cosθ et sinθ ont la somme de leur carrés égal à 1. Il existe un réel Φ tel qu'ils

valent respectivement par exemple cosΦ et –sinΦ. On obtient alors la forme réduite :

a
a

2 +b 2 cos(θ+Φ)

Si θ est de la forme ωt, cette transformation montre qu'une combinaison linéaire de cos et de sin de

même pulsation ω et de même phase est une sinusoïde toujours de pulsation ω, mais déphasée.

4– Racines d'un complexe a) racine carrée, méthode algébrique :

Soit Z = X + iY. On cherche z = x + iy tel que Z = z 2 . On obtient :

 x 2 y 2 = X 2xy = Y



(i)

(ii)

(iii)

 x 2 y 2 = X 2xy = Y





x 2 +y 2 =

X 2 +Y 2
X 2 +Y 2

(i) et (iii) permettent de trouver x 2 et y 2 , et donc x et y au signe près ; ii) permet de lever l'ambiguïté sur les signes.

Nous menons ci-dessous le calcul complet, mais dans la pratique, il est plus simple de refaire les calculs plutôt que de tenter de retenir les formules finales :

X 2 + Y 2 + X  x 2 =  2 X 2
X 2 + Y 2 + X
 x 2 =

2
X 2 + Y 2 – X
y 2 =
2
sg(xy) = sg(Y)
X 2 + Y 2 + X
z = ±  
2
3
i
Exemple : Z =
2
+ 2

+ i sg(Y)

X 2 + Y 2 – X   2 
X 2 + Y 2 – X
2

- 9 -

3
3

x 2 y 2 =



2

2xy = 1

2

x 2 +y 2 = 1

2+ 3   x =  x = –  2  ou 
2+
3
  x =
 x = –

2

ou

2–
3

y =

y = –
2
2– 3
2–
3

2

2– 3
2–
3

2

Application aux équations du second degré :

L'équation az 2 + bz + c = 0 avec a, b et c complexes se résout avec des formules analogues à celles de , en calculant le discriminant. En effet :

az 2 + bz + c = a(z +

2a ) 2 b 2 – 4ac

b

4a

= a(z +

b

2a ) 2

4a

Si on pose = δ 2 , on obtient bien comme racine b 2a ± δ . (On notera que, si

racine – b 2 a ± δ . (On notera que, si x désigne un réel

x désigne un réel

positif, la notation

z est dénuée de sens puisqu'il n'y a pas de complexes positifs et on évitera donc est dénuée de sens puisqu'il n'y a pas de complexes positifs et on évitera donc

d'écrire

pas de complexes positifs et on évitera donc d'écrire b ∆ ). Il y a toujours

b

). Il y a toujours deux racines (éventuellement confondues). Leur somme vaut – a et leur

produit

c

a

.

Exemple : (1+i)z 2 – (5+i)z + 6 + 4i = 0

Le discriminant vaut 16 – 30i = δ 2

simplification, 2 – 3i et 1 + i.

avec δ

=

5

3i.

Les racines sont

5 + i ± δ , 2(1 + i)

b) racine n ème : méthode trigonométrique :

Si Z = Z .e iΦ , on cherche z =

z

.e iϕ tel que z n = Z.

On obtient donc :

On a donc z =

  n z = Z   nϕ ≡≡ Φ [2π] donc ϕ =
 
n
z
=
Z


nϕ ≡≡ Φ [2π] donc ϕ = Φ
n
n
2ikπ
Z
exp( iΦ
+
)
n
n

+ 2ikπ

n

, k

ou k {0,

,n–1}

soit, après

Exemple : dans l'exemple du a), on a Z = e iπ/6 . Donc z = ±e iπ/12. On en déduit que :

2+ 3 4+2 3+1 = 3 = 2 2 2 2 2 3–1 sin(π/12) =
2+
3
4+2
3+1
=
3 =
2 2
2
2
2
3–1
sin(π/12) =
2
2

cos(π/12) =

Dans le cas d'une racine carrée z d'un complexe Z, on remarque que arg(z) = arg(Z) modulo π (i.e. à

2

un multiple entier de π près). Il en résulte que z est sur la bissectrice de l'axe réel et de la droite

- 10 -

portée par Z, et donc que z est nécessairement colinéaire à Z +

comme suit, en posant z = λ(Z +

Z

). On obtient :

Z = z 2 = λ 2 (Z 2 + 2Z

Z

+

Z 2 ) = λ 2 (Z 2 + 2Z Z

+ Z Z)

1 = λ 2 (Z + 2

+ Z) = 2λ 2 (Re(Z) +

Z

)

 
Z Z
Z
Z

Z +

 

= ±

z

2(Re(Z) +

2(Re(Z) +

Z

)

Z

. On peut donc encore procéder

Le calcul est valable pour Z non réel négatif. On s'attachera d'ailleurs à vérifier que l'expression

Z +

Z

d'ailleurs à vérifier que l'expression Z + Z 2(Re(Z) + Z ) 2(X + = X

2(Re(Z) +

Z

)

2(X +
2(X +

= X +

X 2 + Y 2 + iY

X 2 + Y 2 )

trouvée plus haut.

est identique à

2
2

X 2 + Y 2 + X + i sg(Y)

X 2 + Y 2 – X 2
X 2 + Y 2 – X
2

c) racines n ème de l'unité :

Pour Z = 1, on obtient z = e 2ikπ/n . Ces nombres forment les n racines n ème de l'unité. Ces racines sont

situés au sommet d'un polygone régulier de n côtés. Posons que :

}. On pourra vérifier

n

= {e 2ikπ/n , k

– (

– L'application :

n , ×) est un groupe, sous–groupe de (

n

, ×)

k e 2ikπ/n

est un morphisme du groupe (

,+) dans (

n , ×).

Ces racines sont solutions de z n – 1 = 0. On a donc :

n–1

z n – 1 =

k=0

(z e 2ikπ/n )

On a par ailleurs z n – 1 = (z–1)(z n1 + z n2 +

Donc :

1 + z +

+ z + 1)

+ z n1 =

n–1

k=1

(z e 2ikπ/n )

On considérera par exemple les cas particuliers n = 2, n = 3, n = 4 :

n

= 2 : 1 et –1 sont racines de z 2 –1 = 0. –1 est racine de z+1 = 0

n

= 3 : 1, j et j 2 sont racines de z 3 –1 = 0. j et j 2 sont racines de 1 + z + z 2 = 0

n

= 4 : 1, i, –1 et –i sont racines de z 4 –1 = 0. i, –1, –i sont racines de 1 + z + z 2 + z 3 = 0

5- Interprétation géométrique Nous avons déjà vu que :

- 11 -

z

az est une similitude de centre O, de rapport

a

, d'angle arg(a)

z

z + b est une translation de vecteur b.

Il en résulte que z az + b = Z est la composée d'une similitude et d'une translation. Si a 1, il s'agit d'une similitude mais dont le centre est différent de O. Il suffit pour cela de chercher le point ω invariant par la transformation :

ω = aω + b ⇔ ω =

b

1 – a

b

et de constater que Z – ω = az + b 1 a = az

ω de rapport

a , d'angle arg(a).

1 ab a = a(z ω). Il s'agit d'une similitude de centre

z z est la symétrie orthogonale par rapport à l'axe réel.

Considérons maintenant z 1 z . On obtient l'image d'un complexe en prenant l'opposé de l'argument

(donc en faisant une symétrie par rapport à l'axe réel), puis en prenant l'inverse du module (donc un faisant ce qu'on appelle une inversion).

Interprétons maintenant le module et l'argument de za zb . Considérons les points A, B et Z d'affixe

respectifs a, b et z. On a :

ZA = za

ZB

zb

rapport des longueurs des côtés du triangle issus de Z

arg( za zb ) = arg(za) – arg(zb) = angle(Ox,AZ) – angle(Ox,BZ) = angle(BZ,AZ)

= angle(BZA)

Certaines propriétés géométriques s'interprètent sous forme complexe. Par exemple :

A, B et Z sont alignés si et seulement si za zb

AZ et BZ sont orthogonaux si et seulement si za zb i

- 12 -

(imaginaire pur)