ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 7 — Dénombrement · Pour aller plus loin

Exercice 37

Démonstration

Identités de Vandermonde. Soit nn un entier naturel.

1. Établir par un raisonnement combinatoire que ∑k=0n(nk)2=(2nn)\sum_{k=0}^{n}\binom{n}{k}^{2}=\binom{2n}{n}

2. Plus généralement, soient mm, nn et kk trois entiers naturels tels que k⩽mk\leqslant m et k⩽nk\leqslant n. Montrer que ∑j=0k(mj)(nk−j)=(m+nk)\sum_{j=0}^{k}\binom{m}{j}\binom{n}{k-j}=\binom{m+n}{k}

3. Retrouver le résultat de la question 1 en comparant les coefficients de xnx^{n} dans les deux membres de l'égalité (1+x)2n=((1+x)n)2(1+x)^{2n}=\left((1+x)^{n}\right)^{2}, développés à l'aide de la formule du binôme (exercice 35). On admettra que deux expressions polynomiales égales pour tout réel xx ont les mêmes coefficients.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), § 11.1, exemple 3, et n° 414, n° 415

Corrigé

1. Considérons un groupe de 2n2n personnes, formé de nn filles et de nn garçons, dans lequel on choisit un comité de nn personnes. Il y a (2nn)\binom{2n}{n} comités. Comptons-les autrement, selon le nombre kk de filles qu'ils contiennent, qui varie de 00 à nn. Un comité à kk filles s'obtient en choisissant kk filles parmi nn, puis n−kn-k garçons parmi nn : il y en a (nk)(nn−k)=(nk)2\binom{n}{k}\binom{n}{n-k}=\binom{n}{k}^{2}, par symétrie. Ces cas étant deux à deux disjoints, le principe additif donne : ∑k=0n(nk)2=(2nn)\boxed{\sum_{k=0}^{n}\binom{n}{k}^{2}=\binom{2n}{n}} Vérification : pour n=3n=3, 1+9+9+1=20=(63)1+9+9+1=20=\binom{6}{3}.

2. Le même raisonnement s'applique à un groupe de mm filles et nn garçons, dans lequel on choisit un comité de kk personnes : il y en a (m+nk)\binom{m+n}{k}. Un comité contenant jj filles contient k−jk-j garçons ; comme k⩽mk\leqslant m et k⩽nk\leqslant n, l'entier jj peut prendre toutes les valeurs de 00 à kk, et il y a (mj)(nk−j)\binom{m}{j}\binom{n}{k-j} tels comités. ∑j=0k(mj)(nk−j)=(m+nk)\boxed{\sum_{j=0}^{k}\binom{m}{j}\binom{n}{k-j}=\binom{m+n}{k}} La question 1 est le cas m=n=km=n=k.

3. D'après la formule du binôme, le coefficient de xnx^{n} dans (1+x)2n(1+x)^{2n} est (2nn)\binom{2n}{n}. D'autre part, ((1+x)n)2=(∑j=0n(nj)xj)(∑i=0n(ni)xi)\left((1+x)^{n}\right)^{2}=\left(\sum_{j=0}^{n}\binom{n}{j}x^{j}\right) \left(\sum_{i=0}^{n}\binom{n}{i}x^{i}\right) En développant ce produit, on obtient un terme en xnx^{n} pour chaque couple d'indices tels que i+j=ni+j=n, c'est-à-dire i=n−ji=n-j, avec jj variant de 00 à nn ; le coefficient de xnx^{n} vaut donc ∑j=0n(nj)(nn−j)=∑j=0n(nj)2\sum_{j=0}^{n}\binom{n}{j}\binom{n}{n-j}=\sum_{j=0}^{n}\binom{n}{j}^{2}. Les deux expressions étant égales pour tout réel xx, leurs coefficients de xnx^{n} sont égaux, ce qui redonne le résultat de la question 1.

Remarque. Les deux démonstrations ne se ressemblent pas, mais elles disent la même chose : développer un produit de deux puissances de (1+x)(1+x), c'est choisir une partie dans chacun de deux groupes. Les identités de ce type portent le nom de Vandermonde, qui les a publiées au XVIIIᵉ siècle.

Dans l'édifice

Thèmes

combinaisons, formule du binôme, sommes

Notions

coefficient binomial

Ouvrir dans l'atlas interactif →