Soit KK un sous-corps de C\mathbb{C}. On considère les deux matrices suivantes de Mn(K)\mathcal{M}_n(K) :

A=(221232120)etB=(1422412222142241)A = \begin{pmatrix} 2 & -2 & 1
2 & -3 & 2
-1 & 2 & 0 \end{pmatrix}   \text{et}   B = \begin{pmatrix} -1 & -4 & -2 & -2
-4 & -1 & -2 & -2
2 & 2 & 1 & 4
2 & 2 & 4 & 1 \end{pmatrix}

  1. Étudier la diagonalisabilité de la matrice AA. Si elle est diagonalisable, déterminer une matrice de passage PP et une matrice diagonale DD telles que A=PDP1A = PDP^{-1}.
  2. En déduire l'expression de la puissance AnA^n pour tout entier naturel nn.
  3. Déterminer si la matrice BB est diagonalisable et, le cas échéant, donner son spectre ainsi que la dimension de ses sous-espaces propres.

1.

Pour la matrice AA, commencer par calculer le polynôme caractéristique χA(X)=det(XIA)\chi_A(X) = \det(XI - A). Pour faciliter le calcul, on pourra effectuer des opérations sur les colonnes, par exemple C2C2+2C3C_2 \leftarrow C_2 + 2C_3.

2.

Une fois les valeurs propres de AA obtenues, vérifier que la somme des dimensions des sous-espaces propres est égale à 3.

3.

Pour AnA^n, on pourra utiliser la formule An=PDnP1A^n = PD^nP^{-1} ou exploiter les projecteurs spectraux.

4.

Pour la matrice BB, observer des symétries ou des blocs. On peut tester des vecteurs colonnes simples ou remarquer que BB préserve certains sous-espaces de dimension 2 (comme celui engendré par les vecteurs dont les composantes sont égales deux à deux).

Idées clés

Calcul du polynôme caractéristique et recherche de racines évidentes.

Détermination des sous-espaces propres par résolution de systèmes linéaires.

Utilisation de la structure de blocs ou de symétries pour les matrices de grande taille.

Formule du binôme ou décomposition spectrale pour les puissances.

1. Diagonalisation de la matrice A

Calculons le polynôme caractéristique de AA :

χA(X)=det(XIA)=X2212X+3212X\chi_A(X) = \det(XI - A) = \begin{vmatrix} X-2 & 2 & -1
-2 & X+3 & -2
1 & -2 & X \end{vmatrix}

En effectuant l'opération C2C2+2C3C_2 \leftarrow C_2 + 2C_3, on obtient :

χA(X)=X2012X1212X2X\chi_A(X) = \begin{vmatrix} X-2 & 0 & -1
-2 & X-1 & -2
1 & 2X-2 & X \end{vmatrix}

On peut alors factoriser par (X1)(X-1) dans la deuxième colonne :

χA(X)=(X1)X20121212X\chi_A(X) = (X-1) \begin{vmatrix} X-2 & 0 & -1
-2 & 1 & -2
1 & 2 & X \end{vmatrix}

En effectuant L3L32L2L_3 \leftarrow L_3 - 2L_2 :

χA(X)=(X1)X20121250X+4=(X1)[(X2)(X+4)+5]\chi_A(X) = (X-1) \begin{vmatrix} X-2 & 0 & -1
-2 & 1 & -2
5 & 0 & X+4 \end{vmatrix} = (X-1) [ (X-2)(X+4) + 5 ]
χA(X)=(X1)(X2+2X3)=(X1)(X1)(X+3)=(X1)2(X+3)\chi_A(X) = (X-1)(X^2 + 2X - 3) = (X-1)(X-1)(X+3) = (X-1)^2(X+3)

Les valeurs propres sont λ1=1\lambda_1 = 1 (double) et λ2=3\lambda_2 = -3 (simple).

Sous-espace propre E1(A)E_1(A) : On résout (IA)X=0(I - A)X = 0 :

(121242121)(xyz)=(000)    x2y+z=0\begin{pmatrix} -1 & 2 & -1
-2 & 4 & -2
1 & -2 & 1 \end{pmatrix} \begin{pmatrix} x
y
z \end{pmatrix} = \begin{pmatrix} 0
0
0 \end{pmatrix} \iff x - 2y + z = 0
C'est un plan vectoriel de dimension 2. Une base est v1=(2,1,0)v_1 = (2, 1, 0) et v2=(1,0,1)v_2 = (1, 0, 1).

Sous-espace propre E3(A)E_{-3(A) :} On résout (3IA)X=0(-3I - A)X = 0 :

(521202123)(xyz)=(000)    {x=zy=2z\begin{pmatrix} -5 & 2 & -1
-2 & 0 & -2
1 & -2 & -3 \end{pmatrix} \begin{pmatrix} x
y
z \end{pmatrix} = \begin{pmatrix} 0
0
0 \end{pmatrix} \iff \begin{cases} x = -z
y = -2z \end{cases}
On trouve v3=(1,2,1)v_3 = (-1, -2, 1).

Puisque dimE1+dimE3=2+1=3\dim E_1 + \dim E_{-3} = 2 + 1 = 3, la matrice AA est diagonalisable.

D=(100010003),P=(211102011)\boxed{ D = \begin{pmatrix} 1 & 0 & 0
0 & 1 & 0
0 & 0 & -3 \end{pmatrix},   P = \begin{pmatrix} 2 & 1 & -1
1 & 0 & -2
0 & 1 & 1 \end{pmatrix} }

2. Calcul de AnA^n

On utilise la décomposition spectrale An=1nP1+(3)nP2A^n = 1^n P_1 + (-3)^n P_2, où P1P_1 et P2P_2 sont les projecteurs sur les sous-espaces propres. Puisque P1+P2=IP_1 + P_2 = I et A=P13P2A = P_1 - 3P_2, on a :

AI=(P13P2)(P1+P2)=4P2    P2=14(AI)A - I = (P_1 - 3P_2) - (P_1 + P_2) = -4P_2 \implies P_2 = -\frac{1}{4}(A - I)

P2=14(121242121)=14(121242121)P_2 = -\frac{1}{4} \begin{pmatrix} 1 & -2 & 1
2 & -4 & 2
-1 & 2 & -1 \end{pmatrix} = \frac{1}{4} \begin{pmatrix} -1 & 2 & -1
-2 & 4 & -2
1 & -2 & 1 \end{pmatrix}
Et P1=IP2=14(521202123)P_1 = I - P_2 = \frac{1}{4} \begin{pmatrix} 5 & -2 & 1
2 & 0 & 2
-1 & 2 & 3 \end{pmatrix}
.

On en déduit An=P1+(3)nP2A^n = P_1 + (-3)^n P_2 :

An=14(5(3)n2+2(3)n1(3)n22(3)n4(3)n22(3)n1+(3)n22(3)n3+(3)n)\boxed{ A^n = \frac{1}{4} \begin{pmatrix} 5 - (-3)^n & -2 + 2(-3)^n & 1 - (-3)^n
2 - 2(-3)^n & 4(-3)^n & 2 - 2(-3)^n
-1 + (-3)^n & 2 - 2(-3)^n & 3 + (-3)^n \end{pmatrix} }

3. Étude de la matrice B

Observons la structure de BB par blocs 2×22 \times 2. On remarque que BB commute avec les blocs de permutation. On teste des vecteurs simples. Soit u1=(1,1,0,0)Tu_1 = (1, -1, 0, 0)^T. On calcule Bu1=(3,3,0,0)T=3u1Bu_1 = (3, -3, 0, 0)^T = 3u_1. Donc 3Sp(B)3 \in \text{Sp}(B). Soit u2=(0,0,1,1)Tu_2 = (0, 0, 1, -1)^T. On calcule Bu2=(0,0,3,3)T=3u2Bu_2 = (0, 0, -3, 3)^T = -3u_2. Donc 3Sp(B)-3 \in \text{Sp}(B).

Considérons maintenant les vecteurs de la forme (a,a,b,b)T(a, a, b, b)^T. L'action de BB sur ces vecteurs se réduit à :

B(aabb)=(5a4b5a4b4a+5b4a+5b)B \begin{pmatrix} a
a
b
b \end{pmatrix} = \begin{pmatrix} -5a - 4b
-5a - 4b
4a + 5b
4a + 5b \end{pmatrix}
On étudie la matrice réduite M=(5445)M = \begin{pmatrix} -5 & -4
4 & 5 \end{pmatrix}
. Son polynôme caractéristique est χM(X)=X2tr(M)X+det(M)=X20X9=X29\chi_M(X) = X^2 - \text{tr}(M)X + \det(M) = X^2 - 0X - 9 = X^2 - 9. Les valeurs propres de MM sont 33 et 3-3. Pour λ=3\lambda = 3, on cherche M(ab)=3(ab)    8a4b=0    b=2aM \binom{a}{b} = 3 \binom{a}{b} \implies -8a - 4b = 0 \implies b = -2a. Le vecteur associé est u3=(1,1,2,2)Tu_3 = (1, 1, -2, -2)^T. Pour λ=3\lambda = -3, on cherche M(ab)=3(ab)    2a4b=0    a=2bM \binom{a}{b} = -3 \binom{a}{b} \implies -2a - 4b = 0 \implies a = -2b. Le vecteur associé est u4=(2,2,1,1)Tu_4 = (-2, -2, 1, 1)^T.

Le spectre de BB est donc :

Sp(B)={3,3}\boxed{ \text{Sp}(B) = \{3, -3\} }
Les dimensions des sous-espaces propres sont :
dimE3(B)=2etdimE3(B)=2\boxed{ \dim E_3(B) = 2   \text{et}   \dim E_{-3}(B) = 2 }
Puisque la somme des dimensions est 2+2=42+2=4, la matrice BB est diagonalisable.

Pour le calcul de AnA^n, une erreur classique est d'oublier que 1n=11^n = 1 même pour n=0n=0. Il est toujours prudent de vérifier la formule finale pour n=0n=0 (on doit trouver II) et n=1n=1 (on doit trouver AA).