Identité de Bézout démontrée et algorithme d’Euclide étendu, théorème de Bézout et entiers premiers entre eux, théorème de Gauss et son corollaire, équations diophantiennes ax + by = c, inverse modulo n et systèmes de deux congruences.
À propos de cette page
Des exercices corrigés de Terminale maths expertes classés par cas et par difficulté : algorithme d’Euclide étendu, démonstration de l’identité de Bézout, expressions en n premières entre elles, théorème de Gauss et ses pièges, équations diophantiennes avec contraintes, inverses modulo 30 et 100, système de congruences.
20 exercices, classés par cas comme le cours. Écris ta réponse, puis « Vérifier ».
Cas 1Identité de Bézout et algorithme d’Euclide étendu
Réflexe — Euclide en isolant chaque reste, remontée depuis le dernier reste non nul en gardant a et b visibles, puis vérification numérique. Revoir la méthode →
Exercice 1★★★Facile
On considère les entiers et .
=
; ; . Le dernier reste non nul est .
En remontant l’algorithme, on obtient un couple tel que avec . Valeur de :
La deuxième ligne donne , la première . Donc : . Vérification : .
On a et . En divisant la relation précédente par , démontrer que et sont premiers entre eux. Coefficient de dans la relation obtenue :
Rédaction attendue. De , on tire , puis, en divisant par : . Il existe donc des entiers et tels que : d’après le théorème de Bézout, et sont premiers entre eux. Le coefficient de vaut .
Exercice 2★★★Facile
On considère les entiers et .
Dernier reste non nul de l’algorithme d’Euclide appliqué à et :
; ; ; ; . Le dernier reste non nul vaut : et sont premiers entre eux.
Couple tel que avec : =
Remontée : . Donc , qui est bien entre et (les autres couples ont des qui diffèrent de d’un multiple de ).
Pour ce couple, =
donne , soit . Vérification : et , de différence .
Exercice 3★★★Moyen
On considère et .
=
; ; ; . Le PGCD vaut .
En remontant l’algorithme, on obtient avec . Valeur de :
. Vérification : .
Démontrer que pour tout entier , le couple est aussi un couple de Bézout de et . Valeur de pour le couple où :
Rédaction attendue. Pour tout entier : . Ce sont donc des couples de Bézout ( et ). Pour , et . Vérification : .
Exercice 4★★★Difficile
On note l’ensemble des entiers strictement positifs de la forme , avec et entiers relatifs. Puis on reprend le raisonnement dans le cas général.
Démontrer que tout élément de est un multiple de . Plus petit élément de :
Rédaction attendue. et , donc est un multiple de : tout élément de est supérieur ou égal à . Or : appartient à . C’est son plus petit élément, et c’est .
Cas général : et sont non tous deux nuls et est le plus petit entier strictement positif de la forme . Démontrer que divise et . Pour et , couple tel que avec : =
Rédaction attendue. Division euclidienne : avec . Alors est de la forme ; s’il était strictement positif, il serait un entier de cette forme plus petit que , ce qui est impossible. Donc : divise , et de même divise . Pour et : les couples conviennent, et donne , soit .
En déduire que , ce qui démontre l’identité de Bézout. Pour et , valeur de dans le couple de la question précédente :
Rédaction attendue. D’après la question précédente, est un diviseur commun positif de et , donc . Inversement, divise et , donc la combinaison ; comme , . Ainsi . Pour : donne , soit .
Cas 2Théorème de Bézout : entiers premiers entre eux
Réflexe — je cherche une combinaison égale à 1 ou −1 en croisant les coefficients, je cite le théorème de Bézout ; une combinaison égale à m ne donne qu’un diviseur de m. Revoir la méthode →
Exercice 5★★★Facile
Dans cet exercice, désigne un entier relatif.
Valeur de la combinaison :
: le terme en disparaît.
En déduire que et sont premiers entre eux pour tout . Entier tel que :
Rédaction attendue. En changeant les signes de l’égalité précédente : . Les coefficients et sont des entiers : d’après le théorème de Bézout, et sont premiers entre eux, quel que soit l’entier .
Démontrer que et sont premiers entre eux pour tout . Entier tel que :
Rédaction attendue. . C’est une relation de Bézout à coefficients entiers et : d’après le théorème de Bézout, et sont premiers entre eux pour tout entier .
Exercice 6★★★Facile
Une copie affirme : « Comme , on a . »
Valeur exacte de :
et : le PGCD vaut . Le calcul de la copie est juste (), mais pas la conclusion : un PGCD ne dépasse jamais .
Démontrer que si (, , entiers), alors divise . Quotient de par :
Rédaction attendue. Posons : et avec et entiers. Alors , et est un entier : divise . Ici est bien un multiple du PGCD, sans lui être égal.
Plus petit entier strictement positif de la forme , avec et entiers :
Rédaction attendue. Tout entier est un multiple de d’après la question précédente, donc tout entier strictement positif de cette forme vaut au moins . Et est de cette forme (identité de Bézout). Le plus petit est donc : c’est le PGCD.
Exercice 7★★★Moyen
On veut démontrer que et sont premiers entre eux sans calculer leur PGCD.
Couple tel que avec : =
donne , soit : .
Couple tel que avec : =
donne , soit : .
En multipliant ces deux relations, démontrer que et sont premiers entre eux. On obtient avec . Valeur de :
Rédaction attendue. . En développant, les trois termes qui contiennent le facteur se regroupent en , soit , et le quatrième vaut . On obtient . Vérification : . D’après le théorème de Bézout, et sont premiers entre eux.
Exercice 8★★★Difficile
Dans cet exercice, désigne un entier naturel.
Montrer que la fraction est irréductible pour tout . Entier tel que :
Rédaction attendue. . D’après le théorème de Bézout, et sont premiers entre eux : la fraction est irréductible pour tout entier naturel .
On pose . Constante obtenue en calculant :
. Comme divise et , il divise cette combinaison : .
Démontrer que si est pair et que si est impair. Valeur de lorsque :
Rédaction attendue. Si est pair, est impair, donc est impair ; diviseur de , il vaut . Si est impair, et sont pairs, donc ou . Si , : ne divise pas , donc (exemple : donne et ).
Démontrer que si et seulement si , avec . Valeur de :
Rédaction attendue. impose que divise , soit ; en multipliant par (inverse de modulo , car ) : . Réciproquement, si , alors et : divise les deux, et (exemple : donne et ).
Cas 3Théorème de Gauss et corollaire
Réflexe — j’écris « a divise bc » et « pgcd(a ; b) = 1 » avec sa justification avant de citer Gauss ; si le PGCD n’est pas 1, je simplifie d’abord. Revoir la méthode →
Exercice 9★★★Facile
Dans tout l’exercice, désigne un entier relatif.
On suppose que divise . Démontrer que divise . Entier tel que :
Rédaction attendue. : d’après le théorème de Bézout, . Comme divise et que est premier avec , le théorème de Gauss donne : divise .
Démontrer que tout entier divisible par et par est divisible par . Plus petit entier naturel non nul divisible par et par :
Rédaction attendue. , donc et sont premiers entre eux (Bézout). Si et divisent , le corollaire du théorème de Gauss donne : divise . Tout entier naturel non nul divisible par et par vaut donc au moins , et convient.
Plus petit entier naturel non nul divisible par et par , mais pas par :
et divisent , et ne divise pas (les entiers , , , ne sont pas multiples de ). Cela ne contredit pas le corollaire : , son hypothèse n’est pas vérifiée.
Exercice 10★★★Moyen
Démonstrations du cours. Les lettres désignent des entiers relatifs non nuls ; les deux questions sont indépendantes.
Démontrer le théorème de Gauss à partir du théorème de Bézout. Application : divise , où est un entier naturel non nul ; plus petite valeur possible de :
Rédaction attendue. Supposons que divise et que . D’après le théorème de Bézout, il existe des entiers et tels que . En multipliant par : . D’une part divise ; d’autre part divise , donc . Une somme de deux multiples de est un multiple de : divise . Application : , donc , donc divise . La plus petite valeur est .
Démontrer que si et divisent et sont premiers entre eux, alors divise . Application : et divisent un entier ; reste de dans la division par :
Rédaction attendue. Comme divise , il existe entier tel que . Alors divise et est premier avec : par le théorème de Gauss, divise , soit . Donc : divise . Application : , donc et sont premiers entre eux, et divise : le reste vaut .
Exercice 11★★★Moyen
Une copie affirme : « Comme divise , on en déduit que divise . » Ici est un entier naturel.
Plus petit entier naturel non nul de la forme qui soit un multiple de :
, , , ne sont pas des multiples de , mais en est un, alors que ne divise pas : est un contre-exemple. L’erreur : appliquer Gauss alors que .
Démontrer que divise si et seulement si divise . Plus petit entier tel que divise :
Rédaction attendue. Si , en divisant par : , donc divise ; comme (), le théorème de Gauss donne : divise . Réciproquement, si , alors . Le plus petit multiple de supérieur à est .
Nombre d’entiers compris entre et tels que divise :
D’après la question précédente, ce sont les multiples de : , , …, , soit entiers.
Exercice 12★★★Difficile
Dans cet exercice, , , et sont des entiers relatifs.
Démontrer que si , il existe un entier tel que et . Valeur de lorsque :
Rédaction attendue. divise , et (, , ). Par le théorème de Gauss, divise : . Alors , d’où . Pour , et .
Entiers naturels et tels que et : =
et donnent , soit : et . Vérification : .
Démontrer qu’aucun rationnel ne vérifie (on écrira avec et ). Seule valeur possible de :
Rédaction attendue. Si , alors , donc divise . Comme est premier avec , le théorème de Gauss donne divise , puis de même divise . Un diviseur positif commun à et vaut : . Il resterait , impossible pour un entier (, et un cube d’entier négatif est négatif). Aucun rationnel ne convient : est irrationnel.
Cas 4Équations diophantiennes ax + by = c
Réflexe — PGCD, test « d divise c », division par d, solution particulière, soustraction et Gauss, réciproque ; pour des entiers naturels, j’encadre k. Revoir la méthode →
Exercice 13★★★Facile
On considère l’équation : , d’inconnue .
=
et : le PGCD vaut , et : a des solutions.
Résoudre dans (on pourra remarquer une solution évidente de ). Valeur de dans la solution où :
Rédaction attendue. En divisant par , équivaut à , dont est solution. Si est solution, ; divise et , donc par Gauss , puis . Réciproquement . . Pour , et : .
Expliquer pourquoi l’équation n’a aucune solution entière. Reste de dans la division euclidienne par :
Rédaction attendue. Pour tous entiers et , est un multiple de . Or : le reste vaut , donc n’est pas un multiple de et l’équation n’a aucune solution.
Exercice 14★★★Moyen
On considère l’équation : , d’inconnue .
Justifier que a des solutions, puis en déduire une solution particulière à l’aide d’une relation de Bézout. Pour , =
Rédaction attendue. ; : , qui divise , donc a des solutions. Remontée : . En multipliant par : ().
Déterminer toutes les solutions de dans . Nombre de solutions telles que :
Rédaction attendue. Si est solution, ; divise et , donc par Gauss , puis donne . Réciproquement, . . Puis équivaut à : , soit solutions.
Parmi ces solutions, valeur de pour la plus grande valeur de :
donne et . Vérification : .
Exercice 15★★★Moyen
On cherche tous les couples d’entiers relatifs tels que .
Vérifier que convient, puis déterminer tous les couples. Couple tel que : =
Rédaction attendue. . Si , en soustrayant : ; divise et , donc par Gauss , puis donne . Réciproquement, le calcul redonne . Les couples sont les , , et donne : .
Pour ce couple, =
. Vérification : et .
Inverse de modulo , compris entre et :
De on tire . Contrôle : et .
Exercice 16★★★Difficile
Un théâtre vend des places à € et à €. Un soir, la recette vaut exactement €. On note le nombre de places à € et celui des places à € : , avec et entiers naturels.
Couple tel que avec : =
; ; . Remontée : : .
Résoudre dans , puis déterminer les solutions en entiers naturels. Nombre de ventes possibles :
Rédaction attendue. En multipliant par : . Si est solution, ; divise et , donc par Gauss , puis (la réciproque se vérifie). donne , donc ; donne , donc . Deux ventes : et . Vérification : et .
Plus grand nombre total de places vendues ce soir-là :
et : le plus grand total est places.
Cas 5Inverse modulo n et systèmes de congruences
Réflexe — Euclide jusqu’à au + nv = 1, inverse ramené entre 0 et n − 1, puis x ≡ ub [n] ; pour un système, Bézout entre les modules et classe modulo pq. Revoir la méthode →
Exercice 17★★★Facile
On étudie l’entier modulo .
Justifier que est inversible modulo . Inverse de modulo , compris entre et :
Rédaction attendue. ; ; : , donc est inversible modulo . Remontée : . Donc , et . Vérification : .
Les solutions de vérifient avec : =
En multipliant par : , et . Réciproquement, .
Plus petite solution strictement supérieure à :
Les solutions sont , , , , , … : la première au-delà de est . Contrôle : .
Exercice 18★★★Facile
On travaille modulo : le reste modulo d’un entier naturel est le nombre formé par ses deux derniers chiffres.
Inverse de modulo , compris entre et :
; ; ; ; . Remontée : . Donc l’inverse est : .
Les solutions de vérifient avec : =
. Vérification : , qui se termine par .
Démontrer que n’a pas d’inverse modulo . =
Rédaction attendue. , , : . D’après le critère, n’est pas inversible. Directement : est un multiple de , il ne peut pas valoir .
Exercice 19★★★Moyen
On cherche les entiers tels que et .
Couple tel que avec : =
; ; . Remontée : . Donc : .
Démontrer que est solution du système. Entier compris entre et congru à modulo :
Rédaction attendue. , donc ; et , donc . Or , et . Contrôle : .
Démontrer que les solutions sont exactement les entiers congrus à modulo . Plus grande solution inférieure à :
Rédaction attendue. Si est solution, et divisent ; ils sont premiers entre eux, donc par le corollaire de Gauss divise . Réciproquement, si , comme , et . Enfin donne : .
Exercice 20★★★Difficile
On étudie l’équation , d’inconnue entière.
Démontrer que l’équation équivaut à . Inverse de modulo , compris entre et :
Rédaction attendue. signifie qu’il existe un entier tel que , soit , c’est-à-dire : . Les étapes sont réversibles. Et : est son propre inverse modulo .
Les solutions vérifient avec : =
En multipliant par : . Vérification : .
Nombre de solutions comprises entre et :
Ce sont , , , , , et : solutions, soit classes modulo ().
Démontrer que n’a aucune solution. Reste de la division euclidienne de par :
Rédaction attendue. , , , : le PGCD vaut . Si , alors serait un multiple de : c’est faux, car (reste ). Aucune solution.
Bloqué sur ce chapitre ?
Moi c'est Ben, j'ai créé ce site pour aider le plus d'élèves possible, partout en France. Je peux aussi reprendre avec toi ce qui coince en cours particulier : en visio, ou à domicile si tu es à Marseille.