Sommes partielles

Avant de nous enfoncer dans une petite jungle de suites et de sommes partielles, faisons le point sur ce que signifie l’expression « somme partielle ». Après tout, pourquoi une somme serait-elle « partielle » ?

La motivation de cette notion

La principale raison pour lesquelles on étudie les sommes partielles c’est parce qu’elle permettent d’étudier des séries. Ces objets qui seront abordés dans la partie suivante servent à faire la somme de tous les termes d’une suite. La suite des sommes partielles fait ce lien entre une somme finie de termes et la somme infinie des termes d’une suite. La dénomination « partielle » a donc cette signification : on ne somme qu’un nombre fini de termes d’une suite.

C’est une suite

Si je vous donne une suite et que je vous demande de calculer la somme des $n$ premiers termes, où je laisse libre le choix de $n$ alors vous obtiendrez une suite fonction de $n$. C’est la suite des sommes partielles. Par exemple, avec la suite $(u_n)_{n\in \mathbf{N}}$ je peux construire sa suite des sommes partielles, $(S_n)_{n\in\mathbf{N}}$, définie par : $S_n = u_0 + u_1 +u_2+\ldots + u_n = \sum_{k=0}^n u_k.$

Dans ce qui suit, nous étudierons exclusivement ces suites de sommes partielles.

Nous allons commencer par étudier ce qu’on appelle des suites relativement simples, qui s’obtiennent en fabriquant des figures géométriques en juxtaposant des boules les unes à coté des autres. Ces nombres sont appelés des nombres figurés.

Suite des nombres triangulaires

Commençons par un cas simple : prenez des boules (ou des billes), et tentez de former un triangle équilatéral avec. Vous allez remarquer que vous ne pouvez pas créer un triangle avec un nombre arbitraire de boules : vous ne pourrez le fait que pour certains nombres de boules.

Il est facile de créer une suite avec ces nombres. La suite en question est appelée la suite des nombres triangulaires : le énième terme de la suite des nombres triangulaire donne le nombre de boules pour un triangle de $n$ boules de côté. On obtient alors : 0, 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, etc.

Relation de récurrence

A ce stade, on peut tenter de trouver la relation qui relie les termes $u_n$ et $u_{n+1}$ de cette suite. Pour cela, le mieux est de faire quelques observations. Il suffit de lister des différences entre ces deux termes suivant le rang, et de regarder si on peut obtenir quelque chose d’intéressant. Voici ce que donne cette liste.

Je crois qu’on ne peut pas faire plus clair. On voit bien que chaque terme est égal à la somme du précédent et du rang. La suite des nombres triangulaires est donc définie par :

• $u_0 = 0$ ;
• $u_{n+1} = u_n + n$.

Calcul du terme général

Maintenant, on peut déterminer s’il existe un moyen pour déterminer la valeur du terme général $u_n$ sans devoir calculer $u_{n-1}$. Et pour cela, il suffit juste de remarquer une chose : le énième terme de la suite des nombres triangulaire est égal à la somme de tous les entiers compris entre $0$ et $n$. Il ne nous reste plus qu’à trouver une méthode pour faire ce calcul.

La légende veut que Gauss a été le premier à découvrir quelle était la formule du calcul de la somme des n premiers entiers, alors qu’il était au primaire. Son professeur avait donné, en guise d’exercice (une sorte de punition collective, en fait), le calcul des 100 premiers entiers à ses élèves. Là où les autres élèves faisaient le calcul à la main, en additionnant les 100 premiers entiers manuellement, Gauss remarqua quelque chose d’étrange dans la suite de calculs suivants :

• 1 + 100 = 101 ;
• 2 + 99 = 101 ;
• 3 + 98 = 101 ;
• … ;
• 49 + 52 = 101 ;
• 50 + 51 = 101 ;
• … ;
• 98 + 3 = 101 ;
• 99 + 2 = 101 ;
• 100 + 1 = 101.

Ainsi, en additionnant la suite $S$ avec elle-même, il se retrouvait avec 100 fois 101 : $2 S = 100 \times 101$. Le calcul de la somme partielle est alors aisé. C’est une propriété qui se généralise à la somme des $n$ premiers entiers : $u_0 + u_n = u_1 + u_{n-1} = u_2 + u_{n-2} = ...$. Ainsi, si l’additionne la suite $S$ avec elle-même, on obtiendra :

$2 S = n (u_0 + u_n)$

$S = \frac{n (u_0 + u_n)}{2}$

Vu que pour la suite des entiers naturels, $u_n = n+1$ et $u_0 = 1$, on a alors :

$2 S = n (1 + n)$

$S = \frac{n (1 + n)}{2}$

Suite des entiers impairs

Maintenant, nous allons légèrement changer le problème : au lieu de vouloir créer un triangle avec des boules, nous allons tenter de créer des carrés. Dans cette situation, le coté des carrés en question sera un nombre entier, et le nombre de boules dans ce carré sera égal au carré du côté. La suite des nombres carrés est simplement égale à la suite des carrés des nombres entiers : $u_n = n^2$.

Relation de récurrence

Comme pour les nombres triangulaires, nous allons tenter de déterminer une relation de récurrence pour cette suite. Nous allons utiliser la même méthode, à savoir faire la différence entre chaque terme et le précédent, et tenter de voir si on observe quelque chose d’intéressant.

On remarque facilement qu’il faut ajouter un nombre impair pour passer au terme suivant. Plus précisément, il faut ajouter le énième nombre impair pour passer de $u_n$ à $u_{n+1}$. Dit autrement, la suite des carrés est la suite :

• de premier terme nul ($0^2 = 0$) ;
• définie par $u_{n+1} = u_n + (2n+1)$ : chaque terme s’obtient en additionnant le énième nombre impair au terme précédent.

Terme général

De ce qu’on vient de dire plus haut, on peut faire une déduction sur le terme général. On sait que celui-ci est égal au carré du rang : $u_n = n^2$. Mais on sait maintenant quel est le lien entre ce terme et les entiers impairs : $n^2$ est égal à la somme des $n$ premiers nombres impairs.

$1 + 3 + ... ... + (2n − 1) = n^2$

Nombres pentagonaux

Ce qui peut être fait avec des triangles et des carrés peut aussi être fait avec des hexagones (6 côtés), des pentagones (5 côtés), des dodécagone (12 côtés), ou toute autre polygone régulier. Dans ce qui va suivre, nous allons voir ce que cela donne avec les nombres pentagonaux.

Relation de récurrence

La relation de récurrence des nombres pentagonaux est relativement simple à trouver pour qui sait comment s’y prendre. Pour commencer, regardons combien il faut ajouter au terme de rang $n$ pour passer au suivant, et notons les résultats dans un tableau.

On remarque rapidement que $u_{n+1} - u_n$ est un nombre de la forme $3n+1$. En clair : $u_{n+1} = u_n + 3n + 1$

Terme général

Maintenant, on veut savoir comment calculer le énième nombre pentagonal. Pour découvrir quelle est la formule, nous allons vous faire remarquer que le énième nombre pentagonal est égal à la somme des nombres de la forme $3n + 1$. Cette somme est simplement égale à :

$( 3 \times 0 + 1 ) + ( 3 \times 1 + 1 ) ( 3 \times 2 + 1 ) ( 3 \times 3 + 1 ) ( 3 \times 4 + 1 ) + ... + ( 3 \times n + 1 )$

On peut alors regrouper les $+ 1$ : vu qu’il y en a exactement $n$, on en déduit que la formule se simplifie en :

$n + ( 3 \times 0 ) + ( 3 \times 1 ) ( 3 \times 2 ) ( 3 \times 3 ) ( 3 \times 4 ) + ... + ( 3 \times n )$

De là, on peut factoriser le $3$ :

$n + 3 \times (0 + 1 + 2 + 3 + 4 ... + n)$

Or, on sait calculer $(0 + 1 + 2 + 3 + 4 ... + n)$ : c’est le énième nombre triangulaire ! La formule se simplifie donc en :

$u_{n+1} = n + 3 \times \frac{n \times (n+1)}{2}$

Ce calcul donne $u_{n+1}$, mais on peut rapidement en déduire $u_n$.

$u_n = {n(3n-1) \over 2}$

Autres nombres polygonaux

On pourrait poursuivre plus loin et parler des nombres hexagonaux et autres. Mais nous n’allons pas faire ces développements longs et compliqués, et passer directement au cas général : celui des nombres polygonaux. Les nombres polygonaux se représentent avec des polygones réguliers, des figures géométriques dont les côtés ont tous la même longueur et dont tous les angles sont identiques. Les nombres triangulaires, carrés et pentagonaux sont des cas particuliers de nombres polygonaux.

Voici les formules qui donnent $u_n$ en fonction du nombre de cotés de polygone :

• hexagonal : ½n(4n - 2) ;
• heptagonal : ½n(5n - 3) ;
• octogonal : ½n(6n - 4) ;
• ennéagonal : ½n(7n - 5) ;
• décagonal : ½n(8n - 6) ;
• undécagonal : ½n(9n - 7) ;
• dodécagonal : ½n(10n - 8) ;
• triskaidécagonal : ½n(11n - 9) ;
• etc.

On voit se dégager une sorte de motif général, qui nous donne la formule suivante. Pour un nombre $k$ de côtes, le énième nombre polygonal est égal à :

$\frac{n}{2} ( (k-2) n - (k-4) )$

Calculer la somme partielle d’une suite arithmétique consiste à additionner tous les termes dont le rang est compris entre $0$ et $m$. On a alors :

$S = u_0 + u_1 + u_2 + u_3 + u_4 + \ldots + u_m$

Remplaçons maintenant chaque terme par son expression calculée par $u_n = u_0 + n k$.

$S = u_0 + ( u_0 + k ) + ( u_0 + 2 k ) + ( u_0 + 3 k ) + \ldots + ( u_0 + m k )$

Dans cette expression, on peut regrouper les termes $u_0$ ensemble : il y en a $m$ en tout :

$S = ( u_0 \times (m+1) ) + ( k + 2 k + 3 k + \ldots + m k )$

Maintenant, factorisons le terme $k$ :

$S = ( u_0 \times (m+1) ) + k ( 1 + 2 + 3 + \ldots + m )$

On sait calculer le facteur $( 1 + 2 + 3 + \ldots + m )$ : c’est la somme des $m$ premiers entiers.

On obtient alors la formule suivante :

$S = \frac{k (m + 1) m}{2} + (m+1) \times u_0$

On peut factoriser $m+1$ et mettre l’expression au même dénominateur :

$S = (m+1) \frac{km + 2 u_0}{2}$

A ce moment là, il faut se souvenir que $u_{m} = u_0 + mk$, ce qui permet de simplifier l’équation du dessus en :

$S = (m+1) \frac{u_{m} + u_0}{2}$

Maintenant, nous allons voir le cas de la somme partielle géométrique, à savoir la somme des $n$ premiers termes d’une suite géométrique. Reprenons la formule d’une série géométrique partielle, où l’on additionne les $n$ premiers termes d’une suite (qui vont de $0$ à $n-1$) :

$S = u_0 + (u_0 \times r^1) + (u_0 \times r^2) + (u_0 \times r^3) + ... + (u_0 \times r^{n-1})$

Maintenant, multiplions cette formule par la raison de la suite :

$S \times r = (u_0 \times r^1) + (u_0 \times r^2) + (u_0 \times r^3) + ... + (u_0 \times r^{n-1}) + (u_0 \times r^{n})$

Soustrayons les deux résultats précédents, $S$ et $S \times r$ :

$S - (S \times r) = u_0 - u_0 \times r^{n}$

On a alors :

$S \times (1 - r) = u_0 \times (1 - r^{n})$

Il vient alors :

$S = u_0 \times \frac{1 - r^{n}}{1 - r}$