# Annales de mathématiques pures et appliquées/Tome 13/Algèbre élémentaire, article 1
## ALGÈBRE ÉLÉMENTAIRE.
### Recherche du nombre des termes d’un polynome complet, d’un degré quelconque, composé d’un nombre de lettres aussi quelconque ;

J’ai donné, à la page 115 du IVe volume de ce recueil, d’après M. G. Fornier, un procédé fort simple, pour parvenir à la formule générale qui donne le nombre des termes d’un polynome complet d’un degré quelconque, composé d’un nombre de lettres aussi quelconque. En revenant de nouveau sur ce sujet, je me suis aperçu que la recherche dont il s’agit pouvait être présentée sous une forme plus régulière, et par conséquent plus simple, et c’est à la reproduire sous cette nouvelle forme que je destine l’article que l’on va lire.
Soit un polynome complet du $m.$me degré composé des lettres $a,b,c,\ldots$ au nombre de $n.$ En supposant tous les coefficiens positif et égaux à l’unité, il devra d’abord renfermer le terme $1.$ Soient ensuite $P_{1}$ l’ensemble de ses termes d’une seule dimension, $P_{2}$ l’ensemble de ses termes de deux dimensions, et ainsi de suite, $P_{k}$ l’ensemble de ses termes de $k$ dimensions, $P_{m-1}$ l’ensemble de ses termes de $m-1$ dimensions, et enfin $P_{m}$ l’ensemble de ses termes de $m$ dimensions, ce polynome sera
$P_{m}+P_{m-1}+\ldots +P_{k}+\ldots +P_{2}+P_{1}+1\,;\qquad$
dont il s’agit d’assigner le nombre des termes.
Ce nombre étant évidemment déterminé, dès que $m$ et $n$ sont connus, ne saurait être qu’une fonction de ces deux nombres ; fonction encore inconnue, que nous pouvons désigner par $\phi (m,n).$ Tout se réduit donc à assigner la forme de la fonction désignée par $\phi .$
Soient multipliés
L’ensemble des termes $P_{m}\quad$par $a^{0}+b^{0}+c^{0}+\ldots$ ou n,
L’ensemble des termes $P_{m-1}$ par $a\ \,+b\ \,+c\ \,+\ldots ,$
L’ensemble des termes $P_{k}$ par $a^{m-k}+b^{m-k}+c^{m-k}+\ldots ,$
L’ensemble des termes $P_{2}$ par $a^{m-2}+b^{m-2}+c^{m-2}+\ldots ,$
L’ensemble des termes $P_{1}$ par $a^{m-1}+b^{m-1}+c^{m-1}+\ldots ,$
Et enfin le terme $\qquad \quad 1\$par $a^{m}\quad \!+b^{m}\quad +c^{m}\quad +\ldots \,;$
et soit prise, sans faire de réductions, la somme des différens produits, que nous désignerons par $S.$
Comme chacun des termes du polynome (1) aura été multiplié par un polynome de $n$ termes, il s’ensuit que $S$ aura $n$ fois autant de termes que (1), et qu’ainsi le nombre des termes de $S,$ avant toutes réductions, sera exprimé par
$n\phi (m,n).$
De plus, dans chaque multiplication, le multiplicande et le multiplicateur étant homogènes, et la somme de leurs dimensions étant constamment égale à $m,\ m$ sera aussi le nombre des dimensions des différens produits, et par suite de leur somme $S$ qui sera ainsi un polynome homogène de $m$ dimensions, formé avec les $n$ lettres $a,b,c,\ldots$
Or il est aisé de voir que, non seulement le polynome $S$ renfermera tous les termes de $m$ dimensions que l’on peut former avec les $n$ lettres $a,b,c,\ldots ,$ mais que de plus chacun de ces termes s’y trouvera répété $m+n$ fois ; car soit un de ces termes
$a^{\alpha }b^{\beta }c^{\gamma }\ldots$
avec la condition $\alpha +\beta +\gamma +\ldots =m,$ on l’aura obtenu en multipliant, savoir
${\begin{alignedat}{3}a^{\alpha }\ \ \ &\mathrm {par} \ b^{\beta }c^{\gamma }\ldots ,&b^{\beta }\ \ \ &\mathrm {par} \ a^{\alpha }c^{\gamma }\ldots ,&c^{\gamma }\ \ \ &\mathrm {par} \ a^{\alpha }b^{\beta }\ldots ,\ldots \\a^{\alpha -1}&\mathrm {par} \ ab^{\beta }c^{\gamma }\ldots ,&\qquad b^{\beta -1}&\mathrm {par} \ a^{\alpha }bc^{\gamma }\ldots ,\qquad &c^{\gamma -1}&\mathrm {par} \ a^{\alpha }b^{\beta }c\ldots ,\ldots \end{alignedat}}$
${\begin{alignedat}{3}a^{2}&\mathrm {par} \ a^{\alpha -2}bc^{\gamma }\ldots ,&b^{2}&\mathrm {par} \ a^{\alpha }b^{\beta -1}c^{\gamma }\ldots ,&c^{2}&\mathrm {par} \ a^{\alpha }b^{\beta }c^{\gamma -2}\ldots ,\ldots \\a\ \ &\mathrm {par} \ a^{\alpha -1}b^{\beta }c^{\gamma }\ldots ,\qquad &b\ \ &\mathrm {par} \ a^{\alpha }b^{\beta -1}c^{\gamma }\ldots ,\qquad &c\ \ &\mathrm {par} \ a^{\alpha }b^{\beta }c^{\gamma -1}\ldots ,\ldots \\a^{0}&\mathrm {par} \ a^{\alpha }b^{\beta }c^{\gamma }\ldots ,&b^{0}&\mathrm {par} \ a^{\alpha }b^{\beta }c^{\gamma }\ldots ,&c^{0}&\mathrm {par} \ a^{\alpha }b^{\beta }c^{\gamma }\ldots ,\ldots \end{alignedat}}$
on l’aura donc obtenu un nombre de fois exprimé par
$(\alpha +1)+(\beta +1)+(\gamma +1)+\ldots =(\alpha +\beta +\gamma +\ldots )+(1+1+1+\ldots )=m+n,$
comme nous l’avions annoncé.
Ainsi la somme $S$ sera, après les réductions faites, un polynome homogène complet de $m$ dimensions, formé avec les $n$ lettres $a,b,c,\ldots$ et dont tous les termes seront affectés du coefficient $m+n\,;$ de sorte qu’on aura
$S=(m+n)S',$
$S'$ étant un pareil polynome dans lequel tous les coefficiens sont égaux à l’unité. D’où l’on voit qu’avant les réductions $S$ devait avoir $m+n$ fois autant de termes que $S'.$
Présentement si, dans $S',$ on fait une des lettres $a,b,c\ldots ,\ a,$ par exemple égale à l’unité, le nombre de ses termes n’en sera pas changé ; mais il deviendra alors évidemment un polynome complet du $m$me degré, formé des $n-1$ lettres $b,c,d,\ldots ,$ dont le nombre des termes devra être exprimé par $\phi (m,n-1)\,;$ dont tel était aussi le nombre des termes de $S'$ avant d’avoir fait $a=1\,;$ d’où il suit qu’avant toutes réductions le nombre des termes de $S$ devait être
$(m+n)\phi (m,n-1).$
puis donc que nous venons de trouver, tout à l’heure, que le nombre de ces termes devait être
$n\phi (m,n),$
il s’ensuit qu’on doit avoir
$n.\phi (m,n)=(m+n).\phi (m,n-1).\qquad$
Si l’on considère présentement que cette dernière équation doit avoir lieu quel que soit le nombre entier $n,$ en observant d’après la nature de la fonction $\phi ,$ on doit avoir $\phi (m,1)=m+1,$ on pourra écrire cette suite d’équations
$n\phi (m,n)=(m+n).\phi (m,n-1),$
$(n-1)\phi (m,n-1)=(m+n-1).\phi (m,n-2),$
$(n-2).\phi (m,n-2)=(m+n-2).\phi (m,n-3),$
${\begin{aligned}&3.\phi (m,3)=(m+3).\phi (m,2),\\&2.\phi (m,2)=(m+2).\phi (m,1),\\&1.\phi (m,1)=(m+1),\end{aligned}}$
en les multipliant donc membre à membre, supprimant les facteurs communs dans l’équation résultante et résolvant enfin cette équation par rapport à $\phi (m,n)$ on aura
$\phi (m,n)={\frac {m+1}{1}}.{\frac {m+2}{2}}.{\frac {m+3}{3}}\ldots {\frac {m+n}{n}}={\frac {(m+n)!}{m!n!}}.\qquad$
telle est la formule générale cherchée.
On conclut évidemment de là
$\phi (m,n)=\phi (n,m)={\frac {n+1}{1}}.{\frac {n+2}{2}}.{\frac {n+3}{3}}\ldots {\frac {m+n}{m}}\,;\qquad$
on peut donc choisir, entre ces deux formules, celle qui se compose d’un moindre nombre de facteurs. Il résulte, aussi de leur équivalence qu’il y a autant de termes dans un polynome complet du nme degré formé avec m lettres qu’il y en a dans un polynôme complet du mme degré formé avec n lettres. C’est ainsi, par exemple, que l’équation complète du 3.e degré à deux variables et l’équation complète du 2.e degré à trois variables ont également dix termes.
Si dans le polynome (1) on suppose $a=1,$ le nombre de ses termes ne changera pas, et sera toujours $\phi (m,n)\,;$ mais alors les polynomes $P_{m},P_{m-1},\ldots P_{k},\ldots P_{2},P_{1}$ deviendront des polynomes complets des degrés marqués par leurs indices respectives formés des $n-1$ lettres restantes $b,c,d,\ldots \,;$ le nombre des termes de chacun d’eux pourra donc être représenté par $\phi (m,n-1),$ $\phi (m-1,n-1),\ldots ,$ $\phi (k,n-1),\ldots ,\phi (2,n-1),$$\phi (1,n-1)\,;$ de sorte qu’on doit avoir
$\phi (m,n)=1+\phi (1,n-1)+\phi (2,n-1)+\ldots +\phi (m-1,n-1)+\phi (m,n-1)\,;(5)$
en changeant $m$ en $m-1,$ on aura pareillement
$\phi (m-1,n)=1+\phi (1,n-1)+\phi (2,n-1)+\ldots +\phi (m-1,n-1)\,;$
ce qui donne, en retranchant,
$\phi (m,n)-\phi (m-1,n)=\phi (m,n-1)$
ou en transposant
$\phi (m,n)=\phi (m,n-1)+\phi (m-1,n)\qquad$
formule qui justifie la construction du triangle arithmétique de Pascal.
La formule (4) donne successivement
${\begin{aligned}&\phi (1,n-1)={\frac {n}{1}},\\\\&\phi (2,n-1)={\frac {n}{1}}.{\frac {n+1}{2}},\\\\\end{aligned}}$
${\begin{aligned}&\phi (3,n-1)={\frac {n}{1}}.{\frac {n+1}{2}}.{\frac {n+2}{3}},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&\phi (m,n-1)={\frac {n}{1}}.{\frac {n+1}{2}}.{\frac {n+2}{3}}\ldots {\frac {m+n-1}{m}},\end{aligned}}$
substituant ces valeurs dans l’équation (5) et mettant dans son premier membre pour $\phi [m,n)$ sa valeur (4), on aura
$\left.{\begin{array}{r}1\\+{\frac {n}{1}}\\\\+{\frac {n}{1}}.{\frac {n+1}{2}}\\\\+{\frac {n}{1}}.{\frac {n+1}{2}}.{\frac {n+2}{3}}\\+\ldots \ldots \ldots \ldots \ldots \ldots \\+{\frac {n}{1}}.{\frac {n+1}{2}}.{\frac {n+2}{3}}\ldots {\frac {m+n-1}{m}}\end{array}}\right\$
formule utile pour opérer des réductions dans divers résultats algébriques.