MathClario
← Retour au niveau Lycée
Lycée🔢Arithmétique●●●○○· 4 min
🔁

Congruences modulo n : a ≡ b [n] si a et b ont même reste

17 ≡ 5 [12] car 17 = 12 + 5. Une arithmétique cyclique qui simplifie divisibilité et cryptographie.

Définition

aa est congru à bb modulo nn si a−ba - b est divisible par nn :

a≡b(modn)  ⟺  n∣(a−b)a \equiv b \pmod{n} \iff n \mid (a - b)

Équivaut à : aa et bb ont le même reste dans la division par nn.

Exemples

  • 17≡5(mod12)17 \equiv 5 \pmod{12} (car 17−5=1217 - 5 = 12).
  • −3≡4(mod7)-3 \equiv 4 \pmod{7} (car −3−4=−7-3 - 4 = -7).
  • 25≡1(mod24)25 \equiv 1 \pmod{24} (utile pour les heures !).

Opérations : elles se conservent

Si a≡a′(modn)a \equiv a' \pmod n et b≡b′(modn)b \equiv b' \pmod n :

  • Addition : a+b≡a′+b′(modn)a + b \equiv a' + b' \pmod n
  • Soustraction : a−b≡a′−b′(modn)a - b \equiv a' - b' \pmod n
  • Multiplication : a×b≡a′×b′(modn)a \times b \equiv a' \times b' \pmod n
  • Puissance : ak≡(a′)k(modn)a^k \equiv (a')^k \pmod n

⚠️ La division n’est pas toujours possible !

Application 1 : critère de divisibilité

Pour tester si nn est divisible par 99 : somme des chiffres.

Pourquoi ? Car 10≡1(mod9)10 \equiv 1 \pmod 9, donc 10k≡1(mod9)10^k \equiv 1 \pmod 9. Un nombre est congru à la somme de ses chiffres mod 9.

Application 2 : calculer un reste énorme

Calculer 21002^{100} mod 5.

24=16≡1(mod5)2^4 = 16 \equiv 1 \pmod 5.

100=4×25100 = 4 \times 25, donc 2100=(24)25≡125=1(mod5)2^{100} = (2^4)^{25} \equiv 1^{25} = 1 \pmod 5.

Reste = 1.

Application 3 : jour de la semaine

Aujourd’hui = mercredi. Dans 100 jours ?

100=14×7+2100 = 14 \times 7 + 2, donc 100≡2(mod7)100 \equiv 2 \pmod 7. Mercredi + 2 = vendredi.

Petit théorème de Fermat

Si pp premier et aa non divisible par pp :

ap−1≡1(modp)a^{p - 1} \equiv 1 \pmod p

Utilisation : simplifier des puissances modulo un nombre premier.

Erreurs classiques

  1. Diviser dans une congruence sans PGCD = 1 avec nn.
  2. Écrire a≡b(modn)a \equiv b \pmod n quand a−ba - b n’est pas divisible par nn.
  3. Oublier que les restes sont positifs (0≤r<n0 \leq r < n).
?À toi de jouer

46 mod 7 = ?

Mini-quiz

Question 1 / 3

73 mod 5 = ?

#congruences#arithmétique#modulo#terminale#prépa

À voir aussi