2-Nombres_complexes.

nb

2 Nombres complexes
Ce deuxime paragraphe est une partie consacre aux fondements mathmatiques.

2.1 Le corps des nombres complexes

Extensions successives
Certaines quations coefficients naturels ont leurs solutions dans a , b x = a+b

Par contre, l'ensemble des solutions de l'quation 1 + x = 0 et x est vide. On peut contruire une extension de , appele ensemble des entiers relatifs et note , dans laquelle l'quation prcdente possde une solution note x = -1. Les quations suivantes possdent une solution entire a , b a , b x = ab x=ab

Par contre, l'ensemble des solutions de l'quation 2 x = 1 et x est vide. On peut construire une extension de tion prcdente possde une solution note x = a , b a Par contre, l'ensemble des solutions de l'quation x2 = 2 et x est vide. On peut contruire une extension de , appele corps des nombres rels et note , dans laquelle l'quation

, appele corps des nombres rationnels et note

1 . 2

, dans laquelle l'qua-

Les quations suivantes possdent une solution rationnelle a

x=

b x = a2

prcdente possde deux solutions notes x = x2 = 1 et x est vide.

2 . Par contre, l'ensemble des solutions de l'quation

Le problme de l'extension des nombres rels

Peut-on contruire une extension de , appele corps des nombres complexes et note x2 = -1 possde deux solutions notes x = i ? , dans laquelle l'quation

Nous exigeons que les principales rgles de calcul relatives aux oprations dfinies sur les nombres rels soient encore valables pour les nombres complexes.

Dfinition d'un corps

Un corps est un triplet HK, + , L o K dsigne un ensemble de "nombres" muni de deux oprations internes : l'addition note + et la multiplication note ; les proprits suivantes doivent tre vrifies :

2-Nombres_complexes.nb HK, +L est un groupe commutatif x, y K x, y, z K 0K xK x K H xL K x, y K HK * , L est un groupe commutatif o x+y K Hx + yL + z = x + Hy + zL 0+x = x+0 = x x + HxL = 0 x+y = y +x K * = K\80< x y K Hx yL z = x Hy zL 1x = x1 = x 1 x =1 x xy = y x

x, y K x, y, z K 1 K x K 1 x K K x x, y K Distributivit x, y, z K Exemples H , +, L H , +, L Contre-exemples H , +, L H , +, L est un corps est un corps

x Hy + zL = x y + x z

n' est pas un corps n' est pas un corps

Le problme de l'extension des nombres rels

On cherche un corps H , +, L tel que 1 contient 2 les restrictions des oprations + et de 3 contient un nombre i tel que i2 = -1.

sont les oprations usuelles de

Construction du corps des nombres complexes

L'ensemble Gomtriquement, les rels sont reprsents par une droite continue. Selon une ide due Gauss (1799), prenons pour l'ensemble des vecteurs du plan a = :K O b Pour faire en sorte que a K O = a, 0 a , b > , identifions la droite des nombres rels la premire composante en particulier 1 K O=1 0

La deuxime composante des nombres complexes est dsigne par le facteur de i 0 K O=bi b en particulier 0 K O=i 1

L'addition L'addition des nombres complexes concide avec l'addition usuelle des vecteurs du plan.

2-Nombres_complexes.nb a a 0 K O = K O+K O = a+b i b b 0 C'est sous la forme z = a + b i, appele forme cartsienne ou forme algbrique, que l'on reprsente usuellement les nombres complexes. En d'autres termes = 8z z = a + b i, a , b <

La premire composante est appele partie relle, la deuxime partie imaginaire. Les notations correspondantes sont les suivantes. Pour z = a + b i avec a e et b e , Re HzL = a; Im HzL = b

b i

Les nombres rels sont des nombres complexes particuliers caractriss par z Im HzL = 0

Les nombres de la forme z = b i sont appels imaginaires purs. Ils sont caractriss par Re HzL = 0 Remarque La partie imaginaire d'un nombre complexe est un nombre rel : Im H3 + 5 iL 5 i mais Im H3 + 5 iL = 5

La rgle d'addition des nombres complexes exprime que * la partie relle de la somme est gale la somme des parties relles et * la partie imaginaire de la somme est gale la somme des parties imaginaires Pour z1 = a1 + b1 i avec a1 e z2 = a2 + b2 i avec a2 e et b1 , et b2 ,

z1 + z2 = Ha1 + a2 L + Hb1 + b2 L i (Voir Formulaires et tables). En d'autres termes, pour z1 e et z2 e ,

Re Hz1 + z2 L = Re Hz1 L + Re Hz2 L; Im Hz1 + z2 L = Im Hz1 L + Im Hz2 L Multiplication La multiplication de deux nombres complexes est une opration qui, deux nombres complexes, fait correspondre un nombre complexe. Pour dterminer la multiplication complexe, nous utilisons * d'une part les rgles de calcul des corps;

2-Nombres_complexes.nb * d'une part les rgles de calcul des corps; * d'autre part, la nouvelle rgle que nous voulons obtenir

4 i2 = -1.

z1 z2 = Ha1 + b1 iL Ha2 + b2 iL = Ia1 a2 + b1 b2 i2 M + Ha1 b2 i + b1 a2 iL = Ha1 a2 b1 b2 L + Ha1 b2 + b1 a2 L i La multiplication des nombres complexes est dfinie comme suit * la partie relle du produit est gale au produit des parties relles moins le produit des parties imaginaires; * la partie imaginaire du produit est gale la partie relle du premier multiplie par la partie imaginaire du deuxime plus la partie imaginaire du premier multiplie par la partie relle du deuxime Pour z1 = a1 + b1 i avec a1 e z2 = a2 + b2 i avec a2 e et b1 , et b2 ,

z1 z2 = Ha1 a2 b1 b2 L + Ha1 b2 + b1 a2 L i (Voir Formulaires et tables). En termes quivalents, pour z1 e et z2 e ,

Re Hz1 z2 L = Re Hz1 L Re Hz2 L Im Hz1 L Im Hz2 L; Im Hz1 z2 L = Re Hz1 L Im Hz2 L + Im Hz1 L Re Hz2 L La multiplication de deux nombres complexes se distingue * du produit scalaire (le produit scalaire de deux vecteurs du plan donne un nombre rel); * du produit vectoriel (le produit vectoriel de deux vecteurs de l'espace donne un vecteur de l'espace). C'est cette multiplication qui fait tout l'intrt des nombres complexes. H , +, L est un corps L'lment neutre pour la somme est 0 + 0 i = 0. L'lment neutre pour la multiplication est 1 + 0 i = 1. Montrons que chaque nombre complexe non nul z possde un inverse Soit 1 z = 1 a+bi z = a+bi = avec a = a2 , b abi + b2 +0 i
1 z

tel que z et = a2

1 z

= 1.

Ha + b iL Ha b iL 1 Re z 1 Im z = = a2 a + b2 b a2 + b2

Ha b iL

Ha, bL H0, 0L. Alors a + b2 + HbL i a2 + b2

Les autres proprits des corps se dmontrent aisment. Nous en vrifierons quelques unes dans les exercices. H , +, L est une extension de Pour des nombres complexes qui sont rels, * l'addition complexe et l'addition relle concident et * la multiplication complexe et la multiplication relle concident. En effet, Ha + 0 iL + Hb + 0 iL = Ha + bL + H0 + 0L i = a + b + 0 i = a + b Dans H , +, L, l'quation x2 = -1 admet pour solutions x = i et x = -i. En effet, i2 = H0 + 1 iL H0 + 1 iL = H0 0 1 1L + H0 1 + 1 0L i = 1 H iL2 = H0 + H 1 L iL H0 + H1L iL = H0 0 H1L H 1LL + H0 H1L + H1L 1 L i = 1 Finalement, le problme d'extension que nous nous tions pos est rsolu.

Ha + 0 iL Hb + 0 iL = Ha b 0 0L + Ha 0 + 0 bL i = a b + 0 i = a b

2-Nombres_complexes.nb Egalit de deux nombres complexes en forme cartsienne z1 = z2 HRe Hz1 L = Re Hz2 L et Im Hz1 L = Im Hz2 LL

Note historique et terminologique

Les mots rel, imaginaire et complexe ne doivent pas tre pris dans leur sens usuel. Dans le contexte des mathmatiques, les mots ont un sens particulier et technique. Ce sont des raisons historiques qui expliquent la situation. Entre 1545 (Cardan) et 1799 (Gauss), on a utilis les nombres complexes formellement - comme un truc qui marche - sans pouvoir leur donner un sens. De l vient le nom imaginaire. Par la suite, mme aprs avoir construit mathmatiquement les nombres complexes et prouv leur existence, le nom imaginaire est rest. C'est ainsi que les nombres imaginaires (au sens mathmatique) sont nammoins rels (au sens usuel), car ils existent (au sens mathmatique). Par contre, les nombres imaginaires (au sens mathmatique) ne sont pas rels (au sens mathmatique). Voir exercice 2-1

2.2 Forme polaire

Prparation : formes cartsienne et polaire d'un vecteur du plan
a Etant donn un vecteur non nul sous la forme cartsienne v = c'est--dire exprim par rapport une base orthonorb me, on peut le reprsenter sous la forme Hr, jL o r = norme du vecteur v et 1 et v. 0 Le couple Hr, jL est appel forme polaire du vecteur v. j = angle principal orient entre les vecteurs

Si la forme polaire v = Hr, jL est donne, on peut calculer la forme cartsienne correspondante cos HL v =K O sin HL a Rciproquement, si la forme cartsienne v = est donne, on peut calculer la forme polaire correspondante b

2-Nombres_complexes.nb = =: a2 + b2 Arccos I M
a

si b 0 si b < 0

Arccos

a IM

Module
Le module d'un nombre complexe z est le nombre rel qui reprsente la norme du vecteur correspondant. Sa dfinition est Pour z = a+bi z On a les proprits z z z i
2

avec

et

a2 + b 2

0 = HRe HzLL2 + HIm HzLL2 =1

La proprit suivante est appele ingalit du triangle z1 + z2 z1 + z2

Argument
L'argument d'un nombre complexe non nul z = a + b i est la mesure principale de l'angle orient entre les vecteurs a . Son expression est b Arccos J Arccos
Re HzL N z

1 et 0

Arg HzL = :

si si

Im HzL 0 Im HzL < 0

Re HzL J z N

L'argument du nombre complexe zro n'est pas dfini. On a les proprits Arg HzL

< Arg HzL Arg H1L = 0 2

Arg HiL =

Arg H 1L = Arg H iL = 2

2-Nombres_complexes.nb

ImHzL

ArgHzL ReHzL

Forme polaire d'un nombre complexe

a Soit z = a + b i un nombre complexe non nul et v = le vecteur correspondant du plan. La forme polaire du vecteur est b v = H, L La forme cartsienne du vecteur est cos HL v =K O sin HL avec = z et = Arg HzL avec = z et = Arg HzL

Le nombre complexe correspondant est le mme nombre complexe z, mais crit sous la forme polaire z = Hcos HL + i sin HLL z = z avec = z et = Arg HzL

Hcos HArg HzLL + i sin HArg HzLLL

Conjugaison
Le conjugu d'un nombre complexe z est le nombre complexe z dont la partie imaginaire est l'oppos de celle de z : Pour z = a + b i avec a e

et b e ,

z = ab i En d'autres termes, Re JzN = Re HzL

Im JzN = Im HzL

2-Nombres_complexes.nb

Relations du conjugu complexe avec le module, la partie relle et la partie imaginaire Si z e alors z = z. D'autre part, zz=

Re HzL = Im HzL =

z+z ; 2 zz 2i ae et be , z
2

En effet, pour z = a + b i avec

z z = Ha + b iL Ha b iL = a2 b2 i2 + H a b + b aL i = a2 + b2 = z+z 2 zz 2i z

Ha + b iL + Ha b iL 2 Ha + b iL Ha b iL 2i

2a 2

= a = Re HzL = b = Im HzL

2bi 2i

= z ;

Arg JzN = Arg HzL Pour la dmonstration, nous allons utiliser la parit des fonctions trigonomtriques cos H L = cos HL sin H L = sin HL En partant de la forme polaire de z z = Hcos HL + i sin HLL dont le conjugu complexe est z = Hcos HL i sin HLL = Hcos HL + i sin H LL

avec

= Arg HzL

on voit que z

== z

Arg JzN = = Arg HzL Conjugu de la somme, du produit et du quotient

2-Nombres_complexes.nb z1 + z2 = z1 + z2 ; z1 z2 = z1 z2 ; z1 z2 = z1 z2 et b1 , z2 = a2 + b2 i avec a2 e et b2

(Voir Formulaires et tables). En effet, pour z1 = a1 + b1 i avec a1 e

z1 + z2 = Ha1 + b1 i L + Ha2 + b 2 i L = Ha1 + a2 L + Hb1 + b2 L i = Ha1 + a2 L Hb1 + b2 L i = Ha1 b1 i L + Ha2 b 2 i L = Ha1 + b1 i L + Ha2 + b 2 i L = z1 + z2 D'une part, z1 z2 = Ha1 + b1 i L Ha2 + b 2 i L = D'autre part, z1 z2 = Ha1 + b1 i L Ha2 + b 2 i L = Ha1 b1 i L Ha2 b 2 i L = Ha1 a2 b1 b2 L + H a1 b2 b1 a2 L i La dmonstration de la rgle du conjugu du quotient est l'objet d'un exercice : Voir exercice 2-2. Inverse d'un nombre complexe 1 z z zz

Ha1 a2 b1 b2 L + Ha1 b2 + b1 a2 L i = Ha1 a2 b1 b2 L Ha1 b2 + b1 a2 L i

z z
2

Cette relation est vidente. Application : calcul de l'inverse d'un nombre complexe. 1 8+5 i = 85i H8 + 5 iL H8 5 iL = 85 i 82 + 52 = 85 i 89 = 8 89 5 i 89

On l'utilise aussi pour effectuer la division de deux nombres complexes: 30 + 6 i 8+5 i 1 89 = H30 + 6 iL 1 8+5 i = H30 + 6 iL 85 i 89 1 89 = 1 89 H30 + 6 iL H8 5 iL = 270 89 102 i 89

HH30 8 + 6 5L + H 30 5 + 6 8L iL =

H270 102 iL =

Voir exercices 2-3 et 2-4. Egalit de deux nombres complexes en forme polaire Les nombres complexes z1 = cos 2 3 + i sin 4 3 + i sin 2 3

z2 = cos

4 3

sont gaux. Plus gnralement, deux nombres complexes sont gaux si et seulement si leurs modules sont gaux et leurs arguments ne diffrent que d'un nombre entier de tours : z1 = z2 Congruences H z1 = z2 et Arg Hz1 L = Arg Hz2 L + k 2 , k L

2-Nombres_complexes.nb

10

Pour dire que deux angles j et y sont gaux " des tours entiers prs", Gauss a introduit la notation suivante qui se lit "j est congru y modulo 2 p": Hmod 2 L = k 2 pour un k

Avec cette notation, la proposition s'crit z1 = z2 H z1 = z2 et Arg Hz1 L Arg Hz2 L Hmod 2 LL

qu'on exprime verbalement comme suit : le module de z1 est gal au module de z2 et l'argument de z1 est congru l'argument de z2 modulo 2 p.

Interprtation gomtrique de la multiplication

z1 z2 = z1 z2 ; Arg Hz1 z2 L Arg Hz1 L + Arg Hz2 L Hmod 2 L

Dmonstration Nous allons utiliser les formules d'addition d'arcs de la trigonomtrie cos H1 + 2 L = cos H1 L cos H2 L sin H1 L sin H2 L sin H1 + 2 L = cos H1 L sin H2 L + sin H1 L cos H2 L Ecrivons les nombres complexes sous la forme polaire z1 = 1 Hcos H1 L + i sin H1 LL z2 = 2 Hcos H2 L + i sin H2 LL z1 z2 = Hcos HL + i sin HLL On obtient Hcos HL + i sin HLL = z1 z2 = 1 Hcos H1 L + i sin H1 LL 2 Hcos H2 L + i sin H2 LL = 1 2 Hcos H1 L + i sin H1 LL Hcos H2 L + i sin H2 LL = 1 2 HHcos H1 L cos H2 L sin H1 L sin H2 LL + i Hcos H1 L sin H2 L + sin H1 L cos H2 LLL = 1 2 Hcos H1 + 2 L + i sin H1 + 2 LL d'o on tire = 1 2 = 1 + 2 + k 2 , k , 1 + 2 Hmod 2 L avec avec avec 1 = z1 , 1 = Arg Hz1 L 2 = z2 , 2 = Arg Hz2 L = z1 z2 , = Arg Hz1 z2 L

c' estdire

En mots (voir figure) le module du produit est gal au produit des modules, l'argument du produit est congru la somme des arguments modulo 2 p.

2-Nombres_complexes.nb

11

z1 z2

z2

z1

2 1

En d'autres termes (voir Formulaires et tables): 1 Hcos H1 L + i sin H1 LL 2 Hcos H2 L + i sin H2 LL = 1 2 Hcos H1 + 2 L + i sin H1 + 2 LL Voir exercice 2-5.

Similitudes linaires directes

Une similitude linaire directe est une application
f

z # f HzL

qui est la composition d'une homothtie de rapport r > 0 et d'une rotation d'angle j. En vertu de l'interprtation gomtrique de la multiplication, nous pouvons dire que la multiplication par un nombre complexe non nul a f HzL = a z est une similitude directe dont le rapport d'homothtie est r = a et l'angle de rotation est j = ArgHaL. Voir exercices 2-6 et 2-7.

Formules de de Moivre (1730)

Pour n et z 0 zn = z n; n Arg Hz L n Arg HzL Hmod 2 L

En d'autres termes, (voir Formulaires et tables): H Hcos HL + i sin HLLLn = n Hcos Hn L + i sin Hn LL pour n

2-Nombres_complexes.nb Dmonstration En utilisant les rgles prcdemment tablies pour le produit z2 = zz = z z = z

2

12

Arg Iz2 M Arg Hz zL Arg HzL + Arg HzL 2 Arg HzL En itrant z3 = z2 z = z2 z = z
2

Hmod 2 L

Arg Iz3 M Arg Iz2 zM Arg Iz2 M + Arg HzL 2 Arg HzL + Arg HzL 3 Arg HzL Hmod 2 L Pour n 1, on peut crire ces formules sous la forme polaire et effectuer des produits itrs : z = Hcos HL + i sin HLL avec = 2 2 z = Hcos H2 L + i sin H2 LL ... zn = n Hcos Hn L + i sin Hn LL La formule est ainsi vrifie pour n > 0. Pour n = 0 et z 0, on a z0 =1= z
0

et

= Arg HzL

Arg Iz0 M Arg H1L 0 0 Arg HzL

Hmod 2 L

Pour les exposants entiers ngatifs, on peut se ramener aux cas prcdents. En effet, pour n > 0, zn zn zn = = zn zn 1 zn = = 1 z
n

=1 = z
n

Arg Hzn L + Arg Hzn L Arg Hzn zn L Arg H1L 0 Arg Hzn L Arg Hzn L n Arg HzL

Hmod 2 L

Hmod 2 L

Pour n = -1, les formules de de Moivre nous donnent un cas particulier intressant qui exprime le module et l'argument de l'inverse: 1 z 1 Arg z = 1 ; z Arg HzL Hmod 2 L

1 Hcos HL + i sin HLL Voir exercice 2 - 8.

Hcos HL + i sin H LL

Notation exponentielle
L'exponentielle relle possde les proprits suivantes (rappel) ex+y = ex ey Hex L2 = ex ex = ex+x = e2 x ... Hex Ln = en x

e > 2.718

Pour reprsenter les nombres complexes, Euler a introduit en 1743 la notation suivante, appele notation exponentielle

2-Nombres_complexes.nb ei = cos HL + i sin HL dont voici quelques cas particuliers ei 0 = 1 ei e

2

13

=i
2

i J N

= i

La forme polaire prend alors la forme suivante z = ei ei Arg I e o = ;

i

et

Arg HzL

Hmod 2 L, c ' estdire

Hmod 2 L

L'galit de deux nombres complexes non nuls prend la forme suivante 1 ei 1 = 2 ei 2 H1 = 2 et 1 2 Hmod 2 LL

Dans cette notation, le produit de deux nombres complexes prend une forme simple I1 ei 1 M I2 ei 2 M = 1 2 ei H1 +2 L (Voir Formulaires et tables). En effet, I1 ei 1 M I2 ei 2 M = 1 Hcos H1 L + i sin H1 LL 2 Hcos H2 L + i sin H2 LL = 1 2 Hcos H1 + 2 L + i sin H1 + 2 LL = 1 2 ei H1 +2 L Le conjugu d'un nombre complexe est ei = ei En effet, ei = Hcos HL + i sin HLL = Hcos HL i sin HLL = Hcos HL + i sin HLL = ei HL = ei Les parties relle et imaginaire sont donnes par Re I ei M = cos HL = Im I ei M = sin HL = En effet, ei + ei = Hcos HL + i sin HLL + Hcos HL + i sin H LL = = ei + ei ; 2 ei ei 2i

2 2 Hcos HL + i sin HLL + Hcos HL i sin HLL 2 cos HL 2 2

= cos HL = Re I Hcos HL + i sin HLL = Re I ei M Hcos HL + i sin HLL Hcos HL + i sin H LL 2i =

ei ei 2i

2-Nombres_complexes.nb Hcos HL + i sin HLL Hcos HL i sin HLL 2 i sin HL 2i L'inverse d'un nombre complexe est 1 ei = 1 ei
1 r

14

2i = sin HL = Im I Hcos HL + i sin HLL = Im I ei M

En effet, posons z1 = r ei j , z2 = I ei M 1

e-i j et vrifions que z1 z2 = 1 1 I ei ei M = 1 ei i = ei 0 = cos H0L + i sin H0L = 1

ei =

La formule de de Moivre s'crit I ei M = n ei n

n

pour

En effet, pour n e , on a Iei M = H Hcos HL + i sin HLLLn

n

= n Hcos Hn L + i sin Hn LLM = ei n

Remarque Euler ne s'est pas content d'utiliser cette notation par simple commodit. Il a aussi tendu l'exponentielle relle aux nombres complexes et justifi les formules par des "dveloppements en srie". Mais ce point de vue dpasse les ambitions de ce cours. La formule suivante, due Euler (1743), est clbre ei = 1 car elle relie trois constantes mathmatiques fondamentales : le nombre p, le nombre e et le nombre i.

Racines complexes
Pour dterminer les racines complexes n-mes de z, on cherche les nombres (sous la forme polaire) r j tels que I n
n n

M =z =z et et et n Arg@zD Hmod 2 L n = Arg@zD + k 2 , k = Arg@zD n + k 2 n + k 2 , n k 80, 1, ..., n 1< , k

n = Abs@zD n = Abs@zD =
n

Abs@zD

Abs@zD

et

Arg@zD n

Retenons que tout nombre complexe non nul possde n racines complexes. Voir exercices 2 - 8 2 - 13.

2.3 Nombres complexes dans Mathematica

Si on utilise le clavier, c'est le symbole I qui dsigne la partie imaginaire d'un nombre complexe.

2-Nombres_complexes.nb
1 8+5I 8 89 z= 270 89 5 89 30 + 6 I 8+5I 102 89

15

w=

Si on utilise la palette, c'est le symbole qui dsigne la partie imaginaire d'un nombre complexe
w= 8 89 z= 270 89 1 8+5 5 89 30 + 6 8+5 102 89

Des fonctions permettent de calculer la partie relle, la partie imaginaire et le conjugu :

Re@wD 8 89 Im@wD 5 89 Conjugate@wD 8 89 + 5 89

Mathematica peut aussi calculer le module et l'argument

= Abs@zD 26 6 89 N@D 3.24297 = Arg@zD ArcTanA N@D 0.361204 17 45 E

2-Nombres_complexes.nb
1 ArgB 1 ArcTanA 3
1 4

16
F

+ +

3 4 3 4

1 4

1 FullSimplifyBArgB 1 12 3

FF

La notation exponentielle est reconnue. Pour dsigner l'exponentielle, on peut utiliser soit la lettre E du clavier, soit le caractre de la palette :

26 6 89 ReA 270 89 ImA 102 89

ArcTanB

17 45

Par exemple, pour rsoudre une quation sur le corps des nombres complexes,
Reduce@w x == z, x, ComplexesD x 30 + 6

Clear@a, bD; Reduce@a + b y a+b+ x

x+

y, 8x, y<, ComplexesD

Dans les quations littrales, si des paramtres ou des inconnues sont des nombres rels, il faut l'indiquer explicitement
Reduce@a + b x + y a Reals b Reals x Reals y Reals, 8x, y<, ComplexesD Hb aL Reals && x a && y b

Racines complexes
Avec Mathematica, calculons, par exemple, la racine cubique de 5 + 2
Clear@zD; ReduceAz3 z H5 + 2 L13 z 5 + 2 , z, ComplexesE H 1L13 H5 + 2 L13 z H 1L23 H5 + 2 L13

Remplaons Or[...] par List[...]

ApplyAList, ReduceAz3 9z H5 + 2 L13 , z 5 + 2 , z, ComplexesEE H 1L23 H5 + 2 L13 =

H 1L13 H5 + 2 L13 , z

2-Nombres_complexes.nb Remplaons encore Equal[...] par la valeur du membre de droite. On obtient l'ensemble des solutions:
es = ApplyAList, ReduceAz3 5 + 2 , z, ComplexesEE . Equal@z, vz_D vz

17

9H5 + 2 L13 , H 1L13 H5 + 2 L13 , H 1L23 H5 + 2 L13 =

Traduction en notation exponentielle: -1 = p ; H5 + 2 L 3 dsigne une racine cubique:

ComplexExpandAH5 + 2 L13 E 2916 CosA 1 2 ArcTanA EE + 3 5 2916 SinA 1
1

H-1L p = p p ;

-H-1L p = p p p = H p+1L p ;

2 ArcTanA EE 3 5

ComplexExpand@esD 92916 CosA 1 2 1 2 1 2 N@esD 81.73872 + 0.221722 , 0.677344 1.61664 , 1.06138 + 1.39492 < 1 2 2916 2 1 2 ArcTanA EE + 2916 SinA ArcTanA EE, 3 5 3 5 1 2 1 1 2 CosA ArcTanA EE + 3 2916 SinA ArcTanA EE + 3 5 2 3 5 1 2 1 1 2 3 2916 CosA ArcTanA EE 2916 SinA ArcTanA EE , 3 5 2 3 5 1 1

2916 CosA

2 1 1 2 3 2916 SinA ArcTanA EE + ArcTanA EE 3 5 2 3 5 1 2 1 1 2 3 2916 CosA ArcTanA EE 2916 SinA ArcTanA EE = 3 5 2 3 5

Voir exercices 2 - 8 2 - 13.

Exercices du 2
Exercice 2-1
a)

[Sans ordinateur]

Dmontrez que H , +, L vrifie la loi de distributivit x, y, z x Hy + zL = x y + x z

b)

a, b dsignant des nombres rels, dmontrez que les deux nombres complexes suivants z1 = a + i b, sont inverses, c'est--dire z1 z2 = 1 z2 = ai b a2 + b2

c)

Pour r e , z e , z1 e , z2 e , dmontrez les proprits suivantes Re Hz1 + z2 L = Re Hz1 L + Re Hz2 L Im Hz1 + z2 L = Im Hz1 L + Im Hz2 L Re H zL = Re HzL Im H zL = Im HzL

2-Nombres_complexes.nb

18

Exercice 2-2
Dmontrez que z1 z2 =

[Sans ordinateur]

z1 z2

Exercice 2-3

[Sans ordinateur]

Mettez les nombres complexes suivants sous la forme cartsienne 1+2 i 12 i , 1 H1 + 2 iL H3 iL , 1i 3 2

Exercice 2-4

[Sans ordinateur]

Etablissez la formule pour calculer le quotient de deux nombres complexes donns sous la forme cartsienne z1 z2 = a1 + b1 i a2 + b2 i = ... o z2 0, a1 = Re Hz1 L, ..., b2 = Im Hz2 L

Vrifiez la rponse obtenue avec le formulaire.

Exercice 2-5

[Sans ordinateur]

A partir des rgles de la multiplication z1 z2 = z1 z2 Arg Hz1 z2 L Arg Hz1 L + Arg Hz2 L dmontrez les formules suivantes a) Pour r e , r > 0 et z e Arg H zL = Arg HzL et donnez une interprtation gomtrique. b) Pour z2 e , z2 0, 1 z2 c) = 1 z2 Hmod 2 L

Pour z1 e , z2 e , z2 0, z1 z2 = z1 z2

d)

Pour z2 e , z2 0, 1 Arg z2 Arg Hz2 L Hmod 2 L

e)

Pour z1 e , z2 e , z2 0, Arg z1 z2 Arg Hz1 L Arg Hz2 L Hmod 2 L

Exercice 2-6

[Sans ordinateur]

Un nombre complexe z tant donn, on s'intresse au nombre complexe w = z i. a) Calculez w en fonction de z et

2-Nombres_complexes.nb a) Calculez w en fonction de z et ArgHwL en fonction de ArgHzL. b) c) d) Construisez le nombre complexe w avec la rgle et le compas, c'est--dire choisissez un vecteur qui reprsente z puis construisez le vecteur qui reprsente w. Mmes questions pour le nombre complexe w = z i2 . Donnez une interprtation gomtrique de la multiplication par i2 = -1. Mmes questions pour le nombre complexe w = z i3 . Donnez une interprtation gomtrique de la multiplication par i3 = -i.

19

Exercice 2-7
a)

[Sans ordinateur]

Illustrez gomtriquement l'opration d'addition dans : deux nombres complexes z1 , z2 tant donns, construisez, avec la rgle et le compas, le vecteur qui reprsente le nombre complexe w = z1 + z2

b)

b tant un nombre complexe fix, interprtez gomtriquement la translation de f HzL = z + b

dans

Exercice 2-8

[Sans ordinateur, puis avec Mathematica]

Dterminez le module et l'argument des nombres complexes suivants z1 = 2 2 i, z2 = 1 i 3, z1 z2 , z1 z2

Exercice 2-9

[Sans ordinateur]

Etablissez la formule pour calculer le quotient de deux nombres complexes donns sous la forme polaire z1 z2 = 1 ei 1 2 ei 2 = ... o z2 0, 1 = z1 , ..., 2 = Arg Hz2 L

Exercice 2-10
a) [Sans ordinateur] Ecrivez le nombre suivant sous la forme cartsienne, c'est--dire calculez sa partie relle et sa partie imaginaire J 3 + iN b)
1967

[Avec Mathematica] Vrifiez la rponse obtenue, ainsi que certains calculs intermdiaires.

Exercice 2-11
Rsolvez dans

[Sans ordinateur]

l'quation 1iz Re 1+iz =0

et interprtez gomtriquement l'ensemble des solutions dans le plan. Indication : crivez z sous la forme z = x + i y o x = ReHzL et y = ImHzL.

Remarque : Il est demand de s'exercer faire de tels calculs sans ordinateur. Aprs avoir fait les calculs la main, on peut vrifier la rponse avec Mathematica. Par exemple, ici, pour vrifier l'expression simplifie de ReB 1+Hx+ yL F, on
1-Hx+ yL

peut calculer

2-Nombres_complexes.nb peut calculer

1 ComplexExpandBReB 1+ 1 x2 + H1 yL2 x2 x2 + H1 yL2 Hx + Hx + yL yL FF y2 x2 + H1 yL2

20

On peut aussi rsoudre l'quation

1 ReduceBReB 1+ Hx Hx 1 && y 0 && y Hx + Hx + yL yL F 0 x Reals y Reals, 8x, y<, ComplexesF 1 x2 y 1 x2 y 1 x2 1 x2 Hx 1 && y 0L

0L 1 < x < 0 && y 1L 0 < x < 1 && y

Exercice 2-12
On donne z= a) b) c) 1+i

[Sans ordinateur, puis avec Mathematica]

1i

Ecrivez z sous la forme polaire ou exponentielle. Dterminez le plus petit entier positif n tels que zn soit rel. Dterminez le plus petit entier positif n tels que zn soit imaginaire pur.

Exercice 2-13

[Sans ordinateur]

z1 , z2 dsignant deux nombres complexes non nuls, soit z tel que 1 z a) b) = 1 z1 + 1 z2

Exprimez z, z , ReHzL et ImHzL en fonction de z1 , z2 . Notons a1 = ReHz1 L, b1 = ImHz1 L, a2 = ReHz2 L, b2 = ImHz2 L. Exprimez z , ReHzL et ImHzL en fonction de a1 , b1 , a2 , b2 . Exprimez ArgHzL de diverses manires.

c)

Exercice 2-14
On donne z1 = 2 3 +

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

5 i; 6

z2 =

1 2

7 i. 3

Calculez les expressions suivantes a = z2 ; 1 d= g = Im

z2 ; z1 z1 z2 I z z 1 2

b=

1 z1

;
z
2

c= f=

M; h =

e = Re I z1 M;

Im Hz2 L . Im Hz1 LRe Hz2 L

z2 z1 Re Hz1 L Re Hz2 L

Reprsentez graphiquement les nombres complexes suivants dans le plan de Gauss: z1 ; z2 ; z2 ; 1 1 ; z1 z1 z2 .

2-Nombres_complexes.nb

21

Exercice 2-15
Rsolvez dans les quations suivantes, d'abord sans ordinateur, puis avec Reduce[...]. aL bL cL dL 5 z = 8 i z + 81 5 i z+2 i z = 8+7 i z2 = 1 + i z+ 1 z =1

Exercice 2-16

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Calculez les expressions donnes aL bL cL H1 + iL3 H1 + iL4 ik H1 + iLk

20 25

k=1

dL

k=0

Exercice 2-17

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Ecrivez les nombres complexes donns sous la forme polaire a = 2 + 2 i; d = 3 i; g=

1 H1+iL2

b = 2 + 2 i; h = 12 H1 iLk k=0 e = H1 + iL3 ;

c = 22

3 i

f = H1 iL4

Exercice 2-18

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Exprimez les expressions trigonomtriques cosH3 jL et sinH3 jL en fonction de cosHjL et sinHjL. Indication: utilisez la formule de de Moivre.

Exercice 2-19
Dmontrez que

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

cos I15 M = Indications: utilisez le fait que 12 = 3

6 + 4

2 .

et 4

cos K

12

O = Re Jei

12

N.

Exercice 2-20

[Sans ordinateur]

Donnez une mthode de construction la rgle et au compas du produit et du quotient de deux nombres complexes donns quelconques. Indication: Etant donns trois segments de longueurs 1, r1 , r2 , le thorme de Thals permet de construire un qua-

2-Nombres_complexes.nb Indication: Etant donns trois segments de longueurs 1, trime segment de longueur r = r1 r2 .

22
1, 2,

le thorme de Thals permet de construire un qua-

Exercice 2-21
a)

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Calculez les racines cubiques de l'unit, c'est--dire les nombres complexes z tels que z3 = 1. Indication : utilisez la forme polaire. Reprsentez ces trois racines dans le plan de Gauss. Vrifiez que ces trois racines sont de la forme 1, w, w2 avec w = ei 3 .
2p

b) c)

Exercice 2-22
a)

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Calculez les racines n-mes de l'unit, c'est--dire les nombres complexes z tels que zn = 1. Indication : utilisez la forme polaire. Vrifiez que ces n racines sont de la forme 1, w, w2 , ..., wn-1 avec w = ei n . Pour n = 12, reprsentez ces racines dans le plan de Gauss.
2p

b) c)

Exercice 2-23
a) b)

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica]

Calculez les racines cubiques du nombre complexe i. Reprsentez ces trois racines dans le plan de Gauss.

Exercice 2-24

[Facultatif]

[Calculez d'abord sans ordinateur, puis vrifiez avec Mathematica] Interprtez gomtriquement l'application f : z # H1 + iL z Donnez l'image par f de l'ensemble D = 8z z = 1<.

Exercice 2-25

[Facultatif]

A partir des dveloppements en srie entire des fonctions suivantes (voir Formulaires et tables):
x

= 1+x+

x2 2!

+ x2

x3 3! +

+ x4 4! x5 5!

x4 4!

+ x6 6!

x5 5! +

+ x8

x6 6!

x7 7!

x8 8!

x9 9!

+ ...

cos HxL = 1 sin HxL = x

x10 10!

+ ...

2! x3 3! +

8! + x9 9!

x7 7!

x11 11!

+ ...

et sachant que les sries prcdentes convergent absolument (c'est--dire qu'on peut rarranger librement l'ordre des termes), montrez qu'on peut en tirer la relation d'Euler

= cos HL +

sin HL