Corps 391
1. Dans le groupe (K,+) ,l’équation ax +b= 0 équivaut à ax =−b(unicité de l’opposé)
et comme a∈K∗est inversible, l’équation ax =−béquivaut à a−1ax =a−1(−b),encore
équivalent à x=−a−1b. D’où l’existence et l’unicité dans Kde la solution de l’équation
ax +b= 0.
2. L’équation x2=λ=α2équivaut à x2−α2= (x−α) (x+α) = 0 encore équivalente à
x=αou x=−α.
3. De ax2
1+bx1+c= 0,on déduit que pour tout x∈K,on a :
ax2+bx +c=ax2+bx +c−¡ax2
1+bx1+c¢
=a¡x2−x2
1¢+b(x−x1)
= (x−x1) (a(x+x1) + b)
de sorte que l’équation ax2+bx +c= 0 est équivalente à (x−x1) (a(x+x1) + b) = 0
encore équivalent à x−x1= 0 ou a(x+x1) + b= 0,la dernière équation ayant pour
unique solution x2=−a−1b−x1.Notre équation a donc exactement deux solutions, à
savoir x1et x2=−b
a−x1.On a donc x1+x2=−b
aet :
x1x2=−1
a¡bx1+ax2
1¢=−1
a(−c) = c
a.
Pour tout x∈K,on a :
ax2+bx +c= (x−x1) (a(x+x1) + b)
=a(x−x1)µx+x1+b
a¶
=a(x−x1) (x−x2).
On a donc montré que ax2+bx +cest factorisable dans K, si, et seulement si, l’équation
ax2+bx +c= 0 a des solutions dans K.
Par exemple sur R,l’équation x2+ 1 n’est pas factorisable.
Remarque 22.1 Dans un corps non commutatif une équation de degré 2peut avoir plus de
deux racines, elle peut même en avoir une infinité. Par exemple dans le corps Hdes quaternions
(exercice 22.2) une matrice A∈Hest annulée par son polynôme caractéristique P(X) = X2−
tr (A)X+ det (A)(théorème de Cayley-Hamilton) et on peut trouver une infinité de matrices
dans Hde trace et déterminant donné. Par exemple, pour tout réel θ, on a A=µ1eit
−e−it 1¶∈
Havec tr (A) = det (A) = 2.Toutes ces matrices sont solutions de X2−2X+ 2 = 0.
Exercice 22.4 Montrer qu’un anneau unitaire intègre et fini est un corps.
Solution 22.4 Soit Aun anneau unitaire intègre. Pour tout a6= 0 dans A, l’application x7→ ax
est injective. En effet si ax =a=y, alors a(x−y) = 0 et x−y= 0 puisque Aest intègre
et a6= 0.Si de plus Aest fini, alors cette application est bijective et en particulier il existe
b∈Atel que ab = 1,ce qui prouve que aest inversible à droite. On montre de même que a
est inversible à gauche. On a donc montré que tout élément non nul de aest inversible, ce qui
revient à dire que Aest un corps.
Définition 22.2 Soit (K,+,·)un corps. On dit qu’une partie Lde Kest un sous-corps de K
si :