6.20.3  Somme indicée finie et infinie et primitive discrète : sum

sum a deux, quatre ou cinq arguments :

• Avec 5 arguments sum(Xpr,Var,a,b,p) renvoie la somme demandée c’est à dire renvoie la somme des valeurs de l’expression Xpr quand la variable Var va de a à b avec un pas égal à p.
  On tape :
  sum(x^2+1,x,1,5,1)
  Ou on tape :
  sum(x^2+1,x,1,5)
  Ou on tape :
  sum(x^2+1,x,5,1,1)
  Ou on tape :
  sum(x^2+1,x,5,1,-1)
  On obtient :
  60
  En effet :
  2+5+10+17+26=60
  On tape :
  sum(x^2+1,x,1,5,2)
  On obtient :
  38
  En effet :
  2+10+26=38
• Avec 4 ou 2 arguments, sum(Xpr,Var,a,b) ou sum(Xpr,Var=a..b) n’a pas la même valeur selon que a est plus petit ou égal à b ou non, car on veut avoir l’égalité :
  sum(Xpr,Var,a,b)=sum(Xpr,Var,a,c)+sum(Xpr,Var,c+1,b).
  Aussi, lorsque le pas p n’est pas précisé on a :
  • si a est inférieur à b,
    sum(Xpr,Var,a,b) renvoie la somme des valeurs de l’expression Xpr quand la variable Var va de a à b avec un pas de 1 : cette syntaxe est compatible avec Maple.
    Ainsi si a<= b on a :
    sum(Xpr,Var,a,b)=sum(Xpr,Var,a,b,1).
    On tape :
    sum(x^2+1,x,1,5)
    Ou on tape :
    sum(x^2+1,x=1..5)
    On obtient :
    60
    En effet :
    2+5+10+17+26=60
  • si a est supérieur à b+1,
    sum(Xpr,Var,a,b) renvoie l’opposé de la somme des valeurs de l’expression Xpr quand la variable Var va de b+1 à a-1 avec un pas de 1 : cette syntaxe est compatible avec Maple.
    On tape :
    sum(x^2+1,x,5,1)
    On obtient :
    -32
    En effet :
    −(5+10+17)=−32 Attention on n’obtient pas la même chose si on précise le pas (avec p=1 ou p=−1)
    On tape :
    sum(x^2+1,x,5,1,-1)
    Ou on tape :
    sum(x^2+1,x,5,1,1)
    On obtient :
    60
    Car on a :
    2+5+10+17+26=60
    On tape :
    sum(x^2+1,x,4,1)
    On obtient :
    -15
    En effet :
    −(5+10)=−15
  • si a est égal à b+1,
    sum(Xpr,Var,b+1,b) renvoie 0.
    On tape :
    sum(x^2+1,x,5,4)
    Ou on tape :
    sum(x^2+1,x=5..4)
    On obtient :
    0
• si sum a deux arguments :
  sum a comme premier argument une expression (par exemple f(x)) d’une variable (par exemple x) qui est donnée comme deuxième argument.
  sum renvoie la primitive discrète de cette expression, c’est à dire la fonction G verifiant G(x+1)−G(x)=f(x).
  On tape :
  sum(x,x)
  On obtient :
  (x^2-x)/2
  Donc :
  4+5+...19=(20^2−20)/2−(4^2−4)/2=190−6=184 On tape :
  sum(1/(x*(x+1)),x)
  On obtient :
  -1/x
  On tape :
  sum(cos(p*x),p)
  On obtient :
  (-cos(p*x)*cos(x)+cos(p*x)-sin(p*x)*sin(x))/(2*cos(x)-2)

Autes Exemples
On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

On tape :

On obtient :

Pour justifier ce résultat on décompose 1/(n^3-n), on tape :

On obtient :

Donc quand on fait la somme de 2 à N on a :
∑_n=2^N −1/n=−∑_n=1^N−1 1/n+1=−1/2−∑_n=2^N−2 1/n+1−1/N
1/2*∑_n=2^N 1/n−1=1/2*(∑_n=0^N−2 1/n+1)=1/2*(1+1/2+∑_n=2^N−21/n+1)
1/2*∑_n=2^N 1/n+1=1/2*(∑_n=2^N−2 1/n+1+1/N+1/N+1)
les termes ∑_n=2^N−2 se détruisent et il reste :
−1/2+1/2*(1+1/2)−1/N+1/2*(1/N+1/N+1)=1/4−1/2N(N+1)
d’ou les résultat précédents :
- pour N=10 la somme vaut : 1/4−1/220=27/110
- pour N=+∞ la somme vaut : 1/4 car 1/2N(N+1) tend vers zéro quand N tend vers l’infini.