Théorie des ensembles, III, p. 83
Démontrer les relations
(0n)(pn)+(1n)(p−1n−1)+(2n)(p−2n−2)+⋯+(pn)(0n−p)=2n(pn) (0n)(pn)−(1n)(p−1n−1)+(2n)(p−2n−2)−⋯+(−1)n(pn)(0n−p)=0. (Considérer, parmi les parties à
p éléments de
{1,n}, celles qui contiennent une partie donnée à
k éléments
(0≤k≤p) et utiliser l'exerc. 2 pour la seconde formule.)