Théorème de Gauss

LE THÉORÈME DE GAUSS FICHE 17
Théorème
a, b et c sont des entiers tels que a divise le produit bc et a est premier avec b.
Alors a divise c.
Sous forme plus symbolique : Si
bca
et si
1),( baPGCD
alors
ca
.
Démonstration
D'après le théorème de Bézout, il existe deux entiers u et v tels que :
1 bvau
.
D'où :
cbcvacu 
. Puisque
aa
et
bca
, alors
bcvacua 
, c'est-à-dire
ca
.
Conséquences :
a, b et c sont des entiers strictement positifs.
1. Si a et b divisent un entier c, et si a et b sont premiers entre eux, alors
ab
divise c.
2. Si un nombre premier p divise un produit
ab
, alors p divise a ou b.
3. Si un nombre premier divise un produit de nombres premiers, alors il est égal à l'un d'entre
eux.
4. La décomposition en facteurs premiers d'un entier est unique (à l'ordre près).
Démonstration
1. Si a divise c, c s'écrit
kac
. Si de plus b divise
kac
, d'après le théorème de Gauss, b
doit diviser k, d'où
kbk 
et
kabc
.
2. Si p ne divise pas a, le PGCD de p et a n'étant pas p est donc 1.
p et a sont premiers entre eux, donc d'après le théorème de Gauss, p doit diviser b.
3. est une conséquence de 2. et 4. pourrait être démontré en utilisant 3.
On rappelle que les nombres rationnels sont les fractions (un entier divisé par un entier).
Les nombres rationnels forment l'ensemble noté .
Ex 17.1 On considère le polynôme
baxxxP  2 )(
, avec a et b entiers.
Montrer que si x est une racine rationnelle de P, alors x est entier.
Quels sont les entiers n tels que
n
soit rationnel ?
Ex 17.2 Montrer que l'équation :
02335 23  xxx
admet une racine rationnelle.
En déduire la résolution complète de cette équation.
Ex 17.3 Montrer que
32
est irrationnel.
Ex 17.4 Déterminer tous les couples d'entiers naturels
);( yx
vérifiant :
yx 4532 
.
Ex 17.5 Déterminer une fraction égale à
44
28
dont la différence des termes est 28.
Ex 17.6 n est un entier naturel. Prouver que
)1()1( 222  nnn
est divisible par 60.
Ex 17.7 Montrer que tout entier naturel dont le chiffre des unités dans l'écriture décimale est
1, 3, 7 ou 9 admet un multiple dont l'écriture décimale ne comporte que le chiffre 1.
Ex 17.8 On pose
)1(
1
2
2
nn
n
a
, n est un entier,
1n
.
a) Prouvez que l'ensemble des diviseurs communs du numérateur et du dénominateur de a est
l'ensemble des diviseurs communs à
1
2n
et 2.
b) En déduire que si n est pair la fraction est irréductible et que si n est impair le PGCD du
numérateur et du dénominateur de a est égal à 2.