Nama : Fahira Anggraini

NIM : 08011181823014

13. PEMBUKTIAN DENGAN KASUS (PROOF BY CASE)

Teradang kita tidak dapat membuktikan teorema menggunakan argumen tunggal yang berlaku
untuk semua kasus yang mungkin. Kami sekarang memperkenalkan metode yang dapat digunakan
untuk membuktikan teorema, dengan mempertimbangkan berbagai kasus
terpisah. Metode ini didasarkan pada aturan inferensi yang sekarang akan kami perkenalkan. Untuk
membuktikan pernyataan bersyarat dari formulir (p1 ∨ p2 ∨ · · · ∨ pn) → q
tautologi [(p1 ∨ p2 ∨ · · · ∨ pn) → q] ↔ [(p1 → q) ∧ (p2 → q) ∧ · · · ∧ (pn → q)]
dapat digunakan sebagai aturan inferensi. Ini menunjukkan bahwa pernyataan bersyarat asli dengan
sebuah hipotesis yang terdiri dari disjungsi dari proposisi p1, p2,. . . , pn dapat dibuktikan dengan
membuktikan masing-masing dari n pernyataan kondisional pi → q, i = 1, 2,. . . , n, secara
individual.
Seperti argumen disebut bukti oleh kasus. Terkadang untuk membuktikan bahwa pernyataan
kondisional p → q adalah benar, akan lebih mudah untuk menggunakan disjunction p1 ∨ p2 ∨ · · ·
∨ pn alih-alih p sebagai hipotesis dari pernyataan bersyarat, di mana p dan p1 ∨ p2 ∨ · · · ∨ pn
adalah setara.
Bukti demi kasus harus mencakup semua kemungkinan kasus yang muncul dalam teorema.
Ilustrasikan bukti dengan kasus dengan beberapa contoh. Dalam setiap contoh, Anda harus
memeriksanya semua kasus yang mungkin tercakup.
Contoh : Buktikan bahwa jika n adalah bilangan bulat, maka n2 ≥ n. Solusi: Kita dapat
membuktikan bahwa n2 ≥ n untuk setiap bilangan bulat dengan mempertimbangkan tiga kasus,
ketika n = 0, ketika n ≥ 1, dan ketika n ≤ −1. Kami membagi bukti menjadi tiga kasus karena
mudah untuk membuktikan hasil dengan mempertimbangkan nol, bilangan bulat positif, dan
bilangan bulat negatif secara terpisah. 
Kasus (i): Ketika n = 0, karena 02 = 0, kita melihat bahwa 02 ≥ 0. Karena itu n2 ≥ n benar
dalam kasus ini. Kasus (ii): Ketika n ≥ 1, ketika kita mengalikan kedua sisi ketidaksetaraan n ≥ 1
dengan positif bilangan bulat n, kita memperoleh n · n ≥ n · 1. Ini menyiratkan bahwa n2 ≥ n untuk
n≥1. Kasus (iii): Dalam hal ini n ≤ −1. Namun, n2 ≥ 0. Dengan demikian n2 ≥ n.
Karena ketimpangan n2 ≥ n berlaku dalam ketiga kasus, kita dapat menyimpulkan bahwa jika n
adalah bilangan bulat, lalu n2 ≥ n.
Menemukan bukti dengan kasus, contoh yang telah disajikan menggambarkan bukti oleh case
memberikan beberapa wawasan kapan harus menggunakan metode pembuktian ini. Khususnya,
ketika tidak mungkin untuk mempertimbangkan semua kasus bukti pada saat yang sama, bukti
berdasarkan kasus harus dipertimbangkan. Kapan Anda harus menggunakan bukti seperti itu?
Secara umum, cari bukti berdasarkan kasus ketika tidak ada cara yang jelas untuk memulai bukti,
tetapi ketika informasi tambahan dalam setiap kasus membantu memindahkan bukti meneruskan.
Contoh berikut menggambarkan bagaimana metode pembuktian per kasus dapat digunakan secara
efektif.
Contoh : Merumuskan dugaan tentang angka desimal akhir kuadrat dari bilangan bulat dan
membuktikannya hasil.
Solusi: Kuadrat sempurna terkecil adalah 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144, 169,
196, 225, dan seterusnya. Perhatikan bahwa digit yang muncul sebagai digit akhir dari sebuah
kotak adalah 0, 1, 4, 5, 6, dan 9, dengan 2, 3, 7, dan 8 tidak pernah muncul sebagai digit terakhir
dari sebuah kotak. teorema ini: Digit desimal terakhir dari kuadrat sempurna adalah 0, 1, 4, 5, 6
atau 9.
Bagaimana kita dapat membuktikan teorema ini? Pertama-tama kita perhatikan bahwa kita
dapat mengekspresikan bilangan bulat n sebagai 10a + b, di mana a dan b positif
bilangan bulat dan b adalah 0, 1, 2, 3, 4, 5, 6, 7, 8, atau 9. Di sini a adalah bilangan bulat yang
diperoleh kurangi angka desimal akhir n dari n dan bagi dengan 10. Selanjutnya, perhatikan itu
(10 a+ b)2 = 100a 2 + 20ab + b 2 = 10 (10a 2 + 2b) + b 2, sehingga angka desimal akhir n2
sama dengan angka desimal akhir b 2. Selanjutnya, perhatikan bahwa angka desimal akhir b2
sama dengan angka desimal akhir (10−b)2 = 100 - 20b + b 2. Akibatnya, kita bisa
kurangi bukti kami dengan pertimbankgan enam kasus.
Kasus (i): Digit terakhir dari n adalah 1 atau 9. Kemudian digit desimal akhir dari n2 adalah
desimal akhir digit 12 = 1 atau 92 = 81, yaitu 1. Kasus (ii): Digit terakhir dari n adalah 2 atau 8.
Kemudian digit desimal akhir dari n2 adalah desimal akhir digit 22 = 4 atau 82 = 64, yaitu 4. Kasus
(iii): Digit terakhir dari n adalah 3 atau 7. Kemudian digit desimal akhir dari n2 adalah desimal
akhir digit 32 = 9 atau 72 = 49, yaitu 9. Kasus (iv): Digit akhir dari n adalah 4 atau 6. Kemudian
digit desimal akhir dari n2 adalah desimal akhir digit dari 42 = 16 atau 62 = 36, yaitu 6. Kasus (v):
Digit desimal akhir n adalah 5. Kemudian digit desimal akhir n2 adalah final angka desimal 52 =
25, yaitu 5. 1.8 Metode dan Strategi Bukti 95 Kasus (vi): Digit desimal terakhir dari n adalah 0.
2
Kemudian digit desimal akhir dari n adalah final angka desimal 02 = 0, yaitu 0. Telah
mempertimbangkan keenam kasus tersebut, dapat disimpulkan bahwa bahwa angka desimal akhir
n2 , di mana n adalah bilangan bulat adalah 0, 1, 2, 4, 5, 6, atau 9.
Secara umum, ketika frasa "tanpa kehilangan keumuman" digunakan dalam bukti menyatakan
bahwa dengan membuktikan satu kasus teorema, tidak diperlukan argumen tambahan
untuk membuktikan kasus tertentu lainnya. Yaitu, kasus-kasus lain mengikuti dengan membuat
perubahan langsung untuk argumen, atau dengan mengisi beberapa langkah awal langsung. Bukti
berdasarkan kasus seringkali bisa Dalam bukti dengan kasus menjadi tentu saja tidak
menghilangkan kasus apa pun dan periksa yang Anda miliki membuktikan semua kasus dengan
benar! dibuat jauh lebih efisien ketika gagasan tanpa kehilangan sifat umum digunakan.
Tentu saja, penggunaan prinsip ini yang salah dapat menyebabkan kesalahan yang tidak
menguntungkan. Terkadang asumsi dibuat yang menyebabkan kerugian secara umum. Asumsi
semacam itu dapat dibuat yang tidak memperhitungkan bahwa satu kasus mungkin sangat berbeda
dari yang lain. Ini dapat menyebabkan tidak lengkap, dan mungkin tidak dapat diselamatkan, bukti.
Bahkan, banyak bukti yang salah dari teorema terkenal ternyata mengandalkan argumen yang
menggunakan ide "tanpa kehilangan generalitas" untuk menetapkan kasus itu tidak dapat dibuktikan
dengan cepat dari kasus yang lebih sederhana.

Daftar Pustaka

Faris, Irfan. 2012. Meode Pembuktian Dan Induksi Matematika Dalam Matematika Diskrit,
(online), (https://sharematika.blogspot.com/2012/09/metode-pembuktian-dan-induksi.html,
diakses pada 08 Mei 2019 pukul 16.49 WIB).
Kenneth H. Rosen(2011). Rosen_Discrete_Mathematics_and_Its_Applications_7th_Edition (2).
New York, NY: Mc-Graw Hill, ( https://www.google.com/url?sa=t&rct=j&q=&esrc=s&
source=web&cd=1&cad=rja&uact=8&ved=2ahUKEwj1uNqt24viAhVl6XMBHaDFBWMQF
jAAegQIBhAC&url=http%3A%2F%2Fwww2.fiit.stuba.sk%2F~kvasnicka%2FMathematics
%2520for%2520Informatics
%2FRosen_Discrete_Mathematics_and_Its_Applications_7th_Edition.pdf&usg=AOvVaw2al
q962Kcz2z9GJRd0A6LC diakses pada 08 Mei 2019 pukul 17.5 WIB).