Pyramide de Pascal
En mathématiques, la pyramide de Pascal (ou tétraèdre de Pascal) est une généralisation tridimensionnelle du triangle de Pascal. De même que le triangle de Pascal donne les coefficients binomiaux, la pyramide de Pascal donne les coefficients trinomiaux.
Coefficients trinomiaux
Présentation et utilité
Les coefficients trinomiaux constituent un cas particulier des coefficients multinomiaux ; ils s'écrivent sous la forme <math>{n \choose i,j,k}</math> où <math>i,j,k</math> sont trois entiers naturels (positifs ou nuls) et <math>n=i+j+k</math>. Ils sont définis par la formule <math>{n \choose i,j,k} = \frac{n!}{i!j!k!}</math>. Comme tous les coefficients multinomiaux, leur intérêt est multiple ; on peut les retrouver dans les cas suivants :
- En algèbre avec le développement du trinôme de Newton.
- En dénombrement, <math>{n \choose i,j,k}</math> est le nombre d'arrangement possible d'une population de Modèle:Mvar objets composée de Modèle:Mvar objets d'une espèce A, Modèle:Mvar objet d'une espèce B et Modèle:Mvar objets d'une espèce C, les objets d'une même espèce étant indiscernable et leurs positions relatives n'important donc pas.
- En statistique, du fait de la propriété précédente.
Lien entre les coefficients trinomiaux et la pyramide de Pascal
La pyramide de Pascal se construit grâce à la loi de récurrence (de type relation de Pascal) concernant les coefficients trinomiaux suivante : <math>{n \choose i,j,k} = {n-1 \choose i-1,j,k} + {n-1 \choose i,j-1,k} + {n-1 \choose i,j,k-1}</math>, vraie pour tous les triplets <math>(i,j,k)</math> d'entiers naturel avec <math>n=i+j+k</math>.
Cette règle reste vraie dans les cas où Modèle:Mvar ou Modèle:Mvar sont égaux à 0, à condition de prendre la convention suivante: <math>{n' \choose i',j',k'} = 0 </math> si <math>i'\leqslant -1 \text{ ou } j'\leqslant -1\text{ ou }k'\leqslant -1 \text{ et } n'=i'+j'+k'\geqslant 0</math>.
Démonstration
La démonstration consiste à rechercher une factorisation de l'expression
<math>{n-1 \choose i-1,j,k} + {n-1 \choose i,j-1,k} + {n-1 \choose i,j,k-1} = \frac{(n-1)!}{(i-1)!j!k!}+\frac{(n-1)!}{i!(j-1)!k!}+\frac{(n-1)!}{i!j!(k-1)!}</math>
On peut pour cela commencer par mettre le terme (Modèle:Mvar - 1)! en facteur, puis en cherchant à réduire les trois termes aux même dénominateur on va remarquer que <math>\frac{1}{(i-1)!}= \frac{i}{i!}</math> , un dénominateur commun est donc <math>i!j!k!</math> .
On va donc avoir : <math>{n-1 \choose i-1,j,k} + {n-1 \choose i,j-1,k} + {n-1 \choose i,j,k-1} = \frac{(n-1)!}{i!j!k!}\left(i+j+k\right)</math>
Or <math>n=i+j+k</math> et <math>(n-1)!n=n!</math> donc:
<math>{n-1 \choose i-1,j,k} + {n-1 \choose i,j-1,k} + {n-1 \choose i,j,k-1} = \frac{n!}{i!j!k!}= {n \choose i,j,k}</math>
Lecture de la pyramide de Pascal
La pyramide est construite étage par étage en commençant par le sommet (Modèle:Mvar = 0) et en descendant (incrémentation de Modèle:Mvar). Les premiers étages du haut sont ainsi constitués :
1 1 1 1 1
1 1 2 2 3 3 4 4
1 2 1 3 6 3 6 12 6
1 3 3 1 4 12 12 4
1 4 6 4 1
Du fait qu'à l'étage Modèle:Mvar, les entiers naturel <math>(i,j,k)</math> doivent respecter la relation <math>n=i+j+k</math>, on repère la position du coefficient trinomial <math>{n \choose i,j,k}</math> sur l'étage Modèle:Mvar à l'aide de conventions telles que celles-ci (appliquée dans ce cas à Modèle:Mvar = 3):
k=0
\
k=1 1 - j=3
\ / \
k=2 3 - 3 - j=2
\ / \ / \
k=3 3 - 6 - 3 - j=1
\ / \ / \ / \
1 - 3 - 3 - 1 - j=0
/ / / /
i=0 i=1 i=2 i=3
Ainsi, avec les conventions adoptées, on peut repérer que <math>{3 \choose 1,1,1}</math> est le deuxième coefficient (Modèle:Mvar = 1) présent sur la deuxième rangée (Modèle:Mvar = 1) en partant du bas et est donc égal à 6. De même <math>{3 \choose 1,2,0}</math> est le deuxième (Modèle:Mvar = 1) élément de la troisième (Modèle:Mvar = 2) rangée en partant du bas, il est donc égal à 3, on remarquera que l'élément en question se trouve sur la rangée d'indice Modèle:Mvar = 0.
Le lien avec la relation de Pascal se retrouve du fait que la valeur d'un élément est la somme des trois (deux si on se trouve sur une face, 1 sur une arête) éléments se trouvant directement au-dessus de celui-ci dans l'étage précédent. Par exemple, pour l'étage Modèle:Mvar = 3, le 6 central se trouve être la somme des trois 2 se trouvant juste au-dessus dans l'étage Modèle:Mvar = 2.
Propriétés
Chaque face de la pyramide de Pascal est identifiable à un triangle de Pascal. Cela peut être expliqué soit par récurrence, mais il est plus simple de constater qu'une face de la pyramide correspond à un plan vérifiant Modèle:Mvar = 0, Modèle:Mvar = 0 ou Modèle:Mvar = 0, et puisque <math>0!=1</math>, on a <math>{n \choose 0,j,k}= \frac{n!}{j!k!}={n \choose j,k}</math> que l'on peut aussi noter <math>{n \choose k}</math> ou <math>{n \choose j}</math>.
La pyramide de Pascal peut être utilisée dans le développement du trinôme du newton du fait de la formule :
<math>(x+y+z)^n= \sum_{i,j,k\geqslant 0, i+j+k=n}{{n\choose i,j,k }x^iy^jz^k}</math>
On peut déduire de cette formule ou par récurrence que la somme des éléments de l'étage Modèle:Mvar est égale à <math>3^n</math>.
Une pyramide de Pascal allant de l'étage 0 à l'étage Modèle:Mvar inclus est constituée de <math>\binom{n+3}3</math> nombres, et la somme de ces nombres est égale à <math>\frac{3^{n+1}-1}{2}</math>.
Plus généralement, un simplexe de Pascal de dimension Modèle:Mvar (formé des coefficients d-nomiaux) allant de l'étage 0 à l'étage Modèle:Mvar inclus est constitué de <math>\binom{n+d}d</math> nombres, et la somme de ces nombres est égale à <math>\frac{d^{n+1}-1}{d-1}</math>.
Notes et références
Voir aussi
Articles connexes
Liens externes
- {{#invoke:Langue|indicationDeLangue}} Beyond Flatland: Geometry for the 21st Century. PART I: Pascal's Tetrahedron
- {{#invoke:Langue|indicationDeLangue}} Pascal's Simplices exposés sur le triangle de Pascal, la pyramide de Pascal, et davantage
