1.
2. On applique la formule en remplaçant par : On reconnaît exactement l'expression de , les deux facteurs du dénominateur étant simplement échangés. Interprétation : choisir les éléments que l'on garde revient à choisir les que l'on écarte.
3. On réduit les deux fractions au même dénominateur : Or et :
4. On part du membre de gauche : puisque . On développe ensuite le membre de droite : en remarquant que . Les deux membres sont égaux :
5. Les deux membres comptent la même chose de deux façons différentes. C'est un raisonnement de double dénombrement : compter un même ensemble de deux manières fournit une identité, sans aucun calcul de factorielles.