3ème séance
III) THÉORÈME DE GAUSS
Théorème ( de Gauss )
Soient a , b et c trois relatifs non nuls . Si a divise le produit bc et si a est premier
avec b , alors il divise c .
Les entiers a et b sont premiers entre eux . Il existe donc ( d’après le théorème
de Bézout ) des entiers relatifs u et v tels que
.
En multipliant les deux membres de cette égalité par c on obtient
. D’une part, a divise bc donc divise bcv . D’autre part, a divise
acu ( immédiat ) . On en déduit que a divise
c'est-à-dire c .
Remarque . Il est essentiel de vérifier que a est premier avec b car a peut diviser bc
en ne divisant ni b, ni c . Par exemple :
; or 6 divise 300 et pourtant
6 ne divise ni 15, ni 20 .
NOTES PERSONNELLES
1
er
Conséquence ( Théorème d’Euclide )
Soient a et b des relatifs non nuls et p un nombre premier . Si p divise le produit ab
alors p divise a ou p divise b .
Si p divise a, le résultat est établi .
Si p ne divise pas a, alors
PGCD a p
puisque les seuls diviseurs positifs
de l’entier p sont 1 et p . Autrement dit, p est premier avec a . Or, p divise
l’entier ab . D’après le théorème de Gauss, p divise nécessairement b .
2
ème
Conséquence
Soient a , b et c des relatifs non nuls . Si b et c sont premiers entre eux et divisent a
alors bc divise a .
Puisque b divise a, il existe un relatif d tel que
. Puisque c divise a, il
existe de même un relatif d’ tel que
. D’où
.
L’entier c divise
donc c divise
. Or, c est premier avec b . Donc c divise d,
d’après le théorème de Gauss . Il existe un entier relatif d’’ tel que
.
La relation
devient
. D’où bc divise a .
1
er
exemple
Le nombre 1 573 875 est divisible par 5 ( car le chiffre des unités est 5 ) et par 9
( car la somme de ses chiffres, à savoir 36, est un multiple de 9 ) . Or 5 et 9 sont
premiers entre eux, donc 1 573 875 est divisible par
.
2
ème
exemple
Le produit de trois entiers naturels consécutifs,
n n n
est divisible par 2
et par 3 ; ce produit est donc divisible par 6 puisque 2 et 3 sont premiers entre eux