Matematika · Glosarium

Apa itu Kekongruenan?

Dikenal juga sebagai: congruence

Definisi 29.4 Matematika Sekolah Menengah Atas · Bab 29 — Aritmetika

Misalkan nNn \in \N^*. Dua bilangan bulat a,ba, b disebut kongruen modulo nn, ditulis ab(modn)a \equiv b \pmod n, jika n(ab)n \mid (a - b) — setara dengan mengatakan bahwa aa dan bb bersisa sama pada pembagian Euklides oleh nn.

Baca dalam konteks →
Definisi 6.18 Matematika Universitas — Tahun 1 · Bab 6 — Aritmetika Bilangan Bulat

Untuk nNn \in \N^*: ab(modn)a \equiv b \pmod n bila nabn \mid a - b. Ini relasi ekuivalensi yang serasi dengan penjumlahan dan perkalian: jika aba \equiv b dan aba' \equiv b' (modulo nn), maka a+ab+ba + a' \equiv b + b', aabbaa' \equiv bb', dan akbka^k \equiv b^k untuk kNk \in \N.

Contoh

Contoh 6.19 (Uji buang sembilan)

Keserasiannya dengan ++ dan ×\times adalah alat pemeriksa yang setua perniagaan. Karena 101(mod9)10 \equiv 1 \pmod 9, setiap bilangan bulat kongruen modulo 99 dengan jumlah angkanya (dibuktikan pada Latihan 6.2). Untuk memeriksa klaim 1234×567=6996781234 \times 567 = 699\,678: jumlah angkanya memberikan 123411234 \equiv 1 dan 567180(mod9)567 \equiv 18 \equiv 0 \pmod 9, jadi hasil kalinya haruslah 1×0=0\equiv 1 \times 0 = 0; dan memang 6+9+9+6+7+8=4506 + 9 + 9 + 6 + 7 + 8 = 45 \equiv 0. Pemeriksaannya lolos (dan hasil kalinya memang benar). Seandainya ada yang melaporkan 699478699\,478, jumlah angkanya 437≢043 \equiv 7 \not\equiv 0 akan menghukumnya seketika. Ujinya bersifat sepihak — ia menangkap sebuah kesalahan kecuali bila kesalahannya sendiri kelipatan 99 — dan itu persis pelajaran pseudoprima pada Contoh 6.24 dalam wujud mini: pemeriksaan kekongruenan membantah, tetapi tidak mengesahkan.

Contoh 6.21 (Membalikkan 77 modulo 2626)

Karena gcd(7,26)=1\gcd(7, 26) = 1, kelas 77 terbalikkan modulo 2626. Euclid yang diperluas:

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 ,

lalu secara mundur:

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 .

Jadi 7×(11)1(mod26)7 \times (-11) \equiv 1 \pmod{26}, yakni 711115(mod26)7^{-1} \equiv -11 \equiv 15 \pmod{26}; periksa: 7×15=105=4×26+17 \times 15 = 105 = 4 \times 26 + 1. Dengan inversnya di tangan, sebarang kekongruenan 7xc(mod26)7x \equiv c \pmod{26} diselesaikan dalam satu perkalian: x15cx \equiv 15c. Pembalikan mekanis inilah kuda beban aritmetika modular — dan juga kuda beban protokol kunci publik yang disebut pada Catatan 6.27, yang di sana modulusnya beratus angka tetapi algoritmanya persis yang ini.

Contoh 6.22 (Ketika koefisiennya tak terbalikkan)

Selesaikan 12x8(mod20)12x \equiv 8 \pmod{20}. Di sini gcd(12,20)=4\gcd(12, 20) = 4, jadi 1212 tak terbalikkan modulo 2020 — tetapi persamaannya tetap tertangani. Kekongruenan itu mengatakan 2012x820 \mid 12x - 8; dengan membagi seluruh hubungannya dengan 44 (pembagi ketiga bahannya), ia setara dengan 53x25 \mid 3x - 2, yakni

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

Sekarang gcd(3,5)=1\gcd(3, 5) = 1 dan 312(mod5)3^{-1} \equiv 2 \pmod 5 (karena 3×2=613 \times 2 = 6 \equiv 1), jadi x4(mod5)x \equiv 4 \pmod 5: penyelesaiannya adalah x4,9,14,19(mod20)x \equiv 4, 9, 14, 19 \pmod{20}empat kelas modulo 2020, yang cocok dengan FPB-nya. (Seandainya ruas kanannya tak habis dibagi 44, katakanlah 12x6(mod20)12x \equiv 6 \pmod{20}, tak akan ada penyelesaian sama sekali: karena ruas kirinya selalu 0(mod4)\equiv 0 \pmod 4.) Bentuk umumnya: axb(modn)ax \equiv b \pmod n terselesaikan jika dan hanya jika gcd(a,n)b\gcd(a, n) \mid b, dan lalu ia mempunyai tepat gcd(a,n)\gcd(a, n) kelas penyelesaian — bagi semuanya dengan FPB-nya lalu balikkan.

Baca dalam konteks →