PGCD, théorèmes de bézout et de Gauss (Terminale)

Ce chapitre d'arithmétique de Terminale maths expertes est consacré au PGCD de deux entiers, calculé par l'algorithme d'Euclide. Tu y découvres l'identité de Bézout, le théorème de Gauss et leurs applications : inverse modulo nn, congruences ax≡b [n]ax \equiv b\ [n] et équations diophantiennes ax+by=cax+by=c.

Définitions

Propriétés

Formules à retenir

Exemple corrigé

Résoudre dans Z2\mathbb{Z}^2 l'équation 15x+42y=915x+42y=9.

  1. Par l'algorithme d'Euclide, PGCD(15 ; 42)=3\mathrm{PGCD}(15\,;\,42)=3, et 33 divise 99 : il y a des solutions.
  2. On divise par 33 : 5x+14y=35x+14y=3, avec 55 et 1414 premiers entre eux.
  3. Euclide étendu : 1=3×5−141=3\times 5-14, donc 5×9+14×(−3)=35\times 9+14\times(-3)=3 : (9 ; −3)(9\,;\,-3) est une solution particulière.
  4. Par soustraction, 5(x−9)=14(−3−y)5(x-9)=14(-3-y) ; 1414 divise 5(x−9)5(x-9) et PGCD(14 ; 5)=1\mathrm{PGCD}(14\,;\,5)=1, donc par Gauss x=9+14kx=9+14k, puis y=−3−5ky=-3-5k.
  5. Réciproquement, 5(9+14k)+14(−3−5k)=35(9+14k)+14(-3-5k)=3 : les solutions sont les couples (9+14k ; −3−5k)(9+14k\,;\,-3-5k), k∈Zk \in \mathbb{Z}.

Ce que tu sauras faire

Questions fréquentes

Comment calculer un PGCD rapidement ?

Utilise l'algorithme d'Euclide : tu enchaînes les divisions euclidiennes en remplaçant (a ; b)(a\,;\,b) par (b ; r)(b\,;\,r). Le PGCD est le dernier reste non nul. Par exemple, PGCD(1386 ; 588)=42\mathrm{PGCD}(1386\,;\,588)=42.

Quelle différence entre le théorème de Bézout et celui de Gauss ?

Le théorème de Bézout caractérise les entiers premiers entre eux : PGCD(a ; b)=1\mathrm{PGCD}(a\,;\,b)=1 équivaut à l'existence de uu, vv avec au+bv=1au+bv=1. Le théorème de Gauss en est une conséquence : si aa divise bcbc et PGCD(a ; b)=1\mathrm{PGCD}(a\,;\,b)=1, alors aa divise cc.

Comment trouver l'inverse d'un entier modulo nn ?

Si aa et nn sont premiers entre eux, l'algorithme d'Euclide étendu donne au+nv=1au+nv=1, donc au≡1 [n]au \equiv 1\ [n] : uu est un inverse de aa modulo nn. Par exemple, 7×15=105≡1 [26]7\times 15=105 \equiv 1\ [26].