Aller au contenu

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 au+bv=1au+bv=1 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 ax+byax+by 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 ax≡c(modb)ax \equiv c \pmod b.

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

★☆☆Environ 5 min

On donne 7×15+(−4)×267 \times 15 + (-4) \times 26.

  1. Calcule cette expression.
  2. 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 au+bv=1au+bv=1 a une solution entière.

Voir la correction pas à pas
  1. On calcule : 7×15=1057\times 15 = 105 et 4×26=1044\times 26=104, donc 7×15−4×26=17\times 15-4\times 26=1.

  2. On a trouvé des entiers u=7u=7 et v=−4v=-4 tels que 15u+26v=115u+26v=1.

  3. 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

★☆☆Environ 8 min

  1. Applique l'algorithme d'Euclide à 17 et 5.
  2. Trouve des entiers uu et vv tels que 17u+5v=117u+5v=1 avec u=−2u=-2. Quelle est la valeur de vv ?
Indice 1

Écris 17=3×5+217 = 3\times 5 + 2 puis continue avec 5 et 2.

Indice 2

Isole le reste 1 dans l'avant-dernière division, puis remplace 2 par 17−3×517-3\times 5.

Voir la correction pas à pas
  1. Divisions : 17=3×5+217=3\times 5+2, puis 5=2×2+15=2\times 2+1, puis 2=2×1+02=2\times 1+0. Le dernier reste non nul est 1 : le PGCD vaut 1.

  2. On isole 1 : 1=5−2×21=5-2\times 2.

  3. On remplace 2 par 17−3×517-3\times 5 : 1=5−2(17−3×5)=7×5−2×171=5-2(17-3\times 5)=7\times 5-2\times 17.

  4. Donc 17×(−2)+5×7=117\times(-2)+5\times 7=1, soit u=−2u=-2 et v=7v=7.

  5. Vérification : −34+35=1-34+35=1.

Remonter l'algorithme consiste à exprimer chaque reste comme combinaison des deux nombres de départ.

Exercice 3 Équation sans solution entière

★☆☆Environ 6 min

On considère l'équation 6x+9y=106x+9y=10 d'inconnues entières.

  1. Détermine le PGCD de 6 et 9.
  2. 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 6x+9y6x+9y pour tous entiers x et y.

Voir la correction pas à pas
  1. Les diviseurs de 6 sont 1, 2, 3, 6 et ceux de 9 sont 1, 3, 9 : le PGCD vaut 3.

  2. Le nombre 3 divise 6 et 9, donc il divise 6x+9y6x+9y pour tous entiers x et y.

  3. Or 3 ne divise pas 10.

  4. 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

★★☆Environ 12 min

  1. Calcule le PGCD de 1001 et 357 avec l'algorithme d'Euclide.
  2. Détermine un couple d'entiers (u,v)(u,v) tel que 1001u+357v=PGCD(1001,357)1001u+357v=\text{PGCD}(1001,357), avec u=5u=5. Donne vv.
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
  1. 1001=2×357+2871001=2\times 357+287.

  2. 357=1×287+70357=1\times 287+70.

  3. 287=4×70+7287=4\times 70+7.

  4. 70=10×7+070=10\times 7+0. Le dernier reste non nul est 7 : le PGCD vaut 7.

  5. On remonte : 7=287−4×707=287-4\times 70.

  6. Or 70=357−28770=357-287, donc 7=287−4(357−287)=5×287−4×3577=287-4(357-287)=5\times 287-4\times 357.

  7. Or 287=1001−2×357287=1001-2\times 357, donc 7=5(1001−2×357)−4×357=5×1001−14×3577=5(1001-2\times 357)-4\times 357=5\times 1001-14\times 357.

  8. Vérification : 5005−4998=75005-4998=7. Donc u=5u=5 et v=−14v=-14.

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

★★☆Environ 10 min

  1. Trouve des entiers uu et vv tels que 7u+11v=17u+11v=1.
  2. 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 7u+11v=17u+11v=1, regarde cette égalité modulo 11.

Voir la correction pas à pas
  1. 11=1×7+411=1\times 7+4, puis 7=1×4+37=1\times 4+3, puis 4=1×3+14=1\times 3+1 : le PGCD vaut 1.

  2. 1=4−3=4−(7−4)=2×4−7=2(11−7)−7=2×11−3×71=4-3=4-(7-4)=2\times 4-7=2(11-7)-7=2\times 11-3\times 7.

  3. Donc 7×(−3)+11×2=17\times(-3)+11\times 2=1.

  4. Modulo 11, le terme 11×211\times 2 disparaît : 7×(−3)≡1(mod11)7\times(-3)\equiv 1 \pmod{11}.

  5. On ramène −3-3 dans l'intervalle voulu : −3+11=8-3+11=8. Vérification : 7×8=56=55+1≡17\times 8=56=55+1\equiv 1.

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

★★☆Environ 12 min

On considère l'équation 5x+7y=35x+7y=3 d'inconnues entières.

  1. Vérifie que (3,−2)(3,-2) est solution de 5x+7y=15x+7y=1.
  2. En déduire une solution de 5x+7y=35x+7y=3.
  3. Donne la solution générale, puis le plus petit entier xx strictement positif qui convient.
Indice 1

Multiplie la relation de la question 1 par 3.

Indice 2

Si (x0,y0)(x_0,y_0) est solution, (x0+7k, y0−5k)(x_0+7k,\ y_0-5k) l'est aussi pour tout entier relatif k.

Voir la correction pas à pas
  1. 5×3+7×(−2)=15−14=15\times 3+7\times(-2)=15-14=1 : le couple est bien solution.

  2. En multipliant par 3 : 5×9+7×(−6)=35\times 9+7\times(-6)=3, donc (9,−6)(9,-6) est solution.

  3. Si (x,y)(x,y) est une autre solution, par soustraction 5(x−9)=−7(y+6)5(x-9)=-7(y+6). Comme 5 et 7 sont premiers entre eux, 7 divise x−9x-9 (théorème de Gauss, vu après Bézout). On obtient x=9+7kx=9+7k et y=−6−5ky=-6-5k.

  4. Pour x>0x>0 minimal : 9+7k>09+7k>0 donne k≥−1k\geq -1, et k=−1k=-1 conduit à x=2x=2.

  5. Vérification : y=−6+5=−1y=-6+5=-1 et 5×2+7×(−1)=35\times 2+7\times(-1)=3.

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

★★☆Environ 12 min

Résous la congruence 9x≡4(mod11)9x\equiv 4 \pmod{11}. 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
  1. 11=1×9+211=1\times 9+2, 9=4×2+19=4\times 2+1. Donc 1=9−4×2=9−4(11−9)=5×9−4×111=9-4\times 2=9-4(11-9)=5\times 9-4\times 11.

  2. Ainsi 9×5≡1(mod11)9\times 5\equiv 1 \pmod{11} : 5 est un inverse de 9 modulo 11.

  3. On multiplie la congruence par 5 : 5×9x≡5×45\times 9x\equiv 5\times 4, soit x≡20(mod11)x\equiv 20 \pmod{11}.

  4. Comme 20=11+920=11+9, on obtient x≡9(mod11)x\equiv 9 \pmod{11}.

  5. Vérification : 9×9=81=77+4≡49\times 9=81=77+4\equiv 4.

Résoudre ax≡c(modn)ax\equiv c \pmod n avec a et n premiers entre eux, c'est multiplier par l'inverse de a.

Exercice 8 Compter des solutions positives

★★★Environ 15 min

On cherche les couples d'entiers naturels (x,y)(x,y) tels que 12x+18y=30012x+18y=300.

  1. Simplifie l'équation.
  2. Trouve une solution particulière, puis la solution générale en entiers relatifs.
  3. Combien de couples d'entiers naturels vérifient l'équation ?
Indice 1

Divise par le PGCD de 12 et 18.

Indice 2

Impose x≥0x\geq 0 et y≥0y\geq 0 sur la solution générale et résous l'encadrement de k.

Voir la correction pas à pas
  1. Le PGCD de 12 et 18 est 6, qui divise 300. On divise par 6 : 2x+3y=502x+3y=50.

  2. Une solution évidente est (25,0)(25,0) car 2×25=502\times 25=50.

  3. Si (x,y)(x,y) est solution, 2(x−25)=−3y2(x-25)=-3y. Comme 2 et 3 sont premiers entre eux, 3 divise x−25x-25 : x=25+3kx=25+3k, puis y=−2ky=-2k, avec k entier relatif.

  4. Condition y≥0y\geq 0 : k≤0k\leq 0. Condition x≥0x\geq 0 : 25+3k≥025+3k\geq 0, soit k≥−8k\geq -8 car k est entier.

  5. Les valeurs de k vont de −8-8 à 00 : cela fait 9 valeurs.

  6. Contrôle : y prend les valeurs paires de 0 à 16, et pour y=16y=16 on a bien x=1x=1.

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

★★★Environ 12 min

Soit n un entier naturel. On pose a=2n+1a=2n+1 et b=3n+2b=3n+2.

  1. Trouve des entiers uu et vv, indépendants de n, tels que au+bv=1au+bv=1.
  2. Que peux-tu en conclure sur a et b, quel que soit n ?
  3. Calcule le PGCD de a et b pour n=10n=10.
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
  1. On calcule 3a−2b=3(2n+1)−2(3n+2)=6n+3−6n−4=−13a-2b=3(2n+1)-2(3n+2)=6n+3-6n-4=-1.

  2. En multipliant par −1-1 : −3a+2b=1-3a+2b=1, soit u=−3u=-3 et v=2v=2.

  3. 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.

  4. Pour n=10n=10 : a=21a=21 et b=32b=32. 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 c/dc/d, en fournit une. Si d ne divise pas c, il n'y en a aucune, puisque d divise toute combinaison ax+byax+by.

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 au+bvau+bv : 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

  1. Ressource Éduscol - Arithmétique et théorème de Bézout, Éduscol. Consulté le 6 novembre 2026.
  2. Programme officiel - Mathématiques expertes (PDF), Ministère de l'Éducation nationale. Consulté le 6 novembre 2026.
  3. Théorème de Bachet-Bézout, Wikipédia. Consulté le 6 novembre 2026.
  4. 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.

Signaler une erreur sur cette page

Je suis en…

Primaire

  • CP Bientôt
  • CE1 Bientôt
  • CE2 Bientôt
  • CM1 Bientôt
  • CM2 Bientôt

Collège

Lycée

Supérieur

  • BTS Bientôt
  • BUT Bientôt
  • Licence Bientôt
  • Prépas Bientôt

Sur cette page