Académique Documents
Professionnel Documents
Culture Documents
Chapitre 1 :
Divisibilité dans ℤ
Ⅰ. Multiples et diviseurs d’un entier (p144)
Dans toute cette partie, les entiers seront des naturels, sauf si c’est
précisé.
Définition : Soit a ∈ ℕ.
m ∈ ℕ est un multiple de a si il existe k ∈ ℕ tel que m = ka.
n3 – n = n(n² - 1)
= n(n + 1)(n - 1), produit de 3 entiers consécutifs.
Sur 3 entiers consécutifs, on a 1 ou 2 nombres pairs et un multiple de 3.
Donc le produit est à la fois un multiple de 2 et de 3, donc un multiple de
6.
1
Propriété : Si m et m’ sont des multiples de a, alors :
- (m + m’) et (m - m’) sont des multiples de a ;
- pour tout n ∈ ℕ, nm est un multiple de a (et même de na) ;
- pour tout n ∈ ℕ et n’∈ ℕ, (nm + n’m’) est un multiple de a ;
- mm’ est un multiple de a (même de a²).
Définition : Soit a ∈ ℕ.
d ∈ ℕ est un diviseur de a si a est un multiple de d, c’est-à-
dire si il existe k ∈ ℕ tel que a = kd.
Remarques :
- Dans ℤ, il suffit de rajouter les opposés des diviseurs
naturels.
- Dans ce cas, si d est un diviseur de a, alors | | ≤ | |.
- Il y a un nombre fini de diviseurs. Ils sont tous compris
entre -| | et | |.
2
Exemples : L’ensemble des diviseurs de 0 est ℤ.
L’ensemble des diviseurs de 1 est {-1 ; 1}.
L’ensemble des diviseurs de 3 est {-3 ; -1 ; 1 ; 3}.
2 + −7=0 ⇔2 + =7
⇔ 2 + =7
Donc divise 7 soit ∈ {-7 ; -1 ; 1 ; 7}
Si = -7, alors 2 ² + y = -1 ⇔ 2 × 49 + y = -1
⇔ y = -1 – 98
= -99
De même :
• si = -1, alors 2 ² + y = -7 ⇔ 2 × 1 + y = -7
⇔ y = -7 - 2
= -9
3
• si = 1, alors 2 ² + y = 7 ⇔ 2 × 1 + y = 7
⇔y =7-2
=5
• si = 7, alors 2 ² + y = 1 ⇔ 2 × 49 + y = 1
⇔ y = 1 - 98
= - 97
Vérification :
-7 -1 1 7
y -99 -9 5 -97
2 + −7 0 0 0 0
Donc les couples solutions sont les couples ( ; y) dans S = {(-7 ; -99) ;
(-1 ; -9) ; (1 ; 5) ; (7 ; -97)}
n 4 3 2 1 0
2n + 5 13 11 9 7 5
n+9 13 12 11 10 9
Division Oui Non Non Non Non
Donc n = 4.
4
Tests : Si n = 0, alors 72n + 3 = 1 + 3
= 4 est bien divisible par 4.
2n
Si n = 1, alors 7 + 3 = 49 + 3
= 52 est bien divisible par 4.
Comme la propriété est vraie « au départ », il faut la vérifier pour les
entiers suivants.
EN SUPPOSANT qu’elle soit vraie pour un entier que l’on appelle n, si
on arrive à montrer qu’elle est vraie pour le suivant, n + 1, alors elle
serait vraie partout.
Hérédité : On suppose que la propriété est vraie pour un entier que l’on
appelle n donc il existe k ∈ ℕ tel que 72n + 3 = 4k.
Principe : On veut démontrer qu’une propriété P(n) est vraie pour tout
n ∈ ℕ.
1) On vérifie que P(0) est vraie.
2) On suppose que P(n) est vraie pour une certaine valeur de
n quelconque. Il faut en déduire que P(n+1) reste vraie.
Application : Montrer que pour tout n ∈ ℕ, 3n+3 – 44n+2 est divisible par
11.
Initialisation : pour n = 0, on a 33 – 42 = 27 – 16
= 11 est bien divisible par 11.
Donc la propriété est vraie au rang 0.
5
Par définition, il existe un entier k ∈ ℕ tel que 3n+3 – 44n+2 = 11k.
4) Autres méthodes
n + 17 – (n – 1) = 18
n - 1 divise n – 1 et on veut que n – 1 divise n + 17 donc n – 1 divise
toute combinaison des 2 donc n - 1 divise 18.
Or les diviseurs entiers naturels de 18 sont : 1 – 2 – 3 – 6 – 9 - 18.
Donc les diviseurs entiers relatifs de 18 sont : -18 ; -9 ; -6 ; -3 ; -2 ; -1 ;
1 ; 2 ; 3 ; 6 ; 9 ; 18.
D’où, n – 1 ∈ {-18 ; -9 ; -6 ; -3 ; -2 ; -1 ; 1 ; 2 ; 3 ; 6 ; 9 ; 18}
Par conséquent, n ∈ {-17 ; -8 ; -5 ; -2 ; -1 ; 0 ; 2 ; 3 ; 4 ; 7 ; 10 ; 19}.
Vérification :
n -17 -8 -5 -2 -1 0 2 4 7 10 19
n-1 -18 -9 -6 -3 -2 -1 1 3 6 9 18
n + 17 0 9 12 15 16 17 19 21 24 27 36
Division Oui Oui Oui Oui Oui Oui Oui Oui Oui Oui oui
6
Donc n prend ses valeurs dans l’ensemble {-17 ; -8 ; -5 ; -2 ; -1 ; 0 ; 2 ;
4 ; 7 ; 10 ; 19}.
n² + 3n + 1 n-1
- (n² - n) n+4
4n + 1
- (4n – 4)
Ainsi n² + 3n + 1 = (n - 1)(n + 4) + 5
Comme n – 1 divise n – 1, n – 1 divise (n - 1)(n + 4)
Donc n² + 3n + 1 est divisible par n - 1 si 5 est divisible par n - 1.
Or les diviseurs relatifs de 5 sont : -5 ; -1 ; 1 ; 5.
D’où, n – 1 ∈ {-5 ; -1 ; 1 ; 5}.
Donc n ∈ {-4 ; 0 ; 2 ; 6}.
On veut que n soit un entier naturel, donc n ∈ {0 ; 2 ; 6}.
Vérification :
n 0 2 6
n-1 -1 1 5
n² + 3n + 1 1 11 55
Division Oui Oui Oui