Somme (arithmétique)

Modèle:Voir homonymes En mathématiques, la somme de deux nombres est le résultat de leur addition. Les éléments additionnés s’appellent les termes de la somme. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité et de l'associativité de l'addition, la somme d'un ensemble fini de nombres est bien définie indépendamment de l'ordre dans lequel est faite l'addition, mais il n'existe pas toujours de formule réduite pour l'exprimer. Les méthodes employées pour obtenir de telles formules sont liées à l'étude des séries numériques.

Les sommes de suites de nombres peuvent être notées à l'aide du symbole somme <math>\sum</math>, dont la graphie évoque la lettre grecque sigma capitale.

La limite d'une série est également appelée une somme, même si elle ne s'obtient pas directement par une addition finie.

Notation

Fichier:Greek uc sigma.svg

La lettre grecque sigma en capitale.

La notation mathématique utilise un symbole qui représente la somme d'une suite de termes : le symbole de sommation, Σ, une forme élargie de la lettre grecque sigma capitale. Celui-ci est défini comme suit :

<math>\sum_{i \mathop =m}^n a_i = a_m + a_{m+1} + a_{m+2} +\cdots+ a_{n-1} + a_n</math>

où i représente l'indice de sommation ; a_i est une variable indexée représentant chaque nombre successif de la série ; m est la limite inférieure de sommation, et n est la limite supérieure de sommation. Le « i = m » sous le symbole de sommation signifie que l'indice i débute avec la valeur m. L'indice, i, est incrémenté de 1 à chaque itération, et s'arrêtant quand i = n<ref>Pour un exposé détaillé sur la notation de la sommation, et l'arithmétique avec sommes, voir Modèle:Ouvrage.</ref>.

Voici un exemple montrant une somme de carrés :

<math>\sum_{i \mathop =3}^6 i^2 = 3^2+4^2+5^2+6^2 = 86.</math>

La notation informelle omet parfois la définition de l'indice et de ses limites de sommation lorsque ceux-ci sont clairs au vu du contexte, comme dans :

<math>\sum a_i^2 = \sum_{ i \mathop =1}^n a_i^2.</math>

On voit souvent des généralisations de cette notation dans lesquelles une condition logique arbitraire est fournie, et la somme est destinée à prendre en charge toutes les valeurs satisfaisant cette condition. Par exemple :

<math>\sum_{0\le k< 100} f(k)</math>

est la somme de <math>f(k)</math> sur tous les (entiers) <math>k</math> dans un ordre spécifique,

<math>\sum_{x \mathop \in S} f(x)</math>

est la somme de <math>f(x)</math> sur tous les <math>x</math> de l'ensemble <math>S</math> (si <math>S</math> est l'ensemble vide, la somme est nulle : voir « Somme vide »), et

<math>\sum_{d|n}\;\mu(d)</math>

est la somme de <math>\mu(d)</math> sur tous les entiers positifs <math>d</math> divisant <math>n</math>.

Il existe aussi des façons de généraliser l'utilisation de plusieurs signes sigma. Par exemple,

<math>\sum_{\ell,\ell'}</math>

signifie

<math>\sum_\ell\sum_{\ell'}.</math>

Une notation similaire est appliquée en ce qui concerne le produit d'une suite de nombre qui est similaire à la sommation, mais qui utilise la multiplication au lieu de l'addition (et donne 1 pour une suite vide au lieu de 0). La structure de base utilisée est la même, avec <math>\prod</math>, une forme élargie de la lettre grecque Pi majuscule, remplaçant le <math>\sum</math>.

Définition formelle

La somme peut être définie récursivement comme suit

<math>\sum_{i=a}^b g(i)=0</math> <math>\,</math>, pour b < a.

<math>\sum_{i=a}^b g(i)=g(b)+\sum_{i=a}^{b-1} g(i)</math>, pour b ≥ a.

Exemples

Somme des premiers entiers

Fichier:Animated proof for the formula giving the sum of the first integers 1+2+...+n.gif

Animation pour la preuve « du petit Gauss » de la formule donnant la somme des n premiers entiers.

Pour tout entier Modèle:Math, la somme des entiers de 1 à Modèle:Math vaut :

<math>S = 1 + 2 + 3 + \cdots +(n - 1) + n =\sum_{i=1}^n i=\frac{n(n+1)}2.</math>

Le calcul de cette somme fait l'objet d'une légende<ref>Modèle:Lien a recensé 111 versions différentes de cette légende, toutes aussi romancées (voir son article « Gauss's Day of Reckoning » dans American Scientist, vol. 94, n° 3, mai-juin 2006 Modèle:DOI).</ref><ref>L'origine de l'information remonte à l'essai biographique sur Gauss écrit par Wolfgang Sartorius von Waltershausen, Gauss zum Gedächtnis, 1856, Modèle:P. ; les nombres de 1 à 100 ne sont pas indiqués, ni la méthode pour y parvenir.</ref><ref>Modèle:Lien web.</ref><ref>Modèle:Lien web, présente une version de plus de cette anecdote et des exemples d'application de cette méthode.</ref> concernant Carl Friedrich Gauss, selon laquelle peu après son septième anniversaire<ref>Wolfgang Sartorius von Waltershausen, Gauss zum Gedächtnis, 1856, Modèle:P.</ref>, il aurait stupéfié son maître d'école Büttner en calculant très rapidement la somme des entiers de 1 à 100, alors que le maître s'attendait à ce que ce calcul occupât toute la classe un long moment. Gauss additionne 1 avec 100, puis 2 avec 99, puis 3 avec 98 et ainsi de suite jusqu'à 50 avec 51. Il obtient une somme de 50 fois la valeur 101, soit 5 050. Seule l'anecdote est peut-être infondée ; la méthode, en revanche, est correcte et s'applique à n'importe quel entier n. On peut la reformuler ainsi :

<math> \begin{array}{lr*{10}{c}} & S &=& 1 &+& 2 &+& \cdots &+& n-1 &+& n\\ \text{ou encore } & S &=& n &+& n-1 &+& \cdots &+& 2 &+& 1\\ \mbox{de somme : } & S+S &=& n+1 &+& n+1 &+& \cdots &+& n+1 &+& n+1\\ \end{array} </math>

On a ainsi : <math>2S = n(n+1),</math> d'où l'on tire : <math>S=\frac{n(n+1)}2.</math>

Une autre méthode consiste à vérifier cette formule par récurrence sur n : notons S_n la somme des entiers de 1 à n. La formule S_n = n(n + 1)/2 est vraie pour n = 1<ref>Et même pour n = 0, avec la convention que la somme vide S₀ est nulle.</ref> et si elle est vraie à l'ordre n – 1 alors elle l'est à l'ordre n car

<math>S_n=S_{n-1}+n=\frac{(n - 1)n}2+n=\frac{n^2-n+2n}2=\frac {n(n+1)}2.</math>

D'autres démonstrations font appel à l'arithmétique géométrique : voir l'article Nombre triangulaire, § « Méthodes de calcul ».

Somme des premiers entiers impairs

Fichier:The sum of the first n odd integers is n². 1+3+5+...+(2n-1)=n²..gif

1+3+5+...+(2n-1)=n². Preuve sans mot avec une animation 3D de vues d'un tétraèdre.

Pour tout entier Modèle:Math supérieur à 1, la somme des Modèle:Math premiers impairs vaut Modèle:Math :

<math>S = 1 + 3 + 5 + \cdots +(2n - 1) =\sum_{i=1}^n (2i-1)=n^2.</math>

Exemples :

• 1=1²,
• 1+3=2²,
• 1+3+5=3², etc.

Il s'agit d'un cas particulier de somme de termes d'une suite arithmétique. Ici c'est la suite arithmétique de raison 2 et de premier terme 1 dont on calcule la somme des n premiers termes.

Somme des premières puissances

Pour tout entier Modèle:Math, la somme des n premiers carrés d'entiers vérifie l'identité :

<math>\sum_{k=1}^n k^2=\frac{n(2n+1)(n+1)}6.</math>

Cette identité peut faire l'objet de nombreuses démonstrations différentes. La plus simple consiste en une simple démonstration par récurrence, mais nécessite que la formule soit connue au préalable. Une méthode pour retrouver la formule sans qu'elle soit connue est de considérer le signe somme comme une opération d'intégration, ce qui amène naturellement à chercher une « primitive » de n² comme un polynôme de degré 3 : P(n) = an³ + bn² + cn + d. Le terme primitive correspond ici à une notion d'intégrale discrète, c'est-à-dire qu'on souhaite que soit vérifiée l'équation :

<math>P(k)-P(k-1)=k^2\,</math>

Cette équation amène aux valeurs <math>a=\frac13,\;b=\frac12,\;c=\frac16</math>, puis en sommant l'identité précédente pour k allant de 0 jusqu'à n, permet de montrer l'identité annoncée.

Une autre méthode, fondée aussi sur cette idée de primitive, consiste à partir de l'identité :

<math>\int_k^{k+1}x^2dx\,\!=k^2+k+\frac13,</math>

et à la sommer pour k allant de 0 jusqu'à n, ce qui permet d'obtenir :

<math>\frac{(n+1)^3}{3}=\int_0^{n+1}x^2dx\,\!=\sum_{k=0}^n \bigg(k^2+k+\frac13\bigg).</math>

En supposant déjà connue la formule pour la somme des n premiers entiers, l'identité souhaitée s'en déduit.

Ces deux méthodes par primitive permettent de généraliser au calcul de la somme des n premières puissances p-èmes ; la deuxième nécessitant toutefois un calcul par récurrence sur p. Les formules obtenues pour p = 3 et p = 4 sont :

<math>\sum_{k=1}^n k^3 = \frac{n^2(n + 1)^2}{4}</math> ;

<math>\sum_{k=1}^n k^4 = \frac{n}{30}(n + 1)(2n + 1)(3n^2 + 3n -1)</math>.

Les formules générales, appelées formules de Faulhaber, font intervenir les nombres de Bernoulli.

Diviseurs d'un entier

Modèle:Article détaillé Tout entier strictement positif a un nombre fini de diviseurs, qui peuvent être listés par test successifs sur les entiers strictement inférieurs ou par produits de combinaisons de ses facteurs premiers.

La somme des diviseurs Modèle:Math définit une fonction arithmétique, c'est-à-dire que si Modèle:Math et Modèle:Math sont deux entiers premiers entre eux, on a Modèle:Math.

L'entier 6 est parfait car il est égal à la somme de ses diviseurs stricts : Modèle:Math. L'entier 10 est déficient : Modèle:Math. L'entier 12 est abondant : Modèle:Math.

Coefficients binomiaux

Pour tout Modèle:Math, pour tout entier Modèle:Math entre 0 et Modèle:Math, le coefficient binomial <math>\binom{n}{k}</math> correspond au nombre de combinaisons de Modèle:Math éléments dans un ensemble de Modèle:Math éléments.

La somme de ces coefficients pour Modèle:Math fixé, autrement dit la somme des termes sur une ligne du triangle de Pascal, correspond donc au nombre de parties d'un ensemble à Modèle:Math éléments, ce qui donne l'égalité

<math>\sum_{k=0}^n \binom{n}{k} = 2^n</math>.

La somme des coefficients binomiaux selon une diagonale du triangle de Pascal satisfait aussi la formule :

<math> \sum_{i=k}^{n-1} \binom{i}{k} = \binom{n}{k+1} </math>

Sommes de Riemann

Sous des hypothèses sur les intervalles et la fonction <math>f</math>, les sommes de Riemann s'écrivent :

<math>S_n=\frac{b-a}{n}\sum_{k=1}^nf(x_k)=\sum_{k=1}^n(x_k-x_{k-1})f(x_k)</math>

Elles permettent de calculer l'intégrale de la fonction <math>f</math> :

<math>\lim_{n\rightarrow+\infty}S_n=\int_a^bf(t)dt\,\!</math>

Autres sommes

Les relations suivantes sont des identités :

<math> \sum_{i=0}^n k \cdot\ i = {k \cdot\ n(n+1) \over 2 } </math> (somme d'une suite arithmétique), d'où

<math> \sum_{i=1}^n (2i-1) = n^2.</math> (La somme des n premiers nombres impairs vaut n², voir animation)

Fichier:The sum of the first n odd integers is n². 1+3+5+...+(2n-1)=n²..gif

La somme des n premiers nombres impairs est n². 1+3+5+...+(2n-1)=n². Visualisation en 3D sur un tétraèdre.

Pour Modèle:Math, <math> \sum_{i=0}^n x^i = \frac{1-x^{n+1}}{1-x} </math> (voir « Série géométrique »).

<math>\gamma = \lim_{n \rightarrow \infty } \left(\sum_{k=1}^n \frac{1}{k} - \ln(n) \right)</math> (voir « Constante d'Euler-Mascheroni »).

Pour des exemples de sommes infinies, voir « Série (mathématiques) ».

Calcul effectif

Si l'associativité et la commutativité de l'addition permettent en théorie de calculer une somme de plusieurs termes dans n'importe quel ordre, en pratique les approximations successives peuvent mener à des résultats différents en fonction de l'ordre choisi.

Calcul de la somme des inverses des 100 000 premières puissances quatrièmes par ordre croissant de valeurs puis par ordre décroissant de valeurs.

>>> sum(1/n**4 for n in range(1, 100001)) 1.082323233710861 >>> sum(1/n**4 for n in range(100000, 0, -1)) 1.082323233711138

Voir aussi

• Addition
• Produit mathématique
• Langage formel mathématique
• Formule de Faulhaber
• Symbole somme
• Notation (mathématiques)
• Famille sommable