06.03.2013 Views

x - Recreaţii Matematice

x - Recreaţii Matematice

x - Recreaţii Matematice

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!