Induksi matematika merupakan sebuah metode pembuktian deduktif yang dipakai guna
membuktikan pernyataan matematika yang berkaitan dengan himpunan bilangan yang terurut
rapi (well ordered set).
Bilangan tersebut contohnya bilangan asli maupun himpunan bagian tak kosong dari bilangan
asli.
Perlu kalian catat: bahwa induksi matematika hanya dipakai untuk mengecek atau
membuktikan kebenaran dari sebuah pernyataan atau rumus. Dan induksi matematika tidak
untuk menurunkan rumus.
Induksi matematika tidak bisa dipakai untuk menurunkan atau menemukan rumus.
Berikut ini adalah beberapa contoh dari pernyataan matematika yang bisa dibuktikan
kebenarannya pada induksi matematika:
Cara yang paling gampang untuk mengetahui bagaiman prinsip kerja induksi matematika
yaitu dengan cara mengamati efek domino.
Kita bisa mulai dengan mengajukan pertanyaan “kapan seluruh domino akan jatuh”.
Terdapat dua keadaan yang harus dipenuhi supaya seluruh domino di atas terjatuh.
Kedua: benar bahwa pada masing-masing domino yang jatuh akan menjatuhkan tepat satu
domino selanjutnya.
Hal itu berarti apabila domino 1 jatuh maka domino 2 pasti jatuh, apabila domino 2 jatuh
maka domino 3 pasti jatuh dan begitu pula eseterusnya.
Pada umumnya bisa kita sebutkan apabila domino k jatuh maka domino (k + 1) juga jatuh
serta implikasi ini akan berlaku untuk seluruh domino.
Apabila kedua keadaan di atas sudah terpenuhi, maka telah dipastikan bahawa seluruh
domino akan jatuh.
Sebagai contoh P(n) merupakan sebuah pernyataan yang bergantung dengan n. P(n) benar
untuk masing-masing n bilangan asli apabila dapat memenuhi 2 kondisi di bawaih ini:
Prinsip di atas bisa kita perluas lagi untuk pernyataan yang berkaitan dengan himpunan
bagian tak kosong dari bilangan asli.
Untuk menunjukkan P(k + 1) benar, maka kita bisa mulai dari hipotesis. Yakni dari asumsi
P(k) benar maupun dari kesimpulan, yakni dari P(k + 1) itu sendiri.
Mengapa hanya dengan dua langkah pembuktian di atas dapat membuktikan kebenaran suatu
rumus? Simak penjelasan lanjutnya pada pemaparan di bawah.