Paritas Nol: Bukti Formal Kenapa 0 Itu Genap

Definisi Formal Bilangan Genap

Sebelum kita membicarakan apakah suatu angka itu genap atau ganjil, kita harus sepakat dulu dengan aturan mainnya. Sering kali kita cuma diajarkan: "Bilangan genap adalah bilangan yang berakhiran 0, 2, 4, 6, 8". Aturan itu memang praktis, tapi tidak menjawab kenapa hal itu bisa terjadi.

Karena kamu menyukai pendekatan yang lebih mendalam dan formal, mari kita lihat definisi sejatinya di dalam matematika.

Inti dari rumus di atas sederhana: bilangan genap adalah himpunan angka yang terbentuk dari perkalian angka $2$ dengan sebuah bilangan bulat apa pun. Kalau kamu memasukkan bilangan bulat sembarang ke dalam $k$, kamu akan menghasilkan bilangan genap $n$.

Kunci terpenting dari definisi tersebut adalah syarat mutlaknya: $k$ WAJIB berupa bilangan bulat (biasa dilambangkan dengan himpunan $\mathbb{Z}$).

Mari kita uji bilangan $-16$. Apakah ia genap? Jika $-16 = 2k$, maka $k = -8$. Karena $-8$ adalah bilangan bulat yang sah, maka terbukti secara formal bahwa $-16$ adalah bilangan genap.

Mengeksekusi Nol ke dalam Definisi

Sekarang, mari kita bawa pemahaman formal tadi untuk menguji angka nol ($0$). Banyak orang bingung apakah $0$ itu genap, ganjil, atau bahkan bukan keduanya. Alih-alih berdebat, kita kembalikan saja ke definisinya: $n = 2k$.

Substitusikan $n = 0$ ke dalam persamaan tersebut: $0 = 2k$

Untuk mencari $k$, kita bagi kedua ruas dengan 2: $k = \frac{0}{2}$ $k = 0$

Karena $0$ memenuhi persamaan $0 = 2 \times 0$ dan pengalinya adalah bilangan bulat, maka $0$ sah dan resmi berstatus sebagai bilangan genap. Tidak ada ruang abu-abu di dalam definisi ini.

Sistem matematika dirancang dengan sangat presisi. Jika sebuah angka lulus uji definisi formal, maka ia berhak memegang gelar dari definisi tersebut, tanpa terkecuali.

Meluruskan Miskonsepsi: 'Netral'

Kenapa banyak orang (bahkan mungkin kamu) awalnya ragu dan menganggap nol itu sekadar angka "netral" sehingga tidak bisa disebut genap? Kebingungan ini biasanya bersumber dari percampuran dua konsep yang sangat berbeda: Tanda (Sign) dan Paritas (Parity).

Setiap bilangan punya banyak identitas sekaligus. Mari kita pisahkan:

1. Sifat Tanda (Sign): Di sinilah himpunan bilangan terbagi tiga. Ada bilangan Positif (bernilai > 0), bilangan Negatif (bernilai < 0), dan Nol. Dalam konteks tanda, nol memang menjadi pembatas yang sangat unik. Ia tidak positif dan tidak negatif. Dalam hal ini, julukan "netral" tepat digunakan.

2. Sifat Paritas (Parity): Ini adalah aturan yang membagi habis seluruh bilangan bulat hanya menjadi dua kelompok tanpa sisa: Genap atau Ganjil. Tidak ada ruang ketiga. Tidak ada bilangan bulat yang "netral paritas".

Nol memang "stateless" soal arah (kanan atau kiri di garis bilangan), tetapi ia punya komitmen mutlak dalam urusan genap-ganjil: ia sepenuhnya genap.