ATLAS Ouvrir dans l'atlas →

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

Exercice 28

Calcul

Figure

La figure représente les coefficients (8k)\dbinom{8}{k} pour 0⩽k⩽80 \leqslant k \leqslant 8.

1. Soit n∈ℕ∗n \in \mathbb{N}^{*}. Pour 0⩽k⩽n−10 \leqslant k \leqslant n - 1, calculer le quotient (nk+1)/(nk)\dbinom{n}{k+1} \Big/ \dbinom{n}{k}, et en déduire les variations de la famille ((nk))0⩽k⩽n\Big(\dbinom{n}{k}\Big)_{0 \leqslant k \leqslant n}. Pour quelles valeurs de kk le coefficient est-il maximal ?

2. En déduire que, pour tout n∈ℕn \in \mathbb{N}, (2nn)⩾4n2n+1\dbinom{2n}{n} \geqslant \dfrac{4^{n}}{2n + 1}.

Corrigé

1. Pour 0⩽k⩽n−10 \leqslant k \leqslant n - 1, (nk+1)/(nk)=n! k! (n−k)!(k+1)! (n−k−1)! n!=n−kk+1.\binom{n}{k+1} \Big/ \binom{n}{k} = \frac{n!\,k!\,(n - k)!}{(k+1)!\,(n - k - 1)!\,n!} = \frac{n - k}{k + 1}. Ce quotient est strictement supérieur à 11 si et seulement si n−k>k+1n - k > k + 1, c'est-à-dire k<n−12k < \frac{n-1}{2}, et il vaut 11 si et seulement si k=n−12k = \frac{n-1}{2}. La famille croît jusqu'au milieu, puis décroît. Le maximum est atteint en k=n2 si n est pair, en k=n−12 et k=n+12 sinon.\boxed{\text{Le maximum est atteint en } k = \tfrac{n}{2} \text{ si } n \text{ est pair, en } k = \tfrac{n - 1}{2} \text{ et } k = \tfrac{n + 1}{2} \text{ sinon.}}

2. Les 2n+12n + 1 coefficients (2nk)\binom{2n}{k} ont pour somme 22n=4n2^{2n} = 4^{n}, et le plus grand d'entre eux est (2nn)\binom{2n}{n}. Celui-ci est donc au moins égal à leur moyenne. (2nn)⩾4n2n+1\boxed{\binom{2n}{n} \geqslant \frac{4^{n}}{2n + 1}} Pour n=4n = 4, (84)=70⩾2569≈28,4\binom{8}{4} = 70 \geqslant \frac{256}{9} \approx 28{,}4 : la minoration est grossière, mais elle donne le bon ordre de grandeur exponentiel. La formule de Stirling, établie plus tard dans l'année, montre que (2nn)\binom{2n}{n} est équivalent à 4nπn\frac{4^{n}}{\sqrt{\pi n}}.

Dans l'édifice

Thèmes

coefficients binomiaux, factorielle

Notions

coefficient binomial

Ouvrir dans l'atlas interactif →