WikiPrépaLivrets

Soit la matrice AA de M3(R)\mathcal{M}_3(\mathbb{R}) définie par :

A=(5−418−7212−124)A = \begin{pmatrix} 5 & -4 & 1
8 & -7 & 2
12 & -12 & 4 \end{pmatrix}

  1. Déterminer les valeurs propres de AA et montrer que AA est diagonalisable.
  2. Expliciter une matrice P∈GL3(R)P \in GL_3(\mathbb{R}) et une matrice diagonale DD telles que A=PDP−1A = PDP^{-1}.
  3. On cherche à résoudre l'équation B2=AB^2 = A d'inconnue B∈M3(R)B \in \mathcal{M}_3(\mathbb{R}).
    1. En utilisant la réduction de AA, proposer une solution BB qui ne soit ni égale à AA, ni à −A-A.
    2. Vérifier le résultat par le calcul.

1.

Commencer par calculer le polynôme caractéristique χA(X)\chi_A(X) pour trouver les valeurs propres {0,1}\{0, 1\}.

2.

Pour la question 3, remarquer que si B2=AB^2 = A, alors en posant M=P−1BPM = P^{-1}BP, on doit avoir M2=DM^2 = D.

3.

Ne pas se limiter aux matrices MM diagonales ; utiliser le fait que le sous-espace propre associé à la valeur propre 11 est de dimension 2 pour construire une matrice MM non diagonale.

Idées clés

•

Réduction d'un endomorphisme (diagonalisation).

•

Lien entre les racines carrées d'une matrice et les racines carrées de sa forme réduite.

•

Liberté de choix dans les blocs de la matrice racine carrée lorsque les multiplicités sont supérieures à 1.

Résolution.

  1. Recherche des éléments propres. Calculons le polynôme caractéristique de AA :
    χA(X)=det⁡(XI−A)=∣X−54−1−8X+7−2−1212X−4∣\chi_A(X) = \det(XI - A) = \begin{vmatrix} X-5 & 4 & -1
    -8 & X+7 & -2
    -12 & 12 & X-4 \end{vmatrix}
    En effectuant C1←C1+C2C_1 \leftarrow C_1 + C_2, on fait apparaître un facteur commun :
    χA(X)=∣X−14−1X−1X+7−2012X−4∣=(X−1)∣14−11X+7−2012X−4∣\chi_A(X) = \begin{vmatrix} X-1 & 4 & -1
    X-1 & X+7 & -2
    0 & 12 & X-4 \end{vmatrix} = (X-1) \begin{vmatrix} 1 & 4 & -1
    1 & X+7 & -2
    0 & 12 & X-4 \end{vmatrix}
    Puis L2←L2−L1L_2 \leftarrow L_2 - L_1 :
    χA(X)=(X−1)∣14−10X+3−1012X−4∣=(X−1)[(X+3)(X−4)+12]\chi_A(X) = (X-1) \begin{vmatrix} 1 & 4 & -1
    0 & X+3 & -1
    0 & 12 & X-4 \end{vmatrix} = (X-1) [ (X+3)(X-4) + 12 ]
    χA(X)=(X−1)(X2−X−12+12)=X(X−1)2\chi_A(X) = (X-1) (X^2 - X - 12 + 12) = X(X-1)^2
    Les valeurs propres sont λ1=0\lambda_1 = 0 (simple) et λ2=1\lambda_2 = 1 (double). Cherchons le sous-espace propre E1=ker⁡(A−I)E_1 = \ker(A - I) :
    (x,y,z)∈E1  ⟺  4x−4y+z=0(x,y,z) \in E_1 \iff 4x - 4y + z = 0
    C'est un plan vectoriel (dim⁡E1=2\dim E_1 = 2). Comme la dimension de chaque sous-espace propre est égale à la multiplicité de la valeur propre correspondante, la matrice AA est diagonalisable.
    Sp(A)={0,1} et A est diagonalisable.\boxed{\text{Sp}(A) = \{0, 1\} \text{ et } A \text{ est diagonalisable.}}

  2. Diagonalisation explicite. Pour E1E_1, on choisit deux vecteurs non colinéaires vérifiant 4x−4y+z=04x - 4y + z = 0 : v2=(110)v_2 = \begin{pmatrix} 1
    1
    0 \end{pmatrix}
    et v3=(014)v_3 = \begin{pmatrix} 0
    1
    4 \end{pmatrix}
    . Pour E0=ker⁡(A)E_0 = \ker(A), on résout le système : {5x−4y+z=08x−7y+2z=0  ⟹  {z=4y−5x8x−7y+2(4y−5x)=0  ⟹  {z=4y−5x−2x+y=0\begin{cases} 5x - 4y + z = 0
    8x - 7y + 2z = 0 \end{cases} \implies \begin{cases} z = 4y - 5x
    8x - 7y + 2(4y - 5x) = 0 \end{cases} \implies \begin{cases} z = 4y - 5x
    -2x + y = 0 \end{cases}
    Soit y=2xy=2x et z=3xz=3x. On prend v1=(123)v_1 = \begin{pmatrix} 1
    2
    3 \end{pmatrix}
    . On pose alors :
    P=(1102013−44)etD=(000010001)P = \begin{pmatrix} 1 & 1 & 0
    2 & 0 & 1
    3 & -4 & 4 \end{pmatrix}   \text{et}   D = \begin{pmatrix} 0 & 0 & 0
    0 & 1 & 0
    0 & 0 & 1 \end{pmatrix}

  3. Recherche d'une racine carrée BB.
    1. On cherche BB sous la forme B=PMP−1B = PMP^{-1} avec M2=DM^2 = D. La matrice MM doit être de la forme (0000ab0cd)\begin{pmatrix} 0 & 0 & 0
      0 & a & b
      0 & c & d \end{pmatrix}
      avec (abcd)2=I2\begin{pmatrix} a & b
      c & d \end{pmatrix}^2 = I_2
      . Au lieu de prendre une matrice diagonale pour MM (ce qui donnerait B=AB=A ou B=−AB=-A), on peut choisir une matrice de symétrie non diagonale, par exemple :
      M=(000001010)M = \begin{pmatrix} 0 & 0 & 0
      0 & 0 & 1
      0 & 1 & 0 \end{pmatrix}
      On vérifie bien que M2=diag(0,1,1)=DM^2 = \text{diag}(0, 1, 1) = D. Calculons P−1P^{-1}. Par la méthode de la co-matrice ou du pivot de Gauss, on trouve det⁡(P)=−1\det(P) = -1 et :
      P−1=(−44−15−418−72)P^{-1} = \begin{pmatrix} -4 & 4 & -1
      5 & -4 & 1
      8 & -7 & 2 \end{pmatrix}
      On calcule ensuite B=PMP−1B = PM P^{-1} :
      PM=(1102013−44)(000001010)=(00101004−4)PM = \begin{pmatrix} 1 & 1 & 0
      2 & 0 & 1
      3 & -4 & 4 \end{pmatrix} \begin{pmatrix} 0 & 0 & 0
      0 & 0 & 1
      0 & 1 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 & 1
      0 & 1 & 0
      0 & 4 & -4 \end{pmatrix}
      D'où :
      B=(00101004−4)(−44−15−418−72)=(8−725−41−1212−4)B = \begin{pmatrix} 0 & 0 & 1
      0 & 1 & 0
      0 & 4 & -4 \end{pmatrix} \begin{pmatrix} -4 & 4 & -1
      5 & -4 & 1
      8 & -7 & 2 \end{pmatrix} = \begin{pmatrix} 8 & -7 & 2
      5 & -4 & 1
      -12 & 12 & -4 \end{pmatrix}
      B=(8−725−41−1212−4)\boxed{B = \begin{pmatrix} 8 & -7 & 2
      5 & -4 & 1
      -12 & 12 & -4 \end{pmatrix}}

    2. Vérification. Calculons B2B^2 :
      B2=(8−725−41−1212−4)(8−725−41−1212−4)=(64−35−24−56+28+2416−7−840−20−12−35+16+1210−4−4−96+60+4884−48−48−24+12+16)B^2 = \begin{pmatrix} 8 & -7 & 2
      5 & -4 & 1
      -12 & 12 & -4 \end{pmatrix} \begin{pmatrix} 8 & -7 & 2
      5 & -4 & 1
      -12 & 12 & -4 \end{pmatrix} = \begin{pmatrix} 64-35-24 & -56+28+24 & 16-7-8
      40-20-12 & -35+16+12 & 10-4-4
      -96+60+48 & 84-48-48 & -24+12+16 \end{pmatrix}
      B2=(5−418−7212−124)=AB^2 = \begin{pmatrix} 5 & -4 & 1
      8 & -7 & 2
      12 & -12 & 4 \end{pmatrix} = A
      Le résultat est correct et B≠±AB \neq \pm A.

L'erreur classique est de penser que toutes les racines carrées d'une matrice AA sont des polynômes en AA. Si tel était le cas, BB commuterait avec toutes les matrices commutant avec AA, et BB serait nécessairement diagonale dans la même base que AA. Ici, l'existence d'une valeur propre multiple autorise des racines carrées "exotiques" qui ne sont pas des polynômes de AA.