ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 3 — Matrices · Exercices d'approfondissement

Exercice 22 Théorème de Cayley-Hamilton en dimension 2

DémonstrationCalcul

Soit A=(abcd)∈ℳ2(ℝ)A=\begin{pmatrix} a&b\\c&d \end{pmatrix}\in\mathcal{M}_{2}(\mathbb{R}). On note t=a+dt=a+d, appelé trace de AA.

1. Montrer que A2−tA+det⁡(A) I2=0A^{2}-tA+\det(A)\,I_{2}=0.

2. On suppose det⁡(A)≠0\det(A)\neq 0. En déduire que AA est inversible et que A−1=1det⁡(A)(tI2−A)A^{-1}=\dfrac{1}{\det(A)}\left(tI_{2}-A\right). Comparer avec la formule du cours.

3. On suppose det⁡(A)=0\det(A)=0 et A≠0A\neq 0. Montrer, en raisonnant par l'absurde, que AA n'est pas inversible.

4. Application : on pose A=(1234)A=\begin{pmatrix} 1&2\\3&4 \end{pmatrix}. Exprimer A2A^{2}, puis A3A^{3}, en fonction de AA et de I2I_{2}.

Corrigé

1. On calcule A2=(a2+bcab+bdca+dccb+d2)A^{2}=\begin{pmatrix} a^{2}+bc&ab+bd\\ca+dc&cb+d^{2} \end{pmatrix} et tA=(a2+adab+bdac+cdad+d2)tA=\begin{pmatrix} a^{2}+ad&ab+bd\\ac+cd&ad+d^{2} \end{pmatrix}. Ainsi : A2−tA=(bc−ad00bc−ad)=−det⁡(A) I2,d’ouˋA2−tA+det⁡(A) I2=0.A^{2}-tA=\begin{pmatrix} bc-ad&0\\0&bc-ad \end{pmatrix}=-\det(A)\,I_{2}, \qquad\text{d'où}\qquad \boxed{A^{2}-tA+\det(A)\,I_{2}=0}.

2. On en déduit A(tI2−A)=(tI2−A)A=det⁡(A) I2A(tI_{2}-A)=(tI_{2}-A)A=\det(A)\,I_{2}. Comme det⁡(A)≠0\det(A)\neq 0, on divise par det⁡(A)\det(A) : A−1=1det⁡(A)(tI2−A)=1det⁡(A)(d−b−ca)\boxed{A^{-1}=\frac{1}{\det(A)}\left(tI_{2}-A\right)=\frac{1}{\det(A)}\begin{pmatrix} d&-b\\-c&a \end{pmatrix}} On retrouve exactement la formule de la Proposition 4 du cours, sans avoir eu à la deviner.

3. Si det⁡(A)=0\det(A)=0, la relation devient A2=tAA^{2}=tA. Supposons AA inversible : en multipliant par A−1A^{-1}, on obtient A=tI2A=tI_{2}, donc det⁡(A)=t2=0\det(A)=t^{2}=0, puis t=0t=0 et A=0A=0, ce qui contredit A≠0A\neq 0. Donc A n’est pas inversible\boxed{A \text{ n'est pas inversible}}.

4. Ici t=5t=5 et det⁡(A)=4−6=−2\det(A)=4-6=-2, donc A2=5A+2I2\boxed{A^{2}=5A+2I_{2}}, puis A3=5A2+2A=5(5A+2I2)+2A=27A+10I2A^{3}=5A^{2}+2A=5(5A+2I_{2})+2A=\boxed{27A+10I_{2}}. Vérification : 27A+10I2=(375481118)27A+10I_{2}=\begin{pmatrix} 37&54\\81&118 \end{pmatrix}, qui est bien A3A^{3}.

Ce résultat porte le nom de Cayley, qui l'énonce en 1858 dans son mémoire fondateur sur les matrices et le vérifie en dimensions 22 et 33, et de Hamilton. Il est vrai en toute dimension.

Dans l'édifice

Thèmes

matrices, inverse, déterminant, trace et cayley-hamilton

Notions

matrices (espace des), inversible, déterminant

Ouvrir dans l'atlas interactif →