Mathématiques expertes (option) · Terminale
Théorème de Bézout : exercices corrigés de Terminale expertes
Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur
L'essentiel
- Deux entiers a et b sont premiers entre eux exactement quand on peut trouver des entiers u et v avec 3.
- Un couple de Bézout se calcule en remontant les divisions de l'algorithme d'Euclide, qui donne aussi le PGCD 2.
- Un couple de Bézout n'est pas unique : dès qu'il en existe un, il en existe une infinité d'autres 3.
- Une combinaison est toujours un multiple du PGCD de a et b : si le PGCD ne divise pas le second membre, l'équation n'a pas de solution entière.
- Un couple de Bézout pour 1 donne l'inverse de a modulo b, donc permet de résoudre .
Comment utiliser ces exercices
Ces exercices s'enchaînent du plus simple au plus délicat. Cherche d'abord seul, sur papier, puis ouvre l'indice si tu es bloqué, et seulement ensuite la correction. Une correction lue sans avoir cherché ne t'apprend presque rien : c'est le geste de recherche qui fixe la méthode.
Les exercices
Exercice 1 Vérifier une relation de Bézout
On donne .
- Calcule cette expression.
- Que peux-tu en déduire sur les entiers 15 et 26 ?
Indice 1
Fais le calcul, puis compare le résultat à 1.
Indice 2
Rappelle-toi à quelle condition l'équation a une solution entière.
Voir la correction pas à pas
On calcule : et , donc .
On a trouvé des entiers et tels que .
D'après le théorème de Bézout, l'existence d'une telle solution entraîne que 15 et 26 sont premiers entre eux 3.
Un seul couple suffit pour prouver que deux entiers sont premiers entre eux : pas besoin de recalculer le PGCD.
Exercice 2 Un couple de Bézout pour 17 et 5
- Applique l'algorithme d'Euclide à 17 et 5.
- Trouve des entiers et tels que avec . Quelle est la valeur de ?
Indice 1
Écris puis continue avec 5 et 2.
Indice 2
Isole le reste 1 dans l'avant-dernière division, puis remplace 2 par .
Voir la correction pas à pas
Divisions : , puis , puis . Le dernier reste non nul est 1 : le PGCD vaut 1.
On isole 1 : .
On remplace 2 par : .
Donc , soit et .
Vérification : .
Remonter l'algorithme consiste à exprimer chaque reste comme combinaison des deux nombres de départ.
Exercice 3 Équation sans solution entière
On considère l'équation d'inconnues entières.
- Détermine le PGCD de 6 et 9.
- L'équation admet-elle des solutions entières ? Justifie.
Indice 1
Cherche le plus grand diviseur commun de 6 et 9.
Indice 2
Un diviseur commun de 6 et 9 divise pour tous entiers x et y.
Voir la correction pas à pas
Les diviseurs de 6 sont 1, 2, 3, 6 et ceux de 9 sont 1, 3, 9 : le PGCD vaut 3.
Le nombre 3 divise 6 et 9, donc il divise pour tous entiers x et y.
Or 3 ne divise pas 10.
Le membre de gauche est toujours un multiple de 3 alors que 10 n'en est pas un : l'équation n'a aucune solution entière.
Avant de chercher une solution, compare toujours le second membre au PGCD des coefficients.
Exercice 4 Couple de Bézout pour 1001 et 357
- Calcule le PGCD de 1001 et 357 avec l'algorithme d'Euclide.
- Détermine un couple d'entiers tel que , avec . Donne .
Indice 1
Il y a quatre divisions à effectuer avant d'arriver au reste nul.
Indice 2
Le PGCD est le dernier reste non nul ; isole-le dans l'avant-dernière division.
Voir la correction pas à pas
.
.
.
. Le dernier reste non nul est 7 : le PGCD vaut 7.
On remonte : .
Or , donc .
Or , donc .
Vérification : . Donc et .
Plus les nombres grandissent, plus il faut ordonner les remplacements : on remonte une ligne à la fois et on ne développe qu'à la fin de chaque ligne.
Exercice 5 Inverse de 7 modulo 11
- Trouve des entiers et tels que .
- En déduire un entier compris entre 0 et 10 dont le produit par 7 est congru à 1 modulo 11.
Indice 1
Applique l'algorithme d'Euclide à 11 et 7.
Indice 2
Si , regarde cette égalité modulo 11.
Voir la correction pas à pas
, puis , puis : le PGCD vaut 1.
.
Donc .
Modulo 11, le terme disparaît : .
On ramène dans l'intervalle voulu : . Vérification : .
Le coefficient de a dans une relation de Bézout est un inverse de a modulo b, pourvu que a et b soient premiers entre eux.
Exercice 6 Plus petite solution positive
On considère l'équation d'inconnues entières.
- Vérifie que est solution de .
- En déduire une solution de .
- Donne la solution générale, puis le plus petit entier strictement positif qui convient.
Indice 1
Multiplie la relation de la question 1 par 3.
Indice 2
Si est solution, l'est aussi pour tout entier relatif k.
Voir la correction pas à pas
: le couple est bien solution.
En multipliant par 3 : , donc est solution.
Si est une autre solution, par soustraction . Comme 5 et 7 sont premiers entre eux, 7 divise (théorème de Gauss, vu après Bézout). On obtient et .
Pour minimal : donne , et conduit à .
Vérification : et .
Une solution particulière suffit à décrire toutes les autres : on ajoute et retranche des multiples dictés par les coefficients.
Exercice 7 Résoudre une congruence
Résous la congruence . Donne la solution comprise entre 0 et 10.
Indice 1
Cherche d'abord un inverse de 9 modulo 11 grâce à une relation de Bézout.
Indice 2
Multiplie les deux membres de la congruence par cet inverse.
Voir la correction pas à pas
, . Donc .
Ainsi : 5 est un inverse de 9 modulo 11.
On multiplie la congruence par 5 : , soit .
Comme , on obtient .
Vérification : .
Résoudre avec a et n premiers entre eux, c'est multiplier par l'inverse de a.
Exercice 8 Compter des solutions positives
On cherche les couples d'entiers naturels tels que .
- Simplifie l'équation.
- Trouve une solution particulière, puis la solution générale en entiers relatifs.
- Combien de couples d'entiers naturels vérifient l'équation ?
Indice 1
Divise par le PGCD de 12 et 18.
Indice 2
Impose et sur la solution générale et résous l'encadrement de k.
Voir la correction pas à pas
Le PGCD de 12 et 18 est 6, qui divise 300. On divise par 6 : .
Une solution évidente est car .
Si est solution, . Comme 2 et 3 sont premiers entre eux, 3 divise : , puis , avec k entier relatif.
Condition : . Condition : , soit car k est entier.
Les valeurs de k vont de à : cela fait 9 valeurs.
Contrôle : y prend les valeurs paires de 0 à 16, et pour on a bien .
Compter les solutions positives revient à encadrer le paramètre k : l'ensemble des solutions entières est infini, mais les contraintes de signe le réduisent à un petit nombre.
Exercice 9 Deux entiers liés à n
Soit n un entier naturel. On pose et .
- Trouve des entiers et , indépendants de n, tels que .
- Que peux-tu en conclure sur a et b, quel que soit n ?
- Calcule le PGCD de a et b pour .
Indice 1
Cherche une combinaison de a et b où les termes en n s'annulent : multiplie a par 3 et b par 2.
Indice 2
Pour la question 3, calcule a et b puis utilise le résultat de la question 2.
Voir la correction pas à pas
On calcule .
En multipliant par : , soit et .
Cette relation est valable pour tout n : d'après le théorème de Bézout, a et b sont premiers entre eux 3.
Pour : et . Le PGCD vaut 1 d'après la question 2.
Quand les coefficients de la relation ne dépendent pas de n, la propriété est démontrée pour tous les entiers en une seule fois : c'est la grande force de Bézout.
Les questions qu'on se pose
Comment savoir si une équation $ax+by=c$ a des solutions entières ?
Calcule le PGCD d de a et b. Si d divise c, l'équation a des solutions : une relation de Bézout, multipliée par , en fournit une. Si d ne divise pas c, il n'y en a aucune, puisque d divise toute combinaison .
Mon couple de Bézout est différent de celui du corrigé : est-ce faux ?
Pas forcément. Le couple n'est pas unique : il en existe une infinité dès qu'il y en a un 3. Vérifie en calculant : si tu retrouves le PGCD, ton couple est correct.
Quelle différence entre le théorème de Bézout et le théorème de Gauss ?
Le théorème de Bézout traite de l'existence d'une combinaison entière égale au PGCD, et caractérise les entiers premiers entre eux 3. Le théorème de Gauss, vu ensuite dans le programme, s'appuie sur cette caractérisation : si a divise le produit bc et si a est premier avec b, alors a divise c.
Sources
- Ressource Éduscol - Arithmétique et théorème de Bézout, Éduscol. Consulté le 6 novembre 2026.
- Programme officiel - Mathématiques expertes (PDF), Ministère de l'Éducation nationale. Consulté le 6 novembre 2026.
- Théorème de Bachet-Bézout, Wikipédia. Consulté le 6 novembre 2026.
- Théorème de Bézout, Wikipédia. Consulté le 6 novembre 2026.
Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.