Aller au contenu

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 aa divise bcbc et si aa est premier avec bb, alors aa divise cc.
  • Il sert à « simplifier » une divisibilité : on retire de bcbc le facteur bb qui n'a rien en commun avec aa.
  • Si aa et bb sont premiers entre eux et divisent tous deux cc, alors leur produit abab divise cc.
  • Avant de l'appliquer, vérifie toujours que PGCD(a,b)=1\text{PGCD}(a,b)=1 : sans cette condition, la conclusion peut être fausse.
  • Le théorème résout les équations ax+by=cax+by=c dont on connaît une solution, et les congruences ax≡bax\equiv b quand aa 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 aa et bb sont premiers entre eux si et seulement s'il existe deux entiers uu et vv tels que au+bv=1au+bv=1.

Démonstration · Preuve du théorème de Gauss

On suppose a∣bca \mid bc et PGCD(a,b)=1\text{PGCD}(a,b)=1.

Comme aa et bb sont premiers entre eux, Bézout donne deux entiers uu et vv tels que au+bv=1.au+bv=1. On multiplie les deux membres par cc : acu+bcv=c.acu+bcv=c. Or aa divise acuacu (c'est un multiple de aa), et aa divise bcvbcv car aa divise bcbc. Donc aa divise la somme acu+bcvacu+bcv, c'est-à-dire cc. □\square

Démonstration · Preuve du corollaire

Soient aa et bb premiers entre eux, avec a∣ca \mid c et b∣cb \mid c. On écrit c=akc = ak avec kk entier. Comme bb divise c=akc = ak et que bb est premier avec aa, le théorème de Gauss donne b∣kb \mid k. On écrit k=bk′k = bk', d'où c=abk′c = abk' : le produit abab divise cc. □\square

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

★☆☆Environ 5 min

Soit nn un entier naturel non nul tel que 77 divise 12n12n.

  1. Justifie que 77 divise nn.
  2. Quel est le plus petit entier n>0n>0 vérifiant cette condition ?
Indice 1

Regarde si 77 et 1212 ont un diviseur commun autre que 11.

Indice 2

12n12n est le produit de 1212 et de nn : applique le théorème de Gauss avec a=7a=7 et b=12b=12.

Voir la correction pas à pas
  1. On a 7∣12×n7 \mid 12\times n.

  2. 77 est premier et ne divise pas 1212, donc PGCD(7,12)=1\text{PGCD}(7,12)=1.

  3. Le théorème de Gauss s'applique avec a=7a=7, b=12b=12, c=nc=n : 77 divise nn.

  4. Les entiers n>0n>0 divisibles par 77 sont 7,14,21,…7, 14, 21,\dots Le plus petit est 77.

  5. Vérification : 12×7=84=7×1212\times 7 = 84 = 7\times 12, donc 77 divise bien 8484.

Le plus petit entier est n=7n=7. Le facteur 1212 n'apporte aucune aide pour la divisibilité par 77 : tout le « travail » est fait par nn.

Exercice 2 Deux diviseurs premiers entre eux

★☆☆Environ 6 min

Combien d'entiers nn compris entre 11 et 200200 (bornes incluses) sont divisibles à la fois par 44 et par 99 ?

Indice 1

44 et 99 sont-ils premiers entre eux ? Si oui, que peut-on dire de 4×94\times 9 ?

Indice 2

Il reste à compter les multiples de 3636 jusqu'à 200200.

Voir la correction pas à pas
  1. Les diviseurs de 44 sont 1,2,41, 2, 4 ; ceux de 99 sont 1,3,91, 3, 9. Le seul diviseur commun est 11 : PGCD(4,9)=1\text{PGCD}(4,9)=1.

  2. Si nn est divisible par 44 et par 99, le corollaire du théorème de Gauss donne : 4×9=364\times 9 = 36 divise nn.

  3. Réciproquement, tout multiple de 3636 est divisible par 44 et par 99.

  4. On compte les multiples de 3636 entre 11 et 200200 : 36,72,108,144,18036, 72, 108, 144, 180.

  5. Le suivant, 216216, dépasse 200200. Il y en a donc 55 (on a 200=5×36+20200 = 5\times 36 + 20).

Il y a 55 entiers : 36,72,108,14436, 72, 108, 144 et 180180. Ce raisonnement échouerait avec 44 et 66, car PGCD(4,6)=2\text{PGCD}(4,6)=2 : il faudrait alors passer par le PPCM, qui vaut 1212.

Exercice 3 Une équation à deux inconnues

★★☆Environ 10 min

On cherche les couples (x ; y)(x\,;\,y) d'entiers naturels non nuls, avec x≤100x \le 100 et y≤100y \le 100, tels que 7x=5y7x = 5y.

  1. Montre que xx est un multiple de 55 et que yy est un multiple de 77.
  2. Détermine le nombre de couples solutions.
Indice 1

De 7x=5y7x=5y, déduis que 55 divise 7x7x, puis utilise Gauss.

Indice 2

Pose x=5kx = 5k et exprime yy en fonction de kk, puis traduis les deux conditions x≤100x\le 100 et y≤100y \le 100.

Voir la correction pas à pas
  1. L'égalité 7x=5y7x = 5y montre que 55 divise 7x7x.

  2. PGCD(5,7)=1\text{PGCD}(5,7)=1 car 55 et 77 sont premiers distincts. Par le théorème de Gauss, 55 divise xx : on écrit x=5kx = 5k avec kk entier naturel non nul.

  3. On remplace : 7×5k=5y7\times 5k = 5y, donc y=7ky = 7k. Ainsi yy est bien un multiple de 77.

  4. Réciproquement, pour tout entier kk, le couple (5k ; 7k)(5k\,;\,7k) vérifie 7×5k=5×7k7\times 5k = 5\times 7k.

  5. Les conditions deviennent 5k≤1005k \le 100, soit k≤20k \le 20, et 7k≤1007k \le 100, soit k≤14k \le 14 (car 7×14=987\times 14=98 et 7×15=1057\times 15 = 105). La plus contraignante est k≤14k\le 14.

  6. Avec kk entier de 11 à 1414, on obtient 1414 couples.

Il y a 1414 couples, de (5 ; 7)(5\,;\,7) à (70 ; 98)(70\,;\,98). Retiens la structure de la solution : une équation ax=byax = by avec aa et bb premiers entre eux donne toujours x=bkx = bk et y=aky = ak.

Exercice 4 Une congruence à résoudre

★★☆Environ 10 min

Résous dans Z\mathbb{Z} la congruence 4x≡12(mod11)4x \equiv 12 \pmod{11}. Donne l'unique solution xx comprise entre 00 et 1010.

Indice 1

Passe tout du même côté : 4x−12=4(x−3)4x-12 = 4(x-3).

Indice 2

1111 divise 4(x−3)4(x-3) : lequel des deux facteurs peut-il diviser ?

Voir la correction pas à pas
  1. La congruence signifie que 1111 divise 4x−124x-12.

  2. On factorise : 4x−12=4(x−3)4x - 12 = 4(x-3). Donc 11∣4(x−3)11 \mid 4(x-3).

  3. 1111 est premier et ne divise pas 44, donc PGCD(11,4)=1\text{PGCD}(11,4)=1.

  4. Le théorème de Gauss donne 11∣x−311 \mid x-3, c'est-à-dire x≡3(mod11)x \equiv 3 \pmod{11}.

  5. Réciproquement, si x≡3x\equiv 3, alors 4x≡12(mod11)4x \equiv 12 \pmod{11}. L'ensemble des solutions est {3+11k, k∈Z}\{3+11k,\ k\in\mathbb{Z}\}.

  6. Dans l'intervalle de 00 à 1010, la seule solution est x=3x=3.

La solution est x=3x = 3. En pratique, Gauss te permet de « simplifier par 44 » dans la congruence, à condition que 44 soit premier avec le module 1111.

Exercice 5 Quand les nombres ne sont pas premiers entre eux

★★☆Environ 10 min

Trouve le plus petit entier m>0m>0 tel que 1414 divise 35m35m.

Explique pourquoi on ne peut pas conclure directement avec le théorème de Gauss.

Indice 1

Calcule PGCD(14,35)\text{PGCD}(14,35).

Indice 2

Écris 14=7×214 = 7\times 2 et 35=7×535 = 7\times 5, puis simplifie l'égalité 35m=14k35m = 14k par le PGCD.

Voir la correction pas à pas
  1. 14=2×714 = 2\times 7 et 35=5×735 = 5\times 7 : le PGCD vaut 77, donc 1414 et 3535 ne sont pas premiers entre eux. Gauss ne s'applique pas directement.

  2. On écrit 35m=14k35m = 14k avec kk entier, puis on divise par 77 : 5m=2k5m = 2k.

  3. Maintenant 2∣5m2 \mid 5m et PGCD(2,5)=1\text{PGCD}(2,5)=1. Par le théorème de Gauss, 2∣m2 \mid m.

  4. Le plus petit entier m>0m>0 pair est 22.

  5. Vérification : 35×2=70=14×535\times 2 = 70 = 14\times 5, donc 1414 divise bien 7070. Et m=1m=1 ne convient pas, car 1414 ne divise pas 3535.

Le plus petit entier est m=2m=2. Réflexe à garder : si le PGCD n'est pas 11, 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

★★★Environ 15 min

On considère l'équation (E)(E) : 9x+4y=1009x+4y=100, d'inconnues xx et yy entiers relatifs.

  1. Vérifie que (0 ; 25)(0\,;\,25) est solution.
  2. Montre que si (x ; y)(x\,;\,y) est solution, alors 44 divise xx.
  3. Détermine toutes les solutions de (E)(E).
  4. Combien y a-t-il de solutions pour lesquelles xx et yy sont tous deux strictement positifs ?
Indice 1

Écris 9x=100−4y9x = 100 - 4y et factorise le second membre par 44.

Indice 2

Une fois x=4kx = 4k trouvé, calcule yy en fonction de kk, puis résous x>0x>0 et y>0y>0.

Voir la correction pas à pas
  1. Vérification : 9×0+4×25=1009\times 0 + 4\times 25 = 100. Le couple (0 ; 25)(0\,;\,25) est solution.

  2. Soit (x ; y)(x\,;\,y) une solution. En soustrayant l'égalité de la solution particulière : 9x+4y=9×0+4×259x + 4y = 9\times 0 + 4\times 25, donc 9x=4(25−y)9x = 4(25-y).

  3. Ainsi 44 divise 9x9x. Comme PGCD(4,9)=1\text{PGCD}(4,9)=1, le théorème de Gauss donne 4∣x4 \mid x : x=4kx = 4k avec kk entier relatif.

  4. On remplace : 36k=4(25−y)36k = 4(25-y), donc 25−y=9k25 - y = 9k et y=25−9ky = 25-9k.

  5. Réciproquement, 9×4k+4(25−9k)=36k+100−36k=1009\times 4k + 4(25-9k) = 36k + 100 - 36k = 100. Les solutions sont les couples (4k ; 25−9k)(4k\,;\,25-9k), k∈Zk\in\mathbb{Z}.

  6. Positivité : x>0x>0 équivaut à k>0k>0, donc k≥1k\ge 1. y>0y>0 équivaut à 25−9k>025 - 9k > 0, soit k<259≈2,8k < \frac{25}{9} \approx 2{,}8, donc k≤2k\le 2.

  7. Il reste k=1k=1, qui donne (4 ; 16)(4\,;\,16), et k=2k=2, qui donne (8 ; 7)(8\,;\,7). Il y a donc 22 solutions.

Il y a 22 solutions strictement positives : (4 ; 16)(4\,;\,16) et (8 ; 7)(8\,;\,7). Cette démarche (solution particulière, soustraction, Gauss, paramètre kk) est la méthode type pour toute équation ax+by=cax+by=c avec aa et bb premiers entre eux.

Exercice 7 Divisible par 8 et par 15

★★★Environ 12 min

  1. Démontre que tout entier nn divisible à la fois par 88 et par 1515 est divisible par 120120.
  2. En déduire le plus grand entier nn strictement inférieur à 500500 divisible par 88 et par 1515.
Indice 1

Écris n=8kn = 8k, puis utilise le fait que 1515 divise 8k8k.

Indice 2

Divise 499499 par 120120 pour trouver le plus grand multiple de 120120 qui reste sous 500500.

Voir la correction pas à pas
  1. Les diviseurs de 88 sont 1,2,4,81,2,4,8 et 1515 n'est divisible par aucun d'eux sauf 11 : PGCD(8,15)=1\text{PGCD}(8,15)=1.

  2. Soit nn divisible par 88 : n=8kn = 8k avec kk entier.

  3. 1515 divise n=8kn = 8k et PGCD(15,8)=1\text{PGCD}(15,8)=1, donc le théorème de Gauss donne 15∣k15 \mid k : k=15k′k = 15k'.

  4. Alors n=8×15 k′=120 k′n = 8\times 15\,k' = 120\,k' : 120120 divise nn.

  5. Réciproquement, tout multiple de 120120 est divisible par 88 et par 1515. On cherche donc le plus grand multiple de 120120 strictement inférieur à 500500.

  6. On a 499=4×120+19499 = 4\times 120 + 19, donc le plus grand multiple est 4×120=4804\times 120 = 480.

  7. Contrôle : 480=8×60=15×32480 = 8\times 60 = 15\times 32.

Le plus grand entier est n=480n=480. Le multiple suivant, 600600, dépasse 500500. 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 a∣bca \mid bc, et le fait que aa soit premier avec l'un des deux facteurs, disons bb. Alors aa divise l'autre facteur cc. Prends l'habitude d'écrire explicitement « PGCD(a,b)=1\text{PGCD}(a,b)=1 » 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 11, 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 : aa et bb sont premiers entre eux si et seulement s'il existe uu et vv avec au+bv=1au+bv=1. Gauss est une conséquence de Bézout : sa preuve multiplie la relation de Bézout par cc. Bézout sert à fabriquer des solutions ; Gauss sert à contrôler les diviseurs, et c'est lui que tu utilises pour passer de 9x=4(25−y)9x = 4(25-y) à « 44 divise xx ».

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 ax+by=cax+by=c 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

  1. Théorème de la progression arithmétique et angles des premiers de Gauss, CNRS. Consulté le 6 novembre 2026.
  2. Carl Friedrich Gauss, Wikipédia. Consulté le 6 novembre 2026.
  3. 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.

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