ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 3 — Matrices · Inverse et déterminant

Exercice 15

Calcul

On considère les matrices suivantes : A=(100011311),B=(111010100)etC=(1111210−1−1)A=\begin{pmatrix}1&0&0\\0&1&1\\3&1&1 \end{pmatrix}, \qquad B=\begin{pmatrix} 1&1&1 \\ 0&1&0 \\1&0&0 \end{pmatrix}\qquad \text{et} \qquad C=\begin{pmatrix} 1&1&1\\1&2&1 \\ 0 &-1& -1\end{pmatrix}

1. Calculer ABAB et ACAC.

2. Que peut-on en déduire sur l'inversibilité de AA ?

Corrigé

1. Calculons les deux produits. AB=(100011311)×(111010100)=(111110443)AB=\begin{pmatrix}1&0&0\\0&1&1\\3&1&1\end{pmatrix} \times\begin{pmatrix}1&1&1\\0&1&0\\1&0&0\end{pmatrix} =\boxed{\begin{pmatrix}1&1&1\\1&1&0\\4&4&3\end{pmatrix}}

AC=(100011311)×(1111210−1−1)=(111110443)AC=\begin{pmatrix}1&0&0\\0&1&1\\3&1&1\end{pmatrix} \times\begin{pmatrix}1&1&1\\1&2&1\\0&-1&-1\end{pmatrix} =\boxed{\begin{pmatrix}1&1&1\\1&1&0\\4&4&3\end{pmatrix}}

Détail de la deuxième ligne de ABAB : elle vaut 0×L1(B)+1×L2(B)+1×L3(B)=(0 ;1 ;0)+(1 ;0 ;0)=(1 ;1 ;0)0\times L_1(B)+1\times L_2(B)+1\times L_3(B)=(0\,;1\,;0)+(1\,;0\,;0)=(1\,;1\,;0).

On constate donc que AB=ACalors queB≠C.\boxed{AB=AC \quad\text{alors que}\quad B\neq C.}

2. Raisonnons par l'absurde. Supposons AA inversible. Alors A−1A^{-1} existe, et en multipliant l'égalité AB=ACAB=AC à gauche par A−1A^{-1} : A−1(AB)=A−1(AC)  ⟺  (A−1A)B=(A−1A)C  ⟺  I3B=I3C  ⟺  B=CA^{-1}(AB)=A^{-1}(AC) \iff \left(A^{-1}A\right)B=\left(A^{-1}A\right)C \iff I_{3} B=I_{3} C \iff B=C Or BB et CC sont manifestement différentes (leurs premières colonnes ne coïncident pas). C'est une contradiction, donc l'hypothèse de départ est fausse : A n’est pas inversible.\boxed{A \text{ n'est pas inversible.}}

On retiendra qu'on ne peut jamais simplifier une égalité matricielle par un facteur commun sans avoir d'abord vérifié que ce facteur est inversible — l'exercice 7 avait déjà donné un avertissement en ce sens.

Dans l'édifice

Thèmes

matrices, opérations matricielles

Notions

matrices (espace des)

Ouvrir dans l'atlas interactif →