ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 3 — Matrices · Puissances d'une matrice

Exercice 11

ConjectureDémonstrationCalcul

On considère les matrices suivantes : A=(1−1−11)etB=(1102)A=\begin{pmatrix}1 & -1 \\ -1 & 1 \end{pmatrix} \qquad \text{et} \qquad B = \begin{pmatrix} 1 & 1 \\ 0 & 2 \end{pmatrix}

1. Calculer A2A^{2} et A3A^{3}.

2. En déduire une conjecture sur l'expression de AnA^{n} pour tout n∈ℕ∗n\in\mathbb{N}^{*}.

3. Montrer cette conjecture par récurrence.

4. Mêmes questions pour BB.

Corrigé

1. Calculons les puissances de A=(1−1−11)A=\begin{pmatrix}1&-1\\-1&1\end{pmatrix} : A2=(1−1−11)×(1−1−11)=(1+1−1−1−1−11+1)=(2−2−22)A^{2}=\begin{pmatrix}1&-1\\-1&1\end{pmatrix}\times\begin{pmatrix}1&-1\\-1&1\end{pmatrix} =\begin{pmatrix}1+1&-1-1\\-1-1&1+1\end{pmatrix} =\boxed{\begin{pmatrix}2&-2\\-2&2\end{pmatrix}} On constate que A2=2AA^{2}=2A, ce qui simplifie le calcul suivant : A3=A2×A=2A×A=2A2=2×2A=4A=(4−4−44)A^{3}=A^{2}\times A=2A\times A=2A^{2}=2\times 2A=4A =\boxed{\begin{pmatrix}4&-4\\-4&4\end{pmatrix}}

2. On a A1=AA^{1}=A, A2=2AA^{2}=2A et A3=4AA^{3}=4A : les coefficients 11, 22, 44 sont les puissances successives de 22. D'où la conjecture : pour tout n∈ℕ∗,An=2 n−1A\boxed{\text{pour tout } n\in\mathbb{N}^{*},\quad A^{n}=2^{\,n-1}A}

3. Considérons la propriété, définie pour tout entier naturel non nul nn : ∀n∈ℕ∗,Pn:« An=2 n−1A »\forall n\in\mathbb{N}^{*},\quad P_n : «\,A^{n}=2^{\,n-1}A\,»

Initialisation : Pour n=1n=1, on a A1=AA^{1}=A et 2 1−1A=20A=A2^{\,1-1}A=2^{0}A=A. Les deux membres coïncident, donc P1P_1 est vraie.

Hérédité : Soit k∈ℕ∗k\in\mathbb{N}^{*}. Supposons PkP_k vraie, c'est-à-dire Ak=2 k−1AA^{k}=2^{\,k-1}A. Alors : Ak+1=Ak×A=2 k−1A×A=2 k−1A2=2 k−1×2A=2 kAA^{k+1}=A^{k}\times A=2^{\,k-1}A\times A=2^{\,k-1}A^{2}=2^{\,k-1}\times 2A=2^{\,k}A en utilisant A2=2AA^{2}=2A établi à la question 1. C'est exactement Pk+1P_{k+1}, qui est donc vraie.

Conclusion : Par principe de récurrence, la propriété PnP_n est vraie pour tout entier naturel non nul nn : ∀n∈ℕ∗,An=2 n−1(1−1−11)=(2 n−1−2 n−1−2 n−12 n−1)\boxed{\forall n\in\mathbb{N}^{*},\quad A^{n}=2^{\,n-1}\begin{pmatrix}1&-1\\-1&1\end{pmatrix} =\begin{pmatrix}2^{\,n-1}&-2^{\,n-1}\\-2^{\,n-1}&2^{\,n-1}\end{pmatrix}}

4. On reprend la même démarche pour B=(1102)B=\begin{pmatrix}1&1\\0&2\end{pmatrix} : B2=(1102)×(1102)=(1+01+20+00+4)=(1304)B^{2}=\begin{pmatrix}1&1\\0&2\end{pmatrix}\times\begin{pmatrix}1&1\\0&2\end{pmatrix} =\begin{pmatrix}1+0&1+2\\0+0&0+4\end{pmatrix} =\boxed{\begin{pmatrix}1&3\\0&4\end{pmatrix}}

B3=B2×B=(1304)×(1102)=(1+01+60+00+8)=(1708)B^{3}=B^{2}\times B=\begin{pmatrix}1&3\\0&4\end{pmatrix}\times\begin{pmatrix}1&1\\0&2\end{pmatrix} =\begin{pmatrix}1+0&1+6\\0+0&0+8\end{pmatrix} =\boxed{\begin{pmatrix}1&7\\0&8\end{pmatrix}}

Conjecture. Le coefficient en bas à droite vaut 22, 44, 88, soit 2n2^{n} ; celui en haut à droite vaut 11, 33, 77, soit 2n−12^{n}-1. D'où : pour tout n∈ℕ∗,Bn=(12n−102n)\boxed{\text{pour tout } n\in\mathbb{N}^{*},\quad B^{n}=\begin{pmatrix}1&2^{n}-1\\0&2^{n}\end{pmatrix}}

Démonstration. Considérons la propriété : ∀n∈ℕ∗,Qn:« Bn=(12n−102n) »\forall n\in\mathbb{N}^{*},\quad Q_n : «\,B^{n}=\begin{pmatrix}1&2^{n}-1\\0&2^{n}\end{pmatrix}\,»

Initialisation : Pour n=1n=1 : (121−1021)=(1102)=B\begin{pmatrix}1&2^{1}-1\\0&2^{1}\end{pmatrix} =\begin{pmatrix}1&1\\0&2\end{pmatrix}=B. Donc Q1Q_1 est vraie.

Hérédité : Soit k∈ℕ∗k\in\mathbb{N}^{*}. Supposons QkQ_k vraie. Alors : Bk+1=Bk×B=(12k−102k)×(1102)=(11+2(2k−1)02×2k)=(12k+1−102k+1)B^{k+1}=B^{k}\times B =\begin{pmatrix}1&2^{k}-1\\0&2^{k}\end{pmatrix}\times\begin{pmatrix}1&1\\0&2\end{pmatrix} =\begin{pmatrix}1 & 1+2\left(2^{k}-1\right)\\[1mm] 0 & 2\times 2^{k}\end{pmatrix} =\begin{pmatrix}1 & 2^{k+1}-1 \\ 0 & 2^{k+1}\end{pmatrix} car 1+2k+1−2=2k+1−11+2^{k+1}-2=2^{k+1}-1. C'est exactement Qk+1Q_{k+1}, qui est donc vraie.

Conclusion : Par principe de récurrence, pour tout entier naturel non nul nn : Bn=(12n−102n)\boxed{B^{n}=\begin{pmatrix}1&2^{n}-1\\0&2^{n}\end{pmatrix}}

On remarquera la différence de méthode : pour AA, l'hérédité repose sur la relation A2=2AA^{2}=2A ; pour BB, elle repose sur un calcul direct de produit. Dans les deux cas, c'est l'observation des premières puissances qui a guidé la conjecture.

Dans l'édifice

Thèmes

matrices, opérations matricielles, puissances d'une matrice

Notions

matrices (espace des)

Ouvrir dans l'atlas interactif →