ATLAS Ouvrir dans l'atlas →

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

Exercice 18

Démonstration

Soient AA et BB deux matrices inversibles de ℳn(ℝ)\mathcal{M}_{n}(\mathbb{R}).

1. Montrer que ABAB est inversible et que (AB)−1=B−1A−1(AB)^{-1}=B^{-1}A^{-1}.

2. Vérifier ce résultat avec A=(2111)A=\begin{pmatrix} 2&1\\1&1 \end{pmatrix} et B=(1201)B=\begin{pmatrix} 1&2\\0&1 \end{pmatrix}, et constater que (AB)−1≠A−1B−1(AB)^{-1}\neq A^{-1}B^{-1}.

3. Montrer que A−1A^{-1} est inversible et préciser son inverse.

4. Montrer que, pour tout k∈ℕk\in\mathbb{N}, AkA^{k} est inversible et que (Ak)−1=(A−1)k\left(A^{k}\right)^{-1}=\left(A^{-1}\right)^{k}.

Corrigé

1. Par associativité du produit : (AB)(B−1A−1)=A(BB−1)A−1=AInA−1=AA−1=In,(AB)(B^{-1}A^{-1})=A(BB^{-1})A^{-1}=AI_{n}A^{-1}=AA^{-1}=I_{n},

(B−1A−1)(AB)=B−1(A−1A)B=B−1InB=B−1B=In.(B^{-1}A^{-1})(AB)=B^{-1}(A^{-1}A)B=B^{-1}I_{n}B=B^{-1}B=I_{n}. Donc AB est inversible et (AB)−1=B−1A−1\boxed{AB \text{ est inversible et } (AB)^{-1}=B^{-1}A^{-1}}. L'ordre s'inverse, comme lorsqu'on retire ses chaussettes après ses chaussures.

2. On a A−1=(1−1−12)A^{-1}=\begin{pmatrix} 1&-1\\-1&2 \end{pmatrix}, B−1=(1−201)B^{-1}=\begin{pmatrix} 1&-2\\0&1 \end{pmatrix} et AB=(2513)AB=\begin{pmatrix} 2&5\\1&3 \end{pmatrix}, de déterminant 11, donc (AB)−1=(3−5−12)(AB)^{-1}=\begin{pmatrix} 3&-5\\-1&2 \end{pmatrix}. On vérifie que B−1A−1=(3−5−12)B^{-1}A^{-1}=\begin{pmatrix} 3&-5\\-1&2 \end{pmatrix}, alors que A−1B−1=(1−3−14)A^{-1}B^{-1}=\begin{pmatrix} 1&-3\\-1&4 \end{pmatrix} est différente.

3. Les égalités AA−1=A−1A=InAA^{-1}=A^{-1}A=I_{n} montrent aussi que A−1A^{-1} est inversible, d'inverse (A−1)−1=A\boxed{\left(A^{-1}\right)^{-1}=A}.

4. Par récurrence : A0=InA^{0}=I_{n} est inversible d'inverse In=(A−1)0I_{n}=(A^{-1})^{0}, et si (Ak)−1=(A−1)k(A^{k})^{-1}=(A^{-1})^{k}, alors d'après la question 1, Ak+1=AkAA^{k+1}=A^{k}A est inversible et (Ak+1)−1=A−1(Ak)−1=A−1(A−1)k=(A−1)k+1.\left(A^{k+1}\right)^{-1}=A^{-1}\left(A^{k}\right)^{-1}=A^{-1}\left(A^{-1}\right)^{k}=\left(A^{-1}\right)^{k+1}.

Ouvrir dans l'atlas interactif →