Vidéo terminée
Leçon suivante · leçon 5Équations du type ax + by = cLeçon 4
Identité de Bézout et théorème de Gauss
Le cours écrit
4.1 Identité de Bézout
Théorème (identité de Bézout). Soit et deux entiers non tous les deux nuls, et . Il existe deux entiers relatifs et tels que
Démonstration (pour et naturels, ). Dans l'algorithme d'Euclide, chaque reste s'écrit sous la forme avec , entiers. C'est vrai pour et pour ; et si deux restes consécutifs et sont de cette forme, le suivant, , l'est aussi. C'est donc vrai pour le dernier reste non nul, qui est .
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 et .
Exemple 20. Trouver et tels que .
L'algorithme d'Euclide donne : ; ; . Donc . On remonte : On a donc et . Vérification : .
Remarque. Le couple n'est pas unique : par exemple .
4.2 Théorème de Bézout
Théorème de Bézout. Deux entiers et sont premiers entre eux si, et seulement si, il existe deux entiers relatifs et tels que
Démonstration.
- Si , c'est l'identité de Bézout.
- Réciproquement, si , tout diviseur commun de et divise : c'est ou . Donc .
Méthode. Pour montrer que deux expressions sont premières entre elles, on cherche une combinaison qui vaut (ou ).
Exemple 21.
- Pour tout entier : , donc deux entiers consécutifs sont premiers entre eux.
- Pour tout entier : , donc : et sont premiers entre eux.
4.3 Théorème de Gauss
Théorème de Gauss. Soit , et trois entiers. Si divise et si est premier avec , alors divise .
Démonstration. Comme , il existe et tels que . En multipliant par : . Or divise , et divise donc . Donc divise leur somme, .
Exemple 22. Si divise , alors divise , car et sont premiers entre eux.
Attention : l'hypothèse « premiers entre eux » est indispensable. divise , mais ne divise ni ni .
4.4 Conséquence
Propriété. Si et divisent , et si et sont premiers entre eux, alors divise .
Démonstration. avec entier. divise et est premier avec : d'après le théorème de Gauss, divise , donc et .
Exemple 23.
- Un entier est divisible par si, et seulement si, il est divisible par et par ( et sont premiers entre eux).
- Un entier est divisible par si, et seulement si, il est divisible par et par . Mais être divisible par et par ne suffit pas : l'est, et n'est pas divisible par . Ici et ne sont pas premiers entre eux.
Exercices 7 et 8
- Exercice 7 : Bézout
- Exercice 8 : Gauss
Corrigés
Cherche d'abord les exercices sur ta feuille, puis compare avec le corrigé détaillé.