Les suites et séries/Les sommes partielles
Dans ce chapitre, nous allons étudier ce qui se passe quand on additionne tous les termes d'une suite jusqu’à un certain rang. Le résultat de cette opération est ce qu'on appelle une somme partielle, qui est notée comme suit pour la somme des termes allant du terme numéro 0 à k :
- .
Dans ce chapitre, nous allons voir quelques généralités sur les sommes partielles, avant de voir quelques exemples simples mais sans grande importance. Les sommes partielles de suites importantes seront vues dans les chapitres suivants. Nous y verrons quelques sommes partielles de suites classiques, comme la somme des n premiers entiers, la somme partielle d'une suite arithmétique ou géométrique, et bien d'autres.
Les sommes partielles sont un premier tremplin vers le concept final de ce cours : les séries. La différence entre somme partielle et série est assez simple à comprendre : une série additionne tous les termes d'une suite infinie, alors que la somme partielle n'en additionne qu'un nombre fini. Vous vous doutez bien qu'il vaut mieux voir le cas le plus simple, fini, avant de passer aux sommes infinies que sont les séries.
Les opérations sur les sommes partiellesModifier
Avant de voir un exemple de somme partielle, nous allons voir rapidement les opérations que l'on peut faire avec les sommes partielles. Vous avez vu dans les chapitres précédents qu'il est possible d'additionner deux suites, de multiplier une suite par une constante, et de faire bien d'autres opérations. Beaucoup de suites peuvent s'écrire comme la somme de deux suites plus simples, ou d'un multiple d'une autre suite. Il est intéressant d'étudier ce qui se passe quand on prend la somme partielle de telles suites. Dans les grandes lignes, les sommes partielles sont juste un enchainement d'additions, en nombre fini. Les propriétés de commutativité, d'associativité et de distributivité tiennent donc, ce qui permet de faire quelques simplifications.
La somme partielle du multiple d'une suiteModifier
Pour le multiple d'une suite, sa somme partielle est la suivante :
En clair, on peut sortir la constante de la somme, la factoriser comme avec une somme normale.
Précisons aussi que l'on peut faire d'autres raccourcis. Par exemple, la somme partielle d'une suite constante est égal au produit du nombre de rang par la constante. Dit autrement, on a :
Un cas particulier de l'expression précédente est le cas où :
La somme partielle d'une somme de suitesModifier
Pour la somme de deux suites, sa somme partielle est la suivante :
Là encore, le résultat est intuitif et est lié à la commutativité de l'addition : on peut changer l'ordre des additions comme on le souhaite sans changer le résultat.
La somme partielle du produit de deux suitesModifier
Pour le produit de deux suites, le calcul naïf ne marche pas : la somme du produit de deux suites n'est pas la somme des produits.
Le calcul de la somme partielle est beaucoup plus compliqué et il n'existe pas vraiment de formule générale qui fonctionne.
Exemples de sommes partiellesModifier
Il est maintenant temps de voir quelques exemples de suites assez simples.
La somme de la suite des nombres oblongsModifier
Pour commencer, nous allons étudier la suite des nombres oblongs. Un nombre oblong est, par définition, le produit de deux entiers consécutifs, en clair un nombre n tel que , avec i un entier. Ces nombres ont été beaucoup étudiés dans l'antiquité car ils peuvent se représenter visuellement sans difficultés (ils forment un rectangle). Mais ce qui va nous intéresser ici est la somme des n premiers nombres oblongs. En clair, nous allons calculer la somme partielle suivante :
Partons de la définition de la suite des nombres oblongs et développons.
On démontrera dans quelques chapitres que et que En faisant le remplacement, on a :
On met au même dénominateur :
On additionne les termes au numérateur :
Puis on simplifie :
L'inverse de la suite précédenteModifier
Maintenant, nous allons reprendre la même suite, si ce n'est que nous allons prendre l'inverse de chaque terme. En clair, nous allons étudier la suite suivante :
On peut démontrer que :
Démonstration |
Cette propriété se démontre assez facilement en utilisant une preuve par induction. Initialisation : On doit commencer par vérifier que cette relation se vérifie pour le premier terme. C'est le cas, comme le prouvent les calculs suivants :
Récurrence : Si on suppose que la relation à prouver est valable pour n, alors elle doit l'être aussi pour n + 1. Il faut donc prouver la relation suivante : Par définition, on a : On suppose alors que la relation est valable pour n, ce qui fait que le premier terme à droite du signe égal vaut : On met au même dénominateur : On additionne et on développe : On peut remarquer que : On simplifie alors par : |
La suite de FibonacciModifier
Maintenant, calculons la somme partielle de la suite de Fibonnaci. Pour rappel, cette suite est une suite dont chaque terme est la somme des deux termes précédents, dont les premiers termes sont 0 et 1.
La somme partielle des n premiers nombres de Fibonacci a une expression assez simple. Si on note le énième nombre de Fibonacci, on a :
- Pour ,
Démonstration |
Cette propriété se démontre assez facilement en utilisant une preuve par induction. Initialisation : On doit commencer par vérifier que cette relation se vérifie pour les trois premiers termes : Ce qui est le cas : Récurrence : Si on suppose que la relation est valable pour n, alors elle doit l'être aussi pour n + 1. Il faut donc prouver la relation suivante : Par définition, on a : Or, on a, par supposition : . On peut faire le remplacement dans l'équation précédente, ce qui donne : On applique alors la définition des nombres de Fibonacci, qui dit que : . On a alors : |
La suite harmoniqueModifier
La suite harmonique est le nom donné à la suite de des inverses des entiers naturel, à savoir la suite définie par :
Ses sommes partielles donnent ce qu'on appelle les nombres harmoniques. Le énième nombre harmonique est simplement la somme des n premiers termes de la suite harmonique, à savoir :
Si on écrit les nombres harmoniques sous forme de fraction, on obtient ceci :
- , , , , , , , ,
Le numérateur est toujours un nombre impair, alors que le dénominateur est toujours pair. Or, les fractions de type impair/pair ne correspondent jamais à des nombres entiers, contrairement aux fractions de type pair/pair, pair/impair ou impair/impair. En conséquence, les nombres harmoniques sont tous des nombres non-entiers, à l'exception de 1 qui est son propre inverse.
La constante d'Euler–MascheroniModifier
La suite des nombres harmoniques forme une suite croissante. Si on compare les nombres harmoniques avec , on trouve que les deux sont proches et qu'elles le sont d'autant plus que le rang augmente. Mieux : la différence entre un nombre harmonique et converge vers une constante appelée constante d'Euler–Mascheroni, notée .
Elle vaut approximativement :
Tout cela est lié au fait que l'intégrale de la fonction 1/x est égale à :
- , avec K une constante
Si on fait la différence entre la fonction et la suite qui correspond à la fonction , on obtient le graphe si-contre. L'aire sous la courbe de 1/X est égale à , alors que l'aire sous la courbe de la suite harmonique est égale à . La différence entre les deux est l'aire coloriée en rouge. Plus on augmente le rang n, plus l'aire bleue converge vers la constante d'Euler-Mascheroni .
Les suites télescopiquesModifier
Les sommes télescopiques sont les sommes partielles de la forme :
- Pour
Le calcul d'une somme partielle télescopiqueModifier
On peut facilement démontrer la formule suivante :
- Pour
De manière informelle, le raisonnement est le suivant. On part de la définition d'une somme télescopique :
Développons l'expression :
- Pour
On peut changer l'ordre des termes, ce qui donne :
- Pour }}
Une démonstration plus formelle, équivalent à ce qui vient d'être dit, serait la suivante :
Démonstration |
Partons de la définition d'une somme télescopique : Appliquons la formule : En simplifiant, cela donne : Le calcul donne donc :
|
Le produit d'un suite telescopique par une autre suiteModifier
On a vu plus haut que le calcul de la somme partielle est beaucoup plus compliqué et il n'existe pas vraiment de formule générale qui fonctionne. On peut cependant déduire un résultat pour le cas particulier suivant :
On voit que le cas particulier en question est le produit d'une suite par une somme télescopique . Dans ce cas particulier, on peut alors utiliser la sommation par partie, que voici :
On peut appliquer cette formule dans le cas général, en transformant une suite en suite télescopique. Pour montrer comment, partons du cas général :
On peut alors définir la suite suivante :
- .
Par définition, on a , ce qui permet de réécrire le produit P comme ceci :
En faisant une sommation par partie, on trouve alors :
Un exemple d'utilisationModifier
Un exemple d'utilisation des théorèmes sur les suites télescopiques est le suivant. On peut retrouver la somme partielle de la suite de l'inverse des nombres oblongs, soit la somme partielle suivante, sans recourir à une démonstration par récurrence :
Pour cela, il suffit de réécrire la suite initiale sous la forme d’une suite télescopique. Pour cela, partons de la suite initiale :
On applique alors la formule
La formule précédente s'identifie à la limite de la suite télescopique . En appliquant la formule des suites télescopiques, on trouve que :