ATLAS Ouvrir dans l'atlas →

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

Exercice 4

Démonstration

1. Soit n⩾2n \geqslant 2 un entier. Montrer que la somme de nn entiers naturels impairs consécutifs n'est jamais un nombre premier.

2. Montrer que la somme des cubes de trois entiers consécutifs est divisible par 99.

Corrigé

1. Soit 2k+12k + 1, avec k∈ℕk \in \mathbb{N}, le plus petit des nn entiers impairs consécutifs. Leur somme vaut ∑j=0n−1(2k+1+2j)=n(2k+1)+n(n−1)=n(2k+n).\sum_{j = 0}^{n - 1} (2k + 1 + 2j) = n(2k + 1) + n(n - 1) = n(2k + n). Les deux facteurs nn et 2k+n2k + n sont supérieurs ou égaux à 22, donc la somme admet un diviseur nn différent de 11 et d'elle-même : elle n'est pas première. la somme vaut n(2k+n), produit de deux entiers ⩾2\boxed{\text{la somme vaut } n(2k + n), \text{ produit de deux entiers } \geqslant 2}

2. Pour trois entiers consécutifs n−1n - 1, nn, n+1n + 1, le développement donne (n−1)3+n3+(n+1)3=3n3+6n=3n(n2+2).(n - 1)^{3} + n^{3} + (n + 1)^{3} = 3n^{3} + 6n = 3n(n^{2} + 2). Si 3∣n3 \mid n, alors 9∣3n9 \mid 3n. Sinon n≡±1  [3]n \equiv \pm 1 \;[3], donc n2≡1  [3]n^{2} \equiv 1 \;[3] et 3∣n2+23 \mid n^{2} + 2. Dans les deux cas, 99 divise 3n(n2+2)3n(n^{2} + 2). (n−1)3+n3+(n+1)3=3n(n2+2)≡0  [9]\boxed{(n - 1)^{3} + n^{3} + (n + 1)^{3} = 3n(n^{2} + 2) \equiv 0 \;[9]}

Ouvrir dans l'atlas interactif →