II. Théorème de Bézout.
Démonstration :
On suppose a et b premiers entre eux ; donc leur PGCD est 1.
Ainsi, au moins l’un des deux nombres a ou b est non nul, par exemple a.
Soit E l’ensemble des entiers naturels de la forme au + bv, avec u et v entiers.
Cet ensemble n’est pas vide, car il contient a (avec u = 1 et v = 0) et –a (avec u = -1 et v = 0).
E contient a et –a, et l’ un de ces deux entiers est strictement positif, donc E contient au moins
un entier strictement positif.
Soit le plus petit d’entre eux ; il existe ainsi u0 et v0 entiers tels que :
= au0 + bv0.
La division euclidienne de a par s’écrit : a = q + r, avec 0 ≤ r < .
D’où : r = a - q = a – (au0 + bv0)q = a(1 – qu0) + b(-v0q).
Ainsi, r appartient à E car il est de la forme au + bv avec u et v entiers (u = 1 – qu0 et v = -v0q) .
Comme est le plus petit élément strictement positif de E, l’inégalité 0 ≤ r < montre que r est
nul, d’où a = q et divise a.
On montre de même que divise b, d’où = 1 car a et b sont premiers entre eux : il existe bien
deux entiers u0 et v0 tels que au0 + bv0 = 1.
S’il existe des entiers u et v tels que au + bv = 1, alors si d est le PGCD de a et b, il divise a et b,
donc au + bv, c'est-à-dire 1 : ainsi, d vaut 1, et a et b sont premiers entre eux.
Exemple :
a = 4 et b = 9 sont premiers entre eux et on a par exemple :
4 (- 2) + 9 1 = 1 ou 4 7 + 9 (- 3) = 1 ou 4 97 + 9 (- 43) = 1.
Les couples (-2 ;1) ; (7 ;-3) et (97 ;-43) sont tous des couples (u ; v) vérifiant l’égalité
4u + 9v = 1.
Remarques :
Ce théorème est un théorème d’existence. Il n’y a pas unicité du couple (u ; v) tel que au + bv = 1
lorsque a et b sont premiers entre eux.
Pour tout entier n, (n + 1) 1 – n 1 = 1, donc deux entiers consécutifs n et n + 1 sont toujours
premiers entre eux.
Détermination pratique de u et v.
Comment trouver u et v entiers relatifs tels que au + bv = 1 quand a et b sont premiers entre eux ?
Un examen rapide des plus petits multiples de a et b peut permettre de conclure.
Exemple :
a = 7 et b = 17. Sachant que 5 7 = 35 et 2 17 = 34,
on a 1 = 35 – 34 = 5 7 - 2 17 = 5 7 + (- 2) 17.