MATEMATIKA
Logika Matematika
Pertemuan 10
Teknik Informatika
UNIKOM
1
PENDAHULUAN
Hampir semua rumus dan hukum yang berlaku tidak tercipta
dengan begitu saja sehingga diragukan kebenarannya.
2
Pendahuluan (lanjutan)
3
Dalam metoda ini, hal-hal yang diketahui tentang suatu teorema
diturunkan secara langsung dengan teknik-teknik tertentu sampai
tercapai kesimpulan yang diinginkan.
6
Karena m dan n adalah bilangan-bilangan bulat juga maka k adalah
bilangan bulat, sehingga (x + y) = 2k untuk semua bilangan bulat k.
Berdasarkan definisi bilangan genap berarti bahwa (x + y) merupakan
bilangan bulat karena merupakan hasil kali 2 bilangan bulat. Terbukti
bahwa jumlah 2 bilangan bulat genap adalah bilangan genap (juga).
Kesimpulan
7
Pembuktian dengan kasus-
kasus
Untuk sembarang bilangan riil x, buktikan bahwa jika |x|>4, maka x2 >16
Bukti
Misal x adalah bilangan riil yang memenuhi |x| > 4
|x| > 4 berarti bahwa x > 4 atau x < -4
Jika x > 4 maka x2 > 42 = 16
Jika x < - 4 berarti – x > 4, sehingga (- x)2 > 42 atau x2 > 16
Jadi, baik x > 4 maupun x < - 4, x2 > 16
Terbukti bahwa jika |x| > 4, maka x2 > 16
8
METODA PEMBUKTIAN TAK LANGSUNG
11
Langkah-langkah Melakukan
Pembuktian
Tulislah TEOREMA yang akan dibuktikan.
12
Contoh :
13
Contoh 1:
Teorema :
Tunjukkan bahwa n ≥ 1, 1 + 2 + 3 + … + n = n(n+1)/2 melalui induksi
matematika
Hipotesa :
1 + 2 + 3 + … + n + (n+1)= (n+1)((n+1)+1)/2
Bukti :
Langkah 1(basis) :
Untuk n = 1, maka 1 = 1(1+1)/2 adalah benar.
1 = 1 (1+1)/2
= 1 (2)/2
= 2/2
14
=1
Langkah 2 : Misalkan untuk n ≥ 1
1 + 2 + 3 + … + n = n (n + 1) /2 adalah benar (hipotesis induksi) maka
1 + 2 + 3 + … + n + (n +1) = (n +1) ((n + 1) + 1)/ 2 adalah benar juga.
1 + 2 + 3 + … + n + (n +1) = (1 + 2 + 3 + … + n) + (n +1)
= ( n(n+1)/2) ) + (n+1)
= ( (n2 + n)/2 ) + (2n+2)/2
= (n2 + 3n + 2)/2
= (n+1)(n+2)/2
= (n+1) ((n+1) + 1) / 2
Karena langkah 1 dan langkah 2 keduanya telah dibuktikan benar, maka untuk
semua bilangan bulat positif n, TERBUKTI bahwa
1 + 2 + 3 + … + n = n (n + 1) /2 adalah benar.
15
Contoh 2:
Teorema : Buktikan bahwa jumlah n buah bilangan ganjil positif pertama
adalah n2
Hipotesa : 1 + 3 + 5 + … + (2n – 1) +(2(n+1)-1) = (n+1)2
Jawab
Langkah 1.(basis)
Untuk n = 1 jumlah satu buah bilangan ganjil positif pertama adalah = 1.
Langkah 2.
Misalkan untuk n ≥ 1
1 + 3 + 5 + … + (2n – 1) = n2 adalah benar, maka
1 + 3 + 5 + … + (2n – 1) + (2(n+1) – 1) = n2
1+3+5+…+(2n – 1)+(2n+1) = (1+3+5+…+(2n – 1)) + (2n+1)
= n2 + (2n+1)
= n2 + 2n + 1 16
= (n + 1)2
Contoh 3:
Teorema : Untuk n ≥ 1, Tunjukkan bahwa n3 + 2n
adalah kelipatan 3
Jawab
Langkah 1.
Untuk n = 1, didapat 13 + 2 (1) = 3 adalah benar kelipatan 3
17
Langkah 2.
Misalkan untuk n ≥ 1, maka n3 + 2n adalah benar kelipatan 3
Dengan menunjukkan bahwa :
(n+1)3 + 2(n+1) adalah juga benar kelipatan 3, maka
(n+1)3 + 2(n+1) = (n3 + 3n2 + 3n + 1) + (2n + 2)
= (n3 + 2n) + 3n2 + 3n + 3
= (n3 + 2n) + 3(n2 + n + 1)
Adalah benar kelipatan 3.
Terlihat bahwa : (n3 + 2n) adalah kelipatan 3 dari langkah 1 Sedangkan
bahwa : 3(n2 + n + 1) jelas merupakan kelipatan 3 juga, sehingga n3 + 2n
adalah kelipatan 3 terbukti benar.
18
Contoh 4:
Teorema : Buktikan bahwa 22n - 1 habis dibagi 3 untuk semua bilangan bulat n ≥
1
Hipotesa : 22(n+1) - 1 habis dibagi 3
Jawab
Langkah 1.
Untuk n = 1, didapat 22 (1) -1 = 3 habis dibagi oleh 3.
19
Langkah 2.
Misalkan n ≥ 1, maka 22n -1 adalah benar habis dibagi oleh 3.
Dengan menunjukkan bahwa :
22(n+1) - 1 = 22n + 2 - 1
= 22n . 22 - 1 = 4 . 22n – 1
= (22n + 3. 22n) – 1
= (22n – 1) + 3. 22n
20
Contoh 5:
Teorema :
Buktikan bahwa 1(2) + 2(3) +…+ n(n+1) = n(n+1)(n+2)/3
untuk semua n.
Bukti
Langkah 1.
Untuk n = 1, didapat 1(1+1)(1+2)/3 adalah benar.
21
Langkah 2.
Misalkan n ≥ 1, maka adalah benar.
Dengan menunjukkan bahwa :
1(2) + 2(3) + … + n(n+1) +(n+1)(n+2) =(n+1)(n+1+1)
(n+1+2)/3
1(2) + 2(3) + … + n(n+1) +(n+1)(n+2) = (n+1)(n+2)(n+3)/3
23
5. Buktikan melalui induksi matematika bahwa jumlah pangkat
tiga dari tiga buah bilangan bulat positif berurutan selalu
habis dibagi 9
6. Buktikan bahwa surat pos yang menggunakan perangko 24
sen atau lebih dapat menggunakan perangko 5 sen dan 7 sen.
24