Correction : 72, 73, 74 et 75 p. 26
2/3
b) D’après la question précédente, on a : pour tout entier relatif x, on a :
• x
3
≡ 0 [9] si et seulement si x ≡ 0 [9] ou x ≡ 3 [9] ou x ≡ 6 [9]
si et seulement si il existe un entier relatif k tel que :
x = 9k ou x = 9k + 3 ou x = 9k + 6
si et seulement si il existe un entier relatif k tel que :
x = 3(3k) ou x = 3(3k + 1) ou x = 3(3k + 2)
si et seulement si il existe un entier relatif q tel que : x = 3q
(puisque tous les entiers relatifs q s’écrivent sous la forme : 3k, 3k + 1 ou 3k + 2)
si et seulement si x ≡ 0 [3]
• x
3
≡ 1 [9] si et seulement si x ≡ 1 [9] ou x ≡ 4 [9] ou x ≡ 7 [9]
si et seulement si il existe un entier relatif k tel que :
x = 9k + 1 ou x = 9k + 4 ou x = 9k + 7
si et seulement si il existe un entier relatif k tel que :
x = 3(3k) + 1 ou x = 3(3k + 1) + 1 ou x = 3(3k + 2) + 1
si et seulement si il existe un entier relatif q tel que : x = 3q + 1
(puisque tous les entiers relatifs q s’écrivent sous la forme : 3k, 3k + 1 ou 3k + 2)
si et seulement si x ≡ 1 [3]
• x
3
≡ - 1 [9] si et seulement si x
3
≡ 8 [9]
si et seulement si x ≡ 2 [9] ou x ≡ 5 [9] ou x ≡ 8 [9]
si et seulement si il existe un entier relatif k tel que :
x = 9k + 2 ou x = 9k + 5 ou x = 9k + 8
si et seulement si il existe un entier relatif k tel que :
x = 3(3k) + 2 ou x = 3(k + 1) + 2 ou x = 3(3k + 2) + 2
si et seulement si il existe un entier relatif q tel que : x = 3q + 2
(puisque tous les entiers relatifs q s’écrivent sous la forme : 3k, 3k + 1 ou 3k + 2)
si et seulement si x ≡ 2 [3]
si et seulement si x ≡ - 1 [3]
c) x, y et z sont trois entiers relatifs tels que : x
3
+ y
3
+ z
3
est divisible par 9.
Donc : x
3
+ y
3
+ z
3
≡ 0 [9].
Supposons par l’absurde que aucun des nombres x, y et z ne soit divisible par 3.
Donc : x, y et z sont congru à 1 ou – 1 modulo 3.
D’où : x
3
, y
3
et z
3
sont congru à 1 ou – 1 modulo 9.
Donc : x
3
+ y
3
+ z
3
est congru à – 3, - 1, 1 ou 3 modulo 9.
Ce qui est absurde.
Donc, l’un des nombres x, y et z est divisible par 3.
Correction : 75 p. 26
n est un entier naturel.
1) Si n = 4k, k entier relatif, on a : 2
n
= 2
4k
= (2
4
)
k
≡ 1
k
[5] puisque 2
4
≡ 1 [5]
≡ 1 [5]