I. Congruence modulo m

Transcription

I. Congruence modulo m
Les congruences
I. Congruence modulo m
A. Définition
m étant un entier naturel supérieur ou égal à 2, a et b deux entiers relatifs.
a et b sont congrus modulo m et on note a ≡ b ( modulo m) ou plus simplement a ≡ b (m)
si et seulement si a et b ont le même reste dans la division euclidienne par m
Exemple :
32 ≡ 47 (modulo 5)
En effet, le reste de la division de 32 par 5 est 2 : 32 = 5 × 6 + 2 et le reste de la division de 47
par 5 est aussi 2 : 47 = 5 × 9 + 2
B. Propriété caractéristique
m étant un entier naturel supérieur ou égal à 2, a et b deux entiers relatifs.
a ≡ b ( modulo m) équivaut à a − b est divisible par m
Démonstration :
Si a ≡ b ( modulo m) alors a et b ont le même reste r dans la division euclidienne par m donc il
existe deux entiers q et q’ tel a = mq + r et b = mq '+ r
D’où a − b = m(q − q ') donc a − b est divisible par m
Supposons que a − b est divisible par m. Appelons q et r le quotient et le reste de a par m et
q’ et r’ le quotient et le reste de b par m. On a donc
a = mq + r avec 0 - r < m
b = mq '+ r ' avec 0 - r ' < m
En soustrayant membre à membre, on obtient r − r ' = (a − b) − m(q − q ') et −m < r − r ' < m
Comme a − b est un multiple de m on en déduit que r − r’ est un multiple de m or le seul
multiple de m qui est compris strictement entre −m et m est 0 donc r = r’ cqfd
Remarque :
Cette propriété est très utile pour prouver que deux nombres sont congrus en eux :
32 ≡ 47 (modulo 5) car 47 − 32 = 15 = 3 × 5
C. Obtenir des congruences
m étant un entier naturel supérieur ou égal à 2, a, q et r des entiers relatifs.
Si a = mq +r alors a ≡ r (modulo m)
En particulier, a est congru modulo m au reste de la division de a par m
Exemple si a ≡ 72 ( mod 10) alors a ≡ 2 ( mod 10) car 2 = 72+(-7) x10
Démonstration
Si a = mq +r alors a − r = mq qui est un multiple de m donc a ≡ r (modulo m)
Remarque :
En particulier, a est congru modulo m au reste de la division de a par m
On peut établir une sorte de réciproque :
TS Cours sur les congruences
http://mathparadise.free.fr
page 1/3
Si a ≡ r (modulo m) et 0 - r < m alors r est le reste dans la division de a par m
D. Règle de calcul
m étant un entier naturel supérieur ou égal à 2, a, b,c , a’ et b’ des entiers relatifs et n un
entier naturel
a ≡ a (modulo m)
Pro1
Pour tout m entier naturel supérieur ou égal à 2,
Pro2
Si a ≡ b (modulo m) alors b ≡ a (modulo m)
Pro3
Si a ≡ b (modulo m) et b ≡ c (modulo m) alors a ≡ c (modulo m)
Pro4
Si a ≡ b (modulo m) et a’ ≡ b’ (modulo m) alors
¾
a+a’ ≡ b+b’ (modulo m)
¾
a−a’ ≡ b−b’ (modulo m)
¾
axa’ ≡ bxb’ (modulo m)
Par conséquent
Pro5
Pro6
a ≡ b (modulo m) équivaut à a+c ≡ b+c (modulo m)
si a ≡ b (modulo m) alors axc ≡ bxc (modulo m)
attention : la réciproque n’est pas toujours vraie en particulier, on peut avoir a b ≡ 0 sans que
a ou b ne soient congrus à 0 :
2x3≡ 0 (modulo 6) et pourtant ni 2 ni 3 ne sont congrus à 0 modulo 6
Ce qui veut dire que l’on ne peut pas « simplifier » une congruence
Si 2a ≡ 6 (modulo m) on ne peut pas écrire a ≡ 3 (modulo m) il faut revenir à la
définition de la congruence et appliquer le théorème de Gauss (s’il s’applique !)
Pro7
Si a ≡ b (modulo m) alors an ≡ bn (modulo m)
pour n entier naturel non nul
Attention : si n ≡ p (modulo m) on peut avoir an et ap ne sont pas obligatoirement congru
modulo m
Contre_exemple : 1 ≡ 4 (modulo 3) car 4-1 est un multiple de 3
21=2 et 24=16 et 16-2=14 n’est pas un multiple de 3 donc 21 n’est pas congru à 24 modulo 3
Démonstration des propriétés :
Pro1
a et a on même reste dans la division par m donc
a ≡ a (modulo m)
Pro2
Si a ≡ b (modulo m) alors a et b ont le même reste dans la division par m donc b
et a ont le même reste dans la division par m donc b ≡ a (modulo m)
Pro3
Si a ≡ b (modulo m) et b ≡ c (modulo m) donc a et b ont le même reste dans la
division par m et b et c ont le même reste dans la division par m alors a et c ont le
même reste dans la division par m donc a ≡ c (modulo m)
Si a ≡ b (modulo m) et a’ ≡ b’ (modulo m) alors
¾
a − b est un multiple de m et a’ − b’ est un multiple de m donc leur
somme est aussi un multiple de m c’est à dire ( a + a’ ) − ( b + b’ ) est un multiple de m
on en déduit que a +a’ ≡ b+b’ (modulo m)
¾
(a − a ') − (b − b ') = " = (a − b) − (a '− b ') c’est la différence de deux
multiple de m, c’est donc un multiple de m par conséquent a−a’ ≡ b − b’ (modulo m)
¾
aa ' − bb ' = a '(a − b) + b(a ' − b ') c’est une combinaison linéaire de deux
multiples de m, c’est donc un multiple de m et par conséquent axa’ ≡ bxb’ (modulo m)
Pro4
Pro5
On sait que c ≡ c (modulo m) si a ≡ b (modulo m) alors a+c ≡ b+c (modulo m)
TS Cours sur les congruences
http://mathparadise.free.fr
page 2/3
Réciproquement : on sait que −c ≡ −c (modulo m) si a+c ≡ b+c (modulo m) alors
a+c −c ≡ b+c−c (modulo m) c’est à dire a ≡ b (modulo m)
Pro6
On sait que c ≡ c (modulo m) si a ≡ b (modulo m) alors axc ≡ bxc (modulo m)
attention : la réciproque n’est pas toujours vraie en particulier, on peut avoir a b ≡ 0 sans que
a ou b ne soient congrus à 0 :
2x3≡ 0 (modulo 6) et pourtant ni 2 ni 3 ne sont congrus à 0 modulo 6
Ce qui veut dire que l’on ne peut pas « simplifier » une congruence
Si 2a ≡ 6 (modulo m) on ne peut pas écrire a ≡ 3 (modulo m) il faut revenir à la
définition de la congruence et appliquer le théorème de Gauss (s’il s’applique !)
Remarque :
On a déduit les propriétés Pro5 et Pro6 des propriétés Pro4, mais on peut prouver les
propriétés Pro5 et Pro6 à l’aide de la propriété caractéristique et en déduire les
propriétés Pro4. Le faire, c’est un bon entraînement pour les questions de cours au bac
Pro7
si a ≡ b (modulo m) prouvons par récurrence que an ≡ bn (modulo m)
pour n
entier naturel non nul :
¾
a1 = a et b1 = b donc a1 ≡ b1 (modulo m)
La propriété est donc vraie au rang le plus bas.
¾
Supposons qu’il existe un entier n tel que an ≡ bn (modulo m)
or a ≡ b (modulo m) on peut donc multiplier membre à membre et on obtient
an+1 ≡ bn+1 (modulo m)
La propriété se transmet donc au rang suivant
Par conséquent, la propriété est vraie pour tout n ∈ N *
TS Cours sur les congruences
http://mathparadise.free.fr
page 3/3

Documents pareils