ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Pour aller plus loin

Exercice 32

DémonstrationCalcul

1. Soit n∈ℕn\in\mathbb{N}. En utilisant la factorisation (n+1)(n−1)=n2−1(n+1)(n-1)=n^{2}-1, montrer que n+1n+1 divise n2+1n^{2}+1 si et seulement si n+1n+1 divise 22. En déduire l'ensemble des n∈ℕn\in\mathbb{N} tels que n+1n+1 divise n2+1n^{2}+1.

2. En adaptant la méthode de la question précédente, déterminer les n∈ℤn\in\mathbb{Z} tels que n+3n+3 divise n3+3n^{3}+3.

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

Corrigé

1. On a n2+1=(n+1)(n−1)+2n^{2}+1=(n+1)(n-1)+2. Si n+1n+1 divise n2+1n^{2}+1, comme il divise (n+1)(n−1)(n+1)(n-1), il divise la différence 22 ; réciproquement, s'il divise 22, il divise la somme (n+1)(n−1)+2(n+1)(n-1)+2. Comme n+1⩾1n+1\geqslant 1, la condition s'écrit n+1∈{1 ;2}n+1\in\{1\,;2\}, soit n∈{0 ;1}\boxed{n\in\{0\,;1\}}.

2. On cherche à faire apparaître un multiple de n+3n+3. D'après l'exercice 30 b), n+3n+3 divise n3+33=n3+27n^{3}+3^{3}=n^{3}+27, et plus précisément n3+27=(n+3)(n2−3n+9)n^{3}+27=(n+3)(n^{2}-3n+9). Ainsi : n3+3=(n+3)(n2−3n+9)−24.n^{3}+3=(n+3)(n^{2}-3n+9)-24. Pour n=−3n=-3, n+3=0n+3=0 ne divise pas n3+3=−24≠0n^{3}+3=-24\neq 0. Pour n≠−3n\neq -3, le même raisonnement qu'à la question 1 montre que n+3n+3 divise n3+3n^{3}+3 si et seulement si n+3n+3 divise 2424, c'est-à-dire n+3∈{±1,±2,±3,±4,±6,±8,±12,±24}n+3\in\{\pm 1,\pm 2,\pm 3,\pm 4,\pm 6,\pm 8,\pm 12,\pm 24\}. On obtient les seize valeurs : n∈{−27,−15,−11,−9,−7,−6,−5,−4,−2,−1,0,1,3,5,9,21}\boxed{n\in\{-27,-15,-11,-9,-7,-6,-5,-4,-2,-1,0,1,3,5,9,21\}}

Vérification : pour n=21n=21, n3+3=9264=24×386n^{3}+3=9264=24\times 386 ; pour n=−27n=-27, n3+3=−19680=(−24)×820n^{3}+3=-19680=(-24)\times 820.

Dans l'édifice

Thèmes

divisibilité, factorisation

Ouvrir dans l'atlas interactif →