Diagonalisation

Sujet 22 - Exercice 1

1 h 30 min
125
On considère l'endomorphisme ff de R3\mathbb{R}^3 dont la matrice représentative A=MatB(f)A = \mathrm{Mat}_B(f), dans la base BB est :
A=(311202335)A = \begin{pmatrix} 3 & 1 & 1 \\ -2 & 0 & -2 \\ 3 & 3 & 5 \\ \end{pmatrix}
Question 1

Déterminer le polynôme caractéristique, noté dans cet exercice Pf3P_{f-3}, de ff.

Correction
Le polynôme caractéristique Pf3P_{f-3} de ff est donné par :
Pf3(λ)=3λ1120λ2335λ=3λ112λ2335λP_{f-3}(\lambda) = \left| \begin{array}{ccc} 3 - \lambda & 1 & 1 \\ -2 & 0 - \lambda & -2 \\ 3 & 3 & 5 - \lambda \\ \end{array} \right| = \left| \begin{array}{ccc} 3 - \lambda & 1 & 1 \\ -2 & - \lambda & -2 \\ 3 & 3 & 5 - \lambda \\ \end{array} \right|
En développant sur la première ligne, on trouve que :
Pf3(λ)=(3λ)λ235λ1×2235λ+1×2λ33P_{f-3}(\lambda) = (3-\lambda) \left| \begin{array}{cc} -\lambda & -2 \\ 3 & 5 - \lambda \\ \end{array} \right| -1 \times \left| \begin{array}{cc} -2 & -2 \\ 3 & 5 - \lambda \\ \end{array} \right| + 1 \times \left| \begin{array}{cc} -2 & - \lambda \\ 3 & 3 \\ \end{array} \right|
Soit :
Pf3(λ)=(3λ)(λ(5λ)3×(2))((2)(5λ)3×(2))+(2)×33×(λ)P_{f-3}(\lambda) = (3-\lambda)(-\lambda(5-\lambda)-3\times(-2))-((-2)(5-\lambda)-3\times(-2))+(-2)\times 3-3\times(-\lambda)
D'où :
Pf3(λ)=(3λ)(λ25λ+6)(2λ10+6)6+3λP_{f-3}(\lambda) = (3-\lambda)(\lambda^2-5\lambda+6)- (2\lambda-10+6)-6+3\lambda
Ce qui nous permet d'écrire :
Pf3(λ)=λ3+5λ26λ+3λ215λ+182λ+46+3λP_{f-3}(\lambda) = -\lambda^3+5\lambda^2-6\lambda + 3\lambda^2-15\lambda+18 -2\lambda+4-6+3\lambda
Ainsi :
Pf3(λ)=λ3+8λ220λ+16P_{f-3}(\lambda) = - \lambda^3 + 8 \lambda^2 - 20 \lambda + 16
On constate que la valeur λ=2\lambda = {\color{blue}{2}} est une racine évidente de Pf3P_{f-3}. En effet :
Pf3(λ=2)=(2)3+8(2)220×2+16=8+8×440+16P_{f-3}(\lambda={\color{blue}{2}}) = - (2)^3 + 8 (2)^2 - 20 \times 2 + 16 = -8 +8 \times 4 - 40 + 16
Soit encore :
Pf3(λ=2)=8+3240+16=4848=0P_{f-3}(\lambda={\color{blue}{2}}) = -8 + 32 - 40 + 16 =48 - 48 = 0
On va donc pouvoir factoriser ce polynôme Pf3P_{f-3}.
La méthode de Ho¨rnerHörner (WilliamGeorgeHorner,matheˊmaticienbritannique,17861837\it{William \,\, George \,\, Horner, \,\, mathématicien \,\,britannique, \,\, 1786 - 1837}) nous donne :
1820162212161680\begin{array}{|c|c|c|c|c|} \hline & -1 & 8 & -20 & 16 \\ \hline {\color{blue}{2}} & \downarrow & -2 & 12 & -16 \\ \hline & -1 & 6 & -8 & {\color{red}{0}} \\ \hline \end{array}
Ce qui nous donne :
Pf3(λ)=(λ2)(λ2+6λ8)=(λ2)(λ26λ+8)P_{f-3}(\lambda) = (\lambda - {\color{blue}{2}}) (-\lambda^2 + 6\lambda - 8) = -(\lambda - {\color{blue} {2}}) (\lambda^2 - 6\lambda + 8)
Or, on peut aisément factoriser le terme λ26λ+8\lambda^2 - 6\lambda + 8. En effet, on trouve que ses racines sont 22 et 44. On a alors :
Pf3(λ)=(λ2)(λ2)(λ4)P_{f-3}(\lambda) = -(\lambda - {\color{blue}{2}}) (\lambda-2)(\lambda-4)
D'où la forme finale suivante :
Pf3(λ)=(1)3(λ2)2(λ4)1P_{f-{\color{green}{3}}}(\lambda) = (-1)^{\color{green}{3}}(\lambda - {\color{blue}{2}})^{\color{Purple}{2}} (\lambda-{\color{red}{4}})^1
Question 2

En déduire les valeurs propres de ff.

Correction
Les valeurs propres de ff sont :
\bullet \,\, λ=2\lambda = {\color{blue}{2}} de multiplicité (ou dégénérescence) 2{\color{Purple}{2}} ;
\bullet \bullet \,\, λ=4\lambda = {\color{red}{4}} de multiplicité (ou dégénérescence) 11.
Question 3

Montrer que ff est diagonalisable, et déterminer une base BpB_p de vecteurs propres.

Correction
Notons par :
\bullet \,\, E2E_{\color{blue}{2}} le sous espace propre associé à la valeur propre 2{\color{blue}{2}} ;
\bullet \bullet \,\, E4E_{\color{red}{4}} le sous espace propre associé à la valeur propre 4{\color{red}{4}}.
Soit (x;y;z)R3(x\,;\,y\,;\,z) \in \mathbb{R}^3. On note VV le vecteur suivant :
V=(xyz)V = \left(\begin{array}{c} x \\ y \\ z \\ \end{array} \right)
\bullet \,\, Le vecteur VV appartient au sous espace E2E_{\color{blue}{2}} si :
(A2I3)V=O3(321120223352)(xyz)=(000)(A-{\color{blue}{2}}\mathbb{I}_3)V=\mathbb{O}_3 \,\,\,\,\,\, \Longleftrightarrow \,\,\,\,\,\, \begin{pmatrix} 3-{\color{blue}{2}} & 1 & 1 \\ -2 & 0-{\color{blue}{2}} & -2 \\ 3 & 3 & 5-{\color{blue}{2}} \\ \end{pmatrix} \left( \begin{array}{c} x \\ y \\ z \\ \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \\ 0 \\ \end{array} \right)
Ce qui nous donne :
(111222333)(xyz)=(000)\begin{pmatrix} 1 & 1 & 1 \\ -2 & -2 & -2 \\ 3 & 3 & 3 \\ \end{pmatrix} \left( \begin{array}{c} x \\ y \\ z \\ \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \\ 0 \\ \end{array} \right)
Ce qui nous conduit à :
x+y+z=0x + y + z = 0
Comme dimE2=2\dim E_{\color{blue}{2}} = 2 on doit donc trouver 2{\color{blue}{2}} deux vecteurs propres non colinéaires. On peut donc choisir, par exemple :
V12=(101)etV22=(011)V_{1-{\color{blue}{2}}} = \left( \begin{array}{c} 1 \\ 0 \\ -1 \\ \end{array} \right) \,\,\,\,\,\, \mathrm{et} \,\,\,\,\,\, V_{2-{\color{blue}{2}}} = \left( \begin{array}{c} 0 \\ 1 \\ -1 \\ \end{array} \right)
Le vecteur VV appartient au sous espace E4E_{\color{red}{4}} si :
(A4I3)V=O3(341120423354)(xyz)=(000)(A-{\color{red}{4}}\mathbb{I}_3)V=\mathbb{O}_3 \,\,\,\,\,\, \Longleftrightarrow \,\,\,\,\,\, \begin{pmatrix} 3-{\color{red}{4}} & 1 & 1 \\ -2 & 0-{\color{red}{4}} & -2 \\ 3 & 3 & 5-{\color{red}{4}} \\ \end{pmatrix} \left( \begin{array}{c} x \\ y \\ z \\ \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \\ 0 \\ \end{array} \right)
Ce qui nous donne :
(111242331)(xyz)=(000) \begin{pmatrix} -1 & 1 & 1 \\ -2 & -4 & -2 \\ 3 & 3 & 1 \\ \end{pmatrix} \left( \begin{array}{c} x \\ y \\ z \\ \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \\ 0 \\ \end{array} \right)
Ainsi :
{x+y+z=02x4y2z=03x+3y+z=0\left\lbrace \begin{array}{rcrcrcl} - x & + & y & + & z & = & 0 \\ - 2x & - & 4y & - & 2z & = & 0 \\ 3x & + & 3y & + & z & = & 0 \\ \end{array} \right.
Multiplions la première ligne par 66, la deuxième par 3-3 et, la troisième par 22. Ainsi, on obtient le système :
{6x+6y+6z=06x+12y+6z=06x+6y+2z=0\left\lbrace \begin{array}{rcrcrcl} - 6x & + & 6y & + & 6z & = & 0 \\ 6x & + & 12y & + & 6z & = & 0 \\ 6x & + & 6y & + & 2z & = & 0 \\ \end{array} \right.
Maintenant, remplaçons la deuxième ligne par la somme de la première et de la deuxième ligne ; et faisons de même avec la troisième ligne (qui sera remplacée para somme de la première et de la troisième ligne). On obtient alors :
{6x+6y+6z=018y+12z=012y+8z=0 \left\lbrace \begin{array}{rcrcrcl} - 6x & + & 6y & + & 6z & = & 0 \\ & & 18y & + & 12z & = & 0 \\ & & 12y & + & 8z & = & 0 \\ \end{array} \right.
En divisant la première par 66, la deuxième 66 et la troisième par 44, on trouve que :
{x+y+z=03y+2z=03y+2z=0\left\lbrace \begin{array}{rcrcrcl} - x & + & y & + & z & = & 0 \\ & & 3y & + & 2z & = & 0 \\ & & 3y & + & 2z & = & 0 \\ \end{array} \right.
Il n' a donc que les deux lignes suivantes :
{x+y+z=03y+2z=0\left\lbrace \begin{array}{rcrcrcl} - x & + & y & + & z & = & 0 \\ & & 3y & + & 2z & = & 0 \\ \end{array} \right.
En effectuant, dans cet ordre, la soustraction de la seconde avec la première, on trouve que :
x+2y+z=0x + 2y + z = 0
Il suffit donc de choisir, par exemple, les valeurs suivante :
{x=1y=2z=3V4=(123)\left\lbrace \begin{array}{rcl} x & = & 1 \\ y & = & -2 \\ z & = & 3 \\ \end{array} \right. \,\,\,\,\,\,\,\, \Longrightarrow \,\,\,\,\,\,\,\, V_{\color{red}{4}} = \left( \begin{array}{c} 1 \\ -2 \\ 3 \\ \end{array} \right)
On constate que :
dimE2=2etdimE4=1\dim E_{\color{blue}{2}} = {\color{purple}{2}} \,\,\,\,\,\,\,\, \mathrm{et} \,\,\,\,\,\,\,\, \dim E_{\color{red}{4}} = 1
Donc l'ensemble des vecteurs {V12;V22;V4}\left\lbrace V_{1-{\color{blue}{2}}} \,;\,V_{2-{\color{blue}{2}}} \,;\, V_{\color{red}{4}} \right\rbrace forme unebasepropreBp{\bf{une \,\, base \,\, propre}} \,\, B_p de l'endomorphisme ff.
Ainsi, lendomorphismeeˊtudieˊestdiagonalisable{\color{red}{\bf{l'endomorphisme \,\, étudié \,\, est \,\, diagonalisable}}}.
On a alors :
Bp={(101);(011);(123)}VA=(200020004)B_p = \left\lbrace \left( \begin{array}{c}{\color{blue}{1}} \\ {\color{blue}{0}} \\ {\color{blue}{-1 }} \\ \end{array} \right) \,;\, \left( \begin{array}{c} {\color{blue}{0}} \\ {\color{blue}{1}} \\ {\color{blue}{-1 }} \\ \end{array} \right) \,;\, \left( \begin{array}{c} {\color{red}{1}} \\ {\color{red}{-2}} \\ {\color{red}{3}} \\ \end{array} \right) \right\rbrace \,\,\,\,\, \Longrightarrow \,\,\,\,\, V_A = \begin{pmatrix} {\color{blue}{2}} & 0 & 0 \\ 0 & {\color{blue}{2}} & 0 \\ 0 & 0 & {\color{red}{4}} \\ \end{pmatrix}
Avec, bien évidement VA=MatBp(f)V_A = \mathrm{Mat}_{B_p}(f). Et on note :
P=(101012113)P = \begin{pmatrix} {\color{blue}{1}} & {\color{blue}{0}} &{\color{red}{1}} \\ {\color{blue}{0}} & {\color{blue}{1}} &{\color{red}{-2}} \\ {\color{blue}{-1}}& {\color{blue}{-1}}&{\color{red}{3}} \\ \end{pmatrix}
Question 4

Vérifier que Pf3(f)=0P_{f-3}(f) = 0. On vous demande de vérifier, dans ce cas particulier, le théorème de Cayley&HamiltonCayley \, \& \, Hamilton.

Correction
Vérifions que Pf3(A)=O3P_{f-3}(A)= \mathbb{O}_3. On a alors :
Pf3(A)=A3+8A220A+16I3P_{f-3}(A) = - A^3 + 8 A^2 - 20 A + 16\mathbb{I}_3
Avec :
A=(311202335)A2=A×A=(106612812181822)A = \begin{pmatrix} 3 & 1 & 1 \\ -2 & 0 & -2 \\ 3 & 3 & 5 \\ \end{pmatrix} \,\,\, \Longrightarrow \,\,\, A^2=A\times A = \begin{pmatrix} 10 & 6 & 6 \\ -12 & -8 & -12 \\ 18 & 18 & 22 \\ \end{pmatrix}
Et de fait :
A3=A×A×A=A2×A=(362828564856848492)A^3 = A \times A \times A = A^2 \times A = \begin{pmatrix} 36 & 28 & 28 \\ -56 & -48 & -56 \\ 84 & 84 & 92 \\ \end{pmatrix}
On a alors :
Pf3(A)=(36+8×1020×3+1628+8×620×128+8×620×156+8×(12)20×(2)48+8×(8)20×0+1656+8×(12)20×(2)84+8×1820×384+8×1820×392+8×2220×5+16)P_{f-3}(A) = \begin{pmatrix} -36+8\times10-20\times3+16 & -28+8\times6-20\times1 & -28+8\times6-20\times1 \\ 56+8\times(-12)-20\times(-2) & 48+8\times(-8)-20\times0+16 & 56+8\times(-12)-20\times(-2) \\ -84+8\times18-20\times3 & -84+8\times18-20\times3 & -92+8\times22-20\times5+16 \\ \end{pmatrix}
Ce qui nous donne :
Pf3(A)=(000000000)Pf3(A)=O3P_{f-3}(A) = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \\ \end{pmatrix} \,\,\,\,\,\, \Longleftrightarrow \,\,\,\,\,\, P_{f-3}(A) = \mathbb{O}_3
Question 5

Calculer detA\det A. Quelle conclusion pouvez-vous faire ?

Correction
On va développer suivant le deuxième colonne de la matrice AA. On a alors :
detA=1×2235+0×31353×3122\det A = -1 \times \left| \begin{array}{cc} -2 & -2 \\ 3 & 5 \\ \end{array} \right| + 0\times \left| \begin{array}{cc} 3 & 1 \\ 3 & 5 \\ \end{array} \right| -3\times \left| \begin{array}{cc} 3 & 1 \\ -2 & -2 \\ \end{array} \right|
Soit :
detA=22353×3122=(4)3×(4)\det A = -\left| \begin{array}{cc} -2 & -2 \\ 3 & 5 \\ \end{array} \right|-3 \times \left| \begin{array}{cc} 3 & 1 \\ -2 & -2 \\ \end{array} \right| = -(-4)-3 \times(-4)
D'où :
detA=4+12\det A = 4+12
On constate que :
detA=160\det A = 16 \neq 0
Donc la matrice AA est effectivement inversible, c'est une {\color{red}{\textbf{matrice régulière}}}. On notera par A1A^{-1} sa matrice inverse.
Remarque:{\color{ForestGreen}{\blacktriangledown \,\, \bf{Remarque :}}}
Dans l'expression développée du polynôme caractéristique PfnP_{f-n} d'un endomorphisme ff, son termededegreˊzeˊro{\color{Red}{terme \,\, de \,\, degré \,\, zéro}} est toujours eˊgalaudeˊterminant{\color{Red}{égal \,\, au \,\, déterminant}} de la matrice représentative MatB(f)\mathrm{Mat}_B(f) de cet endomorphisme.
Dans notre exercice, on a :
Pf3(λ)=λ3+8λ220λ+16detMatB(f)=16P_{f-3}(\lambda) = - \lambda^3 + 8 \lambda^2 - 20 \lambda + {\color{Red}{16}} \,\,\,\,\, \Longrightarrow \,\,\,\,\, \det \mathrm{Mat}_B(f) = {\color{Red}{16}}
Question 6

En déduire l'expression de la matrice inverse A1A^{-1}.

Correction
On sait que :
Pf3(A)=O3A3+8A220A+16I3=O3P_{f-3}(A) = \mathbb{O}_3 \,\,\,\,\,\, \Longleftrightarrow \,\,\,\,\,\, - A^3 + 8 A^2 - 20 A + 16\mathbb{I}_3 = \mathbb{O}_3
En multipliant par la droite par la matrice inverse A1A^{-1}, on trouve que :
A3A1+8A2A120AA1+16I3A1=O3A1- A^3A^{-1} + 8 A^2A^{-1} - 20 AA^{-1} + 16\mathbb{I}_3A^{-1} = \mathbb{O}_3A^{-1}
Soit :
A2+8A20I3+16A1=O3- A^2 + 8 A - 20 \mathbb{I}_3 + 16A^{-1} = \mathbb{O}_3
Ainsi :
16A1=A28A+20I3+O316A^{-1} = A^2 -8A + 20\mathbb{I}_3 + \mathbb{O}_3
Ce qui nous donne
16A1=(6224124662)16A^{-1} = \begin{pmatrix} 6 & -2 & -2 \\ 4 & 12 & 4 \\ -6 & -6 & 2 \\ \end{pmatrix}
Finalement :
A1=116(6224124662)A^{-1} = \dfrac{1}{16} \begin{pmatrix} 6 & -2 & -2 \\ 4 & 12 & 4 \\ -6 & -6 & 2 \\ \end{pmatrix}
En simplifiant par 22, on trouve que :
A1=18(311262331) A^{-1} = \dfrac{1}{8} \begin{pmatrix} 3 & -1 & -1 \\ 2 & 6 & 2 \\ -3 & -3 & 1 \\ \end{pmatrix}
Question 7

Soit nZn \in \mathbb{Z}. Calculer la matrice représentative de fnf^n dans la base BB.

Correction
Soit nZn \in \mathbb{Z}. On sait que les matrices AA et VAV_A sont deux matrices semblables, et que l'on a :
A=PVAP1An=PVAnP1A = P V_A P^{-1} \,\,\,\,\,\, \Longrightarrow \,\,\,\,\,\, A^n = P V_A^n P^{-1}
Avec :
P1=(101012113)1=1detPtComPP^{-1} = \begin{pmatrix} {\color{blue}{1}} & {\color{blue}{0}} & {\color{red}{1}} \\ {\color{blue}{0}} & {\color{blue}{1}} &{\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{blue}{-1}} & {\color{red}{3}} \\ \end{pmatrix}^{-1} = \dfrac{1}{\det P} \, ^t\mathrm{Com} P
Commençons par déterminer le déterminant de la matrice PP. En développant sur la première ligne, on trouve que :
detP=1×12130×0213+1×0111\det P = {\color{blue}{1}} \times \left| \begin{array}{cc} {\color{blue}{1}} & {\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| - {\color{blue}{0}} \times \left| \begin{array} {cc}{\color{blue}{0}} & {\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| + {\color{red}{1}} \times \left| \begin{array}{cc} {\color{blue}{0}} & {\color{blue}{1}} \\{\color{blue}{-1}} & {\color{blue}{-1}} \\ \end{array} \right|
Soit :
detP=1213+0111=1+1=2\det P = \left| \begin{array}{cc} {\color{blue}{1}} & {\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| + \left| \begin{array}{cc} {\color{blue}{0}} & {\color{blue}{1}} \\ {\color{blue}{-1}} & {\color{blue}{-1}} \\ \end{array} \right| = 1+1 = 2
Donc la matrice P1P^{-1} existe bien. Puis, déterminons la comatrice (ou matrice des cofacteurs) ComP\mathrm{Com} P. On a alors :
ComP=(Γ11Γ12Γ13Γ21Γ22Γ23Γ31Γ32Γ33)\mathrm{Com} P = \begin{pmatrix} \Gamma_{11} & \Gamma_{12} & \Gamma_{13} \\ \Gamma_{21} & \Gamma_{22} & \Gamma_{23} \\ \Gamma_{31} & \Gamma_{32}& \Gamma_{33} \\ \end{pmatrix}
Soit :
ComP=(121302130111011311131011011211021001)\mathrm{Com} P = \begin{pmatrix} \left| \begin{array}{cc} {\color{blue}{1}} & {\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| & - \left| \begin{array}{cc} {\color{blue}{0}} & {\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array}\right| & \left| \begin{array}{cc} {\color{blue}{0}} & {\color{blue}{1}} \\ {\color{blue}{-1}} & {\color{blue}{-1}} \\ \end{array} \right| \\ \\ - \left| \begin{array}{cc} {\color{blue}{0}} & {\color{red}{1}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| & \left| \begin{array}{cc} {\color{blue}{1}} & {\color{red}{1}} \\ {\color{blue}{-1}} & {\color{red}{3}} \\ \end{array} \right| & - \left| \begin{array}{cc} {\color{blue}{1}} & {\color{blue}{0}} \\ {\color{blue}{-1}} & {\color{blue}{-1}} \\ \end{array} \right| \\ \\ \left| \begin{array}{cc} {\color{blue}{0}} & {\color{red}{1}} \\ {\color{blue}{1}} & {\color{red}{-2}} \\ \end{array} \right| & - \left| \begin{array}{cc} {\color{blue}{1}} & {\color{red}{1}} \\ {\color{blue}{0}} & {\color{red}{-2}} \\ \end{array} \right| & \left| \begin{array}{cc} {\color{blue}{1}} & {\color{blue}{0}} \\ {\color{blue}{0}} & {\color{blue}{1}} \\ \end{array}\right| \\ \end{pmatrix}
Ce qui nous donne :
ComP=(121141121)tComP=(111242111)\mathrm{Com} P = \begin{pmatrix} 1 & 2 & 1 \\ -1 & 4 & 1 \\ -1 & 2 & 1 \\ \end{pmatrix} \,\,\,\,\,\, \Longrightarrow \,\,\,\,\,\, ^t\mathrm{Com} P = \begin{pmatrix} 1 & -1 & -1 \\ 2 & 4 & 2 \\ 1 & 1 & 1 \\ \end{pmatrix}
Ce qui nous permet d'écrire que :
P1=12(111242111)P^{-1} = \dfrac{1}{2} \begin{pmatrix} 1 & -1 & -1 \\ 2 & 4 & 2 \\ 1 & 1 & 1 \\ \end{pmatrix}
On en déduit alors que :
An=(101012113)×(200020004)n×12(111242111)A^n = \begin{pmatrix} {\color{blue}{1}} & {\color{blue}{0}} & {\color{red}{1}} \\ {\color{blue}{0}} & {\color{blue}{1}} &{\color{red}{-2}} \\ {\color{blue}{-1}}& {\color{blue}{-1}}& {\color{red}{3}} \\ \end{pmatrix} \times \begin{pmatrix} {\color{blue}{2}} & 0 & 0 \\ 0 & {\color{blue}{2}} & 0 \\ 0 & 0 & {\color{red}{4}} \\ \end{pmatrix}^n \times \dfrac{1}{2} \begin{pmatrix} 1 & -1 & -1 \\ 2 & 4 & 2 \\ 1 & 1 & 1 \\ \end{pmatrix}
Soit encore :
An=12(101012113)×(2n0002n0004n)×(111242111)A^n = \dfrac{1}{2} \begin{pmatrix} {\color{blue}{1}} & {\color{blue}{0}} &{\color{red}{1}} \\ {\color{blue}{0}} & {\color{blue}{1}} &{\color{red}{-2}} \\ {\color{blue}{-1}} & {\color{blue}{-1}} & {\color{red}{3}} \\ \end{pmatrix} \times \begin{pmatrix} {\color{blue}{2}}^n & 0 & 0 \\ 0 & {\color{blue}{2}}^n & 0 \\ 0 & 0 & {\color{red}{4}}^n \\ \end{pmatrix} \times \begin{pmatrix} 1 & -1 & -1 \\ 2 & 4 & 2 \\ 1 & 1 & 1 \end{pmatrix}
D'où :
An=12(2n04n02n2×4n2n2n3×4n)×(111242111)A^n = \dfrac{1}{2} \begin{pmatrix} {\color{blue}{2}}^n & 0 & {\color{red}{4}}^n \\ 0 & {\color{blue}{2}}^n & -{\color{red}{2}}\times{\color{red}{4}}^n \\ -{\color{blue}{2}}^n & -{\color{blue}{2}}^n & {\color{red}{3}} \times{\color{red}{4}}^n \\ \end{pmatrix} \times \begin{pmatrix} 1 & -1 & -1 \\ 2 & 4 & 2 \\ 1 & 1 & 1 \\ \end{pmatrix}
On en déduit que :
An=12(2n+4n2n+4n2n+4n2×2n2×4n4×2n2×4n2×2n2×4n3×2n+3×4n3×2n+3×4n2n+3×4n)A^n = \dfrac{1}{2} \begin{pmatrix} {\color{blue}{2}}^n + {\color{red}{4}}^n & -{\color{blue}{2}}^n + {\color{red}{4}}^n & -{\color{blue}{2}}^n + {\color{red}{4}}^n \\ 2 \times {\color{blue}{2}}^n - {\color{red}{2}}\times{\color{red}{4}}^n & 4\times {\color{blue}{2}}^n - {\color{red}{2}}\times{\color{red}{4}}^n & 2\times {\color{blue}{2}}^n - {\color{red}{2}}\times{\color{red}{4}}^n \\ -3\times {\color{blue}{2}}^n + {\color{red}{3}}\times{\color{red}{4}}^n & -3\times {\color{blue}{2}}^n + {\color{red}{3}}\times{\color{red}{4}}^n & -{\color{blue}{2}}^n + {\color{red}{3}}\times{\color{red}{4}}^n \\ \end{pmatrix}
Finalement, on trouve que :
An=(2n1+124n2n1+124n2n1+124n2n4n2n+14n2n2×4n3×2n1+32×4n3×2n1+32×4n2n1+32×4n)A^n = \begin{pmatrix} {\color{blue}{2}}^{n-1} + \dfrac{1}{2}{\color{red}{4}}^n & -{\color{blue}{2}}^{n-1} + \dfrac{1}{2}{\color{red}{4}}^n & -{\color{blue}{2}}^{n-1} + \dfrac{1}{2}{\color{red}{4}}^n \\ {\color{blue}{2}}^n - {\color{red}{4}}^n & {\color{blue}{2}}^{n+1} - {\color{red}{4}}^n &{\color{blue}{2}}^n - {\color{red}{2}} \times {\color{red}{4}}^n \\ -3\times {\color{blue}{2}}^{n-1} + \dfrac{{\color{red}{3}}}{2}\times{\color{red}{4}}^n & -3 \times {\color{blue}{2}}^{n-1} + \dfrac{{\color{red}{3}}}{2} \times {\color{red}{4}}^n & -{\color{blue}{2}}^{n-1} + \dfrac{{\color{red}{3}}}{2} \times{\color{red}{4}}^n \\ \end{pmatrix}