Triangle de Pascal

Un article de Wikipdia, l'encyclopdie libre.

Aller : Navigation, rechercher Pour les articles homonymes, voir Pascal. En mathmatiques, le triangle de Pascal, est un arrangement gomtrique des coefficients binomiaux dans un triangle. la ligne i et la colonne j ( ! j ! i" est #lac le coefficient binomial $l fut tr%s t&t utilis #our dvelo##er des ex#ressions de la forme 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 4 5 6 ! " # 1 11 1 3 6 1 15 21 2" 36 45 55 1 4 1 2 35 56 "4 12 1 5 15 35 ! 1 6 21 56 1 ! 2" "4 1 " 36 12 1 # 45 165 1 1 55 1 11 1 .

126 126 21

252 21

165 33

462 462 33

$istoire

'riangle arithmtique chinois

(a tradition attribue le nom de triangle de )ascal au triangle dcrit #lus haut. *e#endant, ce triangle tait d+ connu en ,rient et mo-en ,rient #lusieurs si%cles avant la #ublication de .laise )ascal. $l tait ainsi connu des mathmaticiens #ersans, #ar exem#le al/0ara+i (123 / 4 51"4 ou ,mar 0ha--am au 6$e si%cle qui l7utilisent #our dvelo##er (a 8 b"n . $l a##ara9t en *hine d%s 45:4 dans un ouvrage de ;ang <ui (au rang :" et dans le Miroir de jade des quatre lments de =hu >hi+ie en 43 3 (au rang ?". ;ang <ui attribue la #aternit du triangle au mathmaticien chinois du 6$e si%cle @ia 6ian. *e triangle #ermettait de #rsenter les coefficients des diffrents termes dans la formule du binome et, selon A.@. 0atB, il tait utilis #our gnraliser des degrs su#rieurs deux la mthode d7extraction de racine 5. En Euro#e, il a##arait dans l7ouvrage de )eter A#ian, Rechnung 3 (425C". $l est tudi #ar Dichael >tifel (4E?: / 42:C" E, 'artaglia (4E11 / 422C" et FranGois Ai%te (42E /4: 3". *7est d7ailleurs sous le nom de Triangle de Tartaglia qu7il est connu en $talie. Dais c7est .laise )ascal qui lui consacre un trait : le trait du triangle arithmtique (4:2E" dmontrant 41 de ses #ro#rits, #ro#rits dcoulant en #artie de la dfinition combinatoire des coefficients. Nombre de ces #ro#rits taient d+ connues mais admises et non dmontres. )our les dmontrer, )ascal met en #lace dans son trait une version aboutie du raisonnement #ar rcurrence. $l - dmontre le lien entre le triangle et la formule du binome. $l l7ex#loite dans un #robl%me de lancer de #i%ce quilibre (#robl%me des #artis".

%onstr&ction

(e triangle de )ascal se construit de la mani%re suivante : #lacer 4 au sommet de la #-ramide, #uis 4 et 4 en dessous, de #art et d7autre. (es extrmits des lignes sont tou+ours des 4, et les autres nombres sont la somme des deux nombres directement au/dessus.

%o'binatoire
En crivant la formule de Pascal,

#our tous entiers i et j tels que

H j H i,

nous remarquons que le coefficient de la ligne i et colonne j s7obtient en a+outant les coefficients de la ligne i / 4 et colonne j / 4 et de la ligne i / 4 et colonne j. Ie #lus nous savons que

. Nous en dduisons une mthode de construction du triangle de )ascal :

nous #laGons dans la colonne des 4 chaque ligne, et des 4 chaque entre de la diagonale, en #artant du haut et en descendant, nous com#ltons le triangle en a+outant deux coefficients ad+acents d7une ligne, #our #roduire le coefficient de la ligne infrieure, en dessous du coefficient de droite.

>uivant le schma suivant, il est sim#le de ne #as se trom#er :

B || (A+B)

(atricielle

Datrice binomiale en tant que matrice ex#onentielle (matrices 2x2". 'ous les #oints sont des Bros. Facile construire #artir des factorielles, il est #ossible de re#rsenter le triangle de )ascal l7aide de l7ex#onentielle d7une matrice : le triangle est le rsultat de l7ex#onentielle d7une matrice dont la sous/diagonale contient 4, 5, 3, E, J, Bro ailleurs.

)n*or'ati+&e
Kcrivons l7algorithme, en langage formel, de construction du triangle de )ascal. NoteB que cet algorithme cre une nouvelle ligne #artir de la #rcdente.
Variables : Tableau de 1 X de tableau de 1 X d'entiers c (tableau bidimensionnel) Entiers i, j, n, x n 10 c 0! 0! 1 "our i de c i! c i! "our 1 n #aire 0! 1 i! 1 j de 1 i$1 #aire % i! j! % i$1! j$1! + c i$1! j! #in"our #in"our a##i%&er'tableau(c)

Progra''e Pascal
"ro(ram trian(le'"as%al) uses *in%rt) t+"e ,atri%e-arra+ 1../0,1../0!o# inte(er) 0ar n:inte(er) m:,atri%e) "ro%edure rem"lir(n:inte(er)0ar ,:,atri%e)) 0ar i,1:inte(er) be(in , 1,1!:-1) #or i:-/ to n do be(in , i,1!:-1) , i,i!:-1) #or 1:-/ to i$1 do , i,1!:-, i$1,1$1!+, i$1,1!) end)

end) "ro%edure a##i(n:inte(er),:,atri%e)) 0ar i,1:inte(er) be(in 2or i:-1 to n do Be(in 2or 1:-1 to i do *rite(, i,1!:3)) *riteln) End ) end) be(in n:-4) *riteln('55555555555 Trian(le de 6as%al 55555555555')) *riteln) *riteln) rem"lir(n,m)) a##i(n,m)) end.

Progra''e %,,
7in%lude 8iostream9 7in%lude 80e%tor9 usin( names"a%e std) t+"ede# 0e%tor8 0e%tor8int9 9 ,atri%e) ,atri%e %reerTableau6as%al(int n) : ;; <r=ation du tableau ,atri%e tableau) tableau.resi>e(n)) #or (int i-0) i8n) ++i) tableau i!.resi>e(i+1)) ;; ?em"lissa(e du tableau tableau 0! 0!-1) #or (int i-1) i8n) i++) : tableau i! 0!-1) tableau i! i!-1) #or (int 1-1) 18i) ++1) tableau i! 1!-tableau i$1! 1$1!+tableau i$1! 1!) @ return tableau)

0oid a##i%&erTrian(le(,atri%e tableau) : int n - tableau.si>e()) #or (int i-0) i8n) ++i) : #or (int 1-0) 18-i) ++1) %out 88 tableau i! 1! 88 A A) %out 88 endl) @ @ int main() : int n-10) ,atri%e tableau) tableau - %reerTableau6as%al(n)) a##i%&erTrian(le(tableau)) return 0)

Proprits
-ies . la constr&ction

(a somme des termes d7une ligne : la somme des termes sur la ligne de rang n (#remi%re ligne L rang " est gale 5n. (es crosses de hocMe- : >i on fait la somme des termes, en #artant d7un bord du triangle et en descendant verticalement, on obtient le terme situ en diagonale en bas droite du dernier terme de la colonne. >i on fait la somme des termes, en #artant d7un bord du triangle et en descendant en diagonale vers la droite, on obtient le terme situ sous le dernier terme de la diagonale. Exem#le : descente de E termes dans la colonne de rang 3 : 4 8 3 8 : 8 4 L.5 terme situ en bas droite du dernier terme Exem#le : Iescente en diagonale de 2 termes #artir de la ligne de rang E : 4 8 2 8 42 8 32 8 C L 45: terme situ sous le dernier Iiagonale ascendante : la somme des termes d7une diagonale ascendante corres#ond l7un des termes de la suite de Fibonacci Iiagonales ascendantes de rang 4, 5, 3, E, 2 : 4, 4, 4 8 4 L 5 , 4 8 5 L 3, 4 8 3 8 4 L 2 *haque ligne #oss%de un centre de s-mtrie

/or'&le d& bin0'e

Article dtaill : Formule du bin&me de NeNton.

(e triangle de )ascal est souvent utilis dans les dvelo##ements binomiaux. En effet, on trouve sur une mOme ligne tous les coefficents intervenant dans le dvelo##ement d7une #uissance de la somme de deux termes. Exem#le : et les coefficients de chaque mon&me sont ceux de la troisi%me ligne du triangle de )ascal (la ligne de rang 5", c7est//dire 4, 5, 4. Pnralisation : coefficients sont ceux qui se trouvent sur la n84e ligne du triangle de )ascal (ligne de rang n". , oQ les

*onnaissant ainsi la formule de sommation sim#lement.

, #lusieurs #ro#rits a##araissent

)osons a L b L 4, on a alors

)osons a L 4 et b L /4, on a alors

*onnaissant ces deux galits, dont l7une est une somme alterne, il vient que la somme des termes d7ordre , 5, E,... dans une range est 5n R 4 et est gale la somme des termes d7ordre 4, 3, 2, ....

Proprit lie a& dno'bre'ent

(e nombre situ dans la colonne #(en com#tant #artir de les colonnes" et la ligne n (en com#tant #artir de lignes" indique le nombre de combinaisons #ossibles de # lments dans un ensemble n lments. les

Ians la ligne n et la colonne #, on a

Ians la ligne n et la colonne #, on lit le nombre de fois oQ l7on #eut es#rer obtenir # #iles et n/# faces lors de 5n lancers d7une #i%ce quilibre 2 En multi#liant un terme #ar le rang de sa colonne et en le divisant #ar le rang de sa ligne, on obtient le terme situ en cran #lus haut sur la gauche exem#le le terme dans la ligne : et la colonne E est 42 (on ra##elle que les lignes et les colonnes sont numrotes en commenGant "S ,r 42 T EU:L4 situdans la case +uste c&t en haut gauche.

En multi#liant le terme de ligne n et de colonne # #ar , on obtient son voisin sur la droite 'ous les termes de la ligne de rang n (sauf le #remier et le dernier" est un multi#le de n si et seulement si n est un nombre #remier

1o'bres de %atalan
Article dtaill : Nombre de *atalan.

'outes les lignes de rang #air (5n" ont un terme central, en divisant ce terme #ar n84 ou en lui &tant son voisin, on obtient un nombre de *atalan.

Triangle de 2ierpinski
Article dtaill : triangle de >ier#iVsMi.

Wn triangle de >ier#iVsMi En grisant les cases oQ a##ara9t un nombre im#air et blanchissant les cases oQ a##ara9t un nombre #air, on obtient une image analogue au triangle de >ier#insMi :. $l en est de mOme si on noircit toutes les cases qui ne sont #as congrues modulo #.

1o'bres *ig&rs
Article dtaill : Nombre figur.

(es nombres situs sur la troisi%me diagonale descendante corres#ondent aux nombres triangulaires ceux de la quatri%me diagonale aux nombres ttradriques, ceux de la cinqui%me diagonale aux nombres #entato#iques et ceux de la n/i%me diagonale aux nombres n/to#iques.

/or'&les trigono'tri+&es
(a formule du binome a##liqu la formule d7Euler (cos(X" 8 isin(X""n L cos(nX" 8 isin(nX" #ermet de dvelo##er cos(nX" et sin(nX" (es coefficients situs sur la ligne de rang n #ermettent d7crire tan(nX" en fonction de t L tan(X"

Exem#le : sur la ligne E on lit 4 / E / : / E / 4 et

Formule gnrale :

(es coefficients situs sur une diagonale ascendante #ermettent d7ex#rimer sin(n X" comme #roduit de sin(X" #ar un #ol-n&me en cos(X"(on trouvera #lus d7informations sur ces #ol-n&mes l7article )ol-n&meYdeY'cheb-chev"S Exem#le : sur la diagonale ascendante de rang 2, on lit 4 / 3 / 4 et Pnralisation C : si les termes de la diagonale ascendante de rang n sont , on a

)ar consquent, les coefficients situs sur la diagonale ascendante de rang n #ermettent de dterminer un #ol-n&me

de degr Z(n/4"U5[ dont les racines sont les valeurs

#our M variant de 4 Z(n/4"U5[

Exem#le : sur la diagonale de rang C, on lit 4 / 2 / : / 4, on sait donc

sont racines de P(x"

x R 2x 8 :x R 4
Pnralisation : a #our racines

3nralisations
(a formule du bin&me gnralis est une im#ortante gnralisation du triangle de )ascal, car elle #ermet de mani#uler des nombres com#lexes dans la base, tout comme d7utiliser des ex#osants com#lexes. (e triangle de )ascal se gnralise aisment des dimensions su#rieures. (a version tridimensionnelle s7a##elle la #-ramide de )ascal.