ATLAS Ouvrir dans l'atlas →

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

Exercice 34

Démonstration

Monotonie des coefficients binomiaux. Soit nn un entier naturel non nul, et mm le plus grand entier inférieur ou égal à n2\dfrac{n}{2}.

1. Pour 0⩽p⩽n−10\leqslant p\leqslant n-1, comparer le quotient (np+1)/(np)\dbinom{n}{p+1}\Big/\dbinom{n}{p} à 11.

2. En déduire que (n0)⩽(n1)⩽⋯⩽(nm)\binom{n}{0}\leqslant\binom{n}{1}\leqslant\dots\leqslant\binom{n}{m}

3. En considérant la somme ∑k=0n(nk)\displaystyle\sum_{k=0}^{n}\binom{n}{k}, montrer que 2nn+1⩽(nm)⩽2n\frac{2^{n}}{n+1}\leqslant\binom{n}{m}\leqslant 2^{n}

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 68

Corrigé

1. Pour 0⩽p⩽n−10\leqslant p\leqslant n-1, avec la formule factorielle : (np+1)(np)=n!(p+1)! (n−p−1)!×p! (n−p)!n!=n−pp+1\frac{\binom{n}{p+1}}{\binom{n}{p}}=\frac{n!}{(p+1)!\,(n-p-1)!}\times\frac{p!\,(n-p)!}{n!} =\frac{n-p}{p+1} car (p+1)!=(p+1)×p!(p+1)!=(p+1)\times p! et (n−p)!=(n−p)×(n−p−1)!(n-p)!=(n-p)\times(n-p-1)!. Ce quotient est supérieur ou égal à 11 si et seulement si n−p⩾p+1n-p\geqslant p+1, c'est-à-dire p⩽n−12p\leqslant\frac{n-1}{2}. (np+1)(np)⩾1  ⟺  p⩽n−12\boxed{\frac{\binom{n}{p+1}}{\binom{n}{p}}\geqslant 1 \iff p\leqslant\frac{n-1}{2}}

2. Si p⩽m−1p\leqslant m-1, alors p+1⩽m⩽n2p+1\leqslant m\leqslant\frac{n}{2}, donc p⩽n2−1<n−12p\leqslant\frac{n}{2}-1<\frac{n-1}{2} : d'après la question 1, (np)⩽(np+1)\binom{n}{p}\leqslant\binom{n}{p+1}. En appliquant ceci pour p=0p=0, 11, …, m−1m-1 : (n0)⩽(n1)⩽⋯⩽(nm)\boxed{\binom{n}{0}\leqslant\binom{n}{1}\leqslant\dots\leqslant\binom{n}{m}} Par symétrie, (np)=(nn−p)\binom{n}{p}=\binom{n}{n-p}, les coefficients décroissent ensuite jusqu'à (nn)\binom{n}{n} : la ligne nn du triangle de Pascal monte puis descend, et son plus grand terme est (nm)\binom{n}{m}, le coefficient « central ».

3. Les n+1n+1 nombres (n0)\binom{n}{0}, …, (nn)\binom{n}{n} sont positifs, leur somme vaut 2n2^{n} (exercice 29) et le plus grand d'entre eux est (nm)\binom{n}{m}. D'une part, ce plus grand terme est inférieur à la somme ; d'autre part, il est supérieur à la moyenne 2nn+1\frac{2^{n}}{n+1}, sans quoi tous les termes seraient strictement inférieurs à la moyenne, et leur somme strictement inférieure à 2n2^{n}. 2nn+1⩽(nm)⩽2n\boxed{\frac{2^{n}}{n+1}\leqslant\binom{n}{m}\leqslant 2^{n}}

Figure

Ce diagramme des coefficients (10k)\binom{10}{k} montre qu'ils croissent jusqu'au terme central, puis décroissent symétriquement ; le maximum 252252 dépasse bien la moyenne 1 02411\frac{1\,024}{11}, comme l'affirme la question 3.

Remarque. L'encadrement est grossier mais donne le bon ordre de grandeur exponentiel : pour n=100n=100, il situe (10050)≈1,01×1029\binom{100}{50}\approx 1{,}01\times 10^{29} entre 1,26×10281{,}26\times 10^{28} et 1,27×10301{,}27\times 10^{30}. Une estimation beaucoup plus précise, la formule de Stirling, est étudiée après le baccalauréat.

Ouvrir dans l'atlas interactif →