Soit la suite réelle définie par la donnée de et par la relation de récurrence suivante :
Déterminer la nature de la série .
Utiliser l'inégalité classique valable pour tout réel .
Établir une majoration du terme général par une suite dont la série converge, par exemple en utilisant des factorielles.
Conclure sur la convergence absolue de la série.
Propriété de la fonction sinus : .
Majoration par une suite de référence (série exponentielle).
Lien entre convergence absolue et convergence simple.
Résolution.
Considérons la suite des valeurs absolues . Pour tout , nous utilisons la majoration classique de la fonction sinus sur .
On a l'inégalité suivante :
Montrons par récurrence que pour tout , on a la majoration :
Initialisation : Pour , la relation de récurrence donne . Comme , on a bien , l'initialisation est vérifiée.
Hérédité : Supposons que la propriété est vraie pour un certain rang . Alors, au rang :
La propriété est donc démontrée par récurrence pour tout .
Nous savons que la série est une série convergente (elle converge vers ). Par le théorème de comparaison des séries à termes positifs, la série converge.
Comme toute série absolument convergente dans est convergente, nous en déduisons le résultat final :
Confondre convergence de la suite vers 0 et convergence de la série.
L'inégalité |sin(x)| <= |x| est fondamentale pour majorer des termes généraux de séries.