WikiPrépaLivrets

Soit A∈M3(R)A \in \mathcal{M}_{3}(\mathbb{R}) une matrice dont le spectre est Sp(A)={1,2,−2}\text{Sp}(A) = \{1, 2, -2\}. On souhaite exprimer les puissances successives de AA en fonction de ses premières puissances.

  1. Justifier que pour tout n∈Nn \in \mathbb{N}, il existe un unique triplet de réels (αn,βn,γn)(\alpha_{n}, \beta_{n}, \gamma_{n}) tel que :
    An=αnA2+βnA+γnI3A^{n} = \alpha_{n} A^{2} + \beta_{n} A + \gamma_{n} I_3

  2. On définit le polynôme Pn=αnX2+βnX+γnP_n = \alpha_{n} X^{2} + \beta_{n} X + \gamma_{n}. Montrer que pour toute valeur propre λ\lambda de AA, on a Pn(λ)=λnP_n(\lambda) = \lambda^n. En déduire les valeurs de Pn(1)P_n(1), Pn(2)P_n(2) et Pn(−2)P_n(-2).

  3. Déterminer explicitement les coefficients αn,βn\alpha_{n}, \beta_{n} et γn\gamma_{n} en fonction de nn.

  4. Variante : On considère maintenant une matrice B∈M3(R)B \in \mathcal{M}_{3}(\mathbb{R}) de spectre {0,1,2}\{0, 1, 2\}. Montrer que pour n≥1n \geq 1, BnB^n peut s'écrire sous la forme Bn=anB2+bnBB^n = a_n B^2 + b_n B. Calculer ana_n et bnb_n.

1.

Utiliser le théorème de Cayley-Hamilton ou l'existence d'un polynôme annulateur de degré 3 pour effectuer une division euclidienne de XnX^n.

2.

Pour la question 2, évaluer la relation issue de la division euclidienne aux racines du polynôme annulateur.

3.

Pour la variante, remarquer que si 00 est valeur propre, le reste de la division de XnX^n par le polynôme caractéristique n'a pas de terme constant.

Idées clés

•

Division euclidienne de XnX^n par un polynôme annulateur PP.

•

Le reste RR vérifie An=R(A)A^n = R(A) car P(A)=0P(A)=0.

•

Évaluation aux racines pour obtenir un système linéaire sur les coefficients.

Résolution.

  1. Le polynôme caractéristique χA\chi_A de AA est scindé à racines simples puisque A∈M3(R)A \in \mathcal{M}_3(\mathbb{R}) possède trois valeurs propres distinctes. D'après le théorème de Cayley-Hamilton, χA(A)=03\chi_A(A) = 0_3. Effectuons la division euclidienne de XnX^n par χA\chi_A dans R[X]\mathbb{R}[X] : Il existe (Qn,Rn)∈R[X]2(Q_n, R_n) \in \mathbb{R}[X]^2 tels que :
    Xn=χA(X)Qn(X)+Rn(X)avecdeg⁡(Rn)<3X^n = \chi_A(X) Q_n(X) + R_n(X)   \text{avec}   \deg(R_n) < 3
    En évaluant en AA, comme χA(A)=0\chi_A(A) = 0, on obtient :
    An=Rn(A)\boxed{ A^n = R_n(A) }
    Comme deg⁡(Rn)≤2\deg(R_n) \le 2, il existe des réels αn,βn,γn\alpha_n, \beta_n, \gamma_n tels que Rn(X)=αnX2+βnX+γnR_n(X) = \alpha_n X^2 + \beta_n X + \gamma_n.

  2. Les valeurs propres de AA sont les racines de χA\chi_A. Soit λ∈{1,2,−2}\lambda \in \{1, 2, -2\}. En évaluant la relation Xn=χA(X)Qn(X)+Pn(X)X^n = \chi_A(X) Q_n(X) + P_n(X) en λ\lambda, on obtient :
    λn=0⋅Qn(λ)+Pn(λ)\lambda^n = 0 \cdot Q_n(\lambda) + P_n(\lambda)
    D'où les relations :
    Pn(1)=1n=1,Pn(2)=2n,Pn(−2)=(−2)n\boxed{ P_n(1) = 1^n = 1,   P_n(2) = 2^n,   P_n(-2) = (-2)^n }

  3. Nous devons résoudre le système suivant :
    {αn+βn+γn=14αn+2βn+γn=2n4αn−2βn+γn=(−2)n\begin{cases} \alpha_n + \beta_n + \gamma_n = 1
    4\alpha_n + 2\beta_n + \gamma_n = 2^n
    4\alpha_n - 2\beta_n + \gamma_n = (-2)^n \end{cases}
    En soustrayant les deux dernières lignes : 4βn=2n−(−2)n4\beta_n = 2^n - (-2)^n, donc :
    βn=2n−(−2)n4\boxed{ \beta_n = \frac{2^n - (-2)^n}{4} }
    En additionnant les deux dernières lignes : 8αn+2γn=2n+(−2)n8\alpha_n + 2\gamma_n = 2^n + (-2)^n. De la première ligne, γn=1−αn−βn\gamma_n = 1 - \alpha_n - \beta_n. On injecte :
    8αn+2(1−αn−βn)=2n+(−2)n  ⟺  6αn=2n+(−2)n−2+2βn8\alpha_n + 2(1 - \alpha_n - \beta_n) = 2^n + (-2)^n \iff 6\alpha_n = 2^n + (-2)^n - 2 + 2\beta_n
    Après calculs et simplification, on trouve :
    αn=−13+2n4+(−2)n12\boxed{ \alpha_n = -\frac{1}{3} + \frac{2^n}{4} + \frac{(-2)^n}{12} }
    Et enfin :
    γn=43−2n2+(−2)n6\boxed{ \gamma_n = \frac{4}{3} - \frac{2^n}{2} + \frac{(-2)^n}{6} }

  4. Pour la matrice BB, le polynôme χB(X)=X(X−1)(X−2)\chi_B(X) = X(X-1)(X-2) est un polynôme annulateur. La division euclidienne donne Xn=X(X−1)(X−2)Q(X)+anX2+bnX+cnX^n = X(X-1)(X-2)Q(X) + a_n X^2 + b_n X + c_n. En évaluant en X=0X=0, on obtient 0n=cn0^n = c_n. Pour n≥1n \ge 1, cn=0c_n = 0. Le système devient :
    {an+bn=1n=14an+2bn=2n\begin{cases} a_n + b_n = 1^n = 1
    4a_n + 2b_n = 2^n \end{cases}
    En divisant la deuxième par 2 : 2an+bn=2n−12a_n + b_n = 2^{n-1}. Par soustraction : an=2n−1−1a_n = 2^{n-1} - 1. Puis bn=1−an=2−2n−1b_n = 1 - a_n = 2 - 2^{n-1}.
    Bn=(2n−1−1)B2+(2−2n−1)B\boxed{ B^n = (2^{n-1}-1) B^2 + (2-2^{n-1}) B }

Attention à l'indice nn. Pour n=0n=0, 000^0 n'est pas défini dans ce contexte, la formule pour cnc_n change pour n=0n=0 (B0=IB^0=I). Toujours vérifier les premiers rangs.