Pada pos ini akan dibahas bukti langsung dengan contoh, latihan, dan pembahasan
Bukti langsung



Hallo lagi sahabat matematika!

Setelah sebelumnya kita membahas definisi dan teorema, kali ini kita masuk ke bagian pertama metode pembuktian, yaitu bukti langsung.

Apa itu bukti langsung?

Bukti langsung adalah pembuktian yang berawal dari premis pada teorema kemudian menghasilkan kesimpulan.

Pertama yang harus kita ketahui adalah bahwa kebanyakan teorema berbentuk pernyataan kondisional, yakni dalam bentuk jika-maka (\(p \to q\)) atau bisa dibawa ke bentuk tersebut. Untuk membuktikan pernyataan seperti ini, perhatikan tabel kebenaran berikut (B untuk benar dan S untuk salah).

Tabel kebenaran implikasi
\(p\) \(q\) \(p\to q\)
B B B
B S S
S B B
S S B

Dari tabel ini kita lihat bahwa kalau \(p\) salah, implikasi \(p\to q\) akan selalu benar. Dengan kata lain, yang perlu kita lihat adalah saat \(p\) bernilai benar. Apabila kita mengasumsikan \(p\) benar lalu didapat hasil \(q\) benar, bukti kita selesai. Kita akan sajikan ini sebagai kerangka pembuktian

Proposisi Jika p maka q
Bukti
Asumsikan p
\( \vdots \)
sehingga

untuk contoh selanjutnya kita akan membutuhkan definisi.

Definisi: Bilangan genap dan bilangan ganjil

Bilangan bulat \(n\) adalah bilangan genap jika terdapat bilangan bulat \(k\) sedemikian sehingga \(n = 2k\) dan \(n\) adalah bilangan ganjil jika terdapat bilangan bulat \(k\) sedemikian sehingga \(n = 2k + 1\). Dua buah bilangan bulat dikatakan sama paritasnya jika keduanya ganjil atau keduanya genap, dan berbeda paritas jika salah satunya ganjil dan yang lain genap.

Berikutnya kita akan mencoba membuktian sebuah proposisi.

Contoh penggunaan bukti langsung

Dalam contoh ini kita akan mulai dari kerangka pembuktian, lalu mengisi kekosongan yang ada di antaranya. Yang akan kita buktikan adalah kuadrat dari bilangan ganjil pasti bilangan ganjil juga.

Proposisi Jika \(n\) adalah bilangan ganjil maka \(n^2\) adalah bilangan ganjil.
Bukti
Asumsikan \(n\) ganjil.



sehingga \(n^2\) ganjil.

Bagian pertama dan terakhir sudah terisi. Sekarang tinggal mengisi bagian tengah dari buktinya (sebenernya ini bagian yang paling susah). Yang akan kita gunakan di sini adalah definisi di awal tadi dan beberapa pengoperasian yang diperlukan.

Proposisi Jika \(n\) adalah bilangan ganjil maka \(n^2\) adalah bilangan ganjil.
Bukti
Asumsikan \(n\) ganjil.
Karena \(n\) ganjil, maka terdapat bilangan bulat \(k\) sedemikian sehingga \(n = 2k + 1\)



sehingga \(n^2\) ganjil.

Sekarang yang menjadi tujuan kita adalah \(n^2\) merupakan bilangan ganjil, yg kita butuhkah adalah definisi. \(n^2\) ganjil jika dapat dinyatakan ke dalam bentuk sebelumnya. Jadi, sebelum baris terakhir kita tambahkan hal ini sehingga menjadi

Proposisi Jika \(n\) adalah bilangan ganjil maka \(n^2\) adalah bilangan ganjil.
Bukti
Asumsikan \(n\) ganjil.
Karena \(n\) ganjil, maka terdapat bilangan bulat \(k\) sedemikian sehingga \(n = 2k + 1\)


maka \( n^2 = 2m + 1\) untuk suatu bilangan bulat \(m\)
sehingga \(n^2\) ganjil.

Hampir selesai. hanya sedikit lagi yang perlu di isi. Kita bisa mengisi kekosongan ini dengan melakukan penguadratan pada \(n\) agar dihasilkan \(n^2\).

Proposisi Jika \(n\) adalah bilangan ganjil maka \(n^2\) adalah bilangan ganjil.
Bukti
Asumsikan \(n\) ganjil.
Karena \(n\) ganjil, maka terdapat bilangan bulat \(k\) sedemikian sehingga \(n = 2k + 1\)
dengan menguadratkan diperoleh \begin{align*} n^2 &= (2k + 1)^2 \\ &= 4k^2 + 4k + 1 \\ &= 2(2k^2 + 2k) + 1 \end{align*} maka \( n^2 = 2m + 1\) untuk suatu bilangan bulat \(m = 2k^2 + 2k\)
sehingga \(n^2\) ganjil.  

Done. Bukti selesai. Untuk mengakhiri suatu pembuktian, kita bisa menambahkan \(\blacksquare\) seperti di atas ataupun tulisan Q.E.D. (quod erat demonstrandum).

Untuk metode pembuktian langsung cukup sampai di sini, selanjutnya kita akan masuk ke bukti tidak langsung.

Banyak latihan adalah kunci dalam menguasai pembuktian. Beberapa soal berikut dapat digunakan untuk latihan. (Cobalah untuk membuktikan sebelum melihat buktinya)

Latihan Soal

  1. Buktikan bahwa jumlah dua bilangan ganjil adalah bilangan genap.
  2. Buktikan bahwa jumlah dua bilangan genap adalah bilangan genap.
  3. Buktikan bahwa jumlah bilangan genap dan bilangan ganjil adalah bilangan ganjil.
  4. Buktikan bahwa kuadrat dari suatu bilangan genap adalah bilangan genap.
  5. Buktikan bahwa hasil kali dua bilangan ganjil adalah bilangan ganjil.
  6. Misalkan \(m, n,\) dan \(p\) adalah bilangan bulat. Buktikan bahwa jika \(m + n\) dan \(m + p\) adalah bilangan genap, maka \(n + p\) adalah bilangan genap.
  7. Buktikan bahwa jika \(a\) adalah bilangan ganjil, maka \(a^2 + 3a + 5\) adalah bilangan ganjil.
  8. Buktikan bahwa jika \(x\) adalah bilangan ganjil maka \(x^3\) adalah bilangan ganjil.
  9. Buktikan bahwa bilangan ganjil selalu dapat dinyatakan oleh pengurangan dua bilangan kuadrat. (misalnya \(3 = 2^2 - 1^2\), \( -5 = 2^2 - 3^2\), \( 7 = 4^2 - 3^2  \), dst )
  10. Buktikan bahwa jika \(n\) adalah bilangan bulat, maka \(5n^2 + 3n + 7\) adalah bilangan ganjil.
    (Petunjuk : Bagi jadi dua kasus, saat \(n\) ganjil dan saat \(n\) genap)

*Dengan bahasa yang lain, dari soal 1 dan 2 dapat kita simpulkan bahwa penjumlahan dua bilangan bulat dengan paritas sama akan menghasilkan bilangan genap. Dari soal 3, penjumlahan dua bilangan dengan paritas berbeda akan menghasilkan bilangan ganjil.

Soal 10 merupakan salah satu yang dapat diselesaikan dengan membagi kasus. Pembuktian dengan membagi kasus akan kita bahas secara terpisah pada postingan berikutnya.

Selamat membuktikan. ^^