Wiskunde · Begrippenlijst

Wat is Congruentie?

Ook bekend als: congruence

Definitie 29.4 Wiskunde bovenbouw · Hoofdstuk 29 — Getaltheorie

Zij nNn \in \N^*. Twee gehele getallen aa en bb heten congruent modulo nn, genoteerd ab(modn)a \equiv b \pmod n, als n(ab)n \mid (a - b) — gelijkwaardig: als aa en bb dezelfde rest hebben bij de euclidische deling door nn.

Lees in het hoofdstuk →
Definitie 6.18 Universitaire wiskunde — Bachelor jaar 1 · Hoofdstuk 6 — Getaltheorie in ℤ

Voor nNn \in \N^* schrijven we ab(modn)a \equiv b \pmod n wanneer nabn \mid a - b. Dat is een equivalentierelatie die verenigbaar is met optellen en vermenigvuldigen: is aba \equiv b en aba' \equiv b' (mod nn), dan is a+ab+ba + a' \equiv b + b', aabbaa' \equiv bb' en akbka^k \equiv b^k voor kNk \in \N.

Voorbeelden

Voorbeeld 6.19 (De negenproef)

De verenigbaarheid met ++ en ×\times is een controlemiddel dat zo oud is als de handel. Omdat 101(mod9)10 \equiv 1 \pmod 9, is elk geheel getal modulo 99 congruent met zijn cijfersom (bewezen als Oefening 6.2). Om de bewering 1234×567=6996781234 \times 567 = 699\,678 te toetsen: de cijfersommen geven 123411234 \equiv 1 en 567180(mod9)567 \equiv 18 \equiv 0 \pmod 9, dus moet het product 1×0=0\equiv 1 \times 0 = 0 zijn; en inderdaad is 6+9+9+6+7+8=4506 + 9 + 9 + 6 + 7 + 8 = 45 \equiv 0. De proef slaagt (en het product klopt ook echt). Had iemand 699478699\,478 gemeld, dan zou de cijfersom 437≢043 \equiv 7 \not\equiv 0 hem meteen ontmaskeren. De toets is eenzijdig — ze betrapt een fout tenzij de fout zelf een veelvoud van 99 is — en dat is in het klein precies de les over pseudopriemgetallen uit Voorbeeld 6.24: controles met congruenties weerleggen, ze bewijzen niet.

Voorbeeld 6.21 (77 inverteren modulo 2626)

Omdat gcd(7,26)=1\gcd(7, 26) = 1, is de klasse van 77 inverteerbaar modulo 2626. Uitgebreid Euclides:

26=3×7+5,7=1×5+2,5=2×2+1,26 = 3 \times 7 + 5, \qquad 7 = 1 \times 5 + 2, \qquad 5 = 2 \times 2 + 1 ,

en dan achterstevoren:

1=52×2=52(75)=3×52×7=3(263×7)2×7=3×2611×7.1 = 5 - 2 \times 2 = 5 - 2(7 - 5) = 3 \times 5 - 2 \times 7 = 3(26 - 3 \times 7) - 2 \times 7 = 3 \times 26 - 11 \times 7 .

Bijgevolg is 7×(11)1(mod26)7 \times (-11) \equiv 1 \pmod{26}, oftewel 711115(mod26)7^{-1} \equiv -11 \equiv 15 \pmod{26}; controle: 7×15=105=4×26+17 \times 15 = 105 = 4 \times 26 + 1. Met de inverse in handen los je elke congruentie 7xc(mod26)7x \equiv c \pmod{26} in één vermenigvuldiging op: x15cx \equiv 15c. Dit mechanische inverteren is het werkpaard van het modulaire rekenen — en van de protocollen met publieke sleutel die in Opmerking 6.27 genoemd worden, waar de moduli honderden cijfers tellen maar het algoritme exact dit is.

Voorbeeld 6.22 (Wanneer de coëfficiënt niet inverteerbaar is)

Los 12x8(mod20)12x \equiv 8 \pmod{20} op. Hier is gcd(12,20)=4\gcd(12, 20) = 4, dus 1212 is niet inverteerbaar modulo 2020 — maar de vergelijking blijft hanteerbaar. De congruentie zegt 2012x820 \mid 12x - 8; deling van de hele betrekking door 44 (een deler van alle drie de ingrediënten) maakt haar equivalent met 53x25 \mid 3x - 2, oftewel

3x2(mod5).3x \equiv 2 \pmod 5 .

Nu is gcd(3,5)=1\gcd(3, 5) = 1 en 312(mod5)3^{-1} \equiv 2 \pmod 5 (want 3×2=613 \times 2 = 6 \equiv 1), dus x4(mod5)x \equiv 4 \pmod 5: de oplossingen zijn x4,9,14,19(mod20)x \equiv 4, 9, 14, 19 \pmod{20}vier klassen modulo 2020, overeenkomend met de ggd. (Was het rechterlid niet deelbaar door 44 geweest, zeg 12x6(mod20)12x \equiv 6 \pmod{20}, dan was er helemaal geen oplossing: het linkerlid is altijd 0(mod4)\equiv 0 \pmod 4.) Algemene vorm: axb(modn)ax \equiv b \pmod n is oplosbaar precies wanneer gcd(a,n)b\gcd(a, n) \mid b, en heeft dan precies gcd(a,n)\gcd(a, n) oplossingsklassen — deel alles door de ggd en inverteer.

Lees in het hoofdstuk →