1. Propriétés de la somation

Quelques rappels sur les séries
Quand un algorithme contient une instruction de répétition, son temps d’exécution peut être
exprimé comme une somme du temps pris par les instructions exécutées par cette boucle. Ce qui
suit est un bref rappel de quelque formules de somation utilisées fréquemment dans l’analyse des
algorithmes.
1. Propriétés de la somation
Étant donnée une suite de nombres a1, a2, . . . an, l’expression a1 + a2 + . . . +an est écrite comme
suit:
n
ii
a
1
Si n = 0, cette somme est par définition nulle.
Si n tends vers l’infini, la somme a1 + a2 + … peut être écrite comme :
11
lim ii
n
iin aa
Si la limite n’existe pas, la somme est dite divergente sinon elle est dite convergente.
Quelque soit le nombre réel c et la suite finie de nombres a1, a2, . . . , an et b1, b2, . . . , bn, nous
avons la relation suivante :
1.
n
ii
n
iiacca 11
2.
 n
i
n
iii
n
iii baba 1 11
Quand n tend vers l’infini, si la somme correspondante est convergente, la deux relations ci-
dessus sont aussi vraies.
3.
))(())(( 11   n
k
n
kkfkf
(elle est aussi vraie pour les vraies formation de notation)
Remarquer que dans cette équation, la notation  du membre gauche s’applique sur la variable k,
alors que, dans le membre droit, elle s’applique sur n.

2. Quelques sommes particulières
1. séries arithmétique
si ai = ai-1 + r pour une constante quelconque r alors
n
ii
a
1
=
2)1(
1rnn
na 
En particulier, si r =1, et a1 = 1 on obtient la formule suivante :
2)1(
...321
1
nn
ni
n
i
2. Série Géométriques
si ai = ai-1
r alors
n
ii
a
1
=
r
r
an
1
11
1
en particulier si r = 2 et a1 = 1, on obtient
122...2221 132
1
nn
n
ii
a
3. Séries harmoniques
Pour les entiers positifs n, la série harmonique est définie comme suit :
n
ki k
nH 1
1
)(
)(log)( nOnH 
4. Rappels de quelques opérations sur la fonction log et la fonction puissance
a
b
b
alog
log
log 
;01log 
1log e
; le nombre e = 2.71.

Par abus de notation, on écrira souvent
blog
pour signifier en fait
b
2
log
babaloglog 
baba logloglog 
a
alog
1
log 
aaaax ...
(la multiplication est effectuée x fois)
1
0a
yxyx aaa 
yxxy aa )(
x
xa
a1
ax xa loglog 