![](//s1.studylibfr.com/store/data-gzf/47a6f55fff983b1f92dd79edc0010a66/1/000403442.htmlex.zip/bg2.jpg)
Isabelle van den Boom 2
2-Définitions et propriétés
On désire construire un corps que l’on nommera C qui contient IR et dans lequel
l’équation 01
2=+x possède des solutions .
On souhaite également que les opérations définies sur ce corps prolongent l’addition et la
multiplication définies sur IR.
Puisque dans notre nouvel ensemble 01
2=+xpossède des solutions, on va décider de
noter i une de ces solutions.
De façon évidente, IRi ∉ sinon 012≥=− i comme tout nombre réel .
Que doit-on mettre dans C? On veut déjà que IR ⊂C et que
iC. Comme + et ×
doivent être des lois internes, on devra avoir également Ciba
, IRb,IRa ∈∀∈
.
Considérons l’ensemble
{}
IRb,IRa,ibaA
+= .
Sur cet ensemble, on définit deux opérations internes notées + et
qui vérifient :
()()
)( )
'bbi'aa'ib'aiba +++
+++
()()
)( )
b'a'abi'bb'aa'ib'aiba
+−=+×+
De manière évidente, A contient tous les éléments du type 0ia
,IRa ∈
donc IR ⊂C et
on notera aia =+ 0
Par ailleurs,
()()()
)
)
'aai'aai'aia
=+++ 0000 . Cette opération prolonge donc
bien l’addition de
R.
De même,
()()()
)
'aai'aai'aia
=+
+00000 ; la multiplication prolonge bien celle
de
R.
Remarques :
i) comme ii 10 += , on retrouve par la définition de
que 1
2−=i
ii) 000 =
⇔=+ betaiba .
En effet, 000
=
=+ betaiba est évident.
Supposons que 00
=
betiba . Comme b est un réel non nul, b
1existe dans IR et
on a b
a
i−= ce qui implique que 1
2
2−=
b
a donc négatif ce qui est impossible car
IRbetIRa ∈∈ . Donc 0=b et 00
⇒
aibaCQFD
iii) 'bbet'aa'ib'aiba ==
+=+ (évident par ii))
Propriétés des opérations dans A
• + et × sont associatives et commutatives (en exo)
• ×est distributive par rapport à + (en exo)
• 0 est élément neutre pour + et 1 est élément neutre pour
(en exo)
• Tout élément Aiba ∈+ a un opposé pour la loi + dans A qui est
()
bia −+− (en
exo)
• Tout élément iba + de A , non nul, admet un inverse unique dans A.
En effet, montrons l’unicité d’un tel inverse sous réserve d’existence.