ATLAS Ouvrir dans l'atlas →

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

Exercice 30

Démonstration

Montrer que, pour tout n∈ℕ∗n \in \mathbb{N}^{*}, le nombre (3+5)n+(3−5)n(3 + \sqrt{5})^{n} + (3 - \sqrt{5})^{n} est un entier naturel pair. En déduire que l'entier qui suit (3+5)n(3 + \sqrt{5})^{n} est pair.

Corrigé

Par la formule du binôme, avec a=3a = 3 et b=±5b = \pm\sqrt{5}, (3+5)n+(3−5)n=∑k=0n(nk)3n−k(1+(−1)k)5 k=2∑0⩽k⩽nk pair(nk)3n−k 5k/2.(3 + \sqrt{5})^{n} + (3 - \sqrt{5})^{n} = \sum_{k=0}^{n} \binom{n}{k} 3^{n-k} \big(1 + (-1)^{k}\big)\sqrt{5}^{\,k} = 2\sum_{\substack{0 \leqslant k \leqslant n \\ k \text{ pair}}} \binom{n}{k} 3^{n-k}\, 5^{k/2}. Les termes d'indice impair, qui contiennent 5\sqrt{5}, se compensent, et la somme restante est un entier naturel. (3+5)n+(3−5)n est un entier naturel pair.\boxed{(3 + \sqrt{5})^{n} + (3 - \sqrt{5})^{n} \text{ est un entier naturel pair.}} Notons NN cet entier. Comme 0<3−5<10 < 3 - \sqrt{5} < 1, on a 0<(3−5)n<10 < (3 - \sqrt{5})^{n} < 1, donc N−1<(3+5)n<NN - 1 < (3 + \sqrt{5})^{n} < N : l'entier qui suit (3+5)n(3 + \sqrt{5})^{n} est NN, qui est pair. Par exemple, (3+5)2=14+65≈27,4(3 + \sqrt{5})^{2} = 14 + 6\sqrt{5} \approx 27{,}4, et l'entier suivant est 2828.

Ouvrir dans l'atlas interactif →