En raison de limitations techniques, la typographie souhaitable du titre, « Arithmétique : Théorèmes de Bézout et Gauss Arithmétique/Théorèmes de Bézout et Gauss », n'a pu être restituée correctement ci-dessus.
Soient a et b deux entiers non tous deux nuls et d leur PGCD. Alors, il existe deux entiers u et v tels que au + bv = d.
Fin du théorème
Remarque
Le couple (u, v) n’est pas unique.
Début de l'exemple
Exemple
Soient et . On a .
vérifient l'identité de Bézout
font de même
Fin de l'exemple
'Démonstration'
L'ensemble des entiers strictement positifs de la forme au + bv (avec u et v entiers) est non vide (il contient |a| ou |b|) donc possède un plus petit élément d0 = au0 + bv0. Il suffit alors de montrer que d0 = d. La division euclidienne de a par d0 s'écrit a = d0q + r avec 0 ≤ r < d0. L'entier naturel r = a – d0q = a(1 – u0q) + b(–v0q) est strictement inférieur à d0, donc nul par définition de d0, si bien que a est multiple de d0. De même, d0 divise b. C’est donc un diviseur commun à a et b. Enfin, c’est le plus grand, au sens de l’ordre usuel et même au sens de la divisibilité, c'est-à-dire qu’il est multiple de tout entier divisant a et b, puisqu’un tel entier divise aussi au0 + bv0.
Soient a, b et c trois entiers. Si a divise le produit bc et s'il est premier avec b, alors il divise c.
.
Fin du théorème
'Démonstration'
Question du BAC 2006 : Démontrez le théorème de Gauss en utilisant le théorème de Bézout.
On a avec .
De plus, avec
D'où .
Corollaire
Soient a, b et c trois entiers. Si a est premier avec b et c alors il est premier avec le produit bc.
'Démonstration'
Soit . Alors est, comme , premier avec . D'après le théorème de Gauss, il divise donc . Puisque divise aussi (premier avec ), il est donc égal à 1. On a donc bien montré que .
Alternativement, on peut utiliser l'identité de Bézout : si au + bv = 1 et au' + cv' = 1 alors a(auu' + ucv' + bvu') + bcvv' =1.
Corollaire
Soient a et b deux entiers. Si a est premier avec b alors am est premier avec bn, pour tous entiers naturels m et n.