Algèbre, IV, p. 86
Soient a1,a2,…,ap des entiers >0; on désigne par αn le nombre des suites finies (xi)1≤i≤p d’entiers ≥0 satisfaisant à l’équation
a1x1+a2x2+⋯+apxp=n.
Montrer que la série formelle ∑n=0∞αnXn (sur le corps Q) est le développement de la fraction rationnelle
(1−Xa1)(1−Xa2)⋯(1−Xap)1.