Triangle de Pascal - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

En mathématiques, le triangle de Pascal est un arrangement géométrique des coefficients binomiaux dans un triangle. À la ligne i et à la colonne j (0 ≤ ji) est placé le coefficient binomial {i \choose j}.

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
1 9 36 84 126 126 84 36 9 1
1 10 45 120 210 252 210 120 45 10 1

Utilisations

Polynômes

Le triangle de Pascal est souvent utilisé dans les développements binomiaux. Par exemple

(X + 1)2 = 1X2 + 2X + 12

Notez que les coefficients de chaque monôme, sont ceux de la troisième ligne du triangle de Pascal, c'est-à-dire 1, 2, 1. Ainsi quand nous effectuons un développement de la forme

(X+Y)^n=a_0X^nY^0+a_1X^{n-1}Y+a_2X^{n-2}Y^2+\ldots+a_nY^nX^0,

les coefficients sont ceux qui se trouvent sur la n+1ème ligne du triangle de Pascal.

Sommations

Connaissant la formule de sommation (a+b)^n =\sum_{i=0}^n\,{n \choose i}a^{n-i}b^{i}, plusieurs propriétés apparaissent simplement.

Posons a = b = 1, on a alors 2^n =\sum_{i=0}^n\,{n \choose i}\,{}.

Posons a = 1 et b = -1, on a alors 0 = \sum_{i=0}^n\,{n \choose i}\,(-1)^i = \sum_{i=0}^n\,(-1)^i.

Connaissant ces deux égalités, dont l'une est une somme alternée, il vient que la somme des termes d'ordre 0, 2, 4,... dans une rangée est 2n − 1

Dénombrement

Le nombre d'une colonne x (en comptant à partir de 0 les colonnes) et d'une ligne y (en comptant à partir de 0 les lignes) indique le nombre de permutations possibles.

Nombres de Catalan

À partir du triangle, il existe plusieurs façons de calculer les nombres de Catalan. La plus simple est de prendre une rangée d'ordre impair et de soustraire les troisième et premier termes, sachant que la série commence par 1, 1, 2 :

6 - 1 = 5
15 - 1 = 14
28 -1 = 27
...

Ces nombres interviennent dans divers problèmes géométriques discrets.

Construction

Combinatoire

En écrivant la formule de Pascal,

pour tous entiers i et j tels que 0 < j < i, {i \choose j}={i-1 \choose j-1}+{i-1 \choose j}

nous remarquons que le coefficient de la ligne i et colonne j s'obtient en ajoutant les coefficients de la ligne i - 1 et colonne j - 1 et de la ligne i - 1 et colonne j. De plus nous savons que

{n \choose 0}={n \choose n}=1.

Nous en déduisons une méthode de construction du triangle de Pascal :

  • nous plaçons dans la colonne 0 des 1 à chaque ligne, et des 1 à chaque entrée de la diagonale,
  • en partant du haut et en descendant, nous complétons le triangle en ajoutant deux coefficients adjacents d'une ligne, pour produire le coefficient de la ligne inférieure, en dessous du coefficient de droite.

Démonstration

Cette formule se démontre simplement par récurrence :

hypothèse de récurrence: (a+b)^n =\sum_{i=0}^n\,{n \choose i}a^{n-i}b^{i}

Cette hypothèse est vraie au rang 1 :

\begin{matrix} (a+b)^1= a+b &=&{1 \choose 0}a^1b^0+{1 \choose 1}a^0b^1 \\ \ &=&a+b\\ \end{matrix}

Montrons que si elle est vraie pour n alors elle est vraie pour n+1:

(a+b)^{n+1}\, =(a+b)(a+b)^n\,
=(a+b)\sum_{i=0}^n\,{n \choose i}a^{n-i}b^{i}
=\sum_{i=0}^n\,{n \choose i}a^{n+1-i}b^{i}+\sum_{i=0}^n\,{n \choose i}a^{n-i} b^{i+1}
={n \choose 0}a^{n+1}+\sum_{i=1}^n\,{n \choose i}a^{n+1-i}b^{i}+\sum_{i=0}^{n-1}\,{n \choose i}a^{n-i}b^{i+1}+{n \choose n}b^{n+1}
={n \choose 0}a^{n+1}+\sum_{i=1}^n\,{n \choose i}a^{n+1-i}b^{i}+\sum_{i=1}^{n}\,{n \choose {i-1}}a^{n+1-i}b^{i}+{n \choose n}b^{n+1}
={n \choose 0}a^{n+1}+\sum_{i=1}^{n}\,\left({n \choose i}+{n \choose i-1}\right )a^{n+1-i}b^{i}+{n \choose n}b^{n+1}
={n \choose 0}a^{n+1}+\sum_{i=1}^n\,{n+1 \choose i}a^{n+1-i}b^{i}+{n \choose n}b^{n+1}
=\sum_{i=0}^{n+1}\,{n+1 \choose i}a^{n+1-i}b^{i}

La formule est vraie au rang n+1, elle est donc vraie pour tout n.

Matricielle

Matrice binomiale en tant que matrice exponentielle (matrices 5x5). Tous les points sont des zéros.
Matrice binomiale en tant que matrice exponentielle (matrices 5x5). Tous les points sont des zéros.

Facile à construire à partir des factorielles, il est possible de représenter le triangle de Pascal à l'aide de l'exponentielle d'une matrice : le triangle est le résultat de l'exponentielle d'une matrice dont la sous-diagonale contient 1, 2, 3, 4, …, zéro ailleurs.

Informatique

Écrivons l'algorithme, en langage formel, de construction du triangle de Pascal. Notez que cet algorithme crée une nouvelle ligne à partir de la précédente.

Variables:
Tableau de 1 à 50 de tableau de 1 à 50 d'entiers c (tableau bidimensionnel)
Entiers i, j, n
n ← 10
c(lien)(lien) ← 1
pour i de 1 à n faire
c[i](lien) ← 1
c[i][i] ← 1
pour j de 1 à i-1 faire
c[i][j] ← c[i-1][j-1] + c[i-1][j]
afficher_tableau(c)

Généralisations

La formule du binôme généralisé est une importante généralisation du triangle de Pascal, car elle permet de manipuler des nombres complexes dans la base, tout comme d'utiliser des exposants complexes.

Le triangle de Pascal se généralise aisément à des dimensions supérieures. La version tridimensionnelle s'appelle la pyramide de Pascal.

Curiosités

Un triangle de Sierpinsky
Un triangle de Sierpinsky

Dans ce triangle, si tous les nombres pairs sont coloriés en blanc et tous les nombres impairs en noir, le triangle de Sierpinski apparaît.

Histoire

Le triangle a été décrit par Zhu Shijie en 1303 dans son livre Le Miroir de jade des quatre inconnues. Dans ce livre, Zhu présente le triangle comme une méthode ancienne (de plus 200 années avant son temps) pour déterminer les coefficients du binôme, ce qui indique que la méthode était connue des mathématiciens chinois cinq siècles avant Pascal. Elle était également connue des mathématiciens persans, par exemple al-Karaji (953 - 1029) ou Omar Khayyam au XIe siècle.

Page générée en 1.016 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise