TS Spé Lycée Beaussier Mathématiques
3
•
est divisible par n car par hypothèse a
b (n), donc
+ ≡ +
.
On montre de manière analogue que
− ≡ −
. Et si maintenant
est divisible par n
alors pour tout entier relatif c,
est divisible par n comme multiple
de a – b qui est lui-même multiple de n. On vient de montrer que
× ≡ ×
Remarque
La relation de congruence est compatible avec l'addition, la soustraction et la multiplication.
Attention, la relation de congruence n'est pas compatible avec la division ni avec la
racine carrée.
Par exemple 22 ≡ 8 (2) , mais on ne peut pas diviser par 2 pour affirmer que 11 est congru à
4 modulo 2 ou encore 9 ≡ 4 (5) , mais on ne peut pas prendre la racine carrée pour affirmer
que 3 est congru à 2 modulo 5
On ne pourra en général pas simplifier dans une congruence comme on simplifie dans
une égalité sans prendre d’immenses précautions :
Une congruence du type 2x ≡ 2y (n) ne pourra pas, en général, être simplifiée par 2.
Exemples
• Soit n un entier naturel, démontrons :
n
n
est divisible par 7 :
8 1 7 , 8 1 1 7 , 8 1 0 7
n n n
n n≡ ⇒ ∀ ∈ ≡ ≡ ⇒ ∀ ∈ − ≡
donc 7 divise
n
.
On peut aussi démontrer ce résultat par récurrence comme déjà vu au chapitre 0.
• Déterminer le reste dans la division par 7 de
242
. Remarquons déjà que
3
= ≡
.
Effectuons la division euclidienne de 242 par 3, on obtient : 242 = 3
80 + 2.
On a donc
80 80
242 3 80 2 3 2 3
× +
.
Finalement
( )
( )
( )
80 80
3 3 80 3
≡ ⇒ ≡ ≡ ⇒ × ≡ et finalement
242
− ≡ − ≡ .
Comme
, le reste de la division euclidienne de
242
par 7 est 3.
• Démontrons que pour tout entier n,
2
n'est pas divisible par 3.
Il n’y a dans le que 3 cas possibles :
si
2 2
n n n
≡ + + ≡ × + + ≡ donc
2
n’est pas divisible par 3
si
2 2
n n n
≡ + + ≡ × + + ≡ ≡ donc
2
n’est pas divisible par 3
si
2 2
n n n
≡ + + ≡ × + + ≡ ≡ donc
2
n’est pas divisible par 3
On vient de traiter tous les cas possibles et on peut donc conclure que
pour tout entier n,
2
n’est pas divisible par 3.
Exercices sur les congruences
Exercice 1 Soit n un entier naturel
1/ Démontrer que si n ≡ 2 (5) ou si n ≡ 3 (5), alors
+ 1 est un multiple de 5.
2/ Démontrer que pour tout entier naturel n :
4
n n
est un multiple 5.