Mathématiques expertes (option) · Terminale
Théorème de Gauss : exercices corrigés de Terminale maths expertes
Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur
L'essentiel
- Théorème de Gauss : si divise et si est premier avec , alors divise .
- Il sert à « simplifier » une divisibilité : on retire de le facteur qui n'a rien en commun avec .
- Si et sont premiers entre eux et divisent tous deux , alors leur produit divise .
- Avant de l'appliquer, vérifie toujours que : sans cette condition, la conclusion peut être fausse.
- Le théorème résout les équations dont on connaît une solution, et les congruences quand est inversible.
Comment utiliser ces exercices
Ces exercices s'adressent à toi si tu connais déjà la divisibilité, les congruences, le PGCD et le théorème de Bézout. Ils t'entraînent à reconnaître quand le théorème de Gauss s'applique, à le rédiger proprement et à l'utiliser pour résoudre des équations. Le mieux est de chercher sur papier, de lire l'indice seulement si tu bloques, puis de comparer ta rédaction avec la correction étape par étape.
Pourquoi le théorème est vrai
Comprendre la preuve t'aide à ne plus jamais oublier la condition sur le PGCD : c'est elle qui permet d'utiliser Bézout. Rappelons que, d'après Bézout, deux entiers et sont premiers entre eux si et seulement s'il existe deux entiers et tels que .
Démonstration · Preuve du théorème de Gauss
On suppose et .
Comme et sont premiers entre eux, Bézout donne deux entiers et tels que On multiplie les deux membres par : Or divise (c'est un multiple de ), et divise car divise . Donc divise la somme , c'est-à-dire .
Démonstration · Preuve du corollaire
Soient et premiers entre eux, avec et . On écrit avec entier. Comme divise et que est premier avec , le théorème de Gauss donne . On écrit , d'où : le produit divise .
Le mathématicien allemand Carl Friedrich Gauss, né le 30 avril 1777 à Brunswick 2, a publié en 1801 ses Disquisitiones arithmeticae, ouvrage qui définit pour la première fois les congruences et fonde l'arithmétique modulaire 2. C'est dans cet univers des congruences que le théorème prend toute sa force : il permet de « diviser » dans une congruence, comme tu le verras dans les derniers exercices.
Trois situations à savoir reconnaître
Les exercices
Exercice 1 Simplifier un facteur
Soit un entier naturel non nul tel que divise .
- Justifie que divise .
- Quel est le plus petit entier vérifiant cette condition ?
Indice 1
Regarde si et ont un diviseur commun autre que .
Indice 2
est le produit de et de : applique le théorème de Gauss avec et .
Voir la correction pas à pas
On a .
est premier et ne divise pas , donc .
Le théorème de Gauss s'applique avec , , : divise .
Les entiers divisibles par sont Le plus petit est .
Vérification : , donc divise bien .
Le plus petit entier est . Le facteur n'apporte aucune aide pour la divisibilité par : tout le « travail » est fait par .
Exercice 2 Deux diviseurs premiers entre eux
Combien d'entiers compris entre et (bornes incluses) sont divisibles à la fois par et par ?
Indice 1
et sont-ils premiers entre eux ? Si oui, que peut-on dire de ?
Indice 2
Il reste à compter les multiples de jusqu'à .
Voir la correction pas à pas
Les diviseurs de sont ; ceux de sont . Le seul diviseur commun est : .
Si est divisible par et par , le corollaire du théorème de Gauss donne : divise .
Réciproquement, tout multiple de est divisible par et par .
On compte les multiples de entre et : .
Le suivant, , dépasse . Il y en a donc (on a ).
Il y a entiers : et . Ce raisonnement échouerait avec et , car : il faudrait alors passer par le PPCM, qui vaut .
Exercice 3 Une équation à deux inconnues
On cherche les couples d'entiers naturels non nuls, avec et , tels que .
- Montre que est un multiple de et que est un multiple de .
- Détermine le nombre de couples solutions.
Indice 1
De , déduis que divise , puis utilise Gauss.
Indice 2
Pose et exprime en fonction de , puis traduis les deux conditions et .
Voir la correction pas à pas
L'égalité montre que divise .
car et sont premiers distincts. Par le théorème de Gauss, divise : on écrit avec entier naturel non nul.
On remplace : , donc . Ainsi est bien un multiple de .
Réciproquement, pour tout entier , le couple vérifie .
Les conditions deviennent , soit , et , soit (car et ). La plus contraignante est .
Avec entier de à , on obtient couples.
Il y a couples, de à . Retiens la structure de la solution : une équation avec et premiers entre eux donne toujours et .
Exercice 4 Une congruence à résoudre
Résous dans la congruence . Donne l'unique solution comprise entre et .
Indice 1
Passe tout du même côté : .
Indice 2
divise : lequel des deux facteurs peut-il diviser ?
Voir la correction pas à pas
La congruence signifie que divise .
On factorise : . Donc .
est premier et ne divise pas , donc .
Le théorème de Gauss donne , c'est-à-dire .
Réciproquement, si , alors . L'ensemble des solutions est .
Dans l'intervalle de à , la seule solution est .
La solution est . En pratique, Gauss te permet de « simplifier par » dans la congruence, à condition que soit premier avec le module .
Exercice 5 Quand les nombres ne sont pas premiers entre eux
Trouve le plus petit entier tel que divise .
Explique pourquoi on ne peut pas conclure directement avec le théorème de Gauss.
Indice 1
Calcule .
Indice 2
Écris et , puis simplifie l'égalité par le PGCD.
Voir la correction pas à pas
et : le PGCD vaut , donc et ne sont pas premiers entre eux. Gauss ne s'applique pas directement.
On écrit avec entier, puis on divise par : .
Maintenant et . Par le théorème de Gauss, .
Le plus petit entier pair est .
Vérification : , donc divise bien . Et ne convient pas, car ne divise pas .
Le plus petit entier est . Réflexe à garder : si le PGCD n'est pas , on le met en facteur et on simplifie pour obtenir deux entiers premiers entre eux, puis on applique Gauss.
Exercice 6 Équation $9x+4y=100$ en entiers positifs
On considère l'équation : , d'inconnues et entiers relatifs.
- Vérifie que est solution.
- Montre que si est solution, alors divise .
- Détermine toutes les solutions de .
- Combien y a-t-il de solutions pour lesquelles et sont tous deux strictement positifs ?
Indice 1
Écris et factorise le second membre par .
Indice 2
Une fois trouvé, calcule en fonction de , puis résous et .
Voir la correction pas à pas
Vérification : . Le couple est solution.
Soit une solution. En soustrayant l'égalité de la solution particulière : , donc .
Ainsi divise . Comme , le théorème de Gauss donne : avec entier relatif.
On remplace : , donc et .
Réciproquement, . Les solutions sont les couples , .
Positivité : équivaut à , donc . équivaut à , soit , donc .
Il reste , qui donne , et , qui donne . Il y a donc solutions.
Il y a solutions strictement positives : et . Cette démarche (solution particulière, soustraction, Gauss, paramètre ) est la méthode type pour toute équation avec et premiers entre eux.
Exercice 7 Divisible par 8 et par 15
- Démontre que tout entier divisible à la fois par et par est divisible par .
- En déduire le plus grand entier strictement inférieur à divisible par et par .
Indice 1
Écris , puis utilise le fait que divise .
Indice 2
Divise par pour trouver le plus grand multiple de qui reste sous .
Voir la correction pas à pas
Les diviseurs de sont et n'est divisible par aucun d'eux sauf : .
Soit divisible par : avec entier.
divise et , donc le théorème de Gauss donne : .
Alors : divise .
Réciproquement, tout multiple de est divisible par et par . On cherche donc le plus grand multiple de strictement inférieur à .
On a , donc le plus grand multiple est .
Contrôle : .
Le plus grand entier est . Le multiple suivant, , dépasse . Cet exercice montre le lien entre Gauss et le PPCM : pour des entiers premiers entre eux, le PPCM est simplement le produit.
Les questions qu'on se pose
Comment savoir si je peux appliquer le théorème de Gauss ?
Il faut réunir deux éléments : une divisibilité du type , et le fait que soit premier avec l'un des deux facteurs, disons . Alors divise l'autre facteur . Prends l'habitude d'écrire explicitement « » et la raison : décomposition en facteurs, nombre premier qui ne divise pas l'autre, ou relation de Bézout. Si le PGCD vaut plus que , mets-le en facteur et simplifie d'abord.
Quelle est la différence entre le théorème de Gauss et le théorème de Bézout ?
Bézout caractérise les entiers premiers entre eux : et sont premiers entre eux si et seulement s'il existe et avec . Gauss est une conséquence de Bézout : sa preuve multiplie la relation de Bézout par . Bézout sert à fabriquer des solutions ; Gauss sert à contrôler les diviseurs, et c'est lui que tu utilises pour passer de à « divise ».
Le théorème de Gauss tombe-t-il à l'examen en maths expertes ?
Le théorème fait partie des outils d'arithmétique du programme de maths expertes, avec la divisibilité, les congruences, le PGCD et Bézout. Il intervient surtout dans les équations diophantiennes de la forme et dans les congruences. Savoir le citer avec ses hypothèses, et refaire la démonstration à partir de Bézout, te donne une base solide pour ces questions.
Sources
- Théorème de la progression arithmétique et angles des premiers de Gauss, CNRS. Consulté le 6 novembre 2026.
- Carl Friedrich Gauss, Wikipédia. Consulté le 6 novembre 2026.
- Théorème de Gauss (physique), 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.