Les suites et séries/La somme partielle d'une suite arithmético-géométrique

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 modifier

 
|r| < 1, n → ∞ ⇒ S = a/(1 − r)

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 modifier

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   :

 

Le cas général modifier

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 à  ) :

 

Remplaçons chaque terme par son expression paramétrée  .

 

Factorisons   :

 

Le second terme n'est autre que le cas particulier étudié dans la section précédente. Il vient alors :

 
À noter qu'il existe d'autres démonstrations de cette formule. Ceux qui souhaitent en prendre connaissance peuvent consulter celles-ci sur le site proofwiki, en suivant ce lien : Somme d'une progression géométrique.

Un exemple : la somme partielle des puissances de deux modifier

É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 modifier

Maintenant, nous allons voir un second exemple : la somme partielle des inverses de  , définie par :

 

Il s'agit d'une suite géométrique de raison   et de premier terme égal à  . La formule donne donc :

 

On peut prouver cette équation d'une autre manière, donnée dans la démonstration suivante.


Démonstration

Repartons de l'équation :

 

Mettons tout au même dénominateur :

 

Or, on a vu juste dans la précédente section que :  . En faisant le remplacement, on a :

 

Les suites arithmético-géométriques modifier

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 :

  avec  

Faisons la somme des n premiers termes :

 

On applique la formule   :

 

Par définition, le terme de droite   est égal à   :

 

Puis, on applique la formule   :

 

En faisant le remplacement avec  , on trouve :