Paritas, atau sifat ganjil‑genap, merupakan salah satu konsep paling fundamental dalam matematika. Meskipun terdengar sederhana, kajian tentang bilangan ganjil dan genap membuka pintu ke beragam bidang, mulai dari teori bilangan klasik hingga algoritma komputer modern. Artikel ini menyajikan tinjauan teoritis mengenai paritas, meliputi definisi formal, sifat aljabar, teorema penting, serta aplikasi‑aplikasi praktisnya.
1. Definisi Formal
Sebuah bilangan bulat n disebut genap bila terdapat bilangan bulat k sehingga n = 2k. Sebaliknya, n disebut ganjil bila terdapat bilangan bulat k sehingga n = 2k + 1. Notasi ini menegaskan bahwa setiap bilangan bulat dapat diklasifikasikan secara eksklusif ke dalam satu dari dua kelas ini; tidak ada bilangan yang sekaligus genap dan ganjil, dan tidak ada bilangan yang berada di luar keduanya.
2. Sifat Dasar Operasi Aritmetika
Paritas bersifat stabil terhadap operasi penjumlahan dan perkalian:
- Penjumlahan:
– genap + genap = genap
– ganjil + ganjil = genap
– genap + ganjil = ganjil
- Perkalian:
– genap × apa saja = genap
– ganjil × ganjil = ganjil
Pembuktian sifat‑sifat tersebut dapat dilakukan dengan menyubstitusi definisi n = 2k atau n = 2k+1 dan melakukan aljabar sederhana. Misalnya, bila a = 2p (genap) dan b = 2q+1 (ganjil), maka a + b = 2p + 2q + 1 = 2(p+q) + 1, yang jelas ganjil.
3. Teorema Paritas dalam Teori Bilangan
Teorema 1 (Bilangan Prima dan Paritas)
Satu‑satunya bilangan prima yang genap adalah 2. Pembuktian: jika p bilangan prima dan genap, maka p dapat dituliskan p = 2k. Jika k > 1, maka p memiliki faktor selain 1 dan dirinya sendiri, yaitu 2, sehingga bukan prima. Maka satu‑satunya kemungkinan adalah k = 1, yaitu p = 2.
Teorema 2 (Sifat Paritas Kuadrat)
Kuadrat sebuah bilangan bulat selalu memiliki paritas yang sama dengan bilangan aslinya. Artinya, jika n genap maka n² genap; jika n ganjil maka n² ganjil. Bukti: n = 2k → n² = 4k² = 2(2k²) genap. Sedangkan n = 2k+1 → n² = 4k² + 4k + 1 = 2(2k² + 2k) + 1 ganjil.
Teorema 3 (Kongruensi Modulo 2)
Paritas dapat dipandang sebagai operasi modulo 2. Dua bilangan a dan b memiliki paritas yang sama bila a ≡ b (mod 2). Dengan demikian, semua pernyataan tentang paritas dapat diterjemahkan ke dalam bahasa kongruensi, yang mempermudah manipulasi aljabar dalam konteks grup siklik berorde 2.
4. Struktur Aljabar Paritas
Kelas residu modulo 2 membentuk sebuah bidang (field) berorde 2, yang biasa dilambangkan 𝔽₂. Elemen‑elemen 𝔽₂ adalah 0,1, dengan operasi penjumlahan dan perkalian yang didefinisikan secara siklik. Penjumlahan di 𝔽₂ bersesuaian dengan operasi XOR pada logika biner, sedangkan perkalian bersesuaian dengan operasi AND. Karena sifatnya yang sederhana, 𝔽₂ menjadi fondasi bagi banyak struktur aljabar, termasuk ruang vektor biner, kode koreksi kesalahan, dan kriptografi.
5. Paritas dalam Kombinatorik
5.1. Prinsip Pigeonhole
Salah satu aplikasi klasik adalah argumen bahwa dalam sekumpulan bilangan bulat, selalu ada dua bilangan dengan paritas yang sama jika jumlah bilangan tersebut lebih dari dua. Ini merupakan contoh sederhana dari prinsip pigeonhole, yang berguna dalam pembuktian eksistensial.
5.2. Permutasi Ganjil‑Genap
Dalam teori grup permutasi, setiap permutasi dapat diklasifikasikan sebagai ganjil atau genap berdasarkan jumlah transposisi yang diperlukan untuk mengekspresikannya. Sebuah permutasi genap dapat ditulis sebagai produk genap transposisi, sedangkan permutasi ganjil memerlukan jumlah transposisi ganjil. Subgrup semua permutasi genap membentuk grup alternatif Aₙ, yang memiliki sifat-sifat penting dalam aljabar abstrak.
6. Paritas dalam Analisis Bilangan
6.1. Teorema Fermat tentang Bilangan Ganjil
Jika a dan b keduanya ganjil, maka aⁿ + bⁿ untuk n ganjil selalu genap. Hal ini dapat ditunjukkan dengan menuliskan a = 2p+1 dan b = 2q+1, sehingga aⁿ + bⁿ = (2p+1)ⁿ + (2q+1)ⁿ. Karena binomial ekspansi mengandung satu suku konstan (1) dan semua suku lainnya mengandung faktor 2, hasil penjumlahan menjadi 2 modulo 2, yaitu genap.
6.2. Bilangan Triangular dan Paritas
Bilangan triangular Tₙ = n(n+1)/2 memiliki paritas yang bergantung pada nilai n modulo 4. Secara eksplisit:
- Jika n ≡ 0 atau 3 (mod 4), maka Tₙ genap.
- Jika n ≡ 1 atau 2 (mod 4), maka Tₙ ganjil.
Pembuktian melibatkan analisis faktor 2 dalam produk n dan n+1.
7. Paritas dalam Algoritma dan Ilmu Komputer
7.1. Representasi Biner
Setiap bilangan bulat dapat direpresentasikan dalam basis 2. Bit paling tidak signifikan (LSB) secara langsung menentukan paritas: LSB = 0 → genap, LSB = 1 → ganjil. Operasi bitwise `x & 1` mengembalikan nilai paritas, yang menjadi teknik standar dalam pemrograman untuk pemeriksaan cepat.
7.2. Algoritma Euclid dan Paritas
Algoritma Euclid untuk menghitung faktor persekutuan terbesar (FPB) memanfaatkan sifat paritas dalam versi optimasinya yang disebut Algoritma Stein (atau algoritma FPB biner). Algoritma ini mengulang pembagian oleh 2 (shift kanan) pada kedua operand yang genap, mengurangi jumlah operasi pembagian umum.
7.3. Pemeriksaan Paritas pada Data
Dalam bidang telekomunikasi dan penyimpanan data, bit paritas ditambahkan ke setiap blok data untuk mendeteksi kesalahan satu‑bit. Jika jumlah bit 1 dalam blok adalah ganjil, bit paritas diatur menjadi 1 untuk membuat total menjadi genap (paritas genap), atau sebaliknya untuk paritas ganjil. Mekanisme ini memanfaatkan sifat XOR yang identik dengan penjumlahan modulo 2.
8. Generalisasi Paritas ke Modulus Lain
Meskipun fokus utama pada modulus 2, konsep serupa dapat diperluas ke modulus m > 2, menghasilkan kelas residu modulo m. Misalnya, modulo 3 menghasilkan tiga kelas 0,1,2 dengan sifat‑sifat penjumlahan dan perkalian yang lebih kompleks. Namun, keunikan modulus 2 terletak pada fakta bahwa ia menghasilkan sebuah bidang, sehingga banyak teorema aljabar linear dapat diterapkan secara langsung.
9. Paritas dalam Geometri Diskrit
9.1. Graf Bipartit
Sebuah graf sederhana dapat diberi warna dua (hitam‑putih) sehingga setiap sisi menghubungkan dua warna berbeda bila dan hanya bila semua lintasan siklus memiliki panjang genap. Ini adalah karakterisasi graf bipartit, yang pada dasarnya merupakan penerapan konsep paritas pada panjang lintasan.
9.2. Pola Penjumlahan Ganjil‑Genap pada Lattice
Pada kisi integer ℤ², jumlah koordinat (x, y) memiliki paritas yang menentukan apakah titik berada pada kotak berwarna putih atau hitam dalam pola catur klasik. Pola ini penting dalam pembuktian teorema tentang penutupan jalur Hamiltonian pada papan catur.
10. Kesimpulan
Paritas bukan sekadar kategori sederhana antara ganjil dan genap; ia merupakan landasan struktural yang menembus hampir semua cabang matematika. Dari teorema‑teorema klasik tentang bilangan prima hingga algoritma modern yang mengoptimalkan operasi bit, sifat ganjil‑genap menyediakan alat konseptual yang kuat. Pemahaman mendalam tentang paritas memungkinkan peneliti dan praktisi untuk merancang bukti elegan, mengembangkan algoritma efisien, dan menyelesaikan masalah kombinatorial yang rumit. Karena sifatnya yang universal dan sederhana, paritas tetap menjadi topik yang menarik untuk eksplorasi lanjutan, baik dalam pendidikan dasar maupun riset tingkat lanjut.