On note an,k le coefficient du triangle de Pascal à sa n-ème ligne et k-ème colonne, où 0⩽k⩽n.
On cherche ici à montrer que
∀n,k∈N/0⩽k⩽n,an,k=(kn).Pour cela, on définit bn,k:=(kn) dont on rappelle que ce coefficient binomial est défini comme bn,k=k!(n−k)!n!. On rappelle d’ailleurs la convention 0!=1.
- Montrer que bn,0=bn,n=1 pour tout n∈N.
- Montrer la relation bn+1,k+1=bn,k+1+bn,k à partir des factorielles, pour tout 0⩽k⩽n.
- Conclure