ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 3 — Calcul algébrique · Coefficients binomiaux et formule du binôme

Exercice 36

Démonstration

Formule de Vandermonde. Soit aa, bb, qq trois entiers naturels. On considère deux ensembles disjoints AA et BB, à aa et bb éléments.

1. Pour k∈[ ⁣[0 ;q] ⁣]k \in [\![0\,;q]\!], combien y a-t-il de parties XX de A∪BA \cup B à qq éléments telles que X∩AX \cap A ait kk éléments ? On justifiera la réponse à l'aide des lemmes du cours sur les ensembles finis.

2. En déduire la formule de Vandermonde : ∑k=0q(ak)(bq−k)=(a+bq).\sum_{k=0}^{q} \binom{a}{k}\binom{b}{q-k} = \binom{a+b}{q}.

3. En déduire ∑k=0n(nk)2\displaystyle\sum_{k=0}^{n} \binom{n}{k}^{2} pour n∈ℕn \in \mathbb{N}.

Corrigé

1. L'application X↦(X∩A,X∩B)X \mapsto (X \cap A, X \cap B) est une bijection de l'ensemble des parties XX de A∪BA \cup B telles que card(X∩A)=k\mathrm{card}(X \cap A) = k et card(X)=q\mathrm{card}(X) = q sur l'ensemble des couples (X1,X2)(X_{1}, X_{2}) formés d'une partie de AA à kk éléments et d'une partie de BB à q−kq - k éléments. Sa réciproque est (X1,X2)↦X1∪X2(X_{1}, X_{2}) \mapsto X_{1} \cup X_{2}, et X1∪X2X_{1} \cup X_{2} a bien qq éléments, d'après le lemme 4 du chapitre 2, puisque AA et BB sont disjoints. Le lemme 6 du chapitre 2 donne le cardinal du produit. (ak)(bq−k) parties\boxed{\binom{a}{k}\binom{b}{q-k} \text{ parties}}

2. Les parties XX de A∪BA \cup B à qq éléments se répartissent en q+1q + 1 catégories disjointes, selon la valeur de card(X∩A)\mathrm{card}(X \cap A), qui va de 00 à qq. Le lemme 4 du chapitre 2, étendu à une réunion disjointe finie, donne la formule, puisque A∪BA \cup B a a+ba + b éléments. ∑k=0q(ak)(bq−k)=(a+bq)\boxed{\sum_{k=0}^{q} \binom{a}{k}\binom{b}{q-k} = \binom{a+b}{q}}

3. On prend a=b=q=na = b = q = n, et l'on utilise la symétrie des coefficients binomiaux : ∑k=0n(nk)2=(2nn)\boxed{\sum_{k=0}^{n} \binom{n}{k}^{2} = \binom{2n}{n}} Le chapitre 13 en donnera une autre démonstration, en identifiant les coefficients des deux membres de l'égalité de polynômes (1+X)a(1+X)b=(1+X)a+b.(1 + X)^{a}(1 + X)^{b} = (1 + X)^{a+b}.

Ouvrir dans l'atlas interactif →