i)a®:r*4- (i 4- 7)a''a:* + a^ c'est-à-dire

(.r 4-«)*=:a:'4- 8«a7"4- 28a^j:'''4- -"iGa"*^-»

Triangle arithmétique de Pascal.

268. Pascal a donné dans la construction de son triangle arithmétique, et sous une forme originale, l'équivalent de la formule du binôme qu'on attribue souvent à Newton.

En réalité, Newton ne l'a découverte que quelque temps après Pascal; mais ce dernier, en laissant de côté l'emploi des symboles algébriques, s'est privé des avantages considérables attachés à cet emploi.

269. Considérons le binôme :r 4- a, et élevons-le aux puissances I, 2, 3, . . . , m, ....

Écrivons régulièrement, sur des lignes horizontales successives, les coefficients de chaque développement.

Nous formerons ainsi le Tableau suivant, dont la disposition est un peu différente de celle adoptée par Pascal dans l'opus-

ALGÈBRE SUPÉRIEURr.

cule intitulé : Usage du triangle arithmétique pour les parties de jeu.

Cî„

Une fois qu'on a écrit Jes deux premières lignes horizontales (ou même seulement la première), toutes les autres s'ensuivent immédiatement d'après le théorème rappelé au vC" 267 et exprimé par la relation fondamentale

D*après cette relation, en effet, chaque coefficient du Tableau doit être égal au coefficient immédiatement supérieur augmenté de celui qui est placé à gauche.

Ainsi, dans la troisième ligne horizontale, le deuxième terme 3 est la somme du terme 2 qui est au-dessus, et du terme i qui précède 2 ; le troisième terme 3 est la somme de I -T- 2; le quatrième terme i est la somme de o -m. On continuera de la même manière pour former successivement les autres lignes. 11 est peut-être plus commode de renverser Tordre, c'est-à-dire d'effectuer les calculs en allant de gauche à droite. On dira, par exemple, pour la quatrième ligne : oH-i = i, i-f-3--4, 3-h3 = 6, 3-^1 = 4, 14-0 = 1.

270. Une fois le triangle arithmétique construit, nous ferons complètement abstraction de la première colonne verticale ou de la colonne des unités. C'est ce que nous avons marqué par le trait de séparation indiqué.

Cela posé, comme les différents nombres de combinaisons qui servent de coefficients dans le développement du binôme ne commencent qu'au deuxième terme, on voit, d'une manière

228 ALGEBRE SUPÉRIEURE.

générale, que la /w'*»*» ligne horizontale du triangle renferme les nombres de combinaisons de m objets pris i à i, 2 à 2, 3 à 3, . . ., m à m, tandis que la /i»*"* colonne verticale renferme les combinaisons /i à /i de /i, /i-f- 1, n -+- 2, ... objets. A la rencontre de la /ii**"*" ligne horizontale et de la «■«»• colonne verticale, on trouve donc le nombre de combinaisons de m objets pris n à n ou CJ},.

En d'autres termes, le rang d'une ligne horizontale , indiqué évidemment par son premier terme^ est l'indice des nombres de combinaisons gui s'y trouvent, tandis que le rang d'une colonne verticale, marqué évidemment par celui de la ligne horizontale où elle commence, est l'exposant des nombres de combinaisons qu'elle renferme.

271. Les termes de la première colonne verticale du triangle, toujours abstraction faite de la colonne des unités (270), sont dits nombres figurés du premier ordre; ceux de la deuxième colonne verticale, nombres figurés du deuxième ordre, ... ; ceux de la /i»*™" colonne verticale, nombres figurés du /i'^"»* ordre.

Les nombres figurés du premier ordre sont les nombres naturels. Les nombres figurés du deuxième ordre sont encore appelés nombres triangulaires, et ceux du troisième ordre, nombres pyramidaux, etc. Nous verrons bientôt la raison de ces dénominations.

272. Si Ton considère de gauche à droite deux colonnes verticales successives du triangle, sa loi de formation (269) montre immédiatement qu'un nombre quelconque de la seconde colonne est égal à la somme de tous les nombres qui, dans la colonne précédente, sont situés au-dessus de la ligne horizontale à laquelle appartient le nombre choisi dans la seconde colonne.

Prenons, par exemple (269), le nombre 262 dans la cinquième colonne verticale du triangle. Nous aurons successivement (269)

c'est-à-dire, en ajoutant toutes ces égalités membre à membre

ALGEBRE SUPÉRIEURE. 22g

et en simplifiant.

En d'autres termes, le ^'*"»< nombre figuré du /i'^"»' ordre (271) est égal à la somme des p nombres figurés du {n — i )'*«»<• ordre qui lui sont supérieurs.

En admettant que le //'*™« nombre figuré du w**"® ordre appartienne à la m»*"« ligne horizontale, ce résultat correspond précisément à la formule généralisée du n** 231, savoir

Cn — rn-\ , p/»-l . rn-\ . , p/i-i

qui est, à proprement parler, le fondement du triangle arithmétique.

273. Proposons-nous enfin de chercher Vexpression du pième nombre figuré du w'*"»* ordre,

La «**™* colonne verticale, qui contient les nombres figurés du /i»*"* ordre (271), commence à la /i**"" ligne horizontale (270). Le />»*"• nombre de cette /i**"»' colonne verticale appartient donc à la {n -hp — i)'*"*" ligne horizontale, et il a pour expression (270, 226)

fa — rp-\

c'est-à-dire (221)

27(^. Nous allons montrer comment on peut appliquer le triangle arithmétique à la solution de plusieurs questions intéressantes.

I* Somme des m premiers nombres naturels, — Cette somme est celle des m premiers nombres figurés du premier ordre : elle est donc égale (272) au m**">« nombre figuré du deuxième ordre.

Pour trouver ce nombre, il suffit de faire p-= m ei nz=z2 dans Tune des formules du n<^ 273, la première, par exemple. On trouve ainsi, pour la somme des m premiers nombres,

résultat déjà connu {Alg. élém., 330).

23o ALGEBRE SUPÉRIEURE.

2* Somme des carrés des m prem,iers nombres naturels. — ^ Nous ferons usage de la Iransfomialion suivante.

i.' Soil l'identilé

Si on la rapproche du résultat précédent (i*), en remplaçant successivement x par i, 2, 3, .... /;i, elle prouve évidemment que la somme demandée est égale à la somme des m premiers nombres naturels, augmentée du double de la somme des //« — i premiers nombres figurés du deuxième ordre, c'est-à-dire du {m — i)»èinc nombre figuré du troisième ordre (272). Pour obtenir ce dernier nombre, il faut d'ailleurs faire, dans Tune des formules du n* 273, /? = m — i et /i = 3; ce qui donne

On trouve ainsi, pour la somme des carrés des m premiers nombres,

3* Somme des cubes des m premiers nombres naturels. — Une transformation est encore ici nécessaire. Soit l'identité

Si on la rapproche du calcul précédent (2°), en remplaçant successivement x par 1, 2, 3, . . ., w, elle prouve évidemment que la somme demandée est égale à la somme des m pre> miers nombres naturels, augmentée de 6 fois la somme des {m — i) premiers nombres figurés du troisième ordre ou de 6 fois le (m — i)'*"° nombre figuré du quatrième ordre (272). Pour obtenir ce dernier nombre, il faut d'ailleurs faire, dans Tune des formules du n'» 273, 7? — m — i et /i — 4; ce qui

donne

On trouve ainsi, pour ia somme des cubes des m premiers nombres,

m(m-hi) (m -+- 2) (m -h i) m(m — i)

ou

[m{m -hi)"|'

Ce résultat montre que la somme des cubes des m premiers nombres est égale au carré de la somme de ces m premiers nombres.

Sans aller plus loin, on voit que, par rartiPice employé, le triangle arithmétique permettrait de déterminer de proche en proche les sommes des puissances semblables des m premiers nombres.

ALGÈBRE SLPÉRIEURr.