Soit une suite quelconque \((u_n)_{n \hspace{0.05em} \in \mathbb{N} }\).
Pour déterminer le sens de variations de cette suite, il y a deux façons :
si la suite est exprimée de manière explicite uniquement : dans ce cas on pourra étudier les variations comme pour n'importe quelle fonction
de manière générale : dans ce cas on pourra résoudre :
Les suites explicites uniquement : \(u_n = f(n)\)
Tout comme pour l'étude de n'importe quelle fonction, on calcule d'abord la dérivée, puis on étudie le signe de la dérivée qui nous informe sur le sens de variations de la fonction d'étude.
Exemple :
Prenons la suite \((u_n)\) :
On considère alors une fonction \(f\) à étudier :
On calcule sa dérivée :
Comme la dérivée \(f'\) est strictement positive, alors la fonction \(f\) est strictement croissante. Alors, il en est ainsi pour la suite \((u_n)\).
Le cas général
De manière générale, et dans le cas où la suite \((u_n)\) est monotone, on doit résoudre :
Alors, deux cas sont possibles :
Étude du signe de \(\Delta u_n\)
À partir de l'inéquation \((1)\) :
En basculant \(u_n\) on obtient :
On étudie alors le signe de \((\Delta u_n)\) :
Trois cas sont possibles selon le résultat :
Exemple :
En reprenant la même suite \((u_n)\) :
Alors,
Et :
On met d'abord tout sous forme de fraction :
Ensuite, on met au même dénominateur :
(car \(n > 0\))
On obtient alors que :
On a bien vérifié par la deuxième méthode que la suite \((u_n)\) était strictement croissante.
Étude du rapport \( \Phi u_n \)
À partir de l'inéquation \((1)\) :
En divisant par \(u_n\) on obtient :
On étudie alors le rapport \((\Phi u_n)\) :
Avant de diviser par \(u_n\) de part et d'autre de l'inéqation, il faut bien s'assurer que le signe du terme \(u_n\) soit le même pour tout \(n\).
Exemple :
En reprenant encore la même suite \((u_n)\) :
Alors, en arrageant les deux formules sous forme de quotient :
On retourne le dénominateur pour obtenir une multiplication :
On voit déjà que le dénominateur est inférieur au numérateur mais on peut faire :
Pour séparer la fraction en deux :
Pour \((n \geqslant 1)\), le dénominateur \((n^2 - 1) \geqslant 0\). Alors, on a donc bien :
On obtient alors que :
On a bien vérifié par la dernière méthode que la suite \((u_n)\) était strictement croissante.