Conjecture et récurrence pour le calcul de la puissance d'une matrice
Exercice corrigé - Maths expertes, terminale générale
Énoncé
Soit la matrice
Calculer
,
et
puis conjecturer une formule pour
en fonction de l'entier
.
Démontrer cette formule.

Calculer





Démontrer cette formule.
Correction
![\[A^2=\lp\begin{array}{cc}1&0\\1&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\2&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/1.png)
puis
![\[A^3=A^2A=\lp\begin{array}{cc}1&0\\2&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\3&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/2.png)
et
![\[A^4=A^3A=\lp\begin{array}{cc}1&0\\3&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\4&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/3.png)
et on peut conjecturer que
On démontre cette formule par récurrence.
Initialisation: La formule est vraie pour les entiers
de 0 à 4, d'après les calculs précédents.
Hérédité: Supposons que pour un certain entier
on ait
.
Alors, au rang suivant, on a
, soit donc, en utilisant l'hypothèse de récurrence
![\[A^{n+1}=\lp\begin{array}{cc}1&0\\n&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\n+1&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/9.png)
ce qui montre que la formule est encore vraie au rang
.
Conclusion: On vient donc de montrer, d'après le principe de récurrence, que pour tout entier naturel
on a
Correction
On calcule les premières puissances de la matrice:![\[A^2=\lp\begin{array}{cc}1&0\\1&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\2&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/1.png)
puis
![\[A^3=A^2A=\lp\begin{array}{cc}1&0\\2&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\3&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/2.png)
et
![\[A^4=A^3A=\lp\begin{array}{cc}1&0\\3&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\4&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/3.png)
et on peut conjecturer que

On démontre cette formule par récurrence.
Initialisation: La formule est vraie pour les entiers

Hérédité: Supposons que pour un certain entier


Alors, au rang suivant, on a

![\[A^{n+1}=\lp\begin{array}{cc}1&0\\n&1\enar\rp\lp\begin{array}{cc}1&0\\1&1\enar\rp
=\lp\begin{array}{cc}1&0\\n+1&1\enar\rp\]](/Generateur-Devoirs/Mex/Matrices/expowrec3_c/9.png)
ce qui montre que la formule est encore vraie au rang

Conclusion: On vient donc de montrer, d'après le principe de récurrence, que pour tout entier naturel


Tag:matrices
Voir aussi:
Quelques devoirs
sur les matrices et calcul matriciel, produit, puissance d'une matrice, définition de l'inverse d'une matrice
sur la factorisation et racines d'un polynôme complexe et matrices et calcul matriciel, diagonalisation et limites de suites
sur les matrices, calcul matriciel et les nombres complexes: géométrie, formes algébriques et exponentielles.