103
Ou la réponse totale dans le cas général :
m
X
s=0
(−1)s
X
0≤i1<i2<...<is≤m
C(n+m−(ri1+ri2+. . . +rid)−1, d −1)
.
Ici, la notation P0≤i1<i2<...<is≤mveut dire : "prendre la somme sur toutes les possibilités des ia∈N
(1≤a≤s) telles que 0≤i1< i2< . . . < is≤m".
10. Suites et récurrences linéaires
10.1. Suites et séries. Les suites de nombres (entiers, réels ou mêmes complexes)
a0, a1, a2, a3, . . . , an, . . .
jouent un grand rôle dans les mathématques, en particulier dans les problèmes de comptage. Consi-
dérons les suites réelles dans cette section. On peut considérer une suite de nombres réels comme
une fonction F:N→R, où F(i) = ai, et vice versa.
Par exemple. Fixons Eun ensemble fini avec méléments. Si anest le nombre des n-permutations
avec remise dans E, la suite est
1, m, m2, m3, . . . , mn, . . . ..
Si anest le nombre des n-combinaisons avec remise dans E, la suite est
1, m, (m+ 1)m
2! ,(m+ 2)(m+ 1)m
3! , . . . , C(n+m−1, n), . . .
Si anest le nombre des n-combinaisons sans remise dans E, la suite est
1, m, m(m−1)
2! ,m(m−1)(m−2)
3! , . . . , C(m, n), . . . , C(m, m),0,0,0,0,0, . . .
parce que an= 0 si n>m. Cette suite devient 0.
10.2. Calcul. Dans un cours de calcul ou d’analyse on considère la série
X
n≥0
anxn
associée à une suite (ai)i≥0. Puis on considère la question pour quelles valeurs de xcette suite est
convergente. Supposons la série converge pour toutes les valeurs sur un (possiblement très petit)
intervalle ouvert (−, ), disons avec valeur f(x). Alors f: (−, )→Rest une jolie fonction
(une "fonction analytique"). En particulier toutes les fonctions dérivées existent. On appelle fune
fonction génératrice 40 pour la suite. Par le théorème de Taylor, on retrouve les aien termes de
cette fonction :
an=f(n)(0)
n!,
où f(n)(0) est la n-ième fonction dérivée évalué en x= 0.
Par contre, si g: (−, )→Rest une jolie fonction, on obtient une suite bn=g(n)(0)
n!et la série
associée est appelée la suite (ou la développement) de Maclaurin de g.
Dans un cours de calcul on montre aussi que si Pn≥0anxnest la suite de Maclaurin de falors
Pn≥0(n+ 1)an+1xn(=(la dérivé de la série Pn≥0anxn) est la série de Maclaurin de la fonction
40. Voir aussi [R, Annexe 3]