x - Recreaţii Matematice
x - Recreaţii Matematice
x - Recreaţii Matematice
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Remarque. detA(x, y, z, t) = x 2 − ay 2 − bz 2 + abt 2 .<br />
Théorème 2. (A, +, ×) est un sous - anneau de l ′ anneau (M2(R), +, ×).<br />
Démonstration. La table de multiplication des matrices I, J, K et L est la<br />
suivante:<br />
facteur de droite −→ I J K L<br />
I I J K L<br />
J J aI L aK<br />
K K -L bI -bJ<br />
L L -aK bJ -abI<br />
A ⊂ M2(R) qui est un anneau unitaire. (A, +) est un sous - groupe de (M2(R), +).<br />
Enfin, la multiplication est une loi de composition interne pour A compte tenu de<br />
la table de multiplication précédente. On en déduit finalement que (A, +, ×) est un<br />
sous-anneau unitaire de l ′ anneau (M2(R), +, ×).<br />
Les deux théorèmes précédents montrent que l ′ ensemble A muni des opérations<br />
habituelles est une Q - algèbre de dimension 4 - [1], VI.4 page 215.<br />
Théorème 3. Pour toute matrice A ∈ A l ′ application fA de A dans A définie<br />
par ∀X ∈ A, fA(X) = XA est linéaire. De plus, det fA = (detA) 2 .<br />
Démonstration. Pour A ∈ A, fA est une application de A dans A puisque X ∈ A<br />
et A ∈ A ⇒ XA ∈ A. D ′ autre part: ∀X1 ∈ A, X2 ∈ A fA(X1 + X2) = (X1 + X2)A =<br />
X1A + X2A = fA(X1) + fA(X2); ∀X ∈ A, ∀λ ∈ Q, fA(λX) = (λX)A = λ(XA) =<br />
λfA(X), i.e. fA ∈ LQ(A). L ′ espace vectoriel A étant muni de la base (I, J, K, L) -<br />
voir théorème 1 - soit A = x0I + y0J + z0K + t0L. Déterminons en utilisant la table<br />
de multiplication des matrices I, J, K et L la matrice de l ′ endomorphisme fA dans<br />
cette base (I, J, K, L):<br />
fA(I) = x0I + y0J + z0K + t0L = A<br />
fA(J) = ay0I + x0J + at0K + z0L<br />
fA(K) = bz0I − bt0J + x0K − y0L<br />
fA(L) = −abt0I + bz0J − ay0K + x0L,<br />
d ′ où la matrice de fA ∈ LQ(A) dans la base considérée:<br />
ay0 bz0 −abt0<br />
y0 x0 −bt0 bz0<br />
Mat(fA, (I, J, K, L)) =x0<br />
z0 at0 x0 −ay0<br />
t0 z0 −y0 x0<br />
et un calcul élémentaire montre alors que det(Mat(fA, (I, J, K, L))=[detA(x0, y0, z0, t0)] 2<br />
compte tenu de la remarque précédente.<br />
Théorème 4. Dans le sous-anneau A tout élément non nul est inversible si et<br />
seulement si l ′ égalité u 2 = av 2 + bw 2 avec u, v et w entiers n ′ est possible que pour<br />
u = v = w = 0.<br />
Démonstration. Supposons que<br />
(2) {u 2 = av 2 + bw 2 , (u, v, w) ∈ Z 3 } ⇒ u = v = w = 0.<br />
38