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 , congruences et équations diophantiennes .
Définitions
- Le PGCD de deux entiers et non tous deux nuls est le plus grand entier qui divise à la fois et , noté .
- Deux entiers et sont premiers entre eux lorsque .
- Un inverse de modulo est un entier tel que .
- Une équation diophantienne est une équation dont on cherche les solutions entières, comme avec .
Propriétés
- Lemme d'Euclide : si est la division euclidienne de par , alors ; le PGCD est le dernier reste non nul de l'algorithme d'Euclide.
- Théorème de Bézout : et sont premiers entre eux si et seulement s'il existe des entiers et tels que .
- Théorème de Gauss : si divise et si et sont premiers entre eux, alors divise .
- admet un inverse modulo si et seulement si et sont premiers entre eux.
- L'équation admet des solutions entières si et seulement si divise .
Formules à retenir
- Identité de Bézout : pour un couple .
- Si et sont premiers entre eux : , où est un inverse de modulo .
- Si et est solution de , les solutions sont , .
- Si et sont premiers entre eux et divisent , alors divise .
Exemple corrigé
Résoudre dans l'équation .
- Par l'algorithme d'Euclide, , et divise : il y a des solutions.
- On divise par : , avec et premiers entre eux.
- Euclide étendu : , donc : est une solution particulière.
- Par soustraction, ; divise et , donc par Gauss , puis .
- Réciproquement, : les solutions sont les couples , .
Ce que tu sauras faire
- Savoir calculer le PGCD de deux entiers avec l'algorithme d'Euclide
- Savoir démontrer que deux entiers sont premiers entre eux avec le théorème de Bézout
- Savoir déterminer un couple de Bézout avec l'algorithme d'Euclide étendu
- Savoir appliquer le théorème de Gauss en vérifiant ses hypothèses
- Savoir déterminer un inverse de modulo et résoudre
- Savoir résoudre une équation diophantienne dans
Questions fréquentes
Comment calculer un PGCD rapidement ?
Utilise l'algorithme d'Euclide : tu enchaînes les divisions euclidiennes en remplaçant par . Le PGCD est le dernier reste non nul. Par exemple, .
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 : équivaut à l'existence de , avec . Le théorème de Gauss en est une conséquence : si divise et , alors divise .
Comment trouver l'inverse d'un entier modulo ?
Si et sont premiers entre eux, l'algorithme d'Euclide étendu donne , donc : est un inverse de modulo . Par exemple, .