Dans ce chapitre, nous allons voir comment calculer la somme partielle d'une suite géométrique, et d'une suite arithmético-géométrique. Nous allons d'abord voir les suites arithmétiques, avant de passer aux suites géométriques et enfin aux suites arithmético-géométriques. Pour chaque type de suite, nous verrons quelques exemples particuliers qui ont un intérêt intellectuel ou ludique. Par exemple, nous verrons la somme des entiers pairs, de leurs inverses, etc.
Les suites géométriques.
Dans la section précédente, nous avons montré que la formule d'une somme partielle arithmétique se déduisait d'un cas particulier : le cas de la somme des n premiers entiers. Toute somme partielle arithmétique a pour résultat une fonction affine de la somme des n premiers entiers : on doit multiplier cette somme par la raison et ajouter le premier terme (multiplié par le rang). Pour les séries géométriques, la situation est similaire, à savoir que toute somme partielle géométrique est un multiple d'un cas particulier. Ce cas particulier correspond au cas où le premier terme vaut 1.
Les suites avec premier terme unitaire.
Dans ce qui va suivre, nous allons démontrer le résultat pour les séries géométriques où le premier terme vaut 1, qui sont de la forme :
Multiplions l'expression précédente par la raison. On a alors :
Soustrayons cette expression à la valeur de la suite initiale :
Factorisons le terme de gauche :
Isolons le terme formula_5 :
Le cas général.
La somme partielle d'une suite géométrique se calcule, par définition, en additionnant les n premiers termes de la suite (qui vont des rangs 0 à formula_7) :
Remplaçons chaque terme par son expression paramétrée formula_9.
Factorisons formula_11 :
Le second terme n'est autre que le cas particulier étudié dans la section précédente. Il vient alors :
Un exemple : la somme partielle des puissances de deux.
Étudions maintenant un cas particulier assez intéressant pour les informaticiens : la somme des n premières puissances de deux. Toute personne qui s'y connaît suffisamment en numération binaire voit où je veux en venir avec cet exemple. Par définition, la suite des puissances de deux est une suite géométrique de raison 2 et de premier terme 1. La formule plus haut nous dit alors que la somme des n premières puissances de deux vaut :
On voit donc que la somme des n premières puissances de deux est égale à la puissance de deux immédiatement supérieure, retranchée de 1 :
Il s'agit d'une propriété absolument essentielle de la numération binaire, qui est très utile pour simplifier certains calculs en binaire ou faire quelques démonstrations importantes.
Un second exemple : la somme partielle des inverses des puissances de deux.
Maintenant, nous allons voir un second exemple : la somme partielle des inverses de formula_16, définie par :
Il s'agit d'une suite géométrique de raison formula_18 et de premier terme égal à formula_18. La formule donne donc :
On peut prouver cette équation d'une autre manière, donnée dans la démonstration suivante.
 + \frac{1}{2^n}
Mettons tout au même dénominateur :
Or, on a vu juste dans la précédente section que : formula_22. En faisant le remplacement, on a :
Les suites arithmético-géométriques.
La somme partielle d'une suite arithmético-géométrique est assez simple à calculer quand on sait comment calculer une somme partielle arithmétique et une somme partielle géométrique. Reprenons la formule pour le calcul du terme d'une suite arithmético-géométrique :
Faisons la somme des n premiers termes :
On applique la formule formula_27 :
Par définition, le terme de droite formula_29 est égal à formula_30 :
Puis, on applique la formule formula_32 :
En faisant le remplacement avec formula_25, on trouve :

Les suites et séries/Les suites de puissances et la formule de Faulhaber