WikiPrépaLivrets

Déterminer l'ensemble des matrices BM3(R)B \in \mathcal{M}_{3}(\mathbb{R}) vérifiant l'équation :

B2=AouˋA=(124013001)B^{2} = A   \text{où}   A = \begin{pmatrix} 1 & 2 & 4
0 & 1 & 3
0 & 0 & 1 \end{pmatrix}

1.

Commencer par étudier les valeurs propres possibles pour une solution BB en utilisant le spectre de AA.

2.

Justifier que toute solution BB doit commuter avec AA.

3.

Montrer que la matrice N=AIN = A - I est nilpotente d'indice 3. En déduire que AA est une matrice cyclique.

4.

Utiliser la structure du commutant d'une matrice cyclique pour chercher BB sous la forme d'un polynôme en NN.

5.

On pourra également s'inspirer du développement limité de (1+x)1/2(1+x)^{1/2} au voisinage de 0.

Idées clés

Spectre d'une puissance de matrice : Sp(B2)={λ2,λSp(B)}\text{Sp}(B^2) = \{ \lambda^2, \lambda \in \text{Sp}(B) \}.

Commutant et matrices cycliques : Si le polynôme minimal de AMn(K)A \in \mathcal{M}_n(\mathbb{K}) est de degré nn, alors son commutant est C(A)=K[A]C(A) = \mathbb{K}[A].

Développement en série entière de la racine carrée pour les matrices nilpotentes.

Analyse des propriétés de BB.

  1. Soit BB une solution. Puisque B2=AB^2 = A, BB commute avec AA car :
    AB=B2B=B3=BB2=BAAB = B^2 B = B^3 = B B^2 = BA
  2. Notons N=AI=(024003000)N = A - I = \begin{pmatrix} 0 & 2 & 4
    0 & 0 & 3
    0 & 0 & 0 \end{pmatrix}
    . Calculons les puissances de NN :
    N2=(006000000)etN3=0N^2 = \begin{pmatrix} 0 & 0 & 6
    0 & 0 & 0
    0 & 0 & 0 \end{pmatrix}   \text{et}   N^3 = 0
    La matrice NN est nilpotente d'indice 3. Ainsi, le polynôme (X1)3(X-1)^3 annule AA. Comme ce polynôme est de degré 3 (la taille de la matrice) et que (AI)20(A-I)^2 \neq 0, c'est le polynôme minimal de AA.
  3. Structure de BB. Puisque le degré du polynôme minimal de AA est égal à la dimension de l'espace, AA est une matrice cyclique. Son commutant est donc réduit à l'ensemble des polynômes en AA :
    C(A)=R[A]=Vect(I,A,A2)=Vect(I,N,N2)C(A) = \mathbb{R}[A] = \text{Vect}(I, A, A^2) = \text{Vect}(I, N, N^2)
    Toute solution BB est donc de la forme :
    B=aI+bN+cN2\boxed{B = aI + bN + cN^2}
    avec (a,b,c)R3(a, b, c) \in \mathbb{R}^3.

Résolution de l'équation.

  1. Exprimons B2B^2 en fonction de a,b,ca, b, c en utilisant N3=0N^3 = 0 :
    B2=(aI+bN+cN2)2=a2I+2abN+(b2+2ac)N2B^2 = (aI + bN + cN^2)^2 = a^2 I + 2ab N + (b^2 + 2ac) N^2
  2. L'équation B2=AB^2 = A devient, par identification sur la base (I,N,N2)(I, N, N^2) :
    {a2=12ab=1b2+2ac=0\begin{cases} a^2 = 1
    2ab = 1
    b^2 + 2ac = 0 \end{cases}
  3. Premier cas : a=1a = 1.
    • 2b=1    b=122b = 1 \implies b = \frac{1}{2}
    • 14+2c=0    c=18\frac{1}{4} + 2c = 0 \implies c = -\frac{1}{8}
    La première solution est B1=I+12N18N2B_1 = I + \frac{1}{2}N - \frac{1}{8}N^2. Calculons explicitement ses coefficients :
    B1=(100010001)+(012003/2000)(003/4000000)=(115/4013/2001)B_1 = \begin{pmatrix} 1 & 0 & 0
    0 & 1 & 0
    0 & 0 & 1 \end{pmatrix} + \begin{pmatrix} 0 & 1 & 2
    0 & 0 & 3/2
    0 & 0 & 0 \end{pmatrix} - \begin{pmatrix} 0 & 0 & 3/4
    0 & 0 & 0
    0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} 1 & 1 & 5/4
    0 & 1 & 3/2
    0 & 0 & 1 \end{pmatrix}
  4. Deuxième cas : a=1a = -1.
    • 2b=1    b=12-2b = 1 \implies b = -\frac{1}{2}
    • 142c=0    c=18\frac{1}{4} - 2c = 0 \implies c = \frac{1}{8}
    La seconde solution est B2=I12N+18N2=B1B_2 = -I - \frac{1}{2}N + \frac{1}{8}N^2 = -B_1.
    B2=(115/4013/2001)B_2 = \begin{pmatrix} -1 & -1 & -5/4
    0 & -1 & -3/2
    0 & 0 & -1 \end{pmatrix}

Conclusion.

L'ensemble des solutions est constitué des deux matrices suivantes :

S={(115/4013/2001),(115/4013/2001)}\boxed{ \mathcal{S} = \left\{ \begin{pmatrix} 1 & 1 & 5/4
0 & 1 & 3/2
0 & 0 & 1 \end{pmatrix}, \begin{pmatrix} -1 & -1 & -5/4
0 & -1 & -3/2
0 & 0 & -1 \end{pmatrix} \right\} }

Une erreur fréquente est de supposer immédiatement que BB est triangulaire supérieure. Bien que ce soit vrai ici, cela nécessite une justification rigoureuse (par exemple via le commutant d'une matrice cyclique ou l'étude des sous-espaces stables). Un autre oubli classique est la solution B-B.