Soient nNn \in \mathbb{N}^* et AMn(K)A \in \mathcal{M}_n(\mathbb{K}) une matrice carrée. On considère la matrice par blocs MM définie dans M2n(K)\mathcal{M}_{2n}(\mathbb{K}) par :

M=(A4AAA)M = \begin{pmatrix} A & 4A
A & A \end{pmatrix}

Déterminer l'expression du polynôme caractéristique de MM, noté χM\chi_M, en fonction de celui de AA, noté χA\chi_A.

1.

On pourra remarquer que MM s'écrit comme un produit par blocs faisant intervenir la matrice S=(1411)S = \begin{pmatrix} 1 & 4
1 & 1 \end{pmatrix}
.

2.

Chercher à diagonaliser SS pour en déduire une matrice de passage par blocs permettant de transformer MM en une matrice diagonale par blocs.

3.

Utiliser les propriétés du déterminant pour relier det(XIn3A)\det(XI_n - 3A) et det(XIn+A)\det(XI_n + A) au polynôme χA\chi_A.

Idées clés

Réduction d'une matrice par blocs via la réduction de la "matrice squelette" associée.

Relation entre le polynôme caractéristique d'une matrice AA et celui de ses multiples λA\lambda A.

Utilisation de la structure de bloc-diagonale pour le calcul du déterminant.

1. Analyse de la structure de MM.

On observe que la matrice MM peut s'écrire sous la forme d'un produit par blocs :

M=(1A4A1A1A)M = \begin{pmatrix} 1 \cdot A & 4 \cdot A
1 \cdot A & 1 \cdot A \end{pmatrix}

Posons la matrice S=(1411)M2(K)S = \begin{pmatrix} 1 & 4
1 & 1 \end{pmatrix} \in \mathcal{M}_2(\mathbb{K})
. Le calcul du polynôme caractéristique de SS donne :

χS(X)=det(XI2S)=(X1)24=(X12)(X1+2)=(X3)(X+1)\chi_S(X) = \det(XI_2 - S) = (X-1)^2 - 4 = (X-1-2)(X-1+2) = (X-3)(X+1)

Les valeurs propres de SS sont donc 33 et 1-1. Comme SS possède deux valeurs propres distinctes en dimension 22, elle est diagonalisable.

2. Réduction de la matrice SS.

Cherchons les vecteurs propres de SS. Un calcul direct montre que :

  • Pour λ=3\lambda = 3 : S(21)=(63)=3(21)S \begin{pmatrix} 2
    1 \end{pmatrix} = \begin{pmatrix} 6
    3 \end{pmatrix} = 3 \begin{pmatrix} 2
    1 \end{pmatrix}
    .
  • Pour λ=1\lambda = -1 : S(21)=(21)=1(21)S \begin{pmatrix} 2
    -1 \end{pmatrix} = \begin{pmatrix} -2
    1 \end{pmatrix} = -1 \begin{pmatrix} 2
    -1 \end{pmatrix}
    .

En posant P=(2211)P = \begin{pmatrix} 2 & 2
1 & -1 \end{pmatrix}
, on a la relation de similitude P1SP=DP^{-1}SP = D avec D=(3001)D = \begin{pmatrix} 3 & 0
0 & -1 \end{pmatrix}
.

3. Construction d'une similitude par blocs pour MM.

Définissons la matrice PM2n(K)\mathcal{P} \in \mathcal{M}_{2n}(\mathbb{K}) par blocs en utilisant les coefficients de PP :

P=(2In2InInIn)\mathcal{P} = \begin{pmatrix} 2I_n & 2I_n
I_n & -I_n \end{pmatrix}

Cette matrice est inversible et son inverse est P1=14(In2InIn2In)\mathcal{P}^{-1} = \frac{1}{4} \begin{pmatrix} I_n & 2I_n
I_n & -2I_n \end{pmatrix}
. Par un calcul de produit par blocs, on obtient :

P1MP=(3A00A)\mathcal{P}^{-1} M \mathcal{P} = \begin{pmatrix} 3A & 0
0 & -A \end{pmatrix}

4. Calcul du polynôme caractéristique.

Deux matrices semblables ayant le même polynôme caractéristique, on en déduit :

χM(X)=det(XI2nP1MP)=det(XIn3A00XIn+A)\chi_M(X) = \det(XI_{2n} - \mathcal{P}^{-1} M \mathcal{P}) = \det \begin{pmatrix} XI_n - 3A & 0
0 & XI_n + A \end{pmatrix}

Par la formule du déterminant d'une matrice diagonale par blocs, il vient :

χM(X)=det(XIn3A)×det(XIn+A)\chi_M(X) = \det(XI_n - 3A) \times \det(XI_n + A)

5. Expression finale en fonction de χA\chi_A.

Exprimons chaque facteur à l'aide de χA(X)=det(XInA)\chi_A(X) = \det(XI_n - A) :

  • Pour le premier bloc :
    det(XIn3A)=det(3(X3InA))=3nχA(X3)\det(XI_n - 3A) = \det\left( 3 \left( \frac{X}{3}I_n - A \right) \right) = \boxed{ 3^n \chi_A\left( \frac{X}{3} \right) }

  • Pour le second bloc :
    det(XIn+A)=det(XIn(A))=det((XInA))=(1)ndet(XInA)\det(XI_n + A) = \det(XI_n - (-A)) = \det( -(-XI_n - A) ) = (-1)^n \det(-XI_n - A)
    D'où :
    det(XIn+A)=(1)nχA(X)\det(XI_n + A) = \boxed{ (-1)^n \chi_A(-X) }

En regroupant les résultats, on obtient l'expression finale :

χM(X)=(3)nχA(X)χA(X3)\boxed{ \chi_M(X) = (-3)^n \chi_A(-X) \chi_A\left( \frac{X}{3} \right) }

Une erreur fréquente consiste à appliquer la formule det(ABCD)=det(ADBC)\det \begin{pmatrix} \mathcal{A} & \mathcal{B}
\mathcal{C} & \mathcal{D} \end{pmatrix} = \det(\mathcal{A}\mathcal{D} - \mathcal{B}\mathcal{C})
. Celle-ci n'est licite que si les blocs commutent (par exemple si CD=DC\mathcal{C}\mathcal{D} = \mathcal{D}\mathcal{C}). Ici, les blocs sont A,4A,AA, 4A, A et AA, ils commutent tous entre eux, donc la formule aurait fonctionné, mais la méthode de réduction par blocs est plus générale et plus robuste.