Maths expertes 2022 - 2023

Corrigé du DM 1
Exercice 1 :
Soit n un entier relatif divisible par 3, alors il existe k ∈ Z, tel que n = 3k. On a donc :

(n + 4)2 + n + 2 = (3k + 4)2 + 3k + 2

= 9k 2 + 24k + 16 + 3k + 2
= 9k 2 + 27k + 18
= 9(k 2 + 3k + 2)

Or k 2 + 3k + 2 ∈ Z donc 9 divise (n + 4)2 + n + 2.

Exercice 2 :
Soit n ∈ N tel que n ≥ 4.
On souhaite démontrer que l’équation (E) : x2 + 9 = 2n n’admet pas de solution dans N.
Par l’absurde, on suppose que cette équation admet au moins une solution x ∈ N.
1. Par hypothèse, x2 + 9 = 2n donc x2 = 2n − 9.
Or n ≥ 4 donc en particulier n 6= 0 et 2n est pair. De plus, 9 est impair donc 2n − 9
est impair (la somme d’un nombre pair et d’un nombre impair est impair : soit k ∈ Z et
k 0 ∈ Z, alors 2k + (2k 0 + 1) = 2(k + k 0 ) + 1).
On a donc montré que x2 est impair.
Si x était pair, alors x2 le serait aussi (car on aurait x = 2k avec k ∈ Z, et x2 = (2k)2 =
4k 2 = 2 × 2k 2 ). Donc x est impair.
2. x est impair donc il existe k ∈ N (car x ∈ N) tel que x = 2k + 1.

x2 + 9 = (2k + 1)2 + 9
= 4k 2 + 4k + 1 + 9
= 4k 2 + 4k + 10
= 4(k 2 + k + 2) + 2

Or 0 ≤ 2 < 4 donc 2 est le reste dans le division euclidienne de x2 + 9 par 4.

3. n ≥ 4 donc en particulier, n > 2 et il existe m ∈ N tel que 2n = 22+m .
Donc 2n = 22 × 2m = 4 × 2m . Comme 2m ∈ Z, alors 2n est divisible par 4.
4. Par hypothèse, x2 + 9 = 2n . Or 4 divise 2n mais 4 ne divise pas x2 + 9 (car le reste dans
la division euclidienne par 4 est non nul). Il y a contradiction et l’équation x2 + 9 = 2n
n’admet pas de solution dans N.