Membuktikan Paritas Tanpa Coba-Coba

Menerjemahkan Syarat Jadi Paritas

Pecahan yang menghasilkan bilangan bulat adalah sinyal tersembunyi mengenai paritas (genap-ganjil) pembilangnya. Dalam Sistem Pengadilan Aljabar, setiap klaim matematis tidak boleh sekadar ditebak lewat uji coba beberapa angka seperti $1, 3,$ atau $5$. Sebuah sifat harus dibuktikan secara deduktif agar berlaku mutlak untuk seluruh bilangan bulat.

Ketika premis soal menyatakan bahwa bentuk $\dfrac{k - 3}{2}$ adalah bilangan bulat, ini adalah tuntutan hukum yang tegas: pembilang $k - 3$ harus habis dibagi oleh $2$. Berdasarkan definisi dasar matematika, setiap bilangan bulat yang habis dibagi $2$ diklasifikasikan sebagai bilangan genap.

$$\dfrac{k - 3}{2} \in \mathbb{Z} \implies k - 3 = \text{Genap}$$

Karena angka $3$ adalah bilangan ganjil, kita gunakan aturan paritas pengurangan:

$$\text{Ganjil} - \text{Ganjil} = \text{Genap}$$

$$\text{Genap} - \text{Ganjil} = \text{Ganjil}$$

Satu-satunya cara agar pengurangan dengan $3$ (ganjil) menghasilkan bilangan genap adalah jika $k$ berstatus ganjil. Dengan demikian, Opsi A ($k$ ganjil) terbukti Benar secara sah tanpa perlu melakukan uji coba substitusi angka acak.

Kekuatan Contoh Penyangkal

Satu contoh penyangkal (counter-example) yang sah dapat langsung mematahkan klaim umum yang dianggap selalu berlaku. Sering kali kita tergoda menganggap Opsi B ($k$ adalah kelipatan $3$) bernilai benar hanya karena melihat angka $3$ pada ekspresi $\dfrac{k - 3}{2}$. Namun, dalam Sistem Pengadilan Aljabar, kemiripan angka bukanlah bukti logis keterbagian.

Sebuah klaim universal yang menyatakan bahwa suatu sifat "pasti berlaku" ibarat dakwaan mutlak: ia harus berlaku tanpa perkecualian bagi seluruh anggota himpunan. Untuk menggugurkan dakwaan tersebut, kita tidak perlu membongkar seluruh sistem aljabar; kita cukup mengajukan satu "saksi alibi" yang sah, yaitu satu bilangan yang memenuhi seluruh premis awal tetapi melanggar kesimpulan klaimnya.

Mari ajukan saksi alibi $k = 5$:

1. Uji Premis: Masukkan $k = 5$ ke syarat awal:

   $$\dfrac{5 - 3}{2} = \dfrac{2}{2} = 1$$

   Hasilnya adalah bilangan bulat sah, sehingga nilai $k = 5$ sepenuhnya memenuhi syarat soal.

2. Uji Klaim Opsi B: Apakah $5$ merupakan kelipatan $3$? Tidak, $5$ tidak habis dibagi $3$.

Karena kita berhasil menemukan satu counter-example yang sah ($k = 5$), klaim bahwa $k$ harus merupakan kelipatan $3$ langsung gugur seketika. Oleh karena itu, pernyataan pada Opsi B dinyatakan Salah.

Membuktikan Bentuk Aljabar Baru

Informasi paritas awal dapat digunakan sebagai landasan kuat untuk membuktikan kebulatan bentuk pecahan aljabar yang lain. Kita tidak perlu lagi berspekulasi atau menebak kebenaran Opsi C ($\dfrac{k + 5}{2}$ adalah bilangan bulat), karena kita telah mengantongi putusan hukum dari tahap awal: $k$ berparitas ganjil.

Melalui penalaran deduktif, status pecahan baru ini dapat dibedah langsung dari sifat penjumlahannya:

1. Variabel $k$ telah terbukti merupakan bilangan ganjil.

2. Angka konstanta $5$ adalah bilangan ganjil.

3. Aturan operasi paritas menyatakan bahwa penjumlahan dua bilangan ganjil menghasilkan bilangan genap:

   $$\text{Ganjil} + \text{Ganjil} = \text{Genap} \implies k + 5 = \text{Genap}$$

Karena pembilang $k + 5$ adalah bilangan genap, membaginya dengan $2$ dipastikan menghasilkan bilangan bulat murni tanpa sisa.

Cara pandang lain yang setara dapat ditinjau melalui manipulasi struktur aljabar secara langsung:

$$\dfrac{k + 5}{2} = \dfrac{(k - 3) + 8}{2} = \dfrac{k - 3}{2} + \dfrac{8}{2} = \dfrac{k - 3}{2} + 4$$

Karena bentuk $\dfrac{k - 3}{2}$ telah diketahui sebagai bilangan bulat pada premis awal, dan $4$ adalah bilangan bulat, maka penjumlahan dua bilangan bulat pasti menghasilkan bilangan bulat. Hasil deduksi ini membuktikan bahwa Opsi C bernilai Benar.