Considérez la matrice réelle définie par :
Soit $f$ l’endomorphisme de $\R^3$ canoniquement associé à la matrice $A.$
Note. Dans la suite de ce contenu, la notation $I$ désignera la matrice identité ou, pour ne pas surcharger les notations, l’identité de $\R^3.$
Notez $e_1 = (1,0,0)\comma$ $e_2 = (0,1,0)$ et $e_3 = (0,0,1)$ les trois vecteurs de la base canonique de $\R^3.$
La matrice de $f$ montre que :
Du coup, par linéarité :
Trigonaliser $A$ revient à déterminer une base dans laquelle la matrice de l’endomorphisme $f$ est triangulaire supérieure.
Déterminez une valeur propre de $f$
Le démarrage est le plus délicat. L’idée est de construire des itérés d’un même vecteur par $f$ pour en déduire un polynôme annulateur de ce vecteur, qui fournira l’existence d’une valeur propre de $f$ parmi un nombre fini de candidats possibles.
Partez du vecteur $e_1 = (1,0,0)\comma$ vous allez itérer $f$ une première fois.
Poursuivez et itérez à nouveau. Vous noterez $f^2 = f\circ f$ la composition de $f$ avec lui-même.
Continuez d’itérer.
La famille $(e_1,f(e_1), f^2(e_1),f^3(e_1))$ comporte quatre vecteurs dans un espace de dimension trois, elle est donc liée.
Vous avez :
Par opérations élémentaires utilisant la première ligne, vous aboutissez à :
Vous permutez première et deuxième ligne pour obtenir :
Vous combinez la troisième ligne et la première :
Puis vous éliminez $e_3$ à partir des deux dernières équations.
Ainsi $(f^3-7f^2+16f-12I)(e_1)=0.$
Factorisez le polynôme $X^3-7X^2+16X-12$
Lorsque $X=2\comma$ $X^3-7X^2+16X-12 = 0.$
Le polynôme $X^3-7X^2+16X-12$ est donc factorisable par $X-2.$
Vous calculez alors :
Déduisez-en une valeur propre de $f$
Puisque $(f-2I)^2(f-3I)(e_1)=0$ les deux endomorphismes $f-2I$ et $f-3I$ ne peuvent être simultanément injectifs, sinon $e_1$ serait nul. À ce stade, $f$ admet $2$ ou $3$ pour valeur propre, mais vous ne savez pas encore laquelle convient, ni si les deux conviennent.
Formez l’endomorphisme $f-2I$ et déterminez, si possible, un vecteur non nul de son noyau.
Si $(x,y,z)$ appartient au noyau de $f-2I\comma$ alors :
Prenez $z=4\comma$ $y=3$ et $x=4y-2z = 12-8 = 4.$
Et vérifiez.
Le vecteur $v=(4, 3, 4)$ est bien un vecteur propre de $f\comma$ associé à la valeur propre $2.$
Décomposez l’espace en somme directe
Comme $2$ est valeur propre de $f\comma$ vous formez l’espace propre généralisé $F = \ker(f-2I)^3$ ainsi que l’image correspondante $G=\mathrm{Im}(f-2I)^3.$
Par le théorème du rang appliqué à l’endomorphisme $(f-2I)^3\comma$ $\dim F + \dim G = 3.$
Il reste à montrer que $F\cap G = \{0\}.$
Soit $x\in F\cap G.$
Alors $(f-2I)^3(x) = 0$ et d’autre part, il existe $y\in\R^3$ tel que $x = (f-2I)^3(y).$
Par suite, $(f-2I)^6(y)=0.$
L’ensemble $\{n\in \N^{*}, (f-2I)^n(y)=0\}$ est une partie de $\N$ qui est non vide puisqu’elle contient $6.$
Notez $m$ son minimum, alors $m\geq 1.$
Considérez la famille $(y, \dots, (f-2I)^{m-1}(y)).$ Cette famille est libre.
En effet si ce n’était pas le cas, il existerait $(\lambda_0, \dots, \lambda_{m-1})\in\R^{m}$ tel que $\sum_{i=0}^{m-1} \lambda_i (f-2I)^{i}(y) =0$ et $(\lambda_0, \dots, \lambda_{m-1})\neq (0,\dots,0).$ Notez $j$ le plus petit indice des valeurs de $i$ comprises entre $0$ et $m-1$ tel que $\lambda_j$ soit non nul.
Vous en déduisez $\sum_{i=j}^{m-1} \lambda_i (f-2I)^{i}(y) =0$ et en multipliant par $(f-2I)^{m-j}\comma$ vous aboutissez à $\lambda_j=0\comma$ contradiction.
La famille susmentionnée contient $m$ vecteurs donc $m$ est inférieur à la dimension de l’espace et par suite $m\leq 3.$
De $(f-2I)^m(y) = 0$ et de $m\leq 3$ vous déduisez $(f-2I)^3(y)=0$ ce qui est précisément $x=0.$
Ainsi $\R^3 = F\oplus G.$
Déterminez une base de $F$ et une base de $G$
Les calculs fournissent :
Ainsi l’expression de l’endomorphisme $(f-2I)^3$ est :
L’espace vectoriel $F$ est donc de dimension $2$ et il est engendré par $v_1 = (4,-3,0)$ et $v_2=(2,0,1).$
L’espace vectoriel $G$ est de dimension $1$ et il est engendré par $v_3=(1, 1, 1).$
Il est rapide de vérifier que les espaces $F$ et $G$ sont stables par $f.$
Restreint à $F\comma$ l’endomorphisme $f-2I$ est nilpotent.
Déterminer une base agréable d’un endomorphisme nilpotent $N$ c’est d’abord trouver une base de $\ker N$ puis la compléter en une base de $\ker N^2\comma$ que vous complétez en une base de $\ker N^3$ et ainsi de suite.
Pour le cas étudié ici, vous choisissez d’abord un vecteur non nul de $\ker(f-2I)\comma$ le vecteur propre $t=4v_2-v_1 = (4,3,4)$ convient. Ensuite, le vecteur $v_2\comma$ non colinéaire à $t=4v_2-v_1$ convient pour finir la base puisque $F$ est de dimension $2.$
Vous avez déjà $f(t)=2t.$
Vous pouvez vérifier que $f(v_2)$ appartient bien à $F.$
En effet :
De même vous pouvez vérifier que $f(v_3)$ appartient bien à $G.$
Concluez
Considérez la matrice :
elle est formée en colonnes par les vecteurs $(4v_2-v_1, v_2, v_3)\comma$ famille qui regroupe une base de $F$ suivie d’une base de $G\comma$ ce qui en fait une base de $\R^3.$ La matrice $P$ est donc inversible.
Comme attendu :
est bien triangulaire supérieure, c’est la matrice de $f$ dans la base $(t, v_2, v_3).$
