METODA PEMBUKTIAN DALAM MATEMATIKA

METODA PEMBUKTIAN DALAM MATEMATIKA Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

Pertemuan 8 FONDASI MATEMATIKA

Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) METODA PEMBUKTIAN DALAM MATEMATIKA

Matematika Bukan Sekedar Angka Persepsi bahwa matematika identik dengan angka-angka dan operasi hitung (tambah, kali, bagi,kurang, pangkat, dll) tidak selamanya benar. Matematika berhubungan juga dengan penalaran karena matematika matematika merupakan hasil abstraksi (pemikiran) manusia terhadap objek-objek sekitar. Produk utama matematika berupa pernyataan-pernyataan berupa denisi, teorema, akibat, keonjektur, dll. Angka dan operasi aritmatika yang menyertainya merupakan produk turunan matematika. Matematika sebagai ilmu dasar (basic science): teori-teori yang ada di dalam matematika digunakan sebagai landasan untuk pengembangan ilmu terapan dan teknologi. Kebenaran pernyataan dalam matematika perlu dibuktikan. Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) METODA PEMBUKTIAN DALAM MATEMATIKA

Pernyataan Dalam Matematika dan Pembuktiannya Denisi adalah kesepakatan bersama mengenai pengertian atau batasan suatu istilah. Misalnya

bilangan prima

adalah bilangan lebih besar dari 1

yang tidak mempunyai faktor selain dari 1 dan dirinya sendiri. Teorema adalah pernyataan yang kebenarannya dapat dibuktikan. Teorema dapat berupa kalimat berkuantor yang memuat konektivitas dengan satu atau beberapa premis dan satu konklusi. Teorema Pythagoras: Jika ABC segitiga siku-siku dengan sudut siku-siku di B

AB 2 + BC 2 = AC 2 .

maka berlaku

Proposisi merupakan teorema kecil dimana tingkat signikansinya lebih rendah dari Teorema. Contoh: perkalian antara dua bilangan ganjil menghasilkan sebuah bilangan ganjil. Fakta kadang digunakan untuk menyatakan Teorema atau Proposisi tetapi kebenarannya dapat dipahami langsung dan mudah. Contoh: 2 adalah satu-satunya bilangan genap yang sekaligus prima.

proof ) adalah serangkaian argumen logis yang menjelaskan

Pembuktian (

kebenaran suatu pernyataan.


Lanjutan jenis pernyataan Aksioma atau postulat adalah pernyataan yang menjadi asumsi dasar dalam penyusunan suatu konsep dalam matematika. Aksioma biasa digunakan untuk membangun denisi, atau untuk membuktikan Teorema. Contoh: melalui dua titik berlainan dapat dibuat sebuah garis. Lemma adalah teorema kecil yang biasanya digunakan untuk membuktikan Teorema. Akibat (collorary) merupakan fakta yang diturunkan langsung dari Teorema dimana kebenarannya dapat dibuktikan dari Teorema langsung. Contoh: jika salah satu sisi pada segitiga siku-siku adalah ganjil maka terdapat satu lagi sisinya yang juga ganjil. (Akibat dari teorema Pythagoras). Konjektur adalah pernyataan yang diduga benar berdasarkan data empiris (

evidence ), argumen heuristik, atau intuisi para ahli; tetapi belum

berdasarkan argumen valid. Bila konjektur dapat dibuktikan dengan argmen yang valid maka ia berubah menjadi Teorema atau proposisi. Kelompok pernyataan dan urgensi pembuktiannya Pernyataan yang harus dibuktikan: Teorema, Proposisi, Fakta, Lemma, Akibat. Pernyataan yang tidak perlu dibuktikan: Denisi, Aksioma/Postulat. Pernyataan yang dianjurkan untuk dibuktikan: Konjektur.


Pola Berpikir Dalam Matematika It is with logic that one proves, it is with intuition that one invents" (Henri Poincaré).

Matematika sebagai ilmu pengetahuan dengan penalaran deduktif mengandalkan logika dalam meyakinkan akan kebenaran suatu pernyataan. Proses penemuan dalam matematika: pencarian pola dan struktur, contoh kasus dan objek matematika lainnya. melalui semua informasi dan fakta yang terkumpul disusun suatu konjektur. Konjektur dibuktikan kebenarannya, dihasilkan sebuah teorema.

Dua macam cara berpikir: logically thinking dan algorithm thinking


Mengapa Perlu Membuktian Motivasi mengapa orang perlu membuktikan teorema (Making mathematics, http:/www2.edc.org/makingmath): To establish a fact with certainty To gain understanding To communicate an idea to others Tor the challenge to feel the real beauty of mathematics To construct a large mathematical theory Penelitian matematika pada level lanjutan menuntut dihasilkannya suatu teorema baru yang buktinya dapat diuji oleh orang lain. Motto PERUM Pegadaian "mengatasi masalah tanpa masalah", Motto PENELITIAN MATEMATIKA "memecahkan masalah, menimbulkan masalah baru". Masalah dalam matematika tidak bermakna negatif, tapi malah menambah kaya ilmu matematika itu sendiri. Matematika bekembang dari dua arah: internal dan eksternal (adanya tuntutan ilmu terapan yang membutuhkan matematika).


Pembuktian Pernyataan Berbentuk Implikasi p → q 1

Bukti langsung: membuktikan kebenaran proposisi/teorema yang

p → q , berangkat dari asumsi p benar dan q benar. Contoh: Buktikan kebenaran jika x bilangan ganjil

berbentuk implikasi ditunjukkan

2

maka

x 2 ganjil.

melaui kontraposisinya

3

p→q x 2 bilangan

Bukti taklangsung: membuktikan kebenaran suatu implikasi ganjil maka

x

¬q → ¬p .

Contoh: Buktikan, jika

bilangan ganjil.

Bukti kosong: membuktikan kebenaran suatu implikasi cara membuktikan bahwa

p salah.

p → q dengan

Contoh: Diberikan denisi: himpunan

A dikatakan bagian dari himpunan B , ditulis A ⊆ B jika kondisi berikut x ∈ A → x ∈ B . Buktikan: ∅ adalah himpunan bagian dari

dipenuhi:

4

semua himpunan. Bukti trivial: membuktikan kebenaran suatu implikasi membuktikan bahwa

q benar.

dapat terbang maka 3

p → q dengan cara

Contoh: Buktikan kebenaran Jika pinguin

+ 2 = 5.


Pembuktian dengan Kontradiksi Prosedur: 1 Identikasilah konklusi sebuah proposisi. 2 Andaikan konklusi tersebut salah. 3 Temukan kontradiksi. 4 Simpulkan bahwa pengandaian salah. 5 Proposisi terbukti. Example Buktikan bahwa Proof.

√

√

2 adalah bilangan irrasional. √

Kesimpulannya: 2 bil irrasional. Andai 2 rasional. Gunakan denisi bil rasional, dan seterusnya. Pada perjalanan temukan kontradiksi, yaitu dua pernyataan yang saling bertentangan. Simpulkan. Dr. Julan HERNADI & Uki Suhendar, S.Pd (Asrul dan Enggar) METODA PEMBUKTIAN DALAM MATEMATIKA

Pembuktian dengan Contoh Pengingkar Untuk membuktikan ketidakbenaran sebuah pernyataan, umumnya masih berupa konjektur. Ditunjukkan sebuah contoh yang membuat pernyataan tersebut tidak benar.

Example n

Bilangan berpola Fn := 22 + 1, n ≥ 0 merupakan bilangan prima.

Proof. 1

F0 = 20 + 1 = 2 benar prima, F1 3= 22 + 1 = 5 benar prima, F2 = 24 + 1 = 17 prima, F3 = 22 + 1 = 257 prima, F4 = 216 + 1 = 65537 juga prima. Perhatikan F5 = 232 = 4294967297 = 641 × 6700417 bukan prima. Kesimpulan: pernyataan ini adalah salah dengan contoh pengingkar F5 . Masih ada bukti eksistensi dan ketunggalan, bukti dua arah (biimplikasi), bukti ekuivalensi multiarah, dan metoda Induksi Matematika. Dilanjutkan pada perkuliahan berikutnya.


TUGAS

Tugas Mandiri: pahami materi ini dengan baik, kemudian buat catatan kuliah yang bagus yang menunjukkan bahwa Anda paham dengan materi ini. Gambungkan dengan catatan kuliah sebelumnya. Dua pekan mendatang catatan kuliah harus dikumpul untuk dinilai, sebagai komponen keaktifan (10%). Tugas Terstruktur: akan digabung pekan depan.


METODA PEMBUKTIAN DALAM MATEMATIKA

Recommend Documents