Aller au contenu

Mathématiques expertes (option) · Terminale

Congruences : exercices corrigés de Terminale Maths expertes

Publié le 6 novembre 2026 · Mis à jour le 6 novembre 2026 · Signaler une erreur

L'essentiel

  • Deux entiers sont congrus modulo nn si leur différence est divisible par nn, ou s'ils ont le même reste dans la division euclidienne par nn 3.
  • On peut additionner et multiplier des congruences membre à membre, donc remplacer chaque nombre par un représentant plus petit 3.
  • Pour une grande puissance, on cherche une puissance congrue à 1 et on découpe l'exposant.
  • Pour montrer qu'une équation en entiers n'a pas de solution, on la lit modulo un bon entier 1.

Comment utiliser ces exercices

Ces exercices portent sur les congruences, un outil qui permet de ranger les entiers selon leur reste. Cherche chaque énoncé sur papier avant d'ouvrir les indices, puis compare ta rédaction avec la correction. Les exercices sont classés du plus simple au plus délicat : les premiers vérifient que tu manies la définition, les derniers demandent de choisir toi-même le bon module.

Démonstration · Pourquoi le produit est compatible

Si a≡b [n]a \equiv b \ [n] et c≡d [n]c \equiv d \ [n], il existe des entiers pp et qq tels que a−b=npa-b=np et c−d=nqc-d=nq. Alors :

ac−bd=ac−bc+bc−bd=c(a−b)+b(c−d)=n (cp+bq).ac-bd = ac-bc+bc-bd = c(a-b)+b(c-d) = n\,(cp+bq).

La différence ac−bdac-bd est un multiple de nn : on a bien ac≡bd [n]ac \equiv bd \ [n]. La somme se traite de la même façon, et la puissance s'obtient en répétant le produit.

Pour aller plus loin avant de commencer

Regrouper les nombres par « colonnes » selon leur reste aide beaucoup à résoudre les équations diophantiennes, c'est-à-dire celles dont on ne cherche que les solutions entières 1. Les deux derniers exercices exploitent cette idée : au lieu de chercher une solution parmi une infinité d'entiers, on raisonne sur un nombre fini de restes.

Les exercices

Exercice 1 Un reste à la main

★☆☆Environ 4 min

Détermine le reste de la division euclidienne de 20252025 par 77. Écris le résultat sous la forme 2025≡r [7]2025 \equiv r \ [7] avec 0≤r≤60 \le r \le 6.

Indice 1

Cherche le plus grand multiple de 77 qui ne dépasse pas 20252025.

Indice 2

Tu peux utiliser 7×300=21007\times 300 = 2100 et revenir en arrière.

Voir la correction pas à pas
  1. On cherche un multiple de 77 proche de 20252025. Comme 7×289=20237\times 289 = 2023, on a 2025=7×289+22025 = 7\times 289 + 2.

  2. Le reste est donc 22, et il vérifie bien 0≤2≤60 \le 2 \le 6.

  3. On vérifie avec la définition : 2025−2=2023=7×2892025-2=2023=7\times 289 est divisible par 77.

  4. Conclusion : 2025≡2 [7]2025 \equiv 2 \ [7].

Un nombre est congru modulo nn à son reste dans la division euclidienne par nn 3. Chercher un reste, c'est donc chercher un représentant entre 00 et n−1n-1.

Exercice 2 Le plus petit entier de la bonne colonne

★☆☆Environ 5 min

Quel est le plus petit entier xx strictement supérieur à 100100 tel que x≡5 [8]x \equiv 5 \ [8] ?

Indice 1

Les entiers congrus à 55 modulo 88 s'écrivent 5+8k5+8k.

Indice 2

Cherche d'abord le multiple de 88 juste en dessous de 100100.

Voir la correction pas à pas
  1. Dire que x≡5 [8]x \equiv 5 \ [8] signifie que x−5x-5 est un multiple de 88, soit x=5+8kx = 5+8k avec kk entier.

  2. On veut 5+8k>1005+8k > 100, donc 8k>958k > 95, donc k>11,875k > 11{,}875.

  3. Le plus petit entier kk convenable est 1212, d'où x=5+96=101x = 5+96 = 101.

  4. Vérification : 101=8×12+5101 = 8\times 12 + 5, donc le reste dans la division par 88 est bien 55.

Les entiers congrus à 55 modulo 88 sont régulièrement espacés de 88 : 5,13,21,…,93,101,…5, 13, 21, \dots, 93, 101, \dots C'est la « colonne » des nombres de reste 55.

Exercice 3 Calculer avec des représentants

★★☆Environ 8 min

Sans calculer le nombre 17×23+10017\times 23 + 100 en entier, détermine son reste dans la division par 66. Puis vérifie en effectuant le calcul direct.

Indice 1

Remplace 1717, 2323 et 100100 par leur reste modulo 66.

Indice 2

Utilise que le produit et la somme sont compatibles avec la congruence.

Voir la correction pas à pas
  1. On réduit chaque nombre modulo 66 : 17=12+517 = 12+5 donc 17≡5 [6]17 \equiv 5 \ [6] ; 23=18+523 = 18+5 donc 23≡5 [6]23 \equiv 5 \ [6] ; 100=96+4100 = 96+4 donc 100≡4 [6]100 \equiv 4 \ [6].

  2. Par compatibilité avec le produit : 17×23≡5×5=25 [6]17\times 23 \equiv 5\times 5 = 25 \ [6], et 25=24+125 = 24+1 donc 17×23≡1 [6]17\times 23 \equiv 1 \ [6].

  3. Par compatibilité avec la somme : 17×23+100≡1+4=5 [6]17\times 23 + 100 \equiv 1+4 = 5 \ [6].

  4. Vérification directe : 17×23+100=391+100=491=6×81+517\times 23 + 100 = 391+100 = 491 = 6\times 81 + 5. Le reste est bien 55.

Le gain est considérable sur de grands nombres : on ne manipule que des entiers inférieurs à 66. On peut aussi prendre des représentants négatifs, par exemple 17≡−1 [6]17 \equiv -1 \ [6], ce qui donne 17×23≡−5≡1 [6]17\times 23 \equiv -5 \equiv 1 \ [6].

Exercice 4 Une grande puissance

★★☆Environ 10 min

Détermine le reste de la division euclidienne de 31003^{100} par 77.

Indice 1

Calcule les premières puissances de 33 modulo 77 jusqu'à tomber sur 11.

Indice 2

Si 36≡1 [7]3^6 \equiv 1 \ [7], écris l'exposant 100100 sous la forme 6q+r6q+r.

Voir la correction pas à pas
  1. Calcul des puissances de 33 modulo 77 : 31≡33^1 \equiv 3 ; 32=9≡23^2 = 9 \equiv 2 ; 33≡2×3=63^3 \equiv 2\times 3 = 6 ; 34≡6×3=18≡43^4 \equiv 6\times 3 = 18 \equiv 4 ; 35≡4×3=12≡53^5 \equiv 4\times 3 = 12 \equiv 5 ; 36≡5×3=15≡13^6 \equiv 5\times 3 = 15 \equiv 1.

  2. On a trouvé 36≡1 [7]3^6 \equiv 1 \ [7].

  3. Division de l'exposant : 100=6×16+4100 = 6\times 16 + 4.

  4. Donc 3100=(36)16×34≡116×34≡34 [7]3^{100} = (3^6)^{16}\times 3^4 \equiv 1^{16}\times 3^4 \equiv 3^4 \ [7].

  5. Or 34≡4 [7]3^4 \equiv 4 \ [7] (calculé plus haut, ou 81=77+481 = 77+4). Le reste est donc 44.

La méthode vaut pour tout exposant : on cherche le premier exposant donnant 11, on divise l'exposant par cette période et on ne garde que le reste. Les puissances d'un entier modulo nn se répètent toujours après un certain rang.

Exercice 5 Résoudre une congruence

★★☆Environ 10 min

Résous dans Z\mathbb{Z} la congruence 5x≡3 [8]5x \equiv 3 \ [8]. Donne l'unique solution xx comprise entre 00 et 77, puis décris toutes les solutions.

Indice 1

Il n'y a que 88 restes possibles pour xx : tu peux les tester dans un tableau.

Indice 2

Cherche un entier yy tel que 5y≡1 [8]5y \equiv 1 \ [8] pour « diviser » par 55.

Voir la correction pas à pas
  1. Seul le reste de xx modulo 88 compte : on teste x=0,1,…,7x = 0, 1, \dots, 7.

  2. Valeurs de 5x5x modulo 88 : x=0→0x=0 \to 0 ; x=1→5x=1 \to 5 ; x=2→10≡2x=2 \to 10 \equiv 2 ; x=3→15≡7x=3 \to 15 \equiv 7 ; x=4→20≡4x=4 \to 20 \equiv 4 ; x=5→25≡1x=5 \to 25 \equiv 1 ; x=6→30≡6x=6 \to 30 \equiv 6 ; x=7→35≡3x=7 \to 35 \equiv 3.

  3. Seul x=7x=7 donne 33. Vérification : 35−3=32=8×435-3=32=8\times 4.

  4. Les solutions sont tous les entiers congrus à 77 modulo 88 : x=7+8kx = 7+8k avec k∈Zk \in \mathbb{Z}.

  5. Autre méthode : 5×5=25≡1 [8]5\times 5 = 25 \equiv 1 \ [8], donc en multipliant par 55 on obtient x≡15≡7 [8]x \equiv 15 \equiv 7 \ [8].

Ici, 55 est « inversible » modulo 88 : il existe un entier qui, multiplié par 55, donne 11 modulo 88. Ce n'est pas toujours le cas, par exemple pour 2x≡1 [6]2x \equiv 1 \ [6], qui n'a aucune solution car 2x−12x-1 est impair alors que 6k6k est pair. Les notions suivantes du programme, PGCD et théorème de Bézout, expliquent quand l'inverse existe.

Exercice 6 Chiffre des unités

★★★Environ 12 min

Quel est le chiffre des unités de 720267^{2026} ?

Indice 1

Le chiffre des unités d'un entier naturel est son reste dans la division par 1010.

Indice 2

Calcule les puissances successives de 77 modulo 1010 jusqu'à retrouver 11.

Voir la correction pas à pas
  1. Le chiffre des unités de NN est le reste de NN modulo 1010 : on cherche 720267^{2026} modulo 1010.

  2. Puissances de 77 modulo 1010 : 71≡77^1 \equiv 7 ; 72=49≡97^2 = 49 \equiv 9 ; 73≡9×7=63≡37^3 \equiv 9\times 7 = 63 \equiv 3 ; 74≡3×7=21≡17^4 \equiv 3\times 7 = 21 \equiv 1.

  3. On a 74≡1 [10]7^4 \equiv 1 \ [10] et 2026=4×506+22026 = 4\times 506 + 2.

  4. Donc 72026=(74)506×72≡1×49≡9 [10]7^{2026} = (7^4)^{506}\times 7^2 \equiv 1\times 49 \equiv 9 \ [10].

  5. Le chiffre des unités est 99.

Le chiffre des unités de 7k7^k suit le cycle 7,9,3,17, 9, 3, 1 de période 44. Retrouver ce cycle est la clé de tous les exercices du type « dernier chiffre de aka^k ».

Exercice 7 Une équation sans solution entière

★★★Environ 15 min

On considère l'équation x2+y2=4003x^2 + y^2 = 4003 où xx et yy sont des entiers relatifs.

  1. Détermine les valeurs possibles de x2x^2 modulo 44.
  2. En déduire les valeurs possibles de x2+y2x^2+y^2 modulo 44.
  3. Calcule le reste de 40034003 modulo 44 et conclus.

Donne comme réponse numérique le reste de 40034003 modulo 44.

Indice 1

Un entier est congru à 00, 11, 22 ou 33 modulo 44 : élève chaque cas au carré.

Indice 2

Fais un tableau des sommes possibles de deux carrés modulo 44.

Voir la correction pas à pas
  1. Tout entier xx est congru à 00, 11, 22 ou 33 modulo 44. Leurs carrés valent 00, 11, 4≡04 \equiv 0, 9≡19 \equiv 1. Donc x2≡0x^2 \equiv 0 ou 1 [4]1 \ [4].

  2. Il en va de même pour y2y^2. Les sommes possibles sont 0+0=00+0=0, 0+1=10+1=1, 1+0=11+0=1 et 1+1=21+1=2. Ainsi x2+y2≡0x^2+y^2 \equiv 0, 11 ou 2 [4]2 \ [4] : jamais 33.

  3. On calcule 4003=4×1000+34003 = 4\times 1000 + 3, donc 4003≡3 [4]4003 \equiv 3 \ [4].

  4. Si l'équation avait une solution, on aurait x2+y2≡3 [4]x^2+y^2 \equiv 3 \ [4], ce qui est impossible d'après la question précédente.

  5. Conclusion : l'équation x2+y2=4003x^2+y^2=4003 n'a aucune solution entière.

Voilà l'intérêt des congruences pour les équations diophantiennes, où l'on ne cherche que des solutions entières 1 : plutôt que de tester une infinité de couples, on montre qu'un reste est impossible. Pour réussir ce type de preuve, il faut choisir un module qui ne laisse que peu de carrés possibles, comme 44, 88 ou 55.

Les questions qu'on se pose

Comment savoir quel module choisir pour montrer qu'une équation n'a pas de solution ?

Il n'existe pas de règle automatique, mais quelques réflexes aident. Pour une somme de carrés, essaie 44, 88 ou 55, car les carrés n'y prennent que peu de valeurs. Pour parler de parité, prends 22 ; pour le chiffre des unités, 1010. Teste ensuite tous les restes possibles : il n'y en a que nn. Si aucune combinaison ne donne le second membre, l'équation n'a pas de solution entière, ce qui est la démarche des équations diophantiennes 1.

Quelle différence y a-t-il entre « a est congru à b modulo n » et « a et b ont le même reste » ?

Aucune : ce sont deux façons de dire la même chose. Deux entiers sont congrus modulo nn si leur différence est divisible par nn, ou si les restes de leur division euclidienne par nn sont égaux 3. Pour une démonstration, la forme « a−ba-b est un multiple de nn » est la plus pratique, car elle permet d'écrire a−b=nka-b=nk. Pour un calcul, la forme avec les restes est plus parlante.

Sources

  1. Images des mathématiques – Arithmétique – CNRS, CNRS. Consulté le 6 novembre 2026.
  2. Congruence, Wikipédia. Consulté le 6 novembre 2026.
  3. Congruence sur les entiers, 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