ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 9 — Matrices · Exercices de synthèse

Exercice 25

DémonstrationCalcul

On considère l'ensemble des suites réelles vérifiant un+2=5un+1−6unu_{n+2}=5u_{n+1}-6u_{n}, déjà rencontré aux chapitres 6 et 8. Pour tout n∈ℕn \in \mathbb{N}, on pose : Xn=(unun+1)etA=(01−65)X_{n}=\begin{pmatrix} u_{n} \\ u_{n+1} \end{pmatrix} \qquad\text{et}\qquad A=\begin{pmatrix} 0 & 1 \\ -6 & 5 \end{pmatrix}

1. Vérifier que Xn+1=AXnX_{n+1}=A X_{n} pour tout nn, puis démontrer par récurrence que Xn=AnX0X_{n}=A^{n}X_{0}.

2. On pose P=(1123)P=\begin{pmatrix} 1 & 1 \\ 2 & 3 \end{pmatrix} et D=(2003)D=\begin{pmatrix} 2 & 0 \\ 0 & 3 \end{pmatrix}. Vérifier que AP=PDAP=PD.

3. Démontrer que PP est inversible et calculer P−1P^{-1}.

4. En déduire que A=PDP−1A=PDP^{-1}, puis que An=PDnP−1A^{n}=PD^{n}P^{-1} pour tout n∈ℕn \in \mathbb{N}.

5. Calculer AnA^{n} explicitement.

6. En déduire l'expression de unu_{n} en fonction de u0u_{0}, u1u_{1} et nn, puis retrouver la suite vérifiant u0=1u_{0}=1 et u1=0u_{1}=0.

Corrigé

1. Par définition de XnX_{n} et de la relation de récurrence : AXn=(01−65)(unun+1)=(un+1−6un+5un+1)=(un+1un+2)=Xn+1AX_{n}=\begin{pmatrix} 0 & 1 \\ -6 & 5 \end{pmatrix}\begin{pmatrix} u_{n} \\ u_{n+1} \end{pmatrix} =\begin{pmatrix} u_{n+1} \\ -6u_{n}+5u_{n+1} \end{pmatrix} =\begin{pmatrix} u_{n+1} \\ u_{n+2} \end{pmatrix}=X_{n+1} Récurrence. L'égalité X0=A0X0X_{0}=A^{0}X_{0} est vraie. Si Xn=AnX0X_{n}=A^{n}X_{0}, alors Xn+1=AXn=An+1X0X_{n+1}=AX_{n}=A^{n+1}X_{0}. ∀n∈ℕ,Xn=AnX0\boxed{\forall n \in \mathbb{N}, \quad X_{n}=A^{n}X_{0}}

2. On calcule les deux produits : AP=(01−65)(1123)=(2349)etPD=(1123)(2003)=(2349)AP=\begin{pmatrix} 0 & 1 \\ -6 & 5 \end{pmatrix}\begin{pmatrix} 1 & 1 \\ 2 & 3 \end{pmatrix}=\begin{pmatrix} 2 & 3 \\ 4 & 9 \end{pmatrix} \qquad\text{et}\qquad PD=\begin{pmatrix} 1 & 1 \\ 2 & 3 \end{pmatrix}\begin{pmatrix} 2 & 0 \\ 0 & 3 \end{pmatrix}=\begin{pmatrix} 2 & 3 \\ 4 & 9 \end{pmatrix}

AP=PD\boxed{AP=PD} Les deux colonnes de PP sont donc simplement multipliées par 22 et par 33 : ce sont les directions que uu laisse invariantes, comme à l'exercice 11.

3. Le critère de l'exercice 13 donne 3−2=1≠03-2=1 \neq 0 : P est inversible, et P−1=(3−1−21)\boxed{P \text{ est inversible, et } P^{-1}=\begin{pmatrix} 3 & -1 \\ -2 & 1 \end{pmatrix}}

4. De AP=PDAP=PD on tire, en multipliant à droite par P−1P^{-1}, que A=PDP−1A=PDP^{-1}. Par récurrence, les facteurs intermédiaires se télescopent : An=(PDP−1)n=PDP−1P⏟=I2D P−1⋯=PDnP−1A^{n}=\big(PDP^{-1}\big)^{n}=PD\underbrace{P^{-1}P}_{=I_{2}}D\,P^{-1} \cdots =PD^{n}P^{-1}

An=PDnP−1\boxed{A^{n}=PD^{n}P^{-1}}

5. Comme DD est diagonale, Dn=(2n003n)D^{n}=\begin{pmatrix} 2^{n} & 0 \\ 0 & 3^{n} \end{pmatrix}, d'où : An=(1123)(2n003n)(3−1−21)=(2n3n2×2n3×3n)(3−1−21)A^{n}=\begin{pmatrix} 1 & 1 \\ 2 & 3 \end{pmatrix}\begin{pmatrix} 2^{n} & 0 \\ 0 & 3^{n} \end{pmatrix}\begin{pmatrix} 3 & -1 \\ -2 & 1 \end{pmatrix} =\begin{pmatrix} 2^{n} & 3^{n} \\ 2 \times 2^{n} & 3 \times 3^{n} \end{pmatrix}\begin{pmatrix} 3 & -1 \\ -2 & 1 \end{pmatrix}

An=(3×2n−2×3n3n−2n6×2n−6×3n3n+1−2n+1)\boxed{A^{n}=\begin{pmatrix} 3 \times 2^{n}-2 \times 3^{n} & 3^{n}-2^{n} \\ 6 \times 2^{n}-6 \times 3^{n} & 3^{n+1}-2^{n+1} \end{pmatrix}}

6. La première coordonnée de Xn=AnX0X_{n}=A^{n}X_{0} donne : un=(3×2n−2×3n)u0+(3n−2n)u1\boxed{u_{n}=\big(3 \times 2^{n}-2 \times 3^{n}\big)u_{0}+\big(3^{n}-2^{n}\big)u_{1}} Pour u0=1u_{0}=1 et u1=0u_{1}=0 : un=3×2n−2×3n\boxed{u_{n}=3 \times 2^{n}-2 \times 3^{n}} Vérification : u0=3−2=1u_{0}=3-2=1 et u1=6−6=0u_{1}=6-6=0 ✓

C'est exactement la suite trouvée à l'exercice 20 du chapitre 6, obtenue là-bas en cherchant une base de l'espace des solutions. Le calcul matriciel y parvient sans jamais parler de base : il suffit de savoir calculer AnA^{n}, et l'égalité A=PDP−1A=PDP^{-1} y pourvoit. C'est le principe de la diagonalisation, dont le cours annonce qu'elle sera l'enjeu de la suite du programme.

Dans l'édifice

Thèmes

matrices, produit matriciel, puissances d'une matrice, matrice d'une application linéaire, matrices inversibles, suites récurrentes

Notions

matrices (espace des), inversible, groupe linéaire

Ouvrir dans l'atlas interactif →