ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Exercices d'approfondissement

Exercice 24

Démonstration

Soit nn un entier relatif et AA le nombre défini par : A=n4−12n2+16A = n^{4} - 12n^{2} + 16

1. En remarquant que A=n4−8n2+16−4n2A = n^{4} - 8n^{2} + 16 - 4n^{2}, factoriser AA.

2. Montrer que si nn est pair alors, ∣A∣|A| n’est pas premier.

3. On suppose que nn est impair. On pose alors n=2k+1n = 2k + 1 avec k∈ℤk \in\mathbb{Z}.

(a) Montrer que : A=(4k2+8k−1)(4k2−5)A = (4k^{2} + 8k - 1)(4k^{2} - 5)

(b) En déduire les valeurs de nn pour lesquelles ∣A∣|A| est nombre premier.

Corrigé

Soit nn un entier relatif et AA le nombre défini par : A=n4−12n2+16A = n^{4} - 12n^{2} + 16

1. On constate que : A=n4−8n2+16−4n2=(n2−4)2−(2n)2=(n2−4+2n)(n2−4−2n)\begin{aligned} A &= n^{4} - 8n^{2} + 16 - 4n^{2} \\ &= (n^2-4)^2-(2n)^2 \\ &=(n^2-4+2n)(n^2-4-2n) \end{aligned}

2. Supposons que nn est pair, il existe donc k∈ℤk\in\mathbb{Z} tel que n=2kn=2k. Ainsi : ∣A∣=∣(2k)4−12(2k)2+16∣=∣16k4−48k2+16∣=16×∣k4−3k2+1∣\begin{aligned} |A| &= |(2k)^4-12(2k)^2+16| \\ &= |16k^4-48k^2+16| \\ &= 16\times |k^4-3k^2+1| \end{aligned} Or k4−3k2+1k^4-3k^2+1 ne peut pas être nul pour kk entier (on aurait k2=3±52k^{2}=\frac{3\pm\sqrt{5}}{2}, qui n'est pas entier), donc ∣A∣⩾16|A|\geqslant 16 et ∣A∣|A| est divisible par 22 : ∣A∣ n’est pas premier\boxed{{|A|}\text{ n'est pas premier}}.

3. On suppose que nn est impair. On pose alors n=2k+1n = 2k + 1 avec k∈ℤk \in\mathbb{Z}.

(a) On suppose que nn est impair, donc qu'il existe k∈ℤk\in\mathbb{Z} tel que n=2k+1n=2k+1. On constate tout d'abord que : (4k2+8k−1)(4k2−5)=4k2×4k2+4k2×(−5)+8k×4k2+8k×(−5)−4k2+5=16k4−20k2+32k3−40k−4k2+5=16k4+32k3−24k2−40k+5\begin{aligned} (4k^{2} + 8k - 1)(4k^{2} - 5) &= 4k^2\times4k^2+4k^2\times(-5)+8k\times 4k^2 \\ &\qquad +8k\times(-5) -4k^2+5 \\ &= 16k^4-20k^2+32k^3 -40k-4k^2+5 \\ &= 16k^4+32k^3-24k^2-40k+5 \end{aligned} On constate alors de plus que : A=(2k+1)4−12(2k+1)2+16=(2k+1)2(2k+1)2−12(4k2+4k+1)+16=(4k2+4k+1)(4k2+4k+1)−48k2−48k−12+16=16k4+16k3+4k2+16k3+16k2+4k+4k2+4k+1−48k2−48k+4=16k4+32k3−24k2−40k+5=(4k2+8k−1)(4k2−5)\begin{aligned} A &= (2k+1)^4-12(2k+1)^2 +16 \\ &= (2k+1)^2(2k+1)^2-12(4k^2+4k+1) +16 \\ &= (4k^2+4k+1)(4k^2+4k+1)-48k^2-48k-12+16 \\ &= 16k^4+16k^3+4k^2+16k^3+16k^2+4k+4k^2+4k+1-48k^2-48k+4 \\ &= 16k^4+32k^3-24k^2-40k+5 \\ &= (4k^{2} + 8k - 1)(4k^{2} - 5) \end{aligned}

(b) ∣A∣|A| est un nombre premier seulement si l'un de ses deux facteurs vaut 11 ou −1-1, donc premièrement si 4k2+8k−1=14k^2+8k-1=1 ou 4k2−5=14k^2-5=1. On a tout d'abord : 4k2+8k−1=1⇒4k2+8k−2=0⇒2k2+4k−1=0\begin{aligned} 4k^2+8k-1=1 \qquad &\Rightarrow \qquad 4k^2+8k-2=0 \\ &\Rightarrow \qquad 2k^2+4k-1=0 \end{aligned} Or cette équation a pour discriminant : Δ=42−4×2×(−1)=25\Delta = 4^2-4\times 2\times (-1) = 25 Elle a ainsi deux solutions réelles : k1=−4−52×2=−114etk2=−4+52×2=14k_1=\dfrac{-4-5}{2\times2}=-\frac{11}{4} \qquad \text{et} \qquad k_2=\dfrac{-4+5}{2\times2}=\frac{1}{4} Or aucune des deux n'est entière. De plus la deuxième équation équivaut à k2=32k^2=\dfrac{3}{2}, qui n'a manifestement pas non plus de solutions entières.

On regarde deuxièmement 4k2+8k−1=−14k^2+8k-1=-1 et 4k2−5=−14k^2-5=-1. On a tout d'abord : 4k2+8k−1=−1⇒4k2+8k=0⇒k(k+2)=0\begin{aligned} 4k^2+8k-1=-1 \qquad &\Rightarrow \qquad 4k^2+8k=0 \\ &\Rightarrow \qquad k(k+2)=0 \end{aligned} On a donc deux solutions entières, k1=0k_1=0 et k2=−2k_2=-2. De plus la deuxième équation équivaut à k2=1k^2=1, elle donne donc deux solutions entières supplémentaires, k3=1k_3=1 et k4=−1k_4=-1. On peut enfin en conclure que ∣A∣|A| est premier pour : n∈{−3,−1,1,3}\boxed{n\in \{-3, -1,1,3 \} }

Dans l'édifice

Thèmes

nombres premiers, parité, factorisation

Notions

nombre premier

Ouvrir dans l'atlas interactif →