Aller au contenu

Leçon 4

Identité de Bézout et théorème de Gauss

Vidéo 4 : Identité de Bézout et théorème de Gauss · 4 min 07 s · sous-titres en français

Le cours écrit

4.1 Identité de Bézout

Théorème (identité de Bézout). Soit aa et bb deux entiers non tous les deux nuls, et d=PGCD(a ;b)d = \mathrm{PGCD}(a\,;b). Il existe deux entiers relatifs uu et vv tels que a u+b v=d.a\,u + b\,v = d.

Démonstration (pour aa et bb naturels, b≠0b \neq 0). Dans l'algorithme d'Euclide, chaque reste s'écrit sous la forme a u+b va\,u + b\,v avec uu, vv entiers. C'est vrai pour a=a×1+b×0a = a \times 1 + b \times 0 et pour b=a×0+b×1b = a \times 0 + b \times 1 ; et si deux restes consécutifs r1r_1 et r2r_2 sont de cette forme, le suivant, r3=r1−r2 qr_3 = r_1 - r_2\,q, l'est aussi. C'est donc vrai pour le dernier reste non nul, qui est dd.

Méthode : la remontée de l'algorithme d'Euclide. On écrit chaque reste à partir de la ligne qui le donne, puis on remplace, en remontant, jusqu'à n'avoir plus que aa et bb.

Exemple 20. Trouver uu et vv tels que 84 u+30 v=PGCD(84 ;30)84\,u + 30\,v = \mathrm{PGCD}(84\,;30).

L'algorithme d'Euclide donne : 84=30×2+2484 = 30 \times 2 + 24 ; 30=24×1+630 = 24 \times 1 + 6 ; 24=6×4+024 = 6 \times 4 + 0. Donc PGCD(84 ;30)=6\mathrm{PGCD}(84\,;30) = 6. On remonte : 6=30−24×1=30−(84−30×2)=84×(−1)+30×3.6 = 30 - 24 \times 1 = 30 - (84 - 30 \times 2) = 84 \times (-1) + 30 \times 3. On a donc u=−1u = -1 et v=3v = 3. Vérification : −84+90=6-84 + 90 = 6.

Remarque. Le couple (u ;v)(u\,;v) n'est pas unique : par exemple 84×4+30×(−11)=336−330=684 \times 4 + 30 \times (-11) = 336 - 330 = 6.

4.2 Théorème de Bézout

Théorème de Bézout. Deux entiers aa et bb sont premiers entre eux si, et seulement si, il existe deux entiers relatifs uu et vv tels que a u+b v=1.a\,u + b\,v = 1.

Démonstration.

  • Si PGCD(a ;b)=1\mathrm{PGCD}(a\,;b) = 1, c'est l'identité de Bézout.
  • Réciproquement, si a u+b v=1a\,u + b\,v = 1, tout diviseur commun de aa et bb divise a u+b v=1a\,u + b\,v = 1 : c'est 11 ou −1-1. Donc PGCD(a ;b)=1\mathrm{PGCD}(a\,;b) = 1.

Méthode. Pour montrer que deux expressions sont premières entre elles, on cherche une combinaison qui vaut 11 (ou −1-1).

Exemple 21.

  • Pour tout entier nn : (n+1)×1+n×(−1)=1(n + 1) \times 1 + n \times (-1) = 1, donc deux entiers consécutifs sont premiers entre eux.
  • Pour tout entier nn : 3 (2n+1)−2 (3n+2)=−13\,(2n + 1) - 2\,(3n + 2) = -1, donc (2n+1)×(−3)+(3n+2)×2=1(2n + 1) \times (-3) + (3n + 2) \times 2 = 1 : 2n+12n + 1 et 3n+23n + 2 sont premiers entre eux.

4.3 Théorème de Gauss

Théorème de Gauss. Soit aa, bb et cc trois entiers. Si aa divise b cb\,c et si aa est premier avec bb, alors aa divise cc.

Démonstration. Comme PGCD(a ;b)=1\mathrm{PGCD}(a\,;b) = 1, il existe uu et vv tels que a u+b v=1a\,u + b\,v = 1. En multipliant par cc : c=a c u+b c vc = a\,c\,u + b\,c\,v. Or aa divise a c ua\,c\,u, et aa divise b cb\,c donc b c vb\,c\,v. Donc aa divise leur somme, cc.

Exemple 22. Si 77 divise 4n4n, alors 77 divise nn, car 77 et 44 sont premiers entre eux.

Attention : l'hypothèse « premiers entre eux » est indispensable. 66 divise 4×3=124 \times 3 = 12, mais 66 ne divise ni 44 ni 33.

4.4 Conséquence

Propriété. Si aa et bb divisent cc, et si aa et bb sont premiers entre eux, alors a ba\,b divise cc.

Démonstration. c=a kc = a\,k avec kk entier. bb divise a ka\,k et bb est premier avec aa : d'après le théorème de Gauss, bb divise kk, donc k=b k′k = b\,k' et c=a b k′c = a\,b\,k'.

Exemple 23.

  • Un entier est divisible par 66 si, et seulement si, il est divisible par 22 et par 33 (22 et 33 sont premiers entre eux).
  • Un entier est divisible par 1212 si, et seulement si, il est divisible par 33 et par 44. Mais être divisible par 22 et par 66 ne suffit pas : 66 l'est, et n'est pas divisible par 1212. Ici 22 et 66 ne sont pas premiers entre eux.

Lire le cours complet du chapitre

Exercices 7 et 8

  • Exercice 7 : Bézout
  • Exercice 8 : Gauss

Exercices du chapitre (PDF, 256 Ko)

Corrigés

Cherche d'abord les exercices sur ta feuille, puis compare avec le corrigé détaillé.

Corrigés du chapitre (PDF, 280 Ko)

Tu es hors connexion. Les chapitres téléchargés restent disponibles dans Hors connexion.