1 Introduction
On sait que certaines ´equations de degr´e 2 `a coefficients r´eels n’admettent pas de
solution r´eelle. On se propose de chercher un ensemble muni d’op´erations permettant
les calculs habituels, not´e , contenant les solutions de toute ´equation de degr´e 2 `a
coefficients r´eels ;
– puisque tout r´eel αest solution d’au moins une ´equation de degr´e 2, doit
contenir ;
– la plus simple des ´equations de degr´e 2 n’admettant pas de solution r´eelle est
l’´equation z2+ 1 = 0 soit z2=−1. doit donc contenir un ´el´ement1not´e j
(´egalement not´e i) ;
– afin de pouvoir mener les calculs, on choisit d’utiliser les op´erations habituelles
dans , en consid´erant j comme un ´el´ement `a part.
On d´ecide alors de prendre pour l’ensemble {x+ j y|(x, y)∈2}(en bijection
avec 2), qu’il nous reste `a munir d’op´erations compatibles d’une part avec les
op´erations habituelles dans (consid´erant j comme un ´el´ement `a part) et d’autre
part avec l’´egalit´e j2=−1. Soit z=x+ j yet z0=x0+ j y0dans avec x,y,x0,y0
r´eels :
– la somme de zet z0est donn´ee par :
(x+ j y) + (x0+ j y0) = (x+x0) + j (y+y0)
soit en termes de couples dans 2:
(x, y) + (x0, y0) = (x+x0, y +y0)
– le produit de zet z0est donn´e par :
(x+ j y) (x0+ j y0) = (xx0) + j (xy0) + j (yx0) + j (y) j (y0)
= (xx0) + j (xy0+yx0) + j2(yy0)
= (xx0−yy0) + j (xy0+yx0)
soit en termes de couples dans 2:
(x, y) (x0, y0) = (xx0−yy0, xy0+yx0)
2 Construction de
D´efinition 1 L’ensemble des nombres complexes est l’ensemble 2muni des deux
lois suivantes :
– l’addition : (a, b) + (a0, b0) = (a+a0, b +b0)
– la multiplication (a, b) (a0, b0) = (aa0−bb0, ab0+ba0)
1En fait, ce n’est pas dans la r´esolution de l’´equation z2+ 1 = 0 que j est intervenu pour la
premi`ere fois. C’est `a l’occasion de la r´esolution d’une ´equation de degr´e 3 que des alg´ebristes italiens
de la Renaissance – Cardan (1501-1576) puis Bombelli (1526-1572) – s’enhardissent `a consid´erer
des racines carr´ees de nombres n´egatifs et `a ´etablir des r`egles de calcul avec ces nouveaux objets.
2