Matematika SMA/MA/SMK/MAK
Bukti Langsung
(Direct Proof)
A. Pengertian Bukti Langsung
Bukti langsung (direct proof) adalah metode pembuktian dalam matematika yang digunakan untuk membuktikan kebenaran suatu pernyataan implikasi berbentuk p → q dengan cara mengasumsikan bahwa p bernilai benar, kemudian melalui serangkaian langkah logis yang sah, menunjukkan bahwa q juga bernilai benar.
Struktur Bukti Langsung:
Untuk membuktikan p → q:
- Asumsikan p benar (hipotesis)
- Gunakan definisi, aksioma, teorema, dan aturan logika
- Tunjukkan bahwa q benar (konklusi)
Metode ini merupakan cara pembuktian yang paling alami dan intuitif. Kita bergerak dari hipotesis menuju konklusi secara langsung tanpa menggunakan negasi atau kontradiksi.
Tabel Nilai Kebenaran Implikasi (p → q):
| p | q | p → q |
|---|---|---|
| B | B | B |
| B | S | S |
| S | B | B |
| S | S | B |
Perhatikan: implikasi hanya bernilai salah jika p benar dan q salah. Inilah mengapa dalam bukti langsung, kita cukup menunjukkan bahwa jika p benar maka q juga benar.
👁️ Kegiatan: Mengamati
Perhatikan pernyataan berikut:
“Jika n adalah bilangan genap, maka n² juga bilangan genap.”
Amati langkah pembuktiannya:
Amati bahwa setiap langkah menggunakan penalaran logis dari hipotesis menuju konklusi tanpa menggunakan negasi atau kontradiksi.
B. Langkah-Langkah Bukti Langsung
Langkah Sistematis Bukti Langsung:
- Identifikasi hipotesis (p) dan konklusi (q)
Tuliskan dengan jelas apa yang diasumsikan dan apa yang harus dibuktikan. - Asumsikan hipotesis benar
Tuliskan definisi matematis dari hipotesis tersebut. - Lakukan manipulasi aljabar atau penalaran logis
Gunakan definisi, sifat-sifat bilangan, teorema yang sudah dibuktikan, dan aturan logika. - Tunjukkan konklusi benar
Buktikan bahwa bentuk akhir sesuai dengan definisi konklusi. - Tuliskan kesimpulan
Nyatakan bahwa pernyataan telah terbukti. Gunakan simbol ∎ atau Q.E.D.
❓ Kegiatan: Menanya
Setelah mengamati contoh di atas, ajukan pertanyaan-pertanyaan berikut kepada diri sendiri:
- Mengapa kita memulai dengan mengasumsikan hipotesis benar?
- Bagaimana cara menentukan definisi matematis dari hipotesis?
- Aturan aljabar atau logika apa saja yang boleh digunakan?
- Bagaimana kita tahu bahwa bukti sudah selesai?
- Kapan bukti langsung lebih cocok digunakan dibanding metode lain?
Jawaban Singkat:
Bukti langsung paling cocok digunakan ketika ada jalur logis yang jelas dari hipotesis ke konklusi, terutama untuk pernyataan tentang sifat bilangan (genap/ganjil, habis dibagi, dll), sifat operasi aljabar, dan hubungan keterbagian.
C. Definisi-Definisi Penting
Dalam bukti langsung, kita sering menggunakan definisi berikut:
1. Bilangan Genap
Bilangan bulat n disebut genap jika terdapat bilangan bulat k sehingga n = 2k.
2. Bilangan Ganjil
Bilangan bulat n disebut ganjil jika terdapat bilangan bulat k sehingga n = 2k + 1.
3. Keterbagian
Bilangan bulat a habis dibagi b (ditulis b | a) jika terdapat bilangan bulat k sehingga a = bk.
4. Bilangan Rasional
Bilangan r disebut rasional jika terdapat bilangan bulat a dan b (dengan b ≠ 0) sehingga r = a/b.
5. Kuadrat Sempurna
Bilangan bulat n disebut kuadrat sempurna jika terdapat bilangan bulat m sehingga n = m².
🧠 Kegiatan: Menalar
Mari kita analisis mengapa bukti langsung valid secara logika:
Penalaran 1: Dari tabel kebenaran, p → q bernilai salah HANYA jika p benar dan q salah. Jadi, cukup menunjukkan bahwa ketika p benar maka q juga benar.
Penalaran 2: Setiap langkah dalam bukti langsung menggunakan aturan inferensi yang valid (modus ponens, silogisme hipotetis, dll), sehingga kebenaran “mengalir” dari hipotesis ke konklusi.
Penalaran 3: Bukti langsung memanfaatkan sifat transitif dari implikasi: jika p → r dan r → q, maka p → q.
✏️ Kegiatan: Mencoba
Cobalah lengkapi bukti langsung berikut:
Pernyataan: “Jika a dan b bilangan genap, maka a + b bilangan genap.”
Jawaban: Langkah 2: 2(m + n); Langkah 3: Karena (m + n) adalah bilangan bulat, maka a + b adalah bilangan genap. ∎
💬 Kegiatan: Mengkomunikasikan
Setelah memahami bukti langsung, komunikasikan pemahaman Anda:
- Jelaskan kepada teman Anda dengan bahasa sendiri: apa itu bukti langsung?
- Buatlah satu contoh pernyataan dan buktikan dengan bukti langsung, lalu presentasikan di depan kelas.
- Diskusikan: kapan bukti langsung mudah diterapkan dan kapan sulit?
Tips Mengkomunikasikan Bukti:
- Tuliskan hipotesis dan konklusi dengan jelas di awal
- Beri penjelasan di setiap langkah (bukan hanya rumus)
- Gunakan kata penghubung: “maka”, “sehingga”, “karena”, “oleh karena itu”
- Akhiri dengan pernyataan eksplisit bahwa konklusi terbukti
D. Contoh Soal dan Pembahasan
Tingkat Mudah
Contoh 1:
Buktikan bahwa jika n adalah bilangan ganjil, maka n + 1 adalah bilangan genap.
Lihat Pembahasan
Hipotesis: n ganjil
Konklusi: n + 1 genap
∎ Terbukti.
Contoh 2:
Buktikan bahwa jika a habis dibagi 5, maka 2a habis dibagi 5.
Lihat Pembahasan
Hipotesis: 5 | a
Konklusi: 5 | 2a
∎ Terbukti.
Contoh 3:
Buktikan bahwa jika n genap, maka 3n genap.
Lihat Pembahasan
∎ Terbukti.
Contoh 4:
Buktikan bahwa jika a dan b bilangan ganjil, maka a + b bilangan genap.
Lihat Pembahasan
∎ Terbukti.
Contoh 5:
Buktikan bahwa jika 6 | n, maka 3 | n.
Lihat Pembahasan
∎ Terbukti.
Tingkat Sedang
Contoh 6:
Buktikan bahwa jika n bilangan ganjil, maka n² bilangan ganjil.
Lihat Pembahasan
∎ Terbukti.
Contoh 7:
Buktikan bahwa jika a | b dan a | c, maka a | (b + c).
Lihat Pembahasan
∎ Terbukti.
Contoh 8:
Buktikan bahwa jumlah dua bilangan rasional adalah bilangan rasional.
Lihat Pembahasan
∎ Terbukti.
Contoh 9:
Buktikan bahwa jika n bilangan bulat, maka n² + n selalu genap.
Lihat Pembahasan
∎ Terbukti.
Contoh 10:
Buktikan bahwa jika a | b dan b | c, maka a | c (sifat transitif keterbagian).
Lihat Pembahasan
∎ Terbukti.
Tingkat Sulit
Contoh 11:
Buktikan bahwa jika n bilangan ganjil, maka n² – 1 habis dibagi 8.
Lihat Pembahasan
∎ Terbukti.
Contoh 12:
Buktikan bahwa jika a² | b², maka a | b. (Petunjuk: gunakan faktorisasi prima)
Lihat Pembahasan
∎ Terbukti.
Contoh 13:
Buktikan bahwa untuk setiap bilangan bulat positif n, berlaku n³ – n habis dibagi 6.
Lihat Pembahasan
∎ Terbukti.
Contoh 14:
Buktikan bahwa jika m dan n bilangan bulat dengan m + n genap, maka m – n juga genap.
Lihat Pembahasan
∎ Terbukti.
Contoh 15:
Buktikan bahwa hasil kali bilangan rasional (bukan nol) dengan bilangan rasional adalah bilangan rasional.
Lihat Pembahasan
∎ Terbukti.
E. Latihan Soal
Kerjakan soal-soal berikut dengan metode bukti langsung. Tuliskan setiap langkah dengan jelas.
Tingkat Mudah
1.
Buktikan bahwa jika n genap, maka n + 4 genap.
2.
Buktikan bahwa jika n ganjil, maka n + 2 ganjil.
3.
Buktikan bahwa jika a habis dibagi 3, maka 5a habis dibagi 3.
4.
Buktikan bahwa jika n genap, maka n + 6 genap.
5.
Buktikan bahwa jika 4 | n, maka 2 | n.
Tingkat Sedang
6.
Buktikan bahwa jika a dan b bilangan genap, maka ab habis dibagi 4.
7.
Buktikan bahwa jika n bilangan ganjil, maka n² + 2n bilangan ganjil.
8.
Buktikan bahwa jika a | b dan a | c, maka a | (3b – 2c).
9.
Buktikan bahwa selisih kuadrat dua bilangan ganjil berurutan habis dibagi 4. (Petunjuk: dua bilangan ganjil berurutan: 2k+1 dan 2k+3)
10.
Buktikan bahwa jika r rasional dan r ≠ 0, maka 1/r juga rasional.
Tingkat Sulit
11.
Buktikan bahwa untuk setiap bilangan bulat n, nilai n² + 3n + 2 selalu genap.
12.
Buktikan bahwa jika n bilangan genap, maka n³ – 4n habis dibagi 8.
13.
Buktikan bahwa jika a ≡ b (mod m) dan c ≡ d (mod m), maka a + c ≡ b + d (mod m).
14.
Buktikan bahwa untuk setiap bilangan bulat positif n, nilai n(n+1)(2n+1) habis dibagi 6.
15.
Buktikan bahwa jika p bilangan prima dan p | ab, maka p | a atau p | b. (Petunjuk: gunakan Lemma Euklides — jika p ∤ a, maka gcd(p, a) = 1)
F. Rangkuman
- ✔ Bukti langsung membuktikan p → q dengan mengasumsikan p benar lalu menunjukkan q benar.
- ✔ Langkah utama: identifikasi hipotesis → tuliskan definisi → manipulasi aljabar/logika → tunjukkan konklusi.
- ✔ Definisi kunci: genap (n = 2k), ganjil (n = 2k+1), keterbagian (a = bk), rasional (r = a/b).
- ✔ Bukti langsung paling efektif untuk pernyataan tentang sifat bilangan dan operasi aljabar dasar.
- ✔ Setiap langkah harus menggunakan aturan logika atau aljabar yang sah.