Bukti dengan Kontradiksi — Metode & Contoh Klasik

Bukti dengan kontradiksi membuktikan suatu klaim dengan mengasumsikan kebalikannya lalu menunjukkan bahwa asumsi itu mengarah pada sesuatu yang mustahil. Jika logikanya valid dan kontradiksinya nyata, maka klaim semula harus benar.

Metode ini berguna ketika negasi dari suatu pernyataan memberi sesuatu yang konkret untuk dikerjakan. Kasus klasiknya adalah membuktikan bahwa $\sqrt{2}$ irasional: setelah Anda mengasumsikan bahwa bilangan itu rasional, Anda bisa menuliskannya sebagai pecahan dan menelusuri konsekuensinya.

Cara kerja bukti dengan kontradiksi

Misalkan pernyataan yang ingin Anda buktikan adalah $P$.

Dalam bukti kontradiksi, Anda mulai dengan mengasumsikan bahwa $P$ salah. Lalu Anda bernalar dari asumsi itu sampai mencapai kontradiksi, misalnya:

$$1 = 0$$

atau pertentangan dengan definisi yang sudah diketahui, atau pernyataan yang tidak mungkin benar bersamaan dengan langkah sebelumnya.

Pada titik itu, negasi dari $P$ tidak mungkin benar, sehingga $P$ harus benar.

Syarat utamanya adalah kontradiksi tersebut harus muncul dari penalaran yang valid dan fakta yang diterima. Hasil yang hanya tampak aneh tidaklah cukup. Hasil itu harus mustahil menurut definisi atau teorema yang sedang Anda gunakan.

Kapan menggunakan bukti dengan kontradiksi

Bukti dengan kontradiksi paling efektif ketika kebalikan dari suatu klaim memiliki struktur yang kaku. Hal ini sering muncul dalam teori bilangan, pembuktian ketidakmungkinan, dan beberapa pertanyaan tentang eksistensi.

Sebagai contoh, jika Anda ingin membuktikan bahwa suatu bilangan irasional, mengasumsikan bahwa bilangan itu rasional memberi Anda bentuk pecahan untuk digunakan. Struktur tambahan itu sering membuat kontradiksi lebih mudah ditemukan daripada lewat bukti langsung.

Metode ini kurang berguna jika sudah ada bukti langsung yang singkat. Kontradiksi adalah metode yang sah, tetapi sebaiknya memperjelas argumen, bukan membuatnya terasa lebih panjang dari yang diperlukan.

Contoh lengkap: mengapa $\sqrt{2}$ irasional

Bukti klasik dengan kontradiksi menunjukkan bahwa $\sqrt{2}$ adalah bilangan irasional.

Mulailah dengan mengasumsikan kebalikannya:

$$\sqrt{2} \text{ rasional.}$$

Jika itu benar, maka $\sqrt{2}$ dapat ditulis sebagai

$$\sqrt{2} = \frac{a}{b}$$

dengan $a$ dan $b$ bilangan bulat, $b \neq 0$, dan pecahan tersebut sudah dalam bentuk paling sederhana.

Sekarang kuadratkan kedua ruas:

$$2 = \frac{a^2}{b^2}$$

sehingga

$$a^2 = 2b^2.$$

Ini memberi tahu kita bahwa $a^2$ genap. Itu memaksa $a$ juga genap, karena kuadrat dari bilangan bulat ganjil adalah ganjil. Jadi tulis

$$a = 2k$$

untuk suatu bilangan bulat $k$.

Substitusikan itu ke dalam $a^2 = 2b^2$:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Sekarang $b^2$ genap, jadi $b$ juga genap.

Tetapi sekarang baik $a$ maupun $b$ sama-sama genap. Artinya keduanya habis dibagi $2$, yang bertentangan dengan asumsi bahwa $\frac{a}{b}$ sudah dalam bentuk paling sederhana.

Jadi asumsi semula salah. Karena itu, $\sqrt{2}$ irasional.

Mengapa kontradiksi ini menentukan

Kontradiksi di sini bukan sekadar “ada yang terasa salah.” Kontradiksinya spesifik:

1. Asumsi menyatakan bahwa $\sqrt{2} = \frac{a}{b}$ dalam bentuk paling sederhana.
2. Aljabar menunjukkan bahwa $a$ dan $b$ keduanya harus genap.
3. Suatu pecahan tidak bisa sekaligus dalam bentuk paling sederhana dan memiliki pembilang serta penyebut yang habis dibagi $2$.

Benturan langsung itulah kontradiksinya.

Kesalahan umum dalam bukti dengan kontradiksi

Salah satu kesalahan umum adalah mengasumsikan kebalikannya secara terlalu samar. Anda memerlukan negasi yang sebenarnya dari pernyataan tersebut, bukan sekadar pernyataan yang mirip.

Kesalahan lain adalah mencapai kontradiksi karena langkah aljabar yang tidak valid. Dalam kasus itu, kontradiksi hanya membuktikan bahwa aljabarnya salah, bukan bahwa klaim semula benar.

Kesalahan ketiga adalah tidak menyebutkan fakta apa yang sedang dibantah. Bukti yang baik membuat pertentangan itu jelas: aturan paritas, definisi, kondisi minimalitas, atau teorema yang sudah dibuktikan sebelumnya.

Juga mudah menyembunyikan penalaran yang lemah di balik frasa “ini adalah kontradiksi.” Jika Anda tidak bisa menunjuk fakta persis yang gagal, kemungkinan besar buktinya belum lengkap.

Templat sederhana bukti dengan kontradiksi

Untuk banyak bukti tingkat pemula, strukturnya terlihat seperti ini:

1. Asumsikan pernyataan itu salah.
2. Ubah asumsi itu ke bentuk yang konkret.
3. Telusuri konsekuensinya langkah demi langkah.
4. Capai kontradiksi dengan fakta yang sudah diketahui.
5. Simpulkan bahwa pernyataan semula benar.

Jika langkah 2 lemah, buktinya biasanya tetap kabur. Bukti kontradiksi yang paling kuat sering muncul dari mengubah negasi menjadi sesuatu yang sangat konkret.

Coba bukti kontradiksi yang serupa

Cobalah klaim “tidak ada bilangan rasional positif terkecil.” Asumsikan ada, sebut saja $r$, lalu tanyakan apa yang terjadi pada $\frac{r}{2}$. Jika Anda ingin memeriksa penalaran Anda langkah demi langkah pada bukti serupa, coba buat versi Anda sendiri di GPAI Solver dan bandingkan setiap klaim dengan kontradiksi yang ingin Anda capai.