Théorème de Bézout et lemme de Gauss
Soient a,b∈Z et d=a∧b leur PGCD (avec 0∧0=0). (i) Il existe u,v∈Z tels que au+bv=d. (ii) Les entiers a et b sont premiers entre eux si et seulement s'il existe u,v∈Z tels que au+bv=1. (iii) Lemme de Gauss : si a divise bc et si a∧b=1, alors a divise c.
Démonstration
1. Sous-groupe. H=aZ+bZ={au+bv:u,v∈Z} contient 0 et est stable par différence : c'est un sous-groupe de (Z,+).
2. Sous-groupes de Z. Si H={0}, H=0Z. Sinon, H∩N∗ est non vide (car H est stable par opposé) et admet un plus petit élément δ, et δZ⊂H. Pour h∈H, la division euclidienne h=δq+r avec 0≤r<δ donne r=h−δq∈H, donc r=0 par minimalité de δ. Ainsi H=δZ avec δ∈N.
3. Identification du PGCD. Comme a=a×1+b×0∈H, δ divise a, et de même δ divise b. Réciproquement, tout diviseur commun de a et b divise toute combinaison au+bv, en particulier δ∈H. Donc δ est le plus grand diviseur commun positif, δ=d, et puisque d∈H, (i) est démontré.
4. Point (ii). Si a∧b=1, (i) fournit u,v. Réciproquement, si au+bv=1, tout diviseur commun positif de a et b divise 1, donc a∧b=1.
5. Lemme de Gauss. Avec au+bv=1, on a c=acu+bcv. Or a divise acu et a divise bc, donc a divise c.