ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Divisibilité et division euclidienne

Exercice 6

Démonstration

Montrer que, pour tout entier n⩾1n \geqslant 1, n2n^{2} divise (n+1)n−1(n + 1)^{n} - 1.

Corrigé

La formule du binôme (chapitre 3, théorème 2) donne (n+1)n−1=∑k=1n(nk)nk=(n1)n+∑k=2n(nk)nk=n2+n2∑k=2n(nk)nk−2.(n + 1)^{n} - 1 = \sum_{k = 1}^{n} \binom{n}{k} n^{k} = \binom{n}{1} n + \sum_{k = 2}^{n} \binom{n}{k} n^{k} = n^{2} + n^{2} \sum_{k = 2}^{n} \binom{n}{k} n^{k - 2}. Les deux termes sont des multiples de n2n^{2}. n2∣(n+1)n−1\boxed{n^{2} \mid (n + 1)^{n} - 1} À retenir. Tout repose sur le terme k=1k = 1, qui vaut n×nn \times n : c'est le coefficient binomial (n1)=n\binom{n}{1} = n qui fournit le second facteur nn.

Dans l'édifice

Thèmes

divisibilité

Notions

division euclidienne

Ouvrir dans l'atlas interactif →