Soit la suite \((u_n)_{n \geqslant 0} \), définie de manière récurrente par :
Calculer les trois prochains termes la suite \((u_n)\).
On suppose que la suite \((u_n)\) est de la forme :
Trouver les valeurs des trois coefficients \((a,b,c)\), et en déduire l'expression de \((u_n)\).
On calcule les premières valeurs avec cette nouvelle forme :
Pour \((n= 0) \)
Or on sait que :
Alors,
Pour \((n > 0) \)
Ensuite, on sait que pour les deux prochains termes :
Pour \((n = 1) \)
Pour \((n = 2) \)
Or on sait que,
Alors,
Résolution du système à deux inconnues
On obtient alors un système à deux inconnues :
On multiplie d'abord la première ligne par \(4\) :
Puis on effectue l'opération \( (4L_1) - (L_2)\) pour isoler \(b\) :
À présent, on prend une des deux lignes pour en déduire \(a\) :
On a alors trouvée les trois coefficients :
Alors, cette suite \((u_n)\) a pour expression :
Enfin, montrer que la suite \((u_n)\) vérifie bien la relation de récurrence avec cette forme.
Avec la valeur des trois coefficients \((a,b, c)\), cela signifie que :
Calcul du premier terme :
Pour le premier terme avec \((n=0)\), on a :
La relation est bien vérifiée pour le premier terme \(u_0\).
Hérédité
À partir de la proposition \((P_n)\) suivante supposée vraie :
On cherche à montrer qu'elle est aussi vraie au rang suivant :
Alors, vérifions que cela correspond bien à notre expression de départ, en y injectant la valeur supposée vraie de \((u_n)\) :
Conclusion
La forme de \(u_n\) est vraie pour le premier terme \(u_0\), et est bien héréditaire de proche en proche.
Alors, on a montré que la suite \((u_n)\) admet bien une relation de récurrence, et vaut bien :
Avec la nouvelle formule pour \((u_n)\), recalculer les termes de la suite avec cette nouvelle formule, et comparer avec les résultats précédents, afin de valider ou d'invalider le modèle.
On recalcule toutes les valeurs avec la formule explicite.
Pour \(u_0\) :
Pour \(u_1\) :
Pour \(u_2\) :
Pour \(u_3\) :
Toutes les valeurs collent bien à l'expression explicite de la suite \((u_n)\).
Soit la suite \((u_n)_{n \geqslant 0} \), définie de manière récurrente par :
Calculer les trois prochains termes la suite \((u_n)\).
On suppose que la suite \((u_n)\) est de la forme :
Trouver la valeurs du coefficient \(\alpha\), et en déduire l'expression de \((u_n)\).
On calcule les premières valeurs avec cette nouvelle forme :
Pour \((n= 1) \)
Comme on sait que :
Alors,
Alors, la forme explicite de la suite \((u_n)\) est :
On suppose que la suite \((u_n)\) vaut :
Montrer que la suite \((u_n)\) vérifie bien la relation de récurrence.
Avec la valeur de la suite \((u_n) \):
Calcul du premier terme :
Pour le premier terme avec \((n=0)\), on a :
La relation est bien vérifiée pour le premier terme \(u_0\).
Hérédité
À partir de la proposition \((P_n)\) suivante supposée vraie :
On cherche à montrer qu'elle est vraie au rang suivant :
Alors, vérifions que cela correspond bien à notre expression de départ, en y injectant la valeur \((u_n)\) :
Conclusion
La forme de \(u_n\) est vraie pour le premier terme \(u_0\), et est bien héréditaire de proche en proche.
Alors, on a montré que la suite \((u_n)\) admet bien une relation de récurrence.
Avec la nouvelle formule pour \((u_n)\), recalculer les termes de la suite avec cette nouvelle formule, et comparer avec les résultats précédents, afin de valider ou d'invalider le modèle.
On recalcule toutes les valeurs avec la formule explicite.
Pour \(u_0\) :
Pour \(u_1\) :
Pour \(u_2\) :
Pour \(u_3\) :
Toutes les valeurs collent bien à l'expression explicite de la suite \((u_n)\).
Soit la suite \((u_n)_{n \geqslant 0} \), définie de manière récurrente par :
Calculer les trois prochains termes la suite \((u_n)\).
Conjecturer sur les valeurs des termes de rang pair et impair : \((u_{2n})\) et \((u_{2n+1})\).
On peut conjecturer que :
Démontrer que la suite \((u_n)\) est périodique, telle que :
À partir de l'expression de départ de \((u_{n+1})\):
On calcule l'expression de \((u_{n+2})\) :
On suppose que la suite \((u_n)\) est de la forme :
Trouver les valeurs des deux coefficients \((\alpha, \beta)\), et en déduire l'expression de \((u_n)\).
Pour \((n= 0) \)
Or on sait que :
Donc,
Pour \((n = 1) \)
Ensuite, on sait que pour le prochain terme :
Or on sait que :
Alors,
Résolution du système à deux inconnues
On obtient alors un système à deux inconnues :
On effectue l'opération \( (L_1) + (L_2)\) pour isoler \(\beta\) :
Maintenant, à partir de \((L_1)\), on détermine \(\alpha\) :
Soit,
On a alors trouvée les deux coefficients :
On a donc comme expression pour \((u_n) \)
Avec la nouvelle formule pour \((u_n)\), recalculer les termes de la suite avec cette nouvelle formule, et comparer avec les résultats précédents, afin de valider ou d'invalider le modèle.
On recalcule toutes les valeurs avec la formule explicite.
Pour \(u_0\) :
Pour \(u_1\) :
Pour \(u_2\) :
Pour \(u_3\) :
Toutes les valeurs collent bien à l'expression explicite de la suite \((u_n)\).