Activité
On rappelle la formule dite du triangle de Pascal :\[\forall n\in\N,\forall k\in\{1,\ldots,n\},\quad C_n^{k-1}+C_n^k=C_{n+1}^k\]dont la vérification par un argument algébrique est immédiate.
Essayer de trouver un argument de dénombrement pour justifier cette formule (raisonner en termes de construction de sous-ensembles de taille fixée).