Niveau 2 — Combinatoire et dénombrement — 25 min
Preuves par dénombrement
Pour tous entiers , désigne le nombre de parties à éléments d'un ensemble à éléments.
Montrer que (symétrie) en établissant une bijection entre deux ensembles de parties. Calculer .
Montrer que .
Montrer que pour en comptant de deux façons les couples (comité de personnes, président). Vérifier avec , .
Pour , montrer que le nombre de parties de cardinal pair est égal au nombre de parties de cardinal impair. En déduire leur valeur commune.
Montrer que pour . Vérifier avec .
Niveau 2 — Combinatoire et dénombrement — 25 min
Corrigé — Preuves par dénombrement
L'application qui à une partie de à éléments associe son complémentaire (à éléments) est une bijection entre les parties à éléments et celles à éléments. Donc . Ainsi .
Les parties de sont classées selon leur cardinal : il y en a . Par ailleurs, chaque élément est dans la partie ou non : parties. D'où l'égalité.
Comité puis président : . Président puis les autres membres : . D'où l'égalité. Pour : et ✓.
Soit . L'application qui à une partie associe si et sinon change la parité du cardinal et est une bijection de l'ensemble des parties sur lui-même (c'est une involution). Il y a donc autant de parties de cardinal pair que de cardinal impair, soit chacune.
. Pour : ✓.