How To Read and Do Proofs - An Introduction To Mathematical Thought Processes (PDFDrive) 1-200
How To Read and Do Proofs - An Introduction To Mathematical Thought Processes (PDFDrive) 1-200
EDISI KEENAM
Generalisasi
BAGAIMANA ? Aksiomatis
BACA dan
Sistem
~
LAKUKAN BUKTI
DANIEL SOLOW
Machine Translated by Google
Edisi keenam
Daniel Solow
Departemen Operasi
Weatherhead School of Management
Case Western Reserve University
Cleveland, OH 44106
email: daniel.solow@case.edu
web: http://weatherhead.cwru.edu/solow/
Untuk almarhum orang tua saya, Anatole A. Solow dan Ruth Solow
dan istri saya selama bertahun-tahun, Audrey
Buku ini dibuat dalam LATEX oleh penulis dan dicetak serta dijilid oleh
Courier Westford. Sampulnya dicetak oleh Courier Westford.
Hak Cipta c 2014 oleh John Wiley & Sons, Inc. Semua hak dilindungi undang-undang.
Tidak ada bagian dari publikasi ini yang boleh direproduksi, disimpan
dalam sistem pengambilan atau ditransmisikan dalam bentuk apa pun atau
dengan cara apa pun, elektronik, mekanis, fotokopi, perekaman,
pemindaian, atau lainnya, kecuali sebagaimana diizinkan berdasarkan
Bagian 107 dan 108 Amerika Serikat 1976 Undang-Undang Hak Cipta, tanpa
izin tertulis sebelumnya dari Penerbit, atau otorisasi melalui pembayaran
biaya per salinan yang sesuai ke Pusat Izin Hak Cipta, 222 Rosewood
Drive, Danvers, MA 01923, (978) 750-8400, faks (978) 646-8600. Permintaan
izin kepada Penerbit harus ditujukan ke Departemen Perizinan, John Wiley
& Sons, Inc., 111 River Street, Hoboken, NJ 07030-5774, (201) 748-6011, faks (2
Salinan evaluasi diberikan kepada akademisi dan profesional yang memenuhi syarat
untuk tujuan peninjauan saja, untuk digunakan dalam kursus mereka selama tahun akademik
Salinan ini dilisensikan dan tidak boleh dijual atau dialihkan ke pihak ketiga.
Setelah menyelesaikan periode peninjauan, harap kembalikan salinan
evaluasi ke Wiley. Petunjuk pengembalian dan label pengiriman
pengembalian gratis tersedia di www.wiley.com/go/returnlabel. Di luar
Amerika Serikat, harap hubungi perwakilan setempat Anda.
ISBN 9781118164020
10 9 8 7 6 5 4 3 2 1
Machine Translated by Google
Isi
Bagian I Bukti
2 Metode Maju-Mundur 9
12 Induksi 133
15 Ringkasan 163
16 Generalisasi 179
Glosarium 305
Referensi 314
Indeks 316
Machine Translated by Google
vii
Machine Translated by Google
vii KATA PENGANTAR UNTUK SISWA
dan buku ini tidak dimaksudkan untuk mengajarkan kreativitas. Namun, saya
percaya bahwa ide-ide yang disajikan di sini memberi Anda alat yang dibutuhkan
untuk mengekspresikan kreativitas Anda. Sama pentingnya adalah kenyataan
bahwa alat ini memungkinkan Anda untuk memahami dan menghargai kreativitas
orang lain. Untuk itu, banyak penekanan ditempatkan pada pengajaran Anda cara
membaca bukti "ringkas" seperti yang biasanya disajikan dalam buku teks, artikel
jurnal, dan literatur matematika lainnya. Mengetahui cara membaca dan memahami
bukti-bukti tersebut memungkinkan Anda untuk mengasimilasi materi dalam
kursus matematika tingkat lanjut mana pun yang Anda miliki latar belakang
prasyarat yang sesuai. Faktanya, mengetahui cara membaca dan memahami bukti
yang diringkas memberi Anda kemampuan untuk mempelajari hampir semua mata pela
Anda akan mempelajari bagian penting dari proses berpikir matematis. Saat
Anda mempelajari materi dan memecahkan masalah, sadarilah proses berpikir
Anda sendiri. Ajukan pertanyaan dan cari jawaban. Ingat, satu-satunya pertanyaan
yang tidak cerdas adalah pertanyaan yang tidak ditanyakan.
DANIEL SOLOW
Departemen Operasi
Sekolah Manajemen Weatherhead
Universitas Case Western Reserve
Cleveland, OH
Machine Translated by Google
ix
Machine Translated by Google
x KATA PENGANTAR INSTRUKTUR
mendahului setiap langkah pembuktian dengan indikasi teknik mana yang akan digunakan
dan mengapa. Ketika mendiskusikan bukti di kelas, saya secara aktif melibatkan siswa
dengan meminta bantuan mereka dalam memilih teknik dan merancang bukti. Saya sangat
terkejut dengan kualitas komentar dan pertanyaan mereka.
• Membuat definisi.
Menyediakan siswa dengan proses berpikir ini muncul untuk memfasilitasi kemampuan
siswa untuk mempelajari materi matematika berikutnya.
Menurut pengalaman saya, begitu siswa merasa nyaman dengan teknik pembuktian
dan proses berpikir lainnya ini, pikiran mereka cenderung membahas masalah matematika
yang lebih penting, seperti mengapa pembuktian dilakukan dengan cara tertentu dan
mengapa bagian matematika itu dibuat. penting di tempat pertama. Buku ini tidak
dimaksudkan untuk mengajarkan kreativitas, tetapi saya percaya bahwa mempelajari
teknik-teknik yang disajikan di sini membebaskan pikiran siswa untuk fokus pada aspek-
aspek kreatif. Saya juga menemukan bahwa, dengan menggunakan pendekatan ini,
dimungkinkan untuk mengajarkan materi matematika berikutnya pada tingkat yang lebih
canggih tanpa kehilangan siswa.
Bagaimanapun, pesannya jelas. Saya menyarankan bahwa ada banyak manfaat yang
bisa diperoleh dengan mengajarkan proses berpikir matematis selain materi matematika.
Buku ini dirancang untuk menjadi langkah besar ke arah yang benar dengan membuat
matematika abstrak dapat dipahami dan menyenangkan bagi siswa dan dengan memberi
Anda metode untuk berkomunikasi dengan mereka.
Ada dua perubahan utama dalam edisi keenam buku ini. Yang pertama adalah
pencantuman Bagian II baru yang berisi uraian tentang hal-hal tersebut di atas.
Machine Translated by Google
KATA PENGANTAR INSTRUKTUR xi
DANIEL SOLOW
Departemen Operasi
Sekolah Manajemen Weatherhead
Universitas Case Western Reserve
Cleveland, OH
Machine Translated by Google
Untuk membantu agar pekerjaan ini dikenal di komunitas matematika, terima kasih saya
yang terdalam ditujukan kepada Peter Hilton, seorang ahli matematika dan pendidik yang lua
Saya juga berterima kasih kepada Paul Halmos, yang dukungannya sangat memudahkan
penyebaran pengetahuan tentang keberadaan buku dan metode pengajaran ini. Saya
juga berterima kasih atas diskusi dengan Gail Young dan George Polya.
Mengenai persiapan naskah untuk edisi pertama, tidak ada satu orang pun yang
memiliki komentar yang lebih membangun daripada Tom Butts. Dia tidak hanya
berkontribusi pada konten matematika tetapi juga mengoreksi banyak kesalahan tata
bahasa dan gaya dalam versi awal. Saya kira saya harus berterima kasih kepada ibunya
karena telah menjadi guru bahasa Inggris. Saya juga berterima kasih kepada Charles
Wells karena membaca dan mengomentari draf tulisan tangan pertama dan untuk
mendorong saya untuk melanjutkan proyek ini lebih lanjut. Banyak orang lain yang
memberikan saran substantif, termasuk Alan Schoenfeld, Samuel Goldberg, dan Ellen Stenso
Dari semua orang yang terlibat dalam proyek ini, tidak ada yang pantas mendapatkan
kredit lebih dari siswa saya. Karena upaya sukarela mereka, edisi pertama buku ini
disusun dalam waktu yang begitu singkat. Terima kasih terutama kepada John Democko
karena bertindak dalam kapasitas editor senior sambil merangkap untuk menyelesaikan
Ph.D. program. Juga, saya menghargai bantuan yang saya terima dari Michael Dreiling
dan Robert Wenig dalam basis data teks dan dalam mempersiapkan latihan. Michael
mengerjakan proyek ini hampir selama saya melakukannya. Ucapan terima kasih khusus
ditujukan kepada Greg Madey karena telah mengoordinasikan penulisan ulang kedua
dokumen tersebut, untuk menambahkan komentar yang berguna, dan, secara umum,
untuk membuat saya tetap teratur. Tanggung jawabnya kemudian diambil alih oleh Robin Sym
xii
Machine Translated by Google
xiii
Selain itu, saya berterima kasih kepada Ravi Kumar atas waktu berjam-jam yang
dihabiskannya di depan komputer untuk menyiapkan versi final naskah, kepada Betty Tracy
dan Martha Bognar atas bantuan pengetikan yang profesional dan sempurna, dan kepada
Virginia Benade untuk penyuntingan teknisnya. Saya juga berhutang budi kepada kelas saya
tahun 1981 untuk mempersiapkan solusi untuk latihan.
Saya berterima kasih kepada profesor-profesor berikut karena telah mewaspadai naskah
asli dan untuk merekomendasikan penerbitannya: Alan Tucker, David Singer, Howard Anton,
dan Ivan Niven.
Sebagian besar penghargaan untuk peningkatan pada edisi kedua diberikan kepada siswa
yang telah mengajari saya banyak hal tentang belajar matematika. Saya juga berterima kasih
atas banyak komentar dan saran yang saya terima dari rekan-rekan selama bertahun-tahun
dan juga dari kuesioner yang diedarkan oleh John Wiley.
Secara teknis, saya berterima kasih kepada Dawnn Strasser atas pekerjaannya yang paling
profesional dalam mengetik versi awal naskah. Saya juga berterima kasih kepada Weatherhead
School of Management di Case Western Reserve University atas penggunaan fasilitas pengolah
kata yang sangat baik.
Akhirnya, saya berterima kasih kepada istri saya, Audrey, atas bantuannya dalam mengoreksi da
untuk kesabarannya selama proyek saya yang lain.
Edisi ketiga diketik menggunakan LATEX dengan ucapan terima kasih kepada Donald Knuth
dan juga Amy Hendrickson, yang paket makronya menyenangkan untuk digunakan. Serge
Karalli menghabiskan banyak waktu untuk membantu saya merevisi latihan lama dan
mengembangkan latihan baru. Tom Engle menciptakan gambar elektronik profesional dari
angka-angka tersebut. Saya juga berterima kasih kepada John Wiley & Sons karena telah
memberikan dukungan yang saya butuhkan untuk menyelesaikan revisi ini. Senang juga
bekerja dengan editor saya, Kimberly Murphy, dan stafnya, terutama Ken Santor.
Saya sangat berterima kasih atas komentar yang menyeluruh dan bijaksana dari Richard
Delaware di University of Missouri, Kansas City, yang banyak di antaranya telah dimasukkan
dalam edisi ini. Juga merupakan suatu kesenangan untuk bekerja dengan editor saya, Laurie
Rosatone, di John Wiley, yang juga bekerja dengan saya ribuan tahun yang lalu ketika dia
berada di Addison-Wesley.
Machine Translated by Google
xiv
Saya berterima kasih kepada pengulas berikut atas komentar mereka yang berguna dalam membimbin
perubahan pada edisi kelima ini: Jeff Dodd, Mary Bradley, Kimberly J. Presser,
Ray Rosenstrater, dan Richard Delaware. Saya berterima kasih kepada Sekolah
Pascasarjana Angkatan Laut di mana, sebagai peneliti tamu, saya dapat menyelesaikan b
pekerjaan pada revisi ini. Di sanalah saya bertemu Letnan Komandan der Jay
Foraker, Eng Yau Pee, Andrew Swedberg, Eric Tollefson, Anthony
Tvaryanas, dan Roger Vaughn, yang cukup berdedikasi untuk bekerja melalui
beberapa latihan baru yang disertakan dalam edisi ini. saya terutama
berterima kasih kepada Edward Agarwala di Case yang menyiapkan draf pertama
Manual Solusi untuk edisi ini dan, dengan demikian, meningkatkan kualitas beberapa
Latihan. Terima kasih juga kepada Ralph Grimaldi dari Institut Rose-Hulman
Teknologi yang, sebagai pemeriksa akurasi, menemukan banyak kesalahan kecil
yang mengarah ke versi teks dan Manual Solusi yang lebih bersih. Saya juga
menghargai bantuan dan dukungan yang saya terima dari editor saya di John Wiley: Laur
Rosatone dan Shannon Corliss.
Saya ingin berterima kasih kepada John Wiley and Sons atas dukungan finansial mereka dalam membua
kumpulan rekaman video ceramah saya yang dapat digunakan siswa untuk
mempelajari teknik pembuktian dalam 15 bab pertama buku ini. Saya juga mengakui tekn
staf Sekolah Manajemen Weatherhead di Universitas Case Western Reserve atas
pekerjaan profesional mereka dalam memproduksi video ini. Saya menikmati kelasnya
partisipasi siswa berikut dari Montessori High School di
Cleveland yang suaranya Anda dengar di video: Laurel Booth, Eleanor Dick inson,
Lucas Elliot, dan Hannah Irvine. Orang dewasa muda ini memiliki kecerdasan
masa depan. Saya harap video ini memberikan bantuan tambahan bagi siswa dalam mempelajari in
bahan. Saya juga berterima kasih atas bantuan Edward Agarwala yang bekerja
melalui semua latihan di Bab 16, 17, dan 18 dan untuk membuat lainnya
saran yang berguna untuk memperbaiki Bagian II buku ini.
DS
Machine Translated by Google
Bagian I
Bukti
Machine Translated by Google
Machine Translated by Google
1
Kebenaran dari Itu Semua
1
Machine Translated by Google
2 BAB 1: KEBENARAN ITU SEMUA
untuk mengekspresikan ide yang sama dalam bahasa apa pun, jadi ada bukti berbeda
untuk fakta matematika yang sama. Teknik yang disajikan di sini dirancang untuk
membantu Anda memulai dan memandu Anda melalui bukti. Oleh karena itu, buku ini
tidak hanya menjelaskan bagaimana teknik-teknik itu bekerja, tetapi juga kapan masing-
masing teknik itu akan digunakan dan mengapa. Seringkali Anda akan dapat memilih
teknik yang benar berdasarkan bentuk masalah yang sedang dipertimbangkan. Oleh
karena itu, ketika mencoba membuat bukti Anda sendiri, belajarlah untuk memilih
teknik secara sadar sebelum menghabiskan waktu berjam-jam untuk mencari tahu apa
yang harus dilakukan. Semakin Anda sadar akan proses berpikir Anda, semakin baik.
Namun, tujuan utamanya adalah menggunakan keterampilan dan bahasa yang baru
Anda peroleh untuk menemukan dan mengomunikasikan kebenaran matematika yang
sebelumnya tidak diketahui. Langkah pertama ke arah ini adalah mencapai tingkat
kemampuan membaca bukti dan mengembangkan bukti Anda sendiri dari fakta yang
sudah diketahui. Ini saja akan memberi Anda pemahaman yang lebih dalam dan lebih
kaya tentang alam semesta matematika di sekitar Anda.
Siapa pun yang memiliki pengetahuan matematika sekolah menengah yang baik
dapat membaca buku ini. Siswa tingkat lanjut yang telah melihat bukti sebelumnya
dapat membaca dua bab pertama, melompat ke ringkasan Bab 15, dan selanjutnya
membaca salah satu lampiran untuk melihat bagaimana semua teknik cocok bersama
dalam mata pelajaran matematika tertentu. Setiap bab tentang teknik tertentu juga
berisi ringkasan singkat di bagian akhir yang menjelaskan bagaimana dan kapan
menggunakan teknik tersebut. Sisa dari bab ini menjelaskan jenis-jenis hubungan di mana
Buku-buku tambahan tentang pembuktian dan penalaran matematis tingkat lanjut
tercantum dalam daftar pustaka di akhir buku ini.
1. Dua garis sejajar pada sebuah bidang memiliki kemiringan yang sama.
2. 1 = 0.
Perhatikan bahwa pernyataan (1) benar, (2) salah, dan (3) benar atau salah, tergantung
pada nilai variabel.
Mungkin tidak begitu jelas bahwa pernyataan (4) juga benar. Selain itu, pernyataan
yang tampaknya benar bisa saja salah. Inilah sebabnya mengapa perlu untuk
melakukan pembuktian—Anda akan tahu bahwa suatu pernyataan benar hanya ketika
Machine Translated by Google
1.2 APA ITU BUKTI? 3
t
biaya)
0
t
-ÿ -ÿ/ 2 / 2
Gambar 1.1 Bukti bahwa ada sudut t sedemikian rupa sehingga cos(t) = t.
anda telah membuktikan kebenarannya. Dalam buku ini dan buku lainnya, bukti sering diberikan
untuk pernyataan yang tampaknya jelas benar. Salah satu alasan untuk melakukannya adalah
untuk memberikan contoh yang mudah diikuti sehingga pada akhirnya Anda dapat membuktikan
pernyataan yang lebih sulit.
Sebuah bukti harus berisi rincian matematis yang cukup untuk meyakinkan orang (s) kepada
siapa bukti itu ditujukan. Bukti pernyataan (4) yang dimaksudkan untuk meyakinkan seorang
profesor matematika mungkin terdiri dari tidak lebih dari Gambar 1.1; sedangkan pembuktian
yang ditujukan kepada siswa sekolah menengah akan membutuhkan lebih banyak detail, bahkan
mungkin definisi kosinus. Bukti Anda harus berisi detail yang cukup untuk meyakinkan orang
lain pada tingkat matematika Anda sendiri (misalnya, teman sekelas). Kurangnya detail yang
memadai sering membuat bukti sulit dibaca dan dipahami. Salah satu tujuan dari buku ini adalah
untuk mengajarkan Anda untuk menguraikan bukti "ringkas" yang biasanya muncul dalam buku
teks dan literatur matematika lainnya.
Diberikan dua pernyataan A dan B, yang masing-masing mungkin benar atau salah, masalah
mendasar yang menarik dalam matematika adalah untuk menunjukkan bahwa pernyataan
kondisional berikut—juga disebut implikasi—benar:
Salah satu alasan untuk ingin membuktikan bahwa suatu implikasi adalah benar adalah ketika B
adalah pernyataan yang Anda inginkan untuk menjadi benar tetapi kebenarannya tidak mudah untuk di
Sebaliknya, misalkan A adalah pernyataan yang kebenarannya relatif mudah diverifikasi. Jika
Anda telah membuktikan bahwa “Jika A benar, maka B benar,” dan jika Anda dapat memverifikasi
bahwa A memang benar, maka Anda akan mengetahui bahwa B benar. Untuk singkatnya,
pernyataan "Jika A benar, maka B benar" disingkat menjadi "Jika A, maka B" atau hanya "A
menyiratkan B." Matematikawan telah mengembangkan notasi steno simbolis dan akan menulis
"A B" alih-alih "A menyiratkan B." Untuk sebagian besar, buku teks tidak menggunakan notasi
simbolik, tetapi guru sering melakukannya, dan pada akhirnya Anda mungkin akan merasa
berguna juga. Oleh karena itu, simbol notasi disertakan dalam buku ini tetapi tidak digunakan
dalam pembuktian. Daftar lengkap simbol disajikan dalam glosarium di akhir buku ini.
Ketika bekerja dengan implikasi "A menyiratkan B," penting untuk menyadari bahwa ada tiga
pernyataan terpisah: pernyataan A yang disebut hipotesis, pernyataan B yang disebut kesimpulan,
dan pernyataan.
Machine Translated by Google
4 BAB 1: KEBENARAN ITU SEMUA
ABA menyiratkan B
Betul betul BENAR
SEBUAH B
Untuk menentukan kapan pernyataan "A menyiratkan B" ini salah, tanyakan pada diri
Anda di mana dari empat kasus di atas Anda akan bersedia menyebut teman Anda
pembohong. Dalam kasus pertama—yaitu, ketika Anda belajar dengan giat (A benar)
dan Anda mendapat nilai bagus (B benar)—teman Anda telah mengatakan yang
sebenarnya. Dalam kasus kedua, Anda belajar dengan giat, namun Anda tidak
mendapatkan nilai yang bagus, seperti yang dikatakan teman Anda. Di sini teman Anda
tidak mengatakan yang sebenarnya. Dalam kasus 3 dan 4, Anda tidak belajar dengan
giat. Anda tidak ingin menyebut teman Anda pembohong dalam kasus ini karena teman
Anda mengatakan bahwa sesuatu akan terjadi hanya jika Anda rajin belajar. Dengan
demikian, pernyataan "A menyiratkan B" adalah benar untuk masing-masing dari empat kasu
Tabel 1.1 adalah contoh tabel kebenaran, yang merupakan metode untuk
menentukan kapan pernyataan kompleks (dalam hal ini, "A menyiratkan B") benar
dengan memeriksa semua nilai kebenaran yang mungkin dari pernyataan individu (dala
Contoh lain dari tabel kebenaran muncul di Bab 3.
Menurut Tabel 1.1, ketika mencoba menunjukkan bahwa “A menyiratkan B”
benar, Anda dapat mencoba menentukan kebenaran A dan B secara individual
dan kemudian menggunakan baris tabel yang sesuai untuk menentukan kebenaran “A
Misalnya, untuk menentukan kebenaran pernyataan,
jika 1 < 2, maka 4 < 3,
Anda dapat dengan mudah melihat bahwa hipotesis A (yaitu, 1 < 2) benar dan
kesimpulan B (yaitu, 4 < 3) salah. Jadi, dengan menggunakan baris kedua dari
Tabel 1.1 (sesuai dengan A benar dan B salah), Anda dapat menyimpulkan
bahwa dalam kasus ini pernyataan “A menyiratkan B” salah. Demikian pula dengan
Machine Translated by Google
1.2 APA ITU BUKTI? 5
benar menurut baris ketiga tabel karena A (yaitu, 2 < 1) salah dan B (yaitu, 3 < 4) benar.
Sekarang anggaplah Anda ingin membuktikan bahwa pernyataan berikut ini benar:
Kesulitan menggunakan Tabel 1.1 untuk contoh ini adalah Anda tidak dapat
menentukan apakah A (yaitu, x > 2) dan B (yaitu, x > 4) benar2 atau
kebenaran
salah karena
pernyataan
A dan B bergantung pada variabel x yang nilainya tidak diketahui. Meskipun demikian,
Anda masih dapat menggunakan Tabel 1.1 dengan alasan sebagai berikut:
Jika A benar, baris pertama atau kedua dari Tabel 1.1 dapat diterapkan.
Namun, karena saya ingin membuktikan bahwa “A menyiratkan B” benar,
saya perlu memastikan bahwa baris pertama dari tabel kebenaran dapat
diterapkan, dan ini dapat saya lakukan dengan menetapkan bahwa B benar.
Hipotesis: n adalah bilangan bulat positif. (Perhatikan bahwa ini tersirat untuk
pernyataan yang masuk akal.)
Kesimpulan: Jumlah n bilangan bulat positif pertama adalah n(n + 1)/2.
Contoh 3: Dua garis yang bersinggungan dengan titik-titik ujung diameter lingkaran
adalah sejajar.
Hipotesis: L1 dan L2 adalah dua garis yang bersinggungan dengan titik akhir
dari diameter lingkaran.
Kesimpulan: L1 dan L2 sejajar.
Ringkasan
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
W
1.1 Manakah dari pernyataan berikut yang merupakan pernyataan matematika?
2.
c. Segitiga XYZ mirip dengan segitiga RST. d. 3 + n + n
k k kÿ1 1
W
Machine Translated by Google
8 BAB 1: KEBENARAN ITU SEMUA
1.7 “Jika mobil saya diperbaiki, saya tidak akan melewatkan wawancara kerja saya,” kata Jack.
Kemudian, Anda mengetahui bahwa mobil Jack telah diperbaiki tetapi dia melewatkan
wawancara kerjanya. Apakah pernyataan Jack benar atau salah? Menjelaskan.
1.8 Misalkan seseorang mengatakan kepada Anda bahwa pernyataan berikut ini benar:
“Jika Jack lebih muda dari ayahnya, maka Jack tidak akan kalah dalam kontes.” Apakah
Jack memenangkan kontes? Mengapa atau mengapa tidak? Menjelaskan.
W 1.9 Tentukan kondisi pada hipotesis A dan kesimpulan B di mana pernyataan berikut ini
1.10 Tentukan kondisi hipotesis A dan kesimpulan B di mana pernyataan berikut ini benar
dan salah dan berikan alasan Anda.
bahwa B salah, apakah Anda ingin menunjukkan bahwa A benar atau salah? Menjelaskan.
1.12 Dengan mempertimbangkan apa yang terjadi ketika A benar dan A salah, diputuskan
bahwa untuk membuktikan pernyataan “A menyiratkan B” benar, Anda dapat mengasumsikan
bahwa A benar dan tujuan Anda adalah menunjukkan bahwa B benar. Gunakan jenis
penalaran yang sama untuk memperoleh pendekatan lain untuk membuktikan bahwa "A
menyiratkan B" benar dengan mempertimbangkan apa yang terjadi ketika B benar dan ketika B s
W
1.13 Menggunakan Tabel 1.1, siapkan tabel kebenaran untuk “A menyiratkan (B menyiratkan C).
W
1.14 Menggunakan Tabel 1.1, siapkan tabel kebenaran untuk “(A menyiratkan B) menyiratkan C.”
1.15 Menggunakan Tabel 1.1, siapkan tabel kebenaran untuk “B A.” Apakah pernyataan ini
benar dalam kondisi yang sama di mana "A B" benar?
W 1.16 Misalkan Anda ingin menunjukkan bahwa A B salah. Menurut Tabel 1.1, bagaimana
Anda harus melakukan ini? Apa yang harus Anda coba tunjukkan tentang kebenaran A dan
B? (Melakukan ini disebut sebagai contoh tandingan dari A B.)
W 1.17 Terapkan jawaban Anda pada Latihan 1.16 untuk menunjukkan bahwa setiap
1.18 Terapkan jawaban Anda pada Latihan 1.16 untuk menunjukkan bahwa setiap pernyataan
berikut salah dengan membuat contoh tandingan.
sebuah. Jika n bilangan bulat positif, maka 3n n! (dimana n! = n(n 1)· · · 1).
b. Jika x adalah bilangan real positif antara 0 dan 1, maka tiga angka desimal pertama
dari x tidak sama dengan tiga angka desimal pertama dari 2ÿx .
Machine Translated by Google
2
Maju-Mundur
metode
Proposisi 1 Jika segitiga siku-siku XYZ dengan panjang sisi x dan y dan
panjang sisi miring z memiliki luas z 2/4, maka segitiga XYZ adalah segitiga
sama kaki (lihat Gambar 2.1).
9
Machine Translated by Google
10 BAB 2: METODE MAJU-Mundur
Dalam proses mundur Anda mulai dengan bertanya, "Bagaimana saya bisa menyimpulkan
bahwa pernyataan B benar?" Cara Anda mengungkapkan pertanyaan ini sangat penting
karena pada akhirnya Anda harus memberikan jawaban. Anda harus mengajukan
pertanyaan secara abstrak. Sebagai ilustrasi, perhatikan kesimpulan berikut untuk
Proposisi 1:
Meskipun benar bahwa Anda ingin menunjukkan bahwa segitiga tertentu XYZ adalah sama
kaki, dengan mengajukan pertanyaan abstrak, Anda meminta pengetahuan umum Anda
tentang segitiga, menghilangkan detail yang tidak relevan (seperti fakta bahwa segitiga itu
disebut XYZ, bukan ABC ), sehingga memungkinkan Anda untuk fokus pada aspek-aspek
masalah yang tampaknya benar-benar penting. Pertanyaan yang diperoleh dari pernyataan
B dalam masalah tersebut disebut di sini sebagai pertanyaan kunci. Pertanyaan kunci yang
diajukan dengan benar tidak boleh mengandung simbol atau notasi lain (kecuali angka)
dari masalah spesifik yang sedang dipertimbangkan. Kunci dari banyak bukti adalah
merumuskan pertanyaan kunci yang benar.
Setelah Anda mengajukan pertanyaan kunci, langkah selanjutnya dalam proses mundur
adalah memberikan jawaban. Kembali ke Proposisi 1, bagaimana Anda dapat menunjukkan
bahwa segitiga sama kaki? Tentu salah satu caranya adalah dengan menunjukkan bahwa
dua sisinya memiliki panjang yang sama. Mengacu pada Gambar 2.1, Anda harus menunjukkan
Perhatikan bahwa menjawab pertanyaan kunci adalah proses dua fase:
1. Pertama, berikan jawaban abstrak yang tidak mengandung simbol dari masalah
tertentu. (Misalnya, untuk menunjukkan bahwa sebuah segitiga sama kaki, tunjukkan
bahwa dua sisinya memiliki panjang yang sama.)
B1: x = y.
Jika Anda dapat menunjukkan bahwa x = y, maka segitiga XYZ adalah segitiga sama kaki.
Machine Translated by Google
2.1 PROSES KEMBALI 11
Setelah Anda memiliki pernyataan B1, semua upaya Anda sekarang harus diarahkan untuk
mencapai kesimpulan bahwa B1 benar, karena kemudian akan mengikuti bahwa B benar.
Bagaimana Anda bisa menunjukkan bahwa B1 itu benar? Akhirnya Anda harus menggunakan
asumsi bahwa A benar. Saat memecahkan masalah ini, kemungkinan besar Anda akan
melakukannya sekarang, tetapi untuk saat ini mari kita lanjutkan bekerja mundur dari pernyataan
baru B1. Ini akan menggambarkan beberapa kesulitan yang dapat muncul dalam proses mundur.
Bisakah Anda mengajukan pertanyaan kunci untuk B1?
Karena x dan y adalah panjang dua sisi segitiga, pertanyaan kunci yang masuk akal adalah,
"Bagaimana saya dapat menunjukkan bahwa panjang dua sisi segitiga sama panjang?"
Pertanyaan kunci kedua yang sangat masuk akal adalah, "Bagaimana saya bisa menunjukkan
bahwa dua bilangan real adalah sama?" Lagi pula, x dan y juga bilangan real.
Salah satu kesulitan yang dapat muncul dalam proses backward adalah kemungkinan munculnya
pertanyaan kunci lebih dari satu. Memilih yang benar lebih merupakan seni daripada sains.
Dalam keadaan yang menguntungkan, hanya akan ada satu pertanyaan kunci yang jelas; dalam
kasus lain, Anda mungkin harus melanjutkan dengan coba-coba. Di sinilah intuisi, wawasan,
kreativitas, pengalaman, diagram, dan grafik Anda dapat memainkan peran penting. Satu
pedoman umum adalah membiarkan informasi dalam A (yang Anda anggap benar) membantu
Anda memilih pertanyaan kunci, seperti yang dilakukan dalam kasus ini.
Terlepas dari pertanyaan mana yang akhirnya Anda selesaikan, langkah selanjutnya adalah
memberikan jawaban, pertama secara abstrak dan kemudian untuk masalah spesifik. Bisakah
Anda melakukan ini untuk dua pertanyaan kunci di atas yang diajukan untuk B1? Untuk yang
pertama, Anda dapat menunjukkan bahwa dua sisi segitiga memiliki panjang yang sama dengan
menunjukkan bahwa sudut di hadapannya sama besar. Untuk segitiga XYZ pada Gambar 2.1, ini
berarti Anda harus menunjukkan bahwa sudut X sama dengan sudut Y. Pemeriksaan sepintas
dari isi pernyataan A tampaknya tidak memberikan banyak informasi mengenai sudut-sudut
segitiga XYZ. Untuk alasan ini, pertanyaan kunci lainnya dipilih, yaitu,
Pertanyaan Kunci: “Bagaimana saya bisa menunjukkan dua bilangan real itu?
(yaitu, x dan y) sama?”
Satu jawaban untuk pertanyaan ini adalah dengan menunjukkan bahwa selisih kedua bilangan
tersebut adalah 0. Menerapkan jawaban ini pada pernyataan spesifik B1 berarti Anda harus
menunjukkan bahwa x y = 0. Sayangnya, ada jawaban lain yang dapat diterima secara sempurna:
tunjukkan bahwa bilangan pertama lebih kecil atau sama dengan bilangan kedua dan juga
bilangan kedua lebih kecil atau sama dengan bilangan pertama.
Menerapkan jawaban ini ke pernyataan spesifik B1, Anda harus menunjukkan bahwa x y dan y
x. Dengan demikian, kesulitan kedua dapat muncul dalam proses mundur: bahkan jika Anda
memilih pertanyaan kunci yang benar, mungkin ada lebih dari satu jawaban. Selain itu, Anda
mungkin memilih jawaban yang tidak memungkinkan Anda untuk melengkapi bukti. Misalnya,
terkait dengan pertanyaan kunci, "Bagaimana saya bisa menunjukkan bahwa segitiga sama
kaki?" adalah jawabannya, "Tunjukkan bahwa segitiga itu sama sisi." Tentu saja tidak mungkin
untuk menunjukkan bahwa segitiga XYZ dalam Proposisi 1 adalah sama sisi karena salah satu
sudutnya adalah 90 derajat.
Machine Translated by Google
12 BAB 2: METODE MAJU-Mundur
Kembali ke pertanyaan kunci yang terkait dengan B1, “Bagaimana saya bisa
menunjukkan bahwa dua bilangan real (yaitu, x dan y) adalah sama?” misalkan, demi
argumen, bahwa Anda memilih jawaban yang menunjukkan bahwa perbedaannya adalah 0.
Sekali lagi, proses mundur telah memberi Anda pernyataan baru, B2, dengan properti
bahwa, jika Anda dapat menunjukkan bahwa B2 benar, maka sebenarnya B1 akan benar,
dan karenanya juga B. Secara khusus, pernyataan baru adalah:
B2: x y = 0.
Sekarang semua upaya Anda harus diarahkan untuk mencapai kesimpulan bahwa B2
benar. Anda pada akhirnya harus menggunakan informasi di A tetapi, untuk saat ini,
mari kita lanjutkan proses mundur yang diterapkan ke B2.
Satu pertanyaan kunci yang terkait dengan B2 adalah,
Setelah beberapa refleksi, tampaknya tidak ada jawaban yang masuk akal untuk
pertanyaan ini. Namun masalah lain dapat muncul dalam proses mundur: pertanyaan
kunci mungkin tidak memiliki jawaban yang jelas. Jangan putus asa—semuanya tidak hilang
Ingatlah bahwa, ketika membuktikan "A menyiratkan B", Anda diizinkan untuk berasumsi
bahwa A benar. Sekarang saatnya untuk memanfaatkan fakta ini.
Proses maju melibatkan turunan dari pernyataan A, yang Anda anggap benar, beberapa
pernyataan lain, A1, yang Anda tahu benar karena A benar. Harus ditekankan bahwa
pernyataan yang diturunkan dari A tidak serampangan. Sebaliknya, mereka diarahkan
untuk menghubungkan dengan pernyataan terakhir yang diperoleh dalam proses
mundur. Mari kita kembali ke Proposisi 1, dengan mengingat bahwa pernyataan terakhir
dalam proses mundur adalah,
B2: x y = 0.
Untuk Proposisi 1, Anda dapat mengasumsikan bahwa hipotesis berikut ini benar:
A: Segitiga siku-siku XYZ dengan panjang sisi x dan y dan sisi miring
dengan panjang z memiliki luas z 2/4.
Satu fakta yang Anda ketahui (atau seharusnya Anda ketahui) karena A benar adalah
bahwa xy/2 = z 2/4, karena luas segitiga adalah setengah alas kali tinggi—dalam hal ini,
xy/ 2. Jadi Anda telah memperoleh pernyataan baru,
Pernyataan lain yang berguna mengikuti dari A oleh teorema Pythagoras karena
XYZ adalah segitiga siku-siku, jadi Anda juga memiliki:
Machine Translated by Google
2.2 PROSES MAJU 13
Penyataan Alasan
2 22
A2: x + kamu =z .
Dengan proses penerusan, Anda juga dapat menggabungkan dan menggunakan pernyataan baru
untuk menghasilkan pernyataan yang lebih benar. Misalnya, dimungkinkan untuk menggabungkan A
2 2 2
dan A2 dengan mengganti z di A1 dengan x + y dari A2, memperoleh pernyataan,
2 2
A3: xy/2 = (x + kamu )/4.
Salah satu masalah dengan proses maju adalah bahwa hal itu juga memungkinkan untuk
menghasilkan pernyataan yang tidak berguna, misalnya, "sudut X kurang dari 90 derajat."
Meskipun tidak ada pedoman khusus untuk menghasilkan pernyataan baru, tetap ikuti
ingat bahwa proses ke depan diarahkan untuk memperoleh pernyataan
B2: x y = 0, yang merupakan turunan terakhir dalam proses mundur.
2
Fakta bahwa B2 tidak mengandung kuantitas z adalah alasan bahwa z 2 dulu
dihilangkan dari A1 dan A2 untuk menghasilkan A3.
Melanjutkan proses maju, Anda harus mencoba membuat tampilan A3
lebih seperti B2 dengan menulis ulang. Misalnya, Anda dapat mengalikan kedua sisi A3
dengan 4 dan kurangi 2xy dari kedua sisi untuk mendapatkan,
2 2
A4: x 2xy + y = 0.
Memfaktorkan hasil A4
2
A5: (x y) = 0.
Salah satu langkah paling umum dalam proses forward adalah menulis ulang pernyataan
dalam bentuk yang berbeda, seperti yang dilakukan dalam memperoleh A4 dan A5. Untuk Proposisi
langkah terakhir dalam proses maju (dan dalam seluruh bukti) adalah menyadari dari
A5 bahwa, jika kuadrat suatu bilangan (yaitu, xÿy) adalah 0, maka bilangan itu sendiri
adalah 0, sehingga diperoleh dengan tepat pernyataan B2 : x y = 0. Buktinya sekarang
selesai karena Anda telah berhasil menggunakan asumsi bahwa A benar untuk
mencapai kesimpulan bahwa B2, dan karenanya B, adalah benar. Langkah dan alasannya
diringkas dalam Tabel 2.1.
Machine Translated by Google
14 BAB 2: METODE MAJU-Mundur
Sangat menarik untuk dicatat bahwa proses maju pada akhirnya menghasilkan
jawaban yang sulit dipahami untuk pertanyaan kunci yang terkait dengan B2, “Bagaimana saya bisa menunjukkann
selisih dua bilangan asli adalah 0?” Dalam hal ini, jawabannya adalah untuk menunjukkan
bahwa kuadrat selisihnya adalah 0 (lihat A5 pada Tabel 2.1).
Secara umum tidak praktis untuk menulis seluruh proses pemikiran yang masuk ke dalam
sebuah bukti, untuk ini membutuhkan terlalu banyak waktu, tenaga, dan ruang. Sebaliknya, sang
versi kental biasanya disajikan dan sering membuat sedikit atau tidak ada referensi
ke proses mundur. Untuk Proposisi 1, bukti yang diringkas mungkin berlaku
sesuatu seperti ini.
Terkadang bukti yang dipadatkan sebagian ke belakang dan sebagian ke depan. Untuk
contoh:
xy/2 = z 2/4, perhatikan bahwa xy/2 adalah luas segitiga dan sama dengan z 2/4
dengan hipotesis, sehingga melengkapi bukti.
Bukti yang ditemukan dalam artikel penelitian sangat padat, memberikan sedikit lebih dari
petunjuk bagaimana melakukan pembuktian. Sebagai contoh:
Machine Translated by Google
2.3 MEMBACA BUKTI 15
2
Perhatikan bahwa kata “karenanya” secara efektif menyembunyikan alasan bahwa (x y) = 0.
Apakah itu alasan manipulasi aljabar (seperti yang kita ketahui) atau sesuatu yang lain?
Dari contoh-contoh ini, Anda dapat melihat bahwa ada beberapa alasan mengapa
membaca bukti ringkas itu sulit:
1. Langkah-langkah pembuktian tidak selalu disajikan dalam urutan yang sama ketika
pembuktian dilakukan (lihat, misalnya, bukti ringkas pertama dari Proposisi 1 yang
diberikan di atas).
Anda harus berusaha menuju kemampuan untuk membaca dan membedah bukti yang kental.
Untuk melakukannya, Anda harus menemukan proses berpikir yang masuk ke dalam
pembuktian, yang dapat Anda lakukan sebagai berikut.
2. Verifikasi semua langkah yang terlibat dengan mengisi rincian yang hilang.
Semakin kental buktinya, semakin sulit proses ini. Ketika seorang penulis menulis,
”
”Mudah untuk melihat bahwa . . .,” atau “Jelas, . . ., Anda dapat berasumsi
akan membutuhkan
bahwa Anda
waktu
cukup lama untuk mengisi detail yang hilang. Dalam buku ini, membaca bukti menjadi
lebih mudah karena di depan setiap bukti yang diringkas adalah analisis bukti yang
menjelaskan teknik, metodologi, dan penalaran yang terlibat dalam melakukan pembuktian.
Saran dan latihan tambahan tentang membaca bukti-bukti yang diringkas diberikan di
seluruh buku ini dan dalam berbagai latihan.
Machine Translated by Google
16 BAB 2: METODE MAJU-Mundur
Ringkasan
Dalam kasus terakhir, sekarang saatnya untuk memulai proses maju, di mana Anda
memperoleh urutan pernyataan dari A yang tentu benar sebagai akibat dari asumsi bahwa
A benar. Ingatlah bahwa tujuan dari proses maju adalah untuk mendapatkan dengan tepat
pernyataan terakhir yang Anda miliki dalam proses mundur, pada saat pembuktian selesai.
Kedua proses ini mudah diingat dengan memikirkan pernyataan B sebagai jarum di
tumpukan jerami. Ketika Anda bekerja maju dari asumsi bahwa A benar, Anda mulai di
suatu tempat di luar tumpukan jerami dan mencoba menemukan jarumnya. Dalam proses
mundur, Anda mulai dari jarum dan mencoba keluar dari tumpukan jerami menuju
pernyataan A (lihat Gambar 2.2).
Cara lain untuk mengingat metode maju-mundur adalah dengan memikirkan labirin di
mana A adalah titik awal dan B adalah titik akhir (lihat Gambar 2.3). Anda mungkin harus
bergantian beberapa kali antara proses maju dan mundur karena kemungkinan ada
beberapa awal yang salah dan jalan buntu.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
Jelaskan bagaimana masing-masing bekerja dan apa yang bisa salah. Bagaimana
kedua proses tersebut saling berhubungan?
2.2 Ketika mengajukan pertanyaan kunci, haruskah Anda melihat pernyataan terakhir
dalam proses maju atau mundur? Saat menjawab pertanyaan kunci, apakah Anda harus
dipandu oleh pernyataan terakhir dalam proses maju atau mundur?
W 2.3 Misalkan Anda mencoba membuktikan bahwa, “Jika L1 dan L2 adalah dua garis
yang bersinggungan dengan titik-titik ujung suatu diameter lingkaran, maka L1 dan L2 adala
Apa, jika ada, yang salah dengan setiap pertanyaan kunci berikut?
sebuah. Bagaimana saya bisa menunjukkan bahwa L1 dan L2 adalah dua garis singgung ke titik akhir
dari diameter lingkaran?
b. Bagaimana saya bisa menunjukkan bahwa dua garis bersinggungan dengan titik
akhir diameter lingkaran?
W 2.4 Pertimbangkan masalah pembuktian bahwa, “Jika x bilangan real, maka nilai maksimum 2 dari
x + 2x + 1 lebih besar dari atau sama dengan 2.” Apa, jika ada, yang
salah dengan setiap pertanyaan kunci berikut?
sebuah. Bagaimana saya bisa menunjukkan bahwa nilai maksimum parabola lebih besar dari
atau sama dengan angka?
b. Bagaimana saya bisa menunjukkan bahwa suatu angka kurang dari atau sama dengan maksimum
nilai polinomial?
c. Bagaimana saya bisa menunjukkan bahwa nilai maksimum fungsi f yang didefinisikan oleh
2 + 2x + 1 lebih besar dari atau sama dengan angka?
f(x) = x
d. Bagaimana saya bisa menunjukkan bahwa suatu bilangan kurang dari atau sama dengan
maksimum fungsi kuadrat?
2.5 Misalkan Anda mencoba membuktikan bahwa, “Jika a, b, dan c adalah bilangan bulat yang a
membagi b dan b membagi c, maka a membagi c.” Apa, jika ada, yang salah dengan setiap
pertanyaan kunci berikut?
c. Bagaimana saya bisa menunjukkan bahwa bilangan bulat membagi bilangan bulat lain?
2.6 Misalkan Anda mencoba membuktikan bahwa, “Jika y = m1x+b1 dan y = m2x+b2 adalah dua
garis sejajar pada sebuah bidang, maka m1 = m2.” Apa, jika ada, yang salah dengan setiap
pertanyaan kunci berikut?
2.7 Misalkan Anda mencoba membuktikan bahwa, “Jika a0, . . ., an adalah n bilangan real yang
diberikan, maka fungsi f(x) = (a0 +a1x +· · ·+anx n) adalah1polinomial.” 2
Apa, jika ada, yang salah dengan setiap pertanyaan kunci berikut?
sebuah. Bagaimana saya bisa menunjukkan bahwa suatu fungsi adalah polinomial?
b. Bagaimana saya bisa menunjukkan bahwa kuadrat suatu fungsi adalah polinomial?
2
R = {bilangan real x : x x 0},
S = {bilangan real x : (x 1)(x 3) 0}, dan
T = {bilangan real x : x 1},
maka R berpotongan dengan S adalah himpunan bagian dari T.” Apa, jika ada, yang salah
dengan setiap pertanyaan kunci berikut?
sebuah. Bagaimana saya bisa menunjukkan bahwa suatu himpunan adalah bagian dari himpunan lain?
b. Bagaimana saya dapat menunjukkan bahwa R berpotongan dengan S adalah himpunan bagian dari T?
c. Bagaimana saya bisa menunjukkan bahwa setiap titik di R memotong S lebih besar dari or
sama dengan 1?
d. Bagaimana saya bisa menunjukkan bahwa perpotongan dua himpunan memiliki titik yang sama
dengan set lain?
W
2.9 Untuk pertanyaan kunci, “Bagaimana saya dapat menunjukkan bahwa bilangan bulat positif
adalah bilangan prima (yaitu, hanya dapat dibagi rata dengan 1 dan dirinya sendiri)?” apa yang
salah dengan jawaban berikut: "Tunjukkan bahwa bilangan bulat itu ganjil."
2.10 Untuk pertanyaan kunci, “Bagaimana saya dapat menunjukkan bahwa dua garis pada
sebuah bidang sejajar?” manakah dari jawaban berikut ini yang salah? Menjelaskan.
b. Tunjukkan bahwa masing-masing dari dua garis sejajar dengan garis ketiga.
c. Tunjukkan bahwa masing-masing dari dua garis tegak lurus terhadap garis ketiga dalam
pesawat terbang.
d. Tunjukkan bahwa garis-garis berada pada sisi yang berlawanan dari segi empat.
2.11 Untuk pertanyaan kunci, “Bagaimana saya dapat menunjukkan bahwa dua bilangan bulat
bukan nol adalah sama?” manakah dari jawaban berikut ini yang salah? Menjelaskan.
b. Tunjukkan bahwa bilangan bulat pertama adalah bilangan bulat kedua dan bilangan bulat
kedua adalah bilangan bulat pertama.
2.12 Bagaimana jawaban Anda untuk latihan sebelumnya berubah jika pertanyaan kuncinya
adalah, “Bagaimana saya dapat menunjukkan bahwa dua bilangan real adalah sama?” (Asumsikan
bahwa kata “bilangan bulat” diubah menjadi “nyata” pada setiap jawaban pada latihan sebelumnya.)
Machine Translated by Google
20 BAB 2: METODE MAJU-Mundur
W 2.13 Buatlah daftar setidaknya dua pertanyaan kunci untuk setiap masalah berikut. Pastikan
pertanyaan Anda tidak mengandung simbol atau notasi dari masalah tertentu.
sebuah. Jika L1 dan L2 adalah garis singgung lingkaran C pada dua titik ujung e1 dan e2 yang
masing-masing berdiameter d, maka L1 dan L2 sejajar.
2.14 Buatlah daftar setidaknya dua pertanyaan kunci untuk setiap masalah berikut. Pastikan
pertanyaan Anda tidak mengandung simbol atau notasi dari masalah tertentu.
sebuah. Jika n bilangan bulat genap, maka2n adalah bilangan bulat genap.
2.15 Buatlah daftar setidaknya dua pertanyaan kunci untuk setiap masalah berikut. Pastikan
pertanyaan Anda tidak mengandung simbol atau notasi dari masalah tertentu.
b. Jika y = m1x + b1 dan y = m2x + b2 adalah persamaan dua garis dimana m1(m2) = 1, maka
kedua garis tersebut tegak lurus.
2.16 Buat daftar setidaknya dua pertanyaan kunci untuk setiap masalah berikut. Pastikan pertanyaan
Anda tidak mengandung simbol atau notasi dari masalah tertentu.
sebuah. Jika RST adalah segitiga sama kaki dengan sisi RS, ST, dan TR, dan SU adalah garis
bagi RT yang tegak lurus, maka RS = ST .
b. Jika R dan T adalah himpunan pada Latihan 2.8, maka R berpotongan dengan T 6= .
W 2.17 Sebutkan setidaknya tiga jawaban untuk setiap pertanyaan kunci berikut.
sebuah. Bagaimana saya bisa menunjukkan bahwa dua bilangan real sama?
W 2.18 Buatlah daftar setidaknya tiga jawaban untuk setiap pertanyaan kunci berikut.
sebuah. Bagaimana cara menunjukkan bahwa dua garis pada bidang sejajar?
2.19 Sebutkan setidaknya dua jawaban untuk setiap pertanyaan kunci berikut.
sebuah. Bagaimana cara menunjukkan bahwa dua garis pada bidang tegak lurus?
2.20 Sebutkan setidaknya dua jawaban untuk setiap pertanyaan kunci berikut.
sebuah. Bagaimana saya bisa menunjukkan bahwa bilangan bulat positif > 1 bukan prima?
b. Bagaimana saya bisa menunjukkan bahwa suatu himpunan adalah bagian dari himpunan lain?
2.21 Sebutkan setidaknya tiga jawaban untuk setiap pertanyaan kunci berikut.
sebuah. Bagaimana saya bisa menunjukkan bahwa bilangan bulat positif lebih kecil dari positif lainnya?
bilangan bulat?
W
2.22 Untuk implikasi berikut, (1) ajukan pertanyaan kunci, (2) jawab pertanyaan secara abstrak, dan (3)
terapkan jawaban Anda pada masalah khusus: “Jika a, b, dan c bilangan real yang a > 0 , b < 0, dan b 4ac =
2
0, maka solusi persamaan ax2 + bx + c = 0 positif.”
W
2.23 Untuk implikasi berikut, (1) ajukan pertanyaan kunci, (2) jawab pertanyaan secara abstrak, dan (3)
terapkan jawaban Anda pada masalah spesifik: “Jika SU adalah garis-bagi tegak lurus RT, dan RS = 2RU,
maka segitiga RST adalah sama sisi (lihat gambar di bawah).
2.24 Untuk implikasi berikut, (1) ajukan pertanyaan kunci, (2) jawab pertanyaan secara abstrak, dan (3)
terapkan jawaban Anda pada masalah spesifik: “Jika a, b, c, d, e, dan f nyata bilangan dengan b 6= 0 dan d
6= 0 dan a/b = c/d, maka kedua garis ax + by = e dan cx + dy = f sejajar.”
2.25 Untuk implikasi berikut, (1) ajukan pertanyaan kunci, (2) jawab pertanyaan secara abstrak, dan (3)
terapkan jawaban Anda pada masalah spesifik: “Jika d
adalah bilangan bulat > 2, maka persamaan x 2 + 3x + d = 0 tidak memiliki solusi nyata.”
W
2.26 Misalkan Anda mencoba membuktikan bahwa, “Jika R adalah himpunan bagian dari S dan S adalah
himpunan bagian dari T, maka R adalah himpunan bagian dari T.” Apa yang salah dengan pernyataan berikut
dalam proses forward: “Karena R adalah himpunan bagian dari T, maka setiap elemen dari R juga merupakan
elemen dari T.”
Machine Translated by Google
22 BAB 2: METODE MAJU-Mundur
2.27 Misalkan Anda mencoba membuktikan bahwa, “Jika R adalah himpunan bagian dari S dan S adalah
himpunan bagian dari T, maka R adalah himpunan bagian dari T”. Apa yang salah dengan berikut in
pernyataan dalam proses maju: “Karena R adalah himpunan bagian dari S, maka
setiap elemen S juga merupakan elemen R.”
W
2.29 Untuk setiap hipotesis berikut, buatlah paling sedikit dua pernyataan yang:
adalah hasil dari penerapan proses maju satu langkah dari hipotesis.
b. Sinus sudut X pada segitiga XYZ pada Gambar 2.1 halaman 9 adalah 1/ 2.
2.30 Untuk setiap hipotesis berikut, buatlah paling sedikit dua pernyataan yang:
adalah hasil dari penerapan proses maju satu langkah dari hipotesis.
W
2.31 Pertimbangkan masalah pembuktian bahwa, “Jika x dan y bilangan real
sedemikian rupa sehingga 2
+ 6 tahun
2
x = 25 dan y 2 + x = 3, maka y = 2.” Dalam bekerja ke depan
dari hipotesis, manakah dari berikut ini yang tidak valid? Menjelaskan.
2 = 3 xa y 2
b. kamu = 25/6 (x/ÿ 6)2 .
c. (3 y
2
)
2 2 25 = 0.
+ 6 tahun d. x + 5 = 6y 2/(x 5).
2 a. c 2= +b2. b. c > b.
nÿ2
c. c > bnÿ2 . d. c n = c 2 cnÿ2 .
Machine Translated by Google
BAB 2: LATIHAN 23
2.33 Jika ada, apa yang salah dengan bukti berikut bahwa, “Jika a, b, dan c
bilangan real dimana b c = a, maka b 2 4ac = b 2a”?
2 2
adalah, b 4ac = (b 2a) menghasilkan . Mengambil akar kuadrat dari kedua
kesimpulan yang diinginkan bahwa b 2
sisi 4ac = b 2a.
W
2.34 Untuk masalah pembuktian bahwa, “Jika n adalah bilangan bulat yang
lebih besar dari 2, a dan b adalah panjang kaki segitiga siku-siku, dan c adalah
n
panjang sisi miring, maka
kalimat
c >dalam
an + bbukti
n,” berikan
ringkaspembenaran
berikut. untuk setiap
W
2.35 Bacalah bukti ringkas berikut ini bahwa, “Jika x dan y adalah bilangan
real nonnegatif yang memenuhi x + y = 0, maka x = 0.” Pertanyaan kunci apa
yang diajukan penulis dan bagaimana pertanyaan itu dijawab?
W
2.36 Pertimbangkan masalah pembuktian bahwa, “Jika x dan y adalah bilangan
real nonnegatif yang memenuhi x + y = 0, maka x = 0 dan y = 0.”
Bukti. Akan ditunjukkan bahwa RU = UT, maka Anda juga memiliki 6 RUS
= 6 T US = 90o dan SU = SU. Untuk itu, perhatikan bahwa RU = UT karena
SU adalah garis-bagi tegak lurus RT, sehingga pembuktiannya lengkap.
2.38 Pertimbangkan bukti ringkas berikut bahwa, "Jika A menyiratkan B" dan "B
menyiratkan C," maka "A menyiratkan C." Tulis analisis yang menunjukkan langkah maju
dan mundur, serta pertanyaan kunci dan jawaban.
W 2.39 Pertimbangkan alfabet yang terdiri dari dua huruf s dan t, bersama dengan aturan
berikut untuk membuat "kata" baru dari yang lama. (Anda dapat menerapkan aturan dalam
urutan apa pun.)
(1) Gandakan kata saat ini (misalnya, sts bisa menjadi stssts).
(2) Hapus tt dari kata saat ini (misalnya, stts bisa menjadi ss).
(3) Ganti sss dalam kata saat ini dengan t (misalnya, stsss bisa menjadi
stt).
(4) Tambahkan huruf t di ujung kanan kata saat ini jika huruf terakhir adalah
s (misalnya, tss bisa menjadi tsst).
sebuah. Gunakan proses maju untuk menurunkan semua kemungkinan kata yang
dapat diperoleh dalam tiga langkah dengan berulang kali menerapkan aturan di
atas dalam urutan apa pun ke kata awal s.
b. Terapkan proses mundur satu langkah pada kata tst. Secara khusus, daftar semua
kata yang penerapan salah satu aturan di atas akan menghasilkan tst.
W 2.40 Buktikan bahwa, jika segitiga siku-siku XYZ pada Gambar 2.1 di halaman 9 adalah
sama kaki, maka luas segitiga adalah z 2/4.
2.41 Buktikan bahwa, jika XYZ adalah segitiga dengan 6 X = 30o, 6 Y = 60o, dan 6 Z = 90o
dan W adalah titik tengah sisi miring, maka garis yang menghubungkan W ke Z membagi
XYZ menjadi segitiga sama sisi dan sebuah segitiga sama kaki.
W 2.42 Buktikan bahwa pernyataan pada Latihan 2.23 benar.
2.43 Buktikan bahwa, jika segitiga RST pada Latihan 2.23 adalah sama sisi dan SU adalah
2
garis-bagi tegak lurus RT, maka luas segitiga RST = 3 RS /4.
Machine Translated by Google
3
Tentang Definisi dan
Matematis
Terminologi
Pada bab sebelumnya Anda telah mempelajari metode maju-mundur dan melihat
pentingnya merumuskan dan menjawab pertanyaan kunci. Salah satu cara paling
sederhana namun paling efektif untuk menjawab pertanyaan kunci adalah melalui
penggunaan definisi, seperti yang dijelaskan dalam bab ini. Anda juga akan
mempelajari beberapa "kosa kata" bahasa matematika.
3.1 DEFINISI
25
Machine Translated by Google
26 BAB 3: TENTANG DEFINISI DAN TERMINOLOGI MATEMATIKA
Definisi 1 Suatu bilangan bulat n membagi bilangan bulat m (ditulis n|m) jika m = kn, untuk
suatu bilangan bulat k.
Definisi 2 Suatu bilangan bulat p > 1 disebut prima jika satu-satunya bilangan bulat positif
yang membagi p adalah 1 dan p.
Definisi 4 Dua pasangan bilangan real berurutan (x1, x2) dan (y1, y2)
adalah sama jika x1 = y1 dan x2 = y2.
Definisi 5 Suatu bilangan bulat n genap jika dan hanya jika sisa pembagian n dengan 2
adalah 0.
Definisi 6 Suatu bilangan bulat n ganjil jika dan hanya jika n = 2k+1 untuk suatu bilangan bulat
Definisi 7 Suatu bilangan real r adalah rasional jika dan hanya jika r dapat dinyatakan
sebagai perbandingan dua bilangan bulat p dan q yang penyebut q bukan 0.
Definisi 8 Dua pernyataan A dan B ekivalen jika dan hanya jika “A menyiratkan B” dan “B
menyiratkan A.”
Definisi 9 Pernyataan A DAN B (ditulis AVB) benar jika dan hanya jika A benar dan B benar.
Definisi 10 Pernyataan A OR B (ditulis AWB) benar dalam semua kasus kecuali jika A
salah dan B salah.
Perhatikan bahwa kata “jika dan hanya jika” digunakan dalam beberapa definisi, tetapi
seringkali, “jika” digunakan sebagai ganti “jika dan hanya jika.” Beberapa istilah, seperti
"set" dan "titik", dibiarkan tidak terdefinisi. Seseorang mungkin dapat mencoba
mendefinisikan himpunan sebagai kumpulan objek, tetapi melakukannya tidak praktis
karena konsep "objek" terlalu kabur; seseorang kemudian akan dituntun untuk
menanyakan definisi "objek", dan seterusnya, dan seterusnya. Isu-isu filosofis semacam
itu berada di luar cakupan buku ini.
Definisi 5. Definisi kedua yang masuk akal untuk bilangan bulat genap adalah “suatu bilangan
bulat yang dapat dinyatakan sebagai 2 kali bilangan bulat lainnya”. Hanya ada satu definisi
untuk konsep tertentu, jadi ketika ada lebih banyak kemungkinan, bagaimana Anda memilih
definisi dan apa yang terjadi pada alternatif lain?
Karena definisi hanyalah sesuatu yang disepakati, salah satu dari alter native dapat
disepakati sebagai definisi. Setelah definisi dipilih, disarankan untuk menetapkan "kesetaraan"
definisi dan alternatifnya.
Untuk kasus bilangan bulat genap, ini dilakukan dengan menggunakan Definisi 5 dan alternatif
untuk membuat pernyataan:
Untuk menetapkan bahwa definisi tersebut ekuivalen dengan alternatif, Anda harus
menunjukkan bahwa “A menyiratkan B” dan “B menyiratkan A” (lihat Definisi 8). Kemudian
Anda akan mengetahui bahwa, jika A benar (yaitu, n adalah bilangan bulat yang sisa
pembagiannya dengan 2 adalah 0), maka B benar (yaitu, n adalah bilangan bulat yang dapat
dinyatakan sebagai 2 kali bilangan bulat lainnya ). Apalagi jika B benar maka A juga benar.
Pernyataan bahwa A ekuivalen dengan B sering ditulis “A benar jika dan hanya jika B
benar”, atau, “A jika dan hanya jika B”. Dalam notasi matematika, seseorang akan menulis “A
iff B” atau “A B.” Kapan pun Anda perlu menunjukkan bahwa "A jika dan hanya jika B", Anda
harus menunjukkan bahwa "A menyiratkan B" dan "B menyiratkan A."
Hal ini berguna untuk menetapkan bahwa definisi setara dengan alternatif. Untuk mengetahui
alasannya, misalkan dalam beberapa bukti Anda memperoleh pertanyaan kunci, “Bagaimana
saya dapat menunjukkan bahwa suatu bilangan bulat adalah genap?” Sebagai hasil dari
memperoleh kesetaraan dari dua konsep, Anda sekarang memiliki dua kemungkinan jawaban.
Satu diperoleh dari definisi: tunjukkan bahwa sisa pembagian bilangan bulat dengan 2 adalah
0; jawaban kedua berasal dari alternatif: tunjukkan bahwa bilangan bulat dapat dinyatakan
sebagai 2 kali bilangan bulat lainnya. Demikian pula, dalam proses maju, jika Anda tahu bahwa
n adalah bilangan bulat genap, maka Anda akan memiliki dua kemungkinan pernyataan yang
benar sebagai akibat dari ini — definisi asli dan alternatifnya. Sementara kemampuan untuk
menjawab pertanyaan kunci (atau untuk bekerja ke depan) di lebih dari satu cara dapat menjadi
penghalang, seperti yang terjadi pada bukti Proposisi 1, itu juga dapat menguntungkan, seperti
yang ditunjukkan sekarang.
Proposisi 2 Jika n bilangan bulat genap, maka n 2 adalah bilangan bulat genap.
Analisis Bukti. Dari metode maju-mundur, Anda diarahkan ke pertanyaan kunci, “Bagaimana
2
saya dapat menunjukkan bahwa suatu bilangan bulat (yaitu, n Memilih alternatif dari
) genap?”
definisi,
Anda dapat menjawab pertanyaan ini dengan menunjukkan bahwa
Satu-satunya pertanyaan adalah, bilangan bulat yang mana? Jawabannya adalah dari proses forward.
Machine Translated by Google
28 BAB 3: TENTANG DEFINISI DAN TERMINOLOGI MATEMATIKA
Karena n adalah bilangan bulat genap, dengan menggunakan alternatif, n dapat dinyatakan sebaga
2 kali bilangan bulat, katakanlah k; itu adalah,
A1: n = 2k.
Jadi, telah ditunjukkan bahwa n adalah 2 2kali bilangan bulat lain, yang lain (lihat A2), dan ini
integer menjadi 2k 2
melengkapi pembuktian. Anda juga bisa
membuktikan proposisi ini dengan menggunakan Definisi 5, tetapi lebih sulit seperti itu.
Bukti Proposisi 2. Karena n adalah bilangan bulat genap, ada bilangan bulat k = (2k) ), sehingga
2 2 2
n untuk n ==2k.
2(2kAkibatnya, n adalah2 bilangan
bulat genap.
Definisi adalah salah satu metode umum untuk bekerja ke depan dan untuk menjawab
pertanyaan kunci. Semakin banyak pernyataan yang dapat Anda tunjukkan setara dengan
definisi, semakin banyak amunisi yang Anda miliki untuk proses maju dan mundur; namun,
sejumlah besar pernyataan yang setara juga dapat menyulitkan untuk mengetahui dengan tepat
mana yang harus digunakan.
Masalah Notasi
Kesulitan notasi terkadang muncul ketika menggunakan definisi dalam proses maju dan
mundur. Ini terjadi ketika definisi menggunakan satu set simbol dan notasi sementara masalah
spesifik yang sedang dipertimbangkan menggunakan set simbol dan notasi kedua. Ketika
kedua rangkaian simbol ini benar-benar berbeda satu sama lain, umumnya tidak ada
kebingungan yang muncul; namun, kehati-hatian diperlukan ketika kedua himpunan ini
melibatkan notasi yang tumpang tindih—yaitu, ketika simbol yang sama digunakan di kedua
himpunan.
Sebagai ilustrasi, ingat kembali Definisi 1:
Pertanyaan kunci yang terkait dengan B adalah, “Bagaimana saya dapat menunjukkan bahwa
satu bilangan bulat (yaitu, p) membagi bilangan bulat lainnya (yaitu, q)?” Karena simbol p dan
q di B berbeda dari yang ada di definisi, Anda tidak akan kesulitan menggunakan definisi untuk
mendapatkan jawaban berikut untuk pertanyaan kunci:
Amati bahwa B1 diperoleh dengan mencocokkan notasi pada Definisi 1 dengan notasi pada B.
Artinya, simbol p pada B “dicocokkan” dengan simbol
Machine Translated by Google
3.1 DEFINISI 29
n dalam definisi; simbol q di B adalah "cocok" dengan simbol m dalam definisi. B1 kemudian
diperoleh dengan mengganti n di mana-mana dalam definisi dengan p dan m di mana-mana dengan
q.
Proses mencocokkan notasi saat menggunakan definisi ini mirip dengan proses yang Anda
lihat saat bekerja dengan fungsi. Sebagai ilustrasi, misalkan f adalah fungsi dari satu variabel yang
didefinisikan oleh f(x) = x(x + 1). Untuk menulis f(a + b), Anda “mencocokkan” x dengan a + b; yaitu,
Anda mengganti x di mana-mana dengan a + b untuk mendapatkan f(a + b) = (a + b)(a + b + 1).
Untuk melihat bagaimana kesulitan notasi muncul saat menggunakan definisi, misalkan
pernyataan terakhir dalam proses mundur dari masalah yang sedang Anda kerjakan adalah:
Sekali lagi, pertanyaan kunci yang terkait dengan B2 adalah, “Bagaimana saya bisa menunjukkan
bahwa satu bilangan bulat (yaitu, k) membagi bilangan bulat lainnya (yaitu, n)?” Kesulitan dalam
menerapkan Definisi 1 untuk menjawab pertanyaan ini muncul karena notasi yang tumpang tindih—
simbol k dan n muncul baik dalam B2 maupun dalam Definisi 1 sebelumnya, tetapi simbol-simbol
tersebut digunakan secara berbeda dalam setiap kasus. Amati bagaimana notasi yang tumpang
tindih ini menyulitkan untuk mencocokkan notasi di B2 dengan notasi dalam definisi.
Saat terjadi tumpang tindih notasi, Anda dapat menghindari kesalahan notasi dengan terlebih
dahulu menulis ulang definisi menggunakan kumpulan simbol baru yang tidak tumpang tindih
dengan masalah tertentu yang sedang dipertimbangkan. Kemudian ketika Anda menerapkan definisi
untuk masalah tertentu, pencocokan notasi akan menjadi jelas. Untuk contoh di atas, Anda dapat
menulis ulang definisi menggunakan simbol a, b, dan c sebagai berikut sehingga definisi tidak
mengandung notasi yang tumpang tindih dengan B2:
Definisi 1. Suatu bilangan bulat a membagi bilangan bulat b (ditulis a|b) jika b =
ca, untuk suatu bilangan bulat c.
Sekarang ketika Anda menerapkan definisi di atas dengan simbol-simbol baru untuk menjawab
pertanyaan kunci yang terkait dengan B2, “Bagaimana saya dapat menunjukkan bahwa satu
bilangan bulat (yaitu, k) membagi bilangan bulat lainnya (yaitu, n)?” Anda tidak akan kesulitan
mencocokkan notasi dengan benar (mencocokkan k ke a dan n ke b) untuk mendapatkan jawaban
berikut:
Dengan latihan, Anda akan menemukan bahwa sebenarnya tidak perlu menulis ulang definisi.
Ini karena Anda akan dapat mencocokkan notasi dengan benar meskipun ada notasi yang tumpang
tindih. Sampai Anda mencapai titik itu, bagaimanapun, disarankan untuk menulis ulang definisi.
Sangat penting untuk mempelajari bagaimana menerapkan definisi dengan benar dalam proses
maju dan mundur karena, jika Anda membuat kesalahan, sisa buktinya salah.
Machine Translated by Google
30 BAB 3: TENTANG DEFINISI DAN TERMINOLOGI MATEMATIKA
Sama seperti Anda dapat menggunakan definisi dalam proses maju dan mundur, Anda juga dapat
menggunakan pengetahuan sebelumnya dalam bentuk implikasi yang telah terbukti sebelumnya,
seperti yang ditunjukkan sekarang.
Proposisi 3 Jika segitiga siku-siku RST dengan panjang sisi r dan s dan sisi miring dengan
panjang t memenuhi t = 2rs, maka segitiga RST adalah segitiga sama kaki (lihat Gambar 3.1).
Analisis Bukti. Metode maju-mundur memunculkan pertanyaan kunci, "Bagaimana saya bisa
menunjukkan bahwa segitiga (yaitu, RST) adalah sama kaki?" Satu jawaban adalah
menggunakan Definisi 3, tetapi jawaban kedua diberikan oleh kesimpulan dari Proposisi 1,
yang menyatakan bahwa segitiga XYZ adalah sama kaki (lihat halaman 9).
Mungkin segitiga RST saat ini juga sama kaki karena alasan yang sama dengan segitiga XYZ.
Untuk mengetahuinya, perlu dilihat apakah RST juga memenuhi hipotesis Proposisi 1, seperti
halnya segitiga XYZ, karena kemudian RST juga akan memenuhi kesimpulan, dan karenanya
sama kaki.
Dalam memverifikasi hipotesis Proposisi 1 untuk segitiga RST, pertama-tama perlu untuk
mencocokkan notasi saat ini dengan Proposisi 1 (seperti yang dilakukan ketika menerapkan
definisi). Dalam hal ini, panjang yang sesuai adalah x = r, y = s, dan z = t. Jadi, untuk memeriksa
hipotesis Proposisi 1 untuk masalah saat ini, Anda harus menunjukkan bahwa
atau ekuivalen, karena luas segitiga RST adalah rs/2, Anda harus menunjukkan bahwa
2
B2: rs/2 = t /4.
Fakta bahwa rs/2 = t 2/4 ditetapkan dengan bekerja ke depan dari hipotesis saat ini
bahwa
A: t = 2rs.
Untuk lebih spesifiknya, dengan mengkuadratkan kedua sisi persamaan di A dan membaginya
dengan 4, Anda memperoleh kesimpulan yang diinginkan bahwa
2
A1: rs/2 = t /4.
Bukti Proposisi 3. Dengan hipotesis, t = 2rs, jadi t = 2rs, atau setara, t 2/4 =2rs/2. Jadi
luas segitiga siku-siku RST = t 2/4.
Dengan demikian, hipotesis, dan karenanya kesimpulan, dari Proposisi 1 adalah benar.
Akibatnya, segitiga RST adalah sama kaki.
Dari contoh di atas Anda dapat melihat bahwa, untuk menggunakan pengetahuan
sebelumnya dalam proses mundur untuk membuktikan bahwa "A menyiratkan B"
benar, Anda harus mencari proposisi yang telah terbukti sebelumnya dari bentuk "C
menyiratkan B" (yaitu, proposisi dengan kesimpulan yang sama dengan proposisi saat
ini, kecuali untuk notasi) dan kemudian:
Tentu saja untuk melengkapi bukti bahwa “A menyiratkan B” benar, Anda masih harus
bekerja maju dari C untuk menunjukkan bahwa B benar. Memang, waktu untuk
menggunakan pengetahuan sebelumnya bahwa "A menyiratkan C" adalah benar adalah
ketika dimungkinkan untuk bekerja maju dari C ke B. Lebih khusus lagi, ketika mencoba
membuktikan bahwa "A menyiratkan B" benar, cari proposisi yang telah terbukti
sebelumnya dari bentuk "A menyiratkan C" (yaitu, proposisi dengan hipotesis yang
sama dengan proposisi saat ini), yang memungkinkan untuk bekerja maju dari C untuk samp
Teknik maju menggunakan pengetahuan sebelumnya ini muncul dalam pembuktian
Proposisi 1 pada Bab 2. Secara khusus, mengingat kembali hipotesis Proposisi 1 pada
halaman 9 bahwa XY Z adalah segitiga siku-siku, yang memungkinkan untuk
menggunakan pengetahuan sebelumnya berikut :
Teorema Pythagoras: Jika ABC adalah segitiga siku-siku dengan panjang sisi a dan b
2 +b2 2=c .
dan sisi miring dengan panjang c, maka a
A2: x 2 2 2=z .
+ kamu
2. Tulis, sebagai pernyataan baru dalam proses maju, kesimpulan dari proposisi
sebelumnya dengan menggunakan notasi proposisi saat ini (yaitu, tulis
pernyataan maju bahwa C benar).
Dalam berurusan dengan pembuktian, ada empat istilah yang akan sering Anda temui:
proposisi, teorema, lemma, dan akibat wajar. Proposisi adalah pernyataan yang benar dari
Machine Translated by Google
3.3 TERMINOLOGI MATEMATIKA 33
“B menyiratkan A” BA berbicara
bunga yang Anda coba buktikan. Beberapa proposisi secara subjektif dianggap sangat
penting, dan ini disebut sebagai teorema.
Ketika bukti teorema panjang, buktinya seringkali lebih mudah dikomunikasikan dalam
bentuk "potongan". Misalnya, ketika membuktikan pernyataan “A menyiratkan B,” mungkin
lebih mudah untuk menunjukkan bahwa “A menyiratkan C,” kemudian “C menyiratkan D,”
dan akhirnya “D menyiratkan B.” Masing-masing proposisi pendukung ini akan disajikan
secara terpisah dan disebut sebagai lemma. Dengan kata lain, lemma adalah proposisi awal
yang digunakan dalam pembuktian teorema. Begitu sebuah teorema terbukti, seringkali
proposisi-proposisi tertentu segera mengikuti karena mengetahui bahwa teorema itu benar.
Ini disebut akibat wajar.
Seperti halnya ada konsep matematika tertentu yang diterima tanpa definisi formal,
demikian pula pernyataan tertentu diterima tanpa bukti formal.
Pernyataan yang tidak terbukti ini disebut aksioma. Salah satu contoh aksioma adalah, "jarak
terpendek antara dua titik adalah garis lurus." Diskusi lebih lanjut tentang aksioma disajikan
dalam Bab 18.
Terkait dengan pernyataan A adalah pernyataan NOT A (kadang-kadang ditulis A atau A).
Pernyataan NOT A benar jika A salah, dan sebaliknya.
Lebih banyak dikatakan tentang BUKAN dari sebuah pernyataan di Bab 8.
Diberikan dua pernyataan A dan B, Anda telah mempelajari arti dari pernyataan “A
menyiratkan B.” Ada cara lain untuk mengatakan pernyataan "A menyiratkan B," misalnya:
2. B mengikuti dari A.
3. B adalah konsekuensi pasti dari A (artinya jika A benar, B juga pasti benar.)
4. A cukup untuk B (artinya, jika Anda ingin B benar, itu sudah cukup
untuk mengetahui bahwa A benar.)
5. A hanya jika B.
Tiga pernyataan lain yang berkaitan erat dengan “A menyiratkan B” adalah pernyataan
kontrapositif, pernyataan kebalikan, dan pernyataan invers,
Machine Translated by Google
34 BAB 3: TENTANG DEFINISI DAN TERMINOLOGI MATEMATIKA
seperti yang diberikan pada Tabel 3.1. Anda dapat menggunakan Tabel 1.1 untuk menentukan kapan masing-masing
tiga pernyataan benar. Misalnya, pernyataan kontrapositif, “TIDAK B
menyiratkan NOT A,” benar dalam semua kasus kecuali ketika pernyataan di sebelah kiri
dari kata "menyiratkan" (yaitu, BUKAN B) adalah benar dan pernyataan untuk
kanan kata "menyiratkan" (yaitu, NOT A) salah. Dengan kata lain,
pernyataan kontrapositif benar dalam semua kasus kecuali jika B salah dan A adalah
benar, yang persis sama dengan ketika pernyataan "A menyiratkan B" benar
(lihat Tabel 3.2). Artinya, pernyataan "A menyiratkan B" secara logis setara
dengan pernyataan kontrapositif "TIDAK B menyiratkan BUKAN A."
Perhatikan dari Tabel 3.2 bahwa pernyataan “TIDAK B menyiratkan BUKAN A” adalah benar
di bawah kondisi yang sama seperti "A menyiratkan B," yaitu, dalam semua kasus kecuali ketika
A benar dan B salah. Pengamatan ini memunculkan teknik pembuktian baru
dikenal sebagai metode kontrapositif yang dijelaskan dalam Bab 10. Dalam
latihan, Anda diminta untuk menurunkan tabel kebenaran yang mirip dengan Tabel 3.2 untuk
pernyataan konvers dan invers.
Ringkasan
Anda sekarang telah belajar bagaimana definisi dan pengetahuan sebelumnya digunakan dalam
metode maju-mundur. Sebuah definisi digunakan dalam proses mundur untuk
menjawab pertanyaan kunci dan dalam proses maju untuk memperoleh pernyataan baru.
Untuk menggunakan definisi, Anda harus mencocokkan notasi arus dengan benar
proposisi dengan definisi. Jika ada notasi yang tumpang tindih antara
keduanya, maka Anda harus menulis ulang definisi menggunakan serangkaian simbol yang melakukann
tidak tumpang tindih dengan proposisi saat ini.
Untuk menggunakan pengetahuan sebelumnya selama proses mundur untuk membuktikan bahwa
"A menyiratkan B" benar, cari proposisi bentuk yang terbukti sebelumnya
"C menyiratkan B" (yaitu, proposisi dengan kesimpulan yang sama dengan arus
proposisi, kecuali untuk notasi) dan kemudian:
Sebaliknya, untuk menggunakan pengetahuan sebelumnya dalam proses maju untuk membuktikan bahw
"A menyiratkan B" benar, cari proposisi bentuk yang terbukti sebelumnya
"A menyiratkan C" (yaitu, proposisi dengan hipotesis yang sama dengan proposisi saat
ini, kecuali untuk notasi) dan kemudian:
2. Tulis, sebagai pernyataan baru dalam proses maju, kesimpulan dari proposisi
sebelumnya dengan menggunakan notasi proposisi saat ini (yaitu, tulis pernyataan
maju bahwa C benar).
3. Lengkapi bukti bahwa "A menyiratkan B" dengan bekerja maju dari C dan mundur
dari B, yaitu, buktikan bahwa "C menyiratkan B."
Anda juga telah mempelajari banyak istilah yang digunakan dalam bahasa matematika:
aksioma adalah pernyataan yang diterima sebagai kebenaran tanpa harus memberikan
bukti; proposisi adalah pernyataan benar yang Anda coba buktikan; teorema adalah
proposisi penting; lemma adalah proposisi awal yang digunakan dalam pembuktian
teorema; dan akibat wajar adalah proposisi yang mengikuti teorema.
Sekarang saatnya mempelajari lebih banyak teknik pembuktian untuk membuktikan proposis
teorema, akibat wajar, dan lemma.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W 3.1 Untuk setiap kesimpulan berikut, ajukan pertanyaan kunci. Kemudian gunakan definisi
(1) untuk menjawab pertanyaan secara abstrak dan (2) untuk menerapkan jawaban pada
masalah tertentu.
2
sebuah. Jika n bilangan bulat ganjil, maka nadalah bilangan bulat ganjil.
c. Misalkan a, b, c, d, e, dan f adalah bilangan real dengan sifat ad bc 6= 0. Jika (x1, y1) dan (x2, y2)
adalah pasangan bilangan real yang memenuhi:
3.2 Untuk setiap kesimpulan berikut, ajukan pertanyaan kunci. Kemudian gunakan definisi (1)
untuk menjawab pertanyaan secara abstrak dan (2) untuk menerapkan jawaban pada masalah
tertentu.
b. Jika n adalah bilangan bulat > 1 dimana 2n 1 adalah prima, maka n adalah prima.
3.3 Untuk setiap pernyataan berikut, dapatkan pernyataan baru dalam proses mundur dengan
menggunakan definisi untuk menjawab pertanyaan kunci. Jika perlu, tulis ulang definisinya
sehingga tidak terjadi notasi yang tumpang tindih.
c. Segitiga ABC adalah segitiga sama sisi. d. n adalah rasional (n adalah bilangan bulat).
W 3.4 Untuk setiap hipotesis berikut, gunakan definisi untuk maju satu langkah.
2
sebuah. Jika n bilangan bulat ganjil, maka nadalah bilangan bulat ganjil.
c. Jika segitiga siku-siku XYZ pada Gambar 2.1 pada halaman 9 memenuhi sifat sin(X) =
cos(X), maka segitiga XYZ adalah segitiga sama kaki.
d. Jika a, b, dan c adalah bilangan bulat dengan a|b dan b|c, maka a|c.
3.5 Gunakan definisi untuk bekerja maju dari setiap pernyataan berikut.
c. Untuk fungsi f dan g, fungsi f + g adalah cembung, di mana f + g adalah fungsi yang nilainya
di sembarang titik x adalah f(x) + g(x). (Lihat definisi fungsi cembung di glosarium.)
b. Kebalikan dari "A menyiratkan B." Bagaimana hubungan (a) dan (b)?
Machine Translated by Google
BAB 3: LATIHAN 37
W
3.7 Tulis tabel kebenaran untuk pernyataan berikut.
sebuah. A ATAU B
b. (BUKAN A) ATAU B. Bagaimana ini terkait dengan kebenaran "A menyiratkan B"?
W
3.9 Tulislah pernyataan yang ditunjukkan untuk setiap masalah berikut.
2
b. Kebalikan dari proposisi, “Jika r adalah bilangan real sehingga r = 2,
maka r tidak rasional.”
c. Kebalikan dari proposisi, “Jika segi empat ABCD adalah suatu jajar genjang dengan
satu sudut siku-siku, maka ABCD adalah persegi panjang.”
sebuah. Kebalikan dari proposisi, “Jika a, b, dan c adalah bilangan bulat yang
a|b dan b|c, lalu a|c.”
W 3.11 Buktikan bahwa jika "A menyiratkan B" dan "B menyiratkan C", maka "A menyiratkan C."
3.12 Misalkan Anda telah membuktikan bahwa "C menyiratkan D." Menggunakan hasil
dalam Latihan 3.11, implikasi tunggal apa yang melibatkan pernyataan baru E akan?
Anda harus membuktikan untuk menunjukkan bahwa setiap pernyataan berikut adalah
BENAR?
3.13 Gunakan Latihan 3.11 untuk membuktikan bahwa jika “A menyiratkan B,” “B menyiratkan C,” d
"C menyiratkan A," maka A setara dengan B dan A setara dengan C.
W
3.14 Pertimbangkan definisi dalam bentuk pernyataan A, bersama dengan tiga
definisi alternatif yang mungkin, katakanlah B, C, dan D. Misalkan Anda ingin membuktikan
bahwa A ekuivalen dengan masing-masing dari tiga alternatif.
sebuah. Jelaskan mengapa Anda dapat melakukannya dengan membuktikan bahwa "A menyiratkan B," "B menyiratkan
"C menyiratkan D," dan "D menyiratkan A".
Machine Translated by Google
38 BAB 3: TENTANG DEFINISI DAN TERMINOLOGI MATEMATIKA
3.15 Misalkan Anda ingin membuktikan bahwa, “Jika segitiga siku-siku ABC dengan
panjang sisi a dan b dan sisi miring dengan panjang c memiliki luas c 2/4, maka
segitiga ABC sama kaki.” Bagaimana Anda dapat melakukannya dengan menggunakan
Proposisi 3 pada halaman 30; yaitu, apa yang harus Anda buktikan untuk melakukannya?
3.16 Misalkan Anda ingin membuktikan bahwa, “Jika segitiga siku-siku ABC dengan
panjang sisi a dan b dan sisi miring dengan panjang c memenuhi c = 2ab, maka sudut
A adalah 45o .” Tulis pernyataan maju yang diperoleh dengan menggunakan Proposisi
3 pada halaman 30.
c. Apa perbedaan dalam cara pengetahuan sebelumnya digunakan pada bagian (a)
dan bagian (b)?
W 3.18 Jelaskan di mana dan bagaimana Proposisi 3 pada halaman 30 digunakan dalam
bukti ringkas berikut bahwa, “Jika segitiga siku-siku UV W dengan panjang sisi u dan
v dan sisi miring dengan panjang w memenuhi sin(U) = pu/2v, maka segitiga
UV W sama kaki.”
Bukti. Diketahui bahwa sin(U) = pu/2v dan dari definisi sinus, sin(U)
= u/w, sehingga diperoleh pu/2v = u/w. Dengan manipulasi aljabar
diperoleh w = 2uv dan karenanya segitiga siku-siku UV W adalah sama
kaki.
W 3.20 Tulislah analisis pembuktian yang sesuai dengan pembuktian ringkas berikut dari
proposisi, “Jika segitiga siku-siku UV W dengan panjang sisi u dan v dan sisi miring
dengan panjang w memenuhi sin(U) = pu/2v, maka segitiga UV W adalah sama kaki.”
Isi rincian langkah-langkah yang hilang.
Machine Translated by Google
BAB 3: LATIHAN 39
Bukti. Akan ditunjukkan bahwa w = 2uv, untuk itu, dengan posisi Propo
3 pada halaman 30, segitiga siku-siku UV W akan sama kaki.
Untuk itu, dengan hipotesis, sin(U) = pu/2v dan, dari definisi sinus, sin(U)
= u/w. Jadi, pu/2v = u/b. Dengan aljabar, Anda memiliki w = 2uv dan
buktinya lengkap.
3.21 Jelaskan di mana dan bagaimana pengetahuan sebelumnya dari suatu proposisi
dalam bab ini digunakan dalam setiap bukti ringkas berikut bahwa, “Jika m dan n adalah
2
bilangan bulat genap, maka (m + n) adalah bilangan bulat genap.”
sebuah. Bukti. Karena m dan n adalah bilangan bulat genap, ada bilangan bulat p dan
q dimana m = 2p dan n = 2q. Tapi kemudian m + n = 2p + 2q = 2(p + q).
Ini berarti bahwa m + n genap dan, dengan demikian, (m + n) 2 juga genap.
b. Bukti. Karena m dan n adalah bilangan bulat genap, maka m2 dan n juga genap. 2 adalah
Jadi, ada bilangan bulat p dan q yang m2 = 2p dan n = 2q. = 2p + 2mn + 2q = 22(p +
2 = m2 + 2mn + n 2
Jadi, (m + n) mn + q)
2 genap.
dan seterusnya (m + n)
W 3.22 Buktikan bahwa jika n bilangan bulat ganjil, maka n 2 adalah bilangan bulat ganjil.
3.23 Gunakan proposisi pada Latihan 3.22 untuk membuktikan bahwa jika a dan b adalah
bilangan bulat berurutan, maka (a +2b)adalah bilangan bulat ganjil.
3.24 Gunakan Proposisi 2 pada halaman 27 untuk membuktikan bahwa jika a dan b
bilangan bulat2ganjil, maka (a + b) bilangan genap.
3.25 Misalkan Anda telah membuktikan proposisi bahwa, “Jika a dan b bilangan real
nonnegatif, maka (a + b)/2 ab.”
sebuah. Jelaskan bagaimana Anda dapat menggunakan proposisi ini untuk membuktikan
bahwa jika a dan b adalah bilangan real yang memenuhi sifat b 2|a|, maka b ÿ2.
b 2 4a
Hati-hati bagaimana Anda mencocokkan notasi.
b. Gunakan proposisi di atas dan bagian (a) untuk membuktikan bahwa jika a dan b
bilangan real dengan a < 0 dan b 2|a|, maka salah satu akar persamaan ax2 + bx + a
= 0 adalah ÿb /sebuah.
W 3.26 Gunakan definisi segitiga sama kaki untuk membuktikan bahwa, jika segitiga siku-siku
UV W dengan panjang sisi u dan v dan panjang sisi miring w memenuhi sin(U) = pu/2v,
maka segitiga UV W adalah segitiga sama kaki.
ÿ3.27 Gunakan Proposisi 1 pada halaman 9 untuk membuktikan bahwa, jika segitiga siku-
siku UV W dengan panjang sisi u dan v dan panjang sisi miring w memenuhi sifat sin(U) =
pu/2v, maka segitiga UV W sama kaki .
Machine Translated by Google
Machine Translated by Google
4
Kuantifier I:
Metode Konstruksi
Dalam Bab 3, Anda melihat bahwa definisi sering digunakan untuk menjawab
pertanyaan kunci dan untuk bekerja ke depan. Empat bab berikutnya memberikan
beberapa teknik lain untuk melakukannya yang muncul ketika A atau B memiliki bentuk khu
Dua bentuk pernyataan tertentu muncul berulang kali di semua cabang
matematika. Mereka selalu diidentifikasi dengan kata kunci tertentu.
Yang pertama memiliki kata-kata ada (ada, ada); yang kedua memiliki untuk
semua (untuk masing-masing, untuk setiap, untuk apa saja). Kedua kelompok
kata ini secara kolektif disebut sebagai quantifiers, dan masing-masing
memunculkan teknik pembuktiannya sendiri. Sisa dari bab ini berhubungan
dengan kuan tifier eksistensial “ada”. Kuantifier universal "untuk semua"
dibahas dalam bab berikutnya.
Contoh lain seperti itu muncul dari definisi alternatif bilangan bulat genap,
yaitu bilangan bulat yang dapat dinyatakan sebagai 2 kali bilangan bulat.
41
Machine Translated by Google
42 BAB 4: QUANTIFIER I: METODE KONSTRUKSI
Definisi 5. Suatu bilangan bulat n genap jika dan hanya jika ada
bilangan bulat k sehingga n = 2k.
Saat menulis pernyataan seperti itu, berhati-hatilah untuk memasukkan quantifier eksistensial
Misalnya, jika Anda tahu bahwa bilangan bulat n genap, maka Anda tidak boleh menulis n
= 2k karena simbol k tidak terdefinisi. Sebagai gantinya, Anda harus menulis pernyataan
lengkap berikut yang menyertakan kuantifier eksistensial:
Definisi 11 Suatu bilangan bulat n adalah bujur sangkar jika dan hanya jika ada bilangan
bulat k sehingga n2=. k
Perhatikan bahwa jika bilangan bulat bukan nol n (misalnya, n = 9) adalah bujur sangkar,
2
maka ada dua nilai k yang memenuhi n = k (dalam hal ini, k = 3dalam
dikatakan atau 3).
BabLebih banyak
11 tentang
masalah keunikan—yaitu, keberadaan hanya satu objek semacam itu.
Ada banyak contoh lain di mana kuantor eksistensial digunakan tetapi, dari contoh di
atas, Anda dapat melihat bahwa pernyataan seperti itu selalu memiliki struktur dasar yang
sama. Setiap kali quantifier “ada”, “ada”, atau “ada” muncul, pernyataan tersebut akan
memiliki bentuk standar berikut:
Kata-kata dalam tanda kutip tergantung pada pernyataan tertentu yang sedang
dipertimbangkan. Anda harus belajar membaca, mengidentifikasi, dan menulis masing-
masing dari ketiga komponen tersebut. Perhatikan contoh berikut.
Saat Anda mengidentifikasi objek, pastikan untuk menentukan jenisnya, yang dapat
berupa bilangan bulat, bilangan real, fungsi, atau elemen dari suatu himpunan, misalnya.
Untuk melihat mengapa ini penting, pertimbangkan apakah pernyataan berikut ini benar.
Objek dalam pernyataan A sebelumnya adalah bilangan x; Namun, perhatikan bahwa jika
x adalah bilangan real, maka A benar, sedangkan jika bilangan tersebut bilangan bulat, maka A
Machine Translated by Google
4.2 CARA MENGGUNAKAN METODE KONSTRUKSI 43
adalah palsu. Contoh ini menunjukkan mengapa penting untuk mengidentifikasi dengan
jelas jenis objek.
Matematikawan sering menggunakan simbol untuk menyingkat kata “ada” (“ada”,
dan seterusnya) dan simbol untuk kata “sehingga” (“untuk yang”, dan seterusnya).
Penggunaan simbol diilustrasikan pada contoh berikut.
3. sudut t cos(t) = t.
Objek: sudut t (yang merupakan bilangan real).
Properti tertentu: tidak ada (mungkin tidak ada properti tertentu).
Sesuatu terjadi: cos(t) = t.
Perhatikan bahwa kata-kata "sehingga" (atau kata-kata yang setara seperti "untuk
yang") selalu mendahului sesuatu yang terjadi. Latihan diperlukan untuk menjadi fasih
membaca dan menulis pernyataan-pernyataan ini.
Ketika membuktikan bahwa "A menyiratkan B" benar, misalkan Anda memperoleh
pernyataan dalam proses maju yang memiliki kuantifier "ada" dalam bentuk standar:
Dengan demikian, Anda dapat berasumsi bahwa ada objek seperti itu, katakanlah, X.
Objek X ini bersama dengan properti tertentunya dan sesuatu yang terjadi akan
membantu Anda mencapai kesimpulan bahwa B benar. Teknik bekerja dengan objek
seperti itu dalam proses maju sangat mudah dan oleh karena itu tidak diberi nama
khusus.
Sebaliknya, jika Anda menemukan kata kunci "ada" selama mundur
proses, maka Anda harus menunjukkan bahwa
Salah satu caranya adalah dengan menggunakan metode konstruksi. Idenya adalah
untuk membangun (menebak, memproduksi, merancang algoritma untuk menghasilkan,
dan sebagainya) objek yang diinginkan. Objek yang dibangun kemudian menjadi
pernyataan baru dalam proses maju. Namun, Anda harus menyadari bahwa konstruksi
objek tidak dengan sendirinya merupakan bukti. Sebaliknya, buktinya selesai ketika
Anda telah menunjukkan bahwa objek yang Anda buat sebenarnya adalah objek yang
benar; yaitu bahwa benda tersebut memiliki sifat tertentu dan memenuhi sesuatu yang
terjadi, yang menjadi pernyataan selanjutnya dalam proses mundur.
Bagaimana Anda benar-benar membangun objek yang diinginkan sama sekali tidak
jelas. Kadang-kadang dengan trial and error; terkadang sebuah algoritma dirancang
untuk menghasilkan objek yang diinginkan—semuanya tergantung pada masalah
tertentu. Meskipun tidak ada aturan tetap untuk membuat objek, berikut adalah dua
panduan yang mungkin berguna bagi Anda:
Machine Translated by Google
44 BAB 4: QUANTIFIER I: METODE KONSTRUKSI
2. Gunakan properti yang Anda inginkan untuk memuaskan objek untuk melihat apakah Anda dapat menguasainya
struct objek dengan properti tersebut.
Analisis Bukti. Saat memulai proses mundur, Anda harus mengenali bahwa
pernyataan B memiliki bentuk yang dibahas di atas, meskipun quantifier "ada"
tidak muncul secara eksplisit. Untuk melihat bahwa demikian, tulis ulang
pernyataan B sebagai berikut untuk memuat quantifier secara eksplisit:
Sisa dari bukti ini terdiri dari bekerja maju dari A1 menggunakan aljabar untuk
menunjukkan bahwa B1 benar. Detailnya jelas dan dihilangkan.
Machine Translated by Google
4.3 MEMBACA BUKTI 45
ax + by = e (4.1)
cx + dy = f. (4.2)
Saat mengalikan (4.1) dengan d dan (4.2) dengan b dan kemudian mengurangkan (4.2) dari (4.1),
Anda memperoleh:
(iklan bc)x = de bf. (4.3)
Proses serupa digunakan untuk mendapatkan y = (af ce)/(ad bc). Secara umum,
disarankan untuk menggunakan properti yang Anda inginkan untuk dipenuhi objek
untuk membangun objek.
Bahkan dengan semua penjelasan tambahan tentang bagaimana objek dibangun,
konstruksi objek saja tidak merupakan bukti. Anda masih harus menunjukkan
bahwa, untuk nilai x dan y ini, ax + by = e dan cx + dy = f.
Dalam bukti ringkas di atas, amati bahwa penulis mengabaikan fakta bahwa objek
yang dibangun memang memenuhi sifat-sifat yang diperlukan. Saat menulis bukti
semacam itu, pastikan untuk menyertakan detail tersebut. Saat membaca bukti-bukti
tersebut, Anda harus mengisi rincian itu sendiri, seperti yang ditunjukkan berikutnya.
Proposisi 5 Jika m < n bilangan bulat berurutan dan m genap, maka 4 membagi m2
+n 2 1.
Machine Translated by Google
46 BAB 4: QUANTIFIER I: METODE KONSTRUKSI
S1: Misalkan n = m + 1.
S2: Kemudian m2 + n 2
1 = m2 + (m + 1)2 1 = 2m(m + 1).
S3: Karena m genap, ada bilangan bulat k sehingga m = 2k.
S4: Misalkan p = k(m + 1), maka
m2 + n 2
1 = 2m(m + 1) = 4k(m + 1) = 4p,
dan 4 membagi m2 + n 2 1.
2
B1: Ada bilangan bulat p sehingga m2 + n 1 = 4p.
• Meskipun S1, S2, dan S3 adalah benar, tidak jelas ke mana arah penulis
dengan pernyataan-pernyataan ini. Ketika Anda tidak yakin mengapa
penulis melakukan sesuatu, tanyakan pada diri sendiri teknik apa yang
akan Anda gunakan untuk melakukan pembuktian. Misalnya, jika Anda
bekerja mundur sendiri dari B dan mengenali bahwa quantifier "ada"
muncul, maka Anda akan menyadari bahwa S1, S2, dan S3 adalah bagian dar
Ringkasan
1. Identifikasi objek dan jenisnya, properti tertentu, dan sesuatu yang terjadi
pada pernyataan mundur yang mengandung quantifier “ada”.
3. Tetapkan bahwa objek yang Anda bangun memenuhi sifat tertentu dan
sesuatu yang terjadi. (Pernyataan bahwa objek yang dibangun memenuhi
properti yang diinginkan menjadi pernyataan baru dalam proses mundur.)
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir
buku ini.
Machine Translated by Google
48 BAB 4: QUANTIFIER I: METODE KONSTRUKSI
W 4.1 Untuk setiap pernyataan ada-ada berikut, identifikasilah objek, sifat tertentu, dan
sebuah. Di pesta yang terdiri dari n (ÿ 2) orang, setidaknya ada dua orang yang sama
jumlah teman.
c. Terdapat sebuah titik (x,y) dengan x 0 dan y 0 yang terletak pada dua garis y = m1x + b1 dan y =
m2x + b2.
0
d. Diberikan sudut t, seseorang dapat menemukan antara 0 dan yang tangennya
sudut t lebih besar dari pada t.
e. Untuk dua bilangan bulat a dan b, yang paling sedikit salah satunya bukan nol dan
pembagi persekutuan terbesarnya adalah c, terdapat bilangan bulat m dan n
sedemikian sehingga am + bn = c.
4.2 Tulis ulang setiap pernyataan berikut sehingga quantifier “ada” muncul dalam bentuk
standar. Kemudian mengidentifikasi objek, properti tertentu, dan sesuatu yang terjadi.
4.3 Setelah membangun masing-masing objek berikut, apa yang harus Anda tunjukkan
tentang objek untuk menyelesaikan metode konstruksi?
b. Bilangan bulat n > 1 dapat dibagi dengan beberapa bilangan bulat p dengan 1 < p < n.
c. Untuk bilangan bulat tertentu n > 0 dan bilangan real a0, . . ., an, polinomial n memiliki n (mungkin
1
a0 + a1x kompleks) akar. + · · · + anx
4.4 Misalkan setiap pernyataan dalam Latihan 4.1 [kecuali untuk bagian (a)] adalah
kesimpulan dari sebuah proposisi. Jelaskan bagaimana Anda akan menerapkan metode
konstruksi untuk melakukan pembuktian. (Anda tidak perlu benar-benar melakukan pembuktia
4.5 Apakah Anda akan menggunakan metode konstruksi untuk membuktikan setiap
proposisi berikut? Mengapa atau mengapa tidak? Menjelaskan.
sebuah. polinomial x 71 44 4x +
11x 3 memiliki akar real.
b. Jika a dan b adalah bilangan bulat dengan a 6= 0 yang a tidak membagi b, maka
tidak ada bilangan bulat positif x sehingga ax2 + bx + b a = 0.
Machine Translated by Google
BAB 4: LATIHAN 49
c. Jika ABCD adalah persegi yang panjang sisinya s, maka dalam ABCD Anda dapat
membuat lingkaran yang luasnya minimal 3s 2/4.
W
4.6 Jelaskan mengapa dan bagaimana metode konstruksi digunakan dalam pembuktian
Proposisi 2 pada halaman 27.
W
4.7 Gunakan metode konstruksi untuk membuktikan bahwa ada bilangan bulat x
sedemikian sehingga x
5x/2 + 3/2 = 0. Apakah objek yang dibangun unik?
W
4.8 Gunakan metode konstruksi untuk membuktikan bahwa ada bilangan real x sedemikian
sehingga x
5x/2 + 3/2 = 0. Apakah objek yang dibangun unik?
4.9 Gunakan metode konstruksi untuk menghasilkan objek yang diinginkan dalam setiap
pernyataan berikut. (Anda mungkin harus menggunakan trial-and-error untuk menghasilkan
objek yang diinginkan.)
sebuah. Bilangan bulat positif terkecil n sedemikian rupa sehingga n! > 3n.
b. Bilangan bulat positif pertama n sedemikian rupa sehingga Anda memiliki lebih dari
dua kali lipat uang Anda setelah n tahun berinvestasi dengan bunga majemuk 5% per tah
(Ingat bahwa jika $P diinvestasikan dengan bunga majemuk r% setiap tahun selama
r n
n tahun, maka Anda akan memiliki $ 1 + P100
pada akhir n tahun.)
c. Sudut x antara 0 dan /4 sedemikian rupa sehingga tiga angka desimal pertama cos(x)
dan x adalah sama.
W
4.10 Tulislah analisis pembuktian yang sesuai dengan pembuktian ringkas berikut ini
bahwa, “Jika s dan t bilangan rasional, maka s + t bilangan rasional.”
Tunjukkan di mana kalimat objek yang diinginkan dibangun.
c iklan + bc
= p.
sebuah
s+t= + =
bd bd q
4.11 Tulislah analisis bukti yang sesuai dengan bukti ringkas berikut bahwa, “Jika a, b,
2
dan c adalah bilangan bulat dengan a 6= 0 dan untuk b 4ac adalah persegi (lihat
pada
definisi
halaman 42), maka persamaan ax2+bx+c = 0 memiliki akar rasional.” Tunjukkan di mana
kalimat objek yang diinginkan dibangun.
Bukti. Karena b 2
4ac adalah persegi, ada bilangan bulat k seperti .
itu b 2 4ac = k b+| 2 Jadi b 2 4ac = |k| adalah bilangan bulat. Jadi,
akar rasional dari ax2 + bx + c adalah
= 0.
x= k| 2a
Machine Translated by Google
50 BAB 4: QUANTIFIER I: METODE KONSTRUKSI
Bukti. Misalkan n sembarang bilangan bulat dengan n > 1/ log2 (r). Itu kemudian
1
(r) mengikutin1< log2 (r) dan
sekarang dengan demikian
lengkap. n <2 2Bukti
log2 = r.
4.13 Jawab pertanyaan yang diberikan terkait dengan bukti ringkas berikut
bahwa, “Jika m < n bilangan bulat positif, maka ada bilangan rasional r denga
1 1
n
< r < m."
1 1
Bukti. Misalkan q adalah bilangan bulat positif dimanamq n > 1.
q
n <q p <
Kemudian misalkan p adalah sembarang bilangan bulat yang m . Saat mendefinisikan
p 1 1
r=
q , berikut ini n
< r < m , melengkapi pembuktian.
W
4.14 Jelaskan apa yang salah dengan bukti ringkas berikut bahwa, “Jika a,
b, dan c adalah bilangan real yang fungsi ax2 + bx + c memiliki rasiona
akar, maka fungsi cx2 + bx + a memiliki akar rasional.”
Bukti. Karena fungsi ax2 + bx + c memiliki akar rasional,
+
ada bilangan bulat p dan q dengan q 6= 0 sehingga a(p/q)
2
2
b(p/q) + c = 0. Mengalikan dengan q dan kemudian membagi
2
oleh p menunjukkan bahwa x = q/p adalah akar rasional dari cx2 + bx + a.
W
4.15 Apakah Anda setuju dengan bukti berikut bahwa, “Jika R, S, dan T adalah himpuna
dengan RÿS 6= dan SÿT 6= , maka RÿT 6= .” Mengapa atau mengapa tidak? Menjelaskan.
4.16 Apakah Anda setuju dengan bukti ringkas berikut bahwa, “Jika n adalah an
bilangan bulat untuk 2n genap, maka n genap.” Mengapa atau mengapa tidak? Menjelaskan.
4.17 Jelaskan apa yang salah dengan bukti ringkas berikut bahwa, “Jika m < n
2
bilangan bulat berurutan dan m genap, maka 4 | (m2 + n 1).”
4.18 Jelaskan apa yang salah dengan bukti ringkas berikut bahwa, “Jika m dan p
adalah bilangan bulat positif dengan m < p, maka ada bilangan rasional r dengan
<r< 1 .”
1p m
W
4.19 Buktikan bahwa jika a, b, dan c adalah bilangan bulat dengan a|b dan b|c, maka a|c.
4.20 Buktikan bahwa jika a dan b adalah bilangan bulat dengan a 6= 0 dan x adalah
bilangan bulat positif sehingga ax2 + bx + b a = 0, maka a|b.
4.21 Buktikan bahwa jika a, b, dan c adalah bilangan bulat dengan a|(b + c) dan a|b, maka a|c.
4.22 Buktikan bahwa jika s dan t rasional dan t 6= 0, maka s/t rasional. 4.23
5
Kuantifier II:
Metode Pilih
Bab ini mengembangkan teknik untuk menangani pernyataan dalam proses mundur yang
berisi quantifier "untuk semua." Pernyataan seperti itu muncul secara alami di banyak
bidang matematika, salah satunya adalah teori himpunan, seperti yang Anda inginkan
sekarang lihat.
Satu set adalah kumpulan item. Misalnya, Anda dapat menganggap angka 1, 4, dan 7
sebagai kumpulan item, dan karenanya mereka membentuk satu set. Setiap item individu
disebut anggota atau elemen himpunan dan setiap anggota himpunan dikatakan berada
di atau termasuk dalam himpunan. Himpunan sering dilambangkan dengan melampirkan
daftar anggotanya, dipisahkan dengan koma, dalam kurung kurawal. Jadi, himpunan yang
terdiri dari angka 1, 4, dan 7 ditulis sebagai berikut:
{1, 4, 7}.
Untuk menunjukkan bahwa angka 4 termasuk dalam himpunan ini, matematikawan menulis:
4 {1, 4, 7},
di mana simbol adalah singkatan dari kata “adalah anggota.” Demikian pula, untuk
menunjukkan bahwa 2 bukan anggota {1, 4, 7}, tuliskan:
2 6ÿ {1, 4, 7}.
Meskipun diinginkan untuk membuat daftar semua elemen dalam satu set, terkadang
tidak praktis untuk melakukannya karena daftarnya terlalu panjang. Misalnya, bayangkan
53
Machine Translated by Google
54 BAB 5: QUANTIFIER II: METODE PILIHAN
harus menuliskan setiap bilangan bulat antara 1 dan 100.000. Ketika suatu himpunan
memiliki jumlah elemen yang tak terbatas (seperti himpunan bilangan real yang
lebih besar dari atau sama dengan 0) tidak mungkin membuat daftar lengkap,
bahkan jika Anda menginginkannya. Untungnya ada cara untuk menggambarkan
himpunan "besar" seperti itu melalui penggunaan apa yang dikenal sebagai notasi
pembuat himpunan, yang melibatkan penggunaan deskripsi verbal dan matematis
untuk anggota himpunan. Dengan notasi pembentuk himpunan, himpunan semua
bilangan real yang lebih besar atau sama dengan 0 ditulis sebagai berikut:
S = {bilangan real x : x 0},
dimana “:” merupakan singkatan dari kata “sehingga”. Segala sesuatu yang
mengikuti ":" disebut sebagai properti yang menentukan dari himpunan. Pertanyaan
yang selalu harus dapat dijawab adalah, "Bagaimana saya tahu jika item tertentu,
katakanlah y, termasuk dalam himpunan?" Untuk menjawab pertanyaan seperti itu,
Anda hanya perlu memeriksa apakah item y memenuhi properti yang ditentukan.
Jika demikian, maka y adalah elemen dari himpunan; jika tidak, y tidak ada dalam
himpunan. Untuk himpunan S di atas, untuk melihat apakah bilangan real 3 milik S,
cukup ganti x di mana-mana dengan 3 dan lihat apakah sifat pendefinisiannya benar. Da
Kadang-kadang bagian dari properti yang menentukan muncul di sebelah kiri ":"
dan juga di sebelah kanan, jadi, ketika mencoba menentukan apakah item tertentu
termasuk dalam kumpulan tersebut, pastikan untuk memverifikasi bagian properti
2
yang menentukan ini juga. . Misalnya, jika T = {bilangan
bukan milik
realTxmeskipun
0 : x x + 2 10},
memenuhi
maka 1
sifat pendefinisian di sebelah kanan “:”. Alasannya adalah bahwa 1 tidak memenuhi
properti pendefinisian di sebelah kiri “:” karena 1 bukan 0.
2
{bilangan real x 0 : x + 3x + 2 = 0}.
2 + 3x + 2 = 0 adalah 1 dan 2. Tak satu pun dari
Satu-satunya bilangan real yang x
nilai-nilai ini memenuhi properti yang menentukan di sebelah kiri ":". Himpunan
seperti itu dikatakan kosong, artinya himpunan tersebut tidak memiliki anggota.
Simbol khusus digunakan untuk menyatakan himpunan kosong.
Untuk memotivasi penggunaan quantifier “untuk semua”, perhatikan bahwa biasanya
mungkin untuk menulis satu set di lebih dari satu cara—misalnya, dua set
2
S = {bilangan real x : x 3x + 2 0},
T = {bilangan real x : 1 x 2},
di mana 1 x 2 berarti 1 x dan x 2. Tentunya untuk dua himpunan S dan T yang sama,
setiap elemen S harus muncul di T dan sebaliknya. Menggunakan quantifier "untuk
semua", definisi sekarang dapat dibuat.
Machine Translated by Google
5.1 BEKERJA DENGAN QUANTIFIER “UNTUK SEMUA” 55
Definisi 13 Dua himpunan S dan T sama (ditulis S = T) jika dan hanya jika S adalah
himpunan bagian dari T dan T adalah himpunan bagian dari S.
Seperti definisi lainnya, ini digunakan untuk menjawab pertanyaan kunci. Definisi 12 menjawab
pertanyaan, “Bagaimana saya dapat menunjukkan bahwa suatu himpunan (misalnya, S) adalah
himpunan bagian dari himpunan lain (misalnya, T)?” dengan meminta Anda menunjukkan bahwa
untuk setiap elemen x S, x T. Bagaimana Anda melakukannya dijelaskan di Bagian 5.2. Definisi 13
menjawab pertanyaan kunci, “Bagaimana saya dapat menunjukkan bahwa dua himpunan (katakanlah,
S dan T) adalah sama?” dengan meminta Anda untuk menunjukkan bahwa S adalah himpunan bagian dari T
Selain teori himpunan, ada banyak contoh lain di mana quan tifier "untuk semua"
digunakan, tetapi, dari contoh di atas, Anda dapat melihat bahwa pernyataan seperti itu
tampaknya memiliki struktur konsisten yang sama. Ketika quantifier "untuk semua,"
"untuk masing-masing," "untuk setiap," atau "untuk setiap" muncul, pernyataan akan
memiliki bentuk standar berikut (yang mirip dengan yang ada di Bab 4):
Kata-kata dalam tanda kutip bergantung pada pernyataan tertentu yang sedang
dipertimbangkan, dan Anda harus belajar membaca, menulis, dan mengidentifikasi
ketiga komponen ini—ingat untuk mengidentifikasi jenis objek. Pertimbangkan contoh-
contoh ini.
Selama proses mundur, jika Anda menemukan pernyataan yang memiliki quantifier
"untuk semua" dalam bentuk standar:
maka satu pendekatan untuk menunjukkan bahwa pernyataan itu benar adalah
dengan membuat daftar berikut dari semua objek yang memiliki properti tertentu:
Kemudian, untuk setiap objek dalam daftar, Anda perlu menunjukkan bahwa
beberapa hal terjadi. Ketika daftar hanya terdiri dari beberapa objek, ini mungkin
cara yang masuk akal untuk melanjutkan. Namun, ketika daftarnya panjang atau tak
terbatas, pendekatan ini tidak praktis. Anda telah menangani jenis rintangan ini
dalam teori himpunan, di mana masalahnya diatasi dengan menggunakan notasi
pembuat himpunan untuk menggambarkan himpunan. Di sini, metode pilih
memungkinkan Anda untuk menghindari kesulitan.
Untuk memahami gagasan metode pemilihan, pertimbangkan kembali daftar objek
di atas, masing-masing dengan properti tertentu. Misalkan Anda dapat membuktikan
bahwa, untuk objek X1, sesuatu terjadi. Selanjutnya, bayangkan bukti Anda
sedemikian rupa sehingga ketika Anda mengganti X1 di mana-mana dengan X2, bukti
yang dihasilkan dengan benar menetapkan bahwa sesuatu terjadi untuk X2. Dalam
hal ini, Anda tidak perlu menulis bukti terpisah untuk menetapkan bahwa sesuatu
terjadi untuk X2. Anda cukup mengatakan, “Untuk melihat bahwa sesuatu terjadi
pada X2, ulangi pembuktiannya, ganti X1 di mana-mana dengan X2.”
Memperluas ide ini ke objek yang tersisa di daftar, tujuan metode pilih adalah
untuk membangun "bukti model" untuk menetapkan bahwa beberapa hal terjadi
untuk objek umum X yang memiliki properti tertentu, sedemikian rupa sehingga
Anda bisa , secara teori, ulangi pembuktian untuk setiap objek dalam daftar (lihat
Gambar 5.1). Jika Anda memiliki bukti model seperti itu, maka Anda tidak perlu
memeriksa seluruh daftar objek (mungkin tak terbatas) karena Anda akan tahu bahwa
Anda selalu dapat melakukannya dengan substitusi sederhana dalam bukti model.
Dengan kata lain, daripada benar-benar membuktikan bahwa sesuatu terjadi untuk
setiap objek yang memiliki properti tertentu, metode pilih menyediakan kemampuan
untuk melakukannya melalui penggunaan bukti model. Cara di mana bukti model ini
dirancang sekarang dijelaskan.
Untuk memahami bagaimana metode pemilihan digunakan, ingatlah bahwa
pembuktian model harus menetapkan bahwa sesuatu terjadi untuk objek umum yang
memiliki sifat tertentu. Dengan demikian, misalkan Anda memiliki salah satu dari
objek ini, katakanlah, X, tetapi ingat, Anda tidak tahu persis yang mana. Yang kamu tahu h
Machine Translated by Google
5.2 MENGGUNAKAN METODE PILIH 57
objek tertentu X memiliki properti tertentu. Anda harus entah bagaimana menggunakan
properti itu untuk mencapai kesimpulan bahwa, untuk objek X ini, sesuatu terjadi. Ini
paling mudah dicapai dengan bekerja maju dari properti tertentu dan mundur dari
sesuatu yang terjadi. Dengan kata lain, dengan metode pilih,
• Anda harus menunjukkan bahwa, untuk objek yang dipilih, sesuatu terjadi, yang
kemudian menjadi pernyataan baru dalam proses mundur.
Jika berhasil, maka Anda memiliki kemampuan untuk mengulangi bukti model
sebelumnya untuk objek apa pun yang memiliki properti tertentu.
Untuk mengilustrasikan bagaimana metode pilih digunakan, misalkan, dalam beberapa bukti,
Anda perlu menunjukkan bahwa
Langkah pertama adalah mengidentifikasi, dalam pernyataan untuk semua ini, objek
dan jenisnya (bilangan real x), properti tertentu (x 2ÿ3x+2 0), dan sesuatu yang terjadi
(1 x 2). Untuk menerapkan metode pilih, Anda memilih bilangan real yang memiliki
properti tertentu. Dalam hal ini, Anda dapat menulis yang berikut:
2
A1: Biarkan y menjadi bilangan real dengan y3 tahun + 2 0.
B1: 1 y 2.
Machine Translated by Google
58 BAB 5: QUANTIFIER II: METODE PILIHAN
Di sini, simbol y digunakan untuk membedakan objek yang dipilih dari objek umum x di
B. Perhatikan di A1 dan di B1 bahwa properti tertentu dan sesuatu yang terjadi ditulis untuk
objek yang dipilih, bukan untuk yang umum. Ini dilakukan dengan mengganti objek umum
(x) di mana-mana di B dengan objek yang dipilih (y). Dalam banyak bukti kental, simbol
yang sama digunakan untuk objek umum dan objek yang dipilih. Dalam kasus seperti itu,
berhati-hatilah untuk menafsirkan simbol dengan benar. Perhatikan contoh berikut.
2
S = {bilangan real x : x 3x + 2 0}
T = {bilangan real x : 1 x 2},
maka S = T
Analisis Bukti. Saat melakukan pembuktian, belajarlah untuk memilih teknik secara sadar,
berdasarkan bentuk pernyataan yang sedang dipertimbangkan. Dalam proposisi ini,
hipotesis A dan kesimpulan B tidak mengandung kata kunci (seperti “ada” atau “untuk
semua”). Dengan tidak adanya kata kunci, metode maju-mundur adalah teknik yang masuk
akal untuk digunakan. Melakukannya dalam kasus ini menimbulkan pertanyaan kunci,
"Bagaimana saya bisa menunjukkan bahwa dua himpunan (yaitu, S dan T) adalah sama?"
Definisi 13 memberikan jawaban bahwa Anda harus menunjukkan bahwa
B1: S adalah himpunan bagian dari T dan T adalah himpunan bagian dari S.
Untuk menunjukkan bahwa S adalah himpunan bagian dari T (lihat B2), Anda memperoleh pertanyaan
kunci, “Bagaimana saya dapat menunjukkan bahwa suatu himpunan (yaitu, S) adalah himpunan bagian
dari himpunan lain (yaitu, T)?” Menggunakan Definisi 12 mengarah pada jawaban bahwa Anda harus menunjukk
Pernyataan mundur baru ini, B4, berisi quantifier "untuk semua", yang menunjukkan bahwa
Anda harus melanjutkan dengan metode pilih. Untuk melakukannya, pertama-tama kenali,
di B4, objek dan jenisnya (elemen x S), properti tertentu (tidak ada) dan sesuatu yang terjadi
(x T).
Untuk menerapkan metode pilih ke B4, Anda sekarang harus memilih objek yang memiliki
properti tertentu dan kemudian menunjukkan bahwa, untuk objek yang dipilih ini, sesuatu
terjadi. Dalam hal ini itu berarti Anda harus memilih
B5: x T.
B6: 1 x 2.
A2: x 2 3x + 2 0.
A3: (x 2)(x 1) 0.
Satu-satunya cara agar hasil kali x 2 dan xÿ 1 dapat menjadi 0 adalah dengan
salah satu suku menjadi 0 dan suku lainnya 0. Dengan kata lain,
Situasi pertama tidak akan pernah terjadi karena, jika terjadi, x 2 dan x 1,
yang tidak mungkin. Dengan demikian kondisi kedua harus terjadi; itu adalah,
A5: x 2 dan x 1.
Tetapi ini justru pernyataan terakhir yang diperoleh dalam proses mundur (B6), dan
karenanya telah berhasil ditunjukkan bahwa S adalah himpunan bagian dari T.
Jangan lupa bahwa Anda masih harus menunjukkan bahwa T adalah himpunan
bagian dari S (B3) untuk melengkapi pembuktian bahwa S = T. Bagian ini dikerjakan pada
tidak dapat terjadi karena, jika terjadi, x 2 dan x 1. Oleh karena itu pastilah x 2 dan
x 1, yang berarti bahwa x T. Bukti bahwa T adalah himpunan bagian dari S
diberikan selanjutnya dalam Proposisi 7.
Pada catatan terakhir, setiap kali Anda menerapkan metode pilih untuk memilih
objek dengan properti tertentu, Anda harus terlebih dahulu yakin bahwa, memang,
setidaknya ada satu objek seperti itu, karena jika tidak ada, bagaimana Anda bisa
memilih objek seperti itu? ? Sebagai ilustrasi, misalkan Anda mencoba membuktikan bahwa
Menurut metode pilih, Anda harus memilih bilangan real x 0 dengan sifat bahwa x
2
+ 3x + 2 = 0. Namun, tidak ada
x yang
bilangan
memenuhi
sepertipersamaan
itu (karena adalah
satu-satunya
x = 1 dan
nilai
x untuk
= 2,
dan keduanya tidak 0). Dalam hal ini, Anda tidak dapat menerapkan metode pilih;
namun, hal itu tidak perlu dilakukan. Alasannya adalah, ketika tidak ada objek
dengan properti tertentu, pernyataan untuk semua yang terkait secara otomatis
benar. Untuk memahami mengapa, ingat kembali bahwa, ketika menggunakan
metode pilih untuk membuktikan bahwa
kamu memilih
Perhatikan bahwa pendekatan ini adalah persis bagaimana Anda akan melanjutkan jika
Anda menggunakan metode maju-mundur untuk membuktikan bahwa
2
S = {bilangan real x : x 3x + 2 0}
T = {bilangan real x : 1 x 2},
maka T S.
dan telah menjawab pertanyaan dengan menggunakan properti pendefinisian dari himpuna
Setelah menunjukkan bahwa t S, metode pilih, dan karenanya buktinya, sekarang
lengkap.
Poin-poin berikut tentang membaca bukti ringkas dari Proposisi 7 perlu diperhatikan.
• Tidak disebutkan teknik yang digunakan (metode maju-mundur dan pilih, serta
pertanyaan dan jawaban kunci). Namun, dalam hal ini, kata “biarkan”
menunjukkan bahwa metode pilih yang digunakan.
Ringkasan
Gunakan metode pilih ketika pernyataan terakhir dalam proses mundur berisi quantifier
"untuk semua" dalam bentuk standar:
Untuk menggunakan metode pilih, lanjutkan sebagai berikut untuk membuat bukti
model yang, secara teori, dapat diulang untuk setiap objek dengan properti tertentu.
2. Verifikasi bahwa setidaknya ada satu objek dengan properti tertentu. Jika tidak
ada objek seperti itu, maka pernyataan for-all benar dan Anda selesai.
3. Pilih objek yang memiliki properti tertentu. (Tuliskan fakta bahwa objek yang
dipilih memiliki properti tertentu sebagai pernyataan baru dalam proses maju.)
4. Tunjukkan bahwa, untuk objek yang dipilih ini, sesuatu terjadi. (Tuliskan tujuan
ini sebagai pernyataan berikutnya dalam proses mundur.)
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W 5.1 Untuk setiap definisi berikut, identifikasi objek, properti tertentu, dan sesuatu
yang terjadi dalam pernyataan untuk semua.
sebuah. bilangan asli x adalah pemaksimal dari fungsi f jika dan hanya jika untuk
setiap bilangan real x, f(x) f(x ) .
b. Misalkan f dan g adalah fungsi dari satu variabel. Maka g f pada himpunan S
bilangan real jika dan hanya jika untuk setiap elemen x S, g(x) f(x).
c. Suatu bilangan real u adalah batas atas untuk himpunan S bilangan real jika dan
hanya jika untuk semua elemen x S, x u.
5.2 Untuk setiap definisi berikut, identifikasi objek, properti tertentu, dan sesuatu
yang terjadi dalam pernyataan untuk semua.
sebuah. Suatu fungsi f dari satu variabel real meningkat secara ketat jika dan
hanya jika untuk semua bilangan real x dan y dengan x < y, f(x) < f(y).
b. Himpunan C bilangan real adalah himpunan cembung jika dan hanya jika untuk
semua elemen x, y C, dan untuk setiap bilangan real t dengan 0 t ÿ 1, tx + (1 t)y C.
c. Fungsi f dari satu variabel real adalah fungsi cembung jika dan hanya jika untuk
semua bilangan real x dan y dan untuk semua bilangan real t dengan 0 t ÿ 1,
maka f(tx + (1 t)y) ÿ tf(x) + (1 t)f(y).
W 5.3 Kata ulang pernyataan berikut dalam bentuk standar dengan menggunakan simbol
yang sesuai , , , jika perlu.
c. Akar kuadrat dari produk dari dua bilangan real nonnegatif p dan q tidak kurang
dari jumlah mereka dibagi 2.
d. Jika x dan y bilangan real sehingga x < y, maka ada bilangan rasional r sehingga
x < r < y.
Machine Translated by Google
64 BAB 5: QUANTIFIER II: METODE MEMILIH
5.4 Kata ulang setiap pernyataan untuk semua berikut sebagai pernyataan yang setara
dalam bentuk, “Jika . . . kemudian . . .”.
W
5.5 Untuk setiap bagian dalam Latihan 5.1, jelaskan bagaimana Anda akan menerapkan
metode pilih untuk menunjukkan bahwa pernyataan untuk semua benar. Gunakan simbol
yang berbeda untuk membedakan objek yang dipilih dari objek umum. Misalnya, untuk
Latihan 5.1(a), untuk menunjukkan bahwa xmemilih
adalah pemaksimal dari fungsi f, Anda akan
0
B1: f(x ) f(x ) .
5.6 Untuk setiap bagian dalam Latihan 5.2, jelaskan bagaimana Anda akan menerapkan
metode pilih untuk menunjukkan bahwa pernyataan untuk semua benar. Gunakan simbol
yang berbeda untuk membedakan objek yang dipilih dari objek umum.
5.7 Bisakah Anda menggunakan metode pilih untuk membuktikan setiap pernyataan
berikut? Mengapa atau mengapa tidak? Menjelaskan. (S adalah himpunan bilangan real.)
c. Jika untuk semua elemen x S, |x| < 20, maka ada elemen s S seperti
itu s < 5.
e. Untuk semua bilangan real a, b, dan c, jika 4ac b 2 , maka ax2 + bx + c memiliki real
akar.
W
5.8 Misalkan Anda mencoba membuktikan bahwa, “Jika R, S, dan T adalah himpunan
dimana R S dan S T, maka R T.” Tulis pertanyaan kunci dan jawaban yang sesuai untuk
membuat pernyataan baru, B1, dalam proses mundur. Kemudian tunjukkan bagaimana
metode memilih akan diterapkan ke B1 dengan menulis pernyataan baru A1 dalam proses
maju yang merupakan hasil dari memilih objek yang sesuai dan pernyataan baru B2
dalam proses mundur yang menunjukkan apa yang harus Anda tunjukkan tentang objek
yang Anda pilih . (Jangan melengkapi buktinya.)
Machine Translated by Google
BAB 5: LATIHAN 65
W
5.9 Ulangi Latihan 5.8 ketika Anda mencoba membuktikan bahwa, “Jika bilangan real u
adalah batas atas untuk himpunan S bilangan real dan bilangan real v u, maka v adalah
batas atas untuk S.” [Lihat definisi dalam Latihan 5.1(c)].
5.10 Ulangi Latihan 5.8 ketika Anda mencoba membuktikan bahwa, “Jika fungsi f(x) = x
3
,
maka f benar-benar meningkat.” [Lihat definisi dalam Latihan 5.2(a)].
5.11 Ulangi Latihan 5.8 ketika Anda mencoba membuktikan bahwa, “Jika f adalah fungsi
cembung dan y adalah bilangan real tertentu, maka {bilangan real x : f(x) y} adalah
himpunan cembung.” [Lihat definisi dalam Latihan 5.2(b)].
5.12 Ulangi Latihan 5.8 ketika Anda mencoba membuktikan bahwa, “Jika f dan g adalah
fungsi cembung, maka fungsi f + g adalah fungsi cembung.” [Lihat definisi dalam Latihan
5.2(c)].
W
5.13 Misalkan Anda mencoba membuktikan bahwa, “Jika S dan T adalah himpunan yang
2 2 2 2
oleh S = {(x, y) : x + 2y untuk
+ kamu setiap
16} dan
elemen
T = {(x,
(x, y)
y) S,
: 3x
(x, y) T.” Manakah didefinisikan 125}, m
dari berikut ini yang merupakan penerapan yang benar dari metode pemilihan? Bagi yang
salah, jelaskan apa yang salah.
sebuah. Pilih
0 0
A1 : bilangan real x dan kamu .
Harus ditunjukkan bahwa
0
B1 : (x , y0 ) T.
b. Pilih A1 :
0 0 0
bilangan real x Harus dan kamu dengan (x , y0 ) S.
ditunjukkan bahwa B1 : (x
0
, y0 ) T.
c. Pilih A1 :
0 0 0
bilangan real x Harus dan kamu dengan (x , y0 ) T.
ditunjukkan bahwa , y0 ) S.
0
B1 : (x
d. Memilih
A1 : bilangan real x dan y, misalkan 1 dan 2, dengan
2
2x + kamu = 5 16 dan oleh karena itu (x, y) S.
Harus ditunjukkan bahwa 2
2
B1 : 3x + 2 tahun 125 dan oleh karena itu (x, y) T.
e. Pilih A1 :
bilangan real x dan y dengan (x,y) S.
Harus ditunjukkan bahwa
B1 : (x, y) T.
Machine Translated by Google
66 BAB 5: QUANTIFIER II: METODE PILIHAN
n
5.14 Misalkan Anda mencoba membuktikan bahwa, “Jika p(x) = 1 +· · ·+anx
a0 +a1x adalah polinomial berderajat n > 1 sehingga ai > 0 untuk semua
bilangan bulat i = 0, . . ., n, maka untuk semua bilangan real x dan y dengan 0
< x < y, p(x) < p(y).” Manakah dari berikut ini yang merupakan penerapan yang
benar dari metode pemilihan? Bagi yang salah, jelaskan apa yang salah.
sebuah. Memilih
b. Memilih
A1 : bilangan real x dan y dengan p(x) < p(y).
Harus ditunjukkan
bahwa B1 : 0 < x < y.
c. Memilih
A1 : bilangan real x dan y dengan x < y.
Harus ditunjukkan
bahwa B1 : p(x) < p(y).
d. Memilih
A1 : bilangan real, misalkan x = 3 dan y = 5, dengan 0 < x < y.
Harus ditunjukkan
bahwa B1 : p(3) < p(5).
e. Memilih
A1 : bilangan real x dan y dengan 0 < x < y.
Harus ditunjukkan
bahwa B1 : p(x) < p(y).
W
5.15 Untuk proposisi dan bukti ringkas yang diberikan di bawah ini, jelaskan di
mana (yaitu, dalam kalimat yang mana), mengapa, dan bagaimana metode pemilihan
digunakan. Identifikasi kesalahan apa pun yang Anda temui. [Lihat definisi dalam Latiha
5.16 Untuk proposisi dan bukti ringkas yang diberikan di bawah ini, jelaskan di mana
(yaitu, dalam kalimat yang mana), mengapa, dan bagaimana metode pemilihan digunakan.
Identifikasi kesalahan apa pun yang Anda temui.
Machine Translated by Google
BAB 5: LATIHAN 67
Dalil. Jika
2
R = {bilangan real x : x x 0},
S = {bilangan real x : (x 1)(x 3) 0}, dan
T = {bilangan real x : x 1 atau x 3},
maka R S T.
W
5.17 Tulislah analisis yang sesuai dengan bukti ringkas yang diberikan di bawah in
Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya. Isi
rincian langkah-langkah yang hilang jika sesuai.
Dalil. Jika m dan b bilangan real dengan m > 0, dan f adalah
fungsi yang didefinisikan oleh f(x) = mx + b, maka untuk
semua bilangan real x dan y dengan x < y, f(x) < f(y) .
W
5.18 Tulislah analisis yang sesuai dengan bukti ringkas yang diberikan di bawah in
Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya. Isi
rincian langkah-langkah yang hilang jika sesuai.
5.19 Tulislah analisis yang sesuai dengan bukti ringkas yang diberikan di bawah in
Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya. Isi
rincian langkah-langkah yang hilang jika sesuai.
Dalil. Jika p adalah bilangan bulat positif, maka untuk semua
bilangan bulat tak nol q dan r bertanda sama dan untuk itu q
< r, p/q > p/r.
Machine Translated by Google
68 BAB 5: QUANTIFIER II: METODE MEMILIH
Bukti. Karena q dan r bertanda sama, p/(qr) > 0. Sekarang r > q, jadi
mengalikan kedua ruas r > q dengan p/(qr) menghasilkan rp/(qr) > qp/
(qr). Sekarang mengikuti bahwa p/q > p/r, dan buktinya lengkap.
5.20 Jawablah pertanyaan yang diberikan berkaitan dengan bukti ringkas proposisi berikut:
2 2ÿx
Jika x > 0 adalah bilangan real yang > 0 dan 2x+1
1 2ÿx
: n adalah bilangan bulat positif dengan < maka 2 x adalah batas atas
S=n1 n n 2 2x+1o ,
untuk S. [Lihat definisi pada Latihan 5.1(c).]
2
1
x+ 1 = x 2+ 1 2x + 1 x 2+ (2x+1) < x2+2ÿx 2 = 2.
n n n n
Dengan mengambil akar kuadrat positif dari kedua ruas, maka 2 dan 2 ÿ
1 1
n
x, melengkapi pembuktian.
n
x+
sebuah. Pertanyaan kunci apa yang diajukan penulis dan apa jawabannya?
1
c. Dalam kalimat pertama, penulis menyatakan bahwa n S. Bagaimana penulisnya
tahu bahwa ada elemen seperti itu di S? Menjelaskan.
1
d. Dalam kalimat pertama, penulis menyatakan bahwa S. Sebagai akibat dari
n
1
mendefinisikan properti S, ini berarti bahwa n 1 dan apakah < 22x+1
2ÿx
. Di mana
n
penulis menggunakan informasi ini?
W
5.21 Buktikan bahwa, jika f(x) = (x 1)2 dan g(x) = x + 1, maka g f pada himpunan S =
{bilangan real x : 0 x 3}. [Lihat definisi dalam Latihan 5.1(b).]
W
5.22 Buktikan bahwa, jika a dan b bilangan real, maka himpunan C = {bilangan real x : ax b}
adalah himpunan cembung. [Lihat definisi dalam Latihan 5.2(b).]
5.23 Buktikan bahwa, jika a, b, dan c adalah bilangan real dengan a 0, maka fungsi f(x) =
ax2 + bx + c memenuhi sifat bahwa untuk semua bilangan real x dan y, f(x) f (y) + (2ay + b)
(x y).
5.24 Buktikan bahwa, untuk semua bilangan real a dan b, paling sedikit satu di antaranya
2 2 + ab + b 22+b 22+b
tidak > 0. (Petunjuk: Gunakan fakta bahwa a>0,(aa )/2.)
3
5.25 Gunakan hasil pada Latihan 5.24 untuk membuktikan bahwa fungsi f(x) = x benar- adalah
5.26 Buktikan bahwa, jika m dan b bilangan real dan f adalah fungsi yang didefinisikan
oleh f(x) = mx + b, maka f cembung. [Lihat definisi dalam Latihan 5.2(c).]
Machine Translated by Google
6
Kuantifier III:
Spesialisasi
Untuk mengilustrasikan ide spesialisasi dengan cara yang lebih nyata, misalkan
Anda tahu bahwa:
69
Machine Translated by Google
70 BAB 6: PENILAIAN III: SPESIALISASI
Objek: mobil.
Misalkan Anda tertarik untuk membeli mobil yang mendapatkan jarak tempuh yang baik,
maka tujuan Anda adalah
Anda dapat bekerja maju dari informasi di A dengan spesialisasi untuk menetapkan B
sebagai berikut. Misalkan Anda berada di tempat dealer suatu hari dan Anda melihat
mobil tertentu yang Anda sukai. Berbicara dengan penjual, misalkan Anda memverifikasi
bahwa mobil memiliki 4 silinder. Mengingat bahwa pernyataan A di atas dianggap benar,
Anda dapat menggunakan informasi ini untuk menyimpulkan bahwa:
Dengan kata lain, Anda telah mengkhususkan pernyataan for-all di A ke satu objek
tertentu dengan properti tertentu.
Jika Anda menganalisis contoh ini secara rinci, Anda dapat mengidentifikasi langkah-langkah berik
terkait dengan penerapan spesialisasi pada pernyataan ke depan dalam bentuk:
1. Identifikasi, dalam pernyataan untuk semua, objek dan jenisnya, yang pasti
properti, dan sesuatu yang terjadi.
2. Carilah satu benda tertentu dengan sifat tertentu yang kamu bisa
menerapkan spesialisasi untuk.
3. Simpulkan, dengan menulis pernyataan baru dalam proses maju, bahwa sesuatu
terjadi untuk objek tertentu.
Contoh berikut menunjukkan penggunaan spesialisasi yang tepat. Untuk itu, misalkan
Anda tahu itu
Dalam pernyataan di atas, Anda dapat mengidentifikasi objek (bilangan real x dan y),
properti tertentu (menjadi 0), dan sesuatu yang terjadi (x + y 2 xy). Oleh karena itu, Anda
dapat mengkhususkan pernyataan ini untuk dua bilangan real apa pun yang 0 (yaitu,
objek dengan properti tertentu). Misalnya, hasil pengkhususan A ke x = 3 dan y = 27
adalah
Atau, untuk bilangan real yang diberikan a dan b, hasil dari pengkhususan A 0
2 ke x = a dan y = b 2
0 adalah
A2: a 2
2 2 ab. + b
Definisi 14 Suatu bilangan real u adalah batas atas himpunan bilangan real T jika
dan hanya jika untuk semua elemen t T, t u.
Proposisi 8 Jika R adalah himpunan bagian dari himpunan S bilangan real dan u
adalah batas atas untuk S, maka u adalah batas atas untuk R.
B2: r u.
(Di sini, simbol r digunakan baik untuk objek yang dipilih di A1 dan objek umum
dalam pernyataan untuk semua di B1, meskipun keduanya memiliki arti yang berbeda.)
Beralih sekarang ke proses maju, Anda akan melihat bagaimana spesialisasi
digunakan untuk mencapai kesimpulan bahwa r u di B2. Dari hipotesis bahwa R
adalah himpunan bagian dari S, dan menurut Definisi 12 di halaman 55, Anda tahu bahwa
Mengenali kata kunci “untuk masing-masing” dalam proses penerusan, Anda harus
mempertimbangkan untuk menggunakan spesialisasi. Menurut pembahasan
sebelumnya Proposisi 8, langkah pertama untuk melakukannya adalah
mengidentifikasi, dalam A2, objek dengan jenisnya (elemen x R), properti tertentu
(tidak ada) dan sesuatu yang terjadi (x S ). Selanjutnya, Anda harus mencari satu
objek tertentu dengan properti tertentu yang menjadi spesialisasi Anda. Ingatlah
bahwa, sebagai hasil dari proses mundur, Anda memilih elemen tertentu r R (lihat
A1). Langkah terakhir dari spesialisasi adalah menyimpulkan, dengan menulis
pernyataan baru dalam proses maju, bahwa sesuatu di A2 terjadi untuk objek
tertentu r R. Dalam hal ini, spesialisasi A2 memungkinkan Anda untuk menyimpulkan bah
A3: r S.
Machine Translated by Google
72 BAB 6: KUANTIFIER III: SPESIALISASI
A5: r u.
Definisi 15 Suatu bilangan real u adalah batas atas terkecil untuk himpunan
S bilangan real jika dan hanya jika (1) u adalah batas atas untuk S dan (2)
untuk setiap batas atas v untuk S, u v.
S1: Dari hipotesis, baik v dan w S2 : Karena adalah batas atas untuk T.
v adalah batas atasuterkecil
untuk T.untuk T, v terikat u, untuk setiap bagian atas
v w.
karena v batas atas untuk T,
S5: Sekarang berarti v =w .
Interpretasi S1: Dari hipotesis, keduanya v untuk T. dan W adalah batas atas
B1: v w dan W v .
Interpretasi S2: Karena v sembarang adalah batas atas terkecil untuk T, vkamu, untuk
batas atas u untuk T.
Penulis terus bekerja ke depan dengan menyatakan bagian (2) dari definisi
batas atas terkecil yang diterapkan pada v ; itu adalah,
A3: v w .
Interpretasi S4: Demikian pula, w adalah batas atas terkecil untuk T dan, karena
v_ adalah batas atas untuk T, wv .
Penulis menggunakan analisis yang sama seperti pada S3 tetapi, kali
ini, diterapkan pada batas
dari
atas
spesialisasi
terkecil w ini
danadalah
batas itu
atas v untuk T. Hasil
A4: gw v .
Ringkasan
1. Identifikasi, dalam pernyataan untuk semua, objek dengan jenisnya, yang pas
properti, dan sesuatu yang terjadi.
Semua pernyataan sejauh ini hanya berisi satu quantifier. Pada bab berikutnya Anda
akan mempelajari apa yang harus dilakukan ketika pernyataan berisi lebih dari satu
quantifier.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W 6.1 Misalkan Anda ingin mengkhususkan pernyataan bahwa "untuk setiap objek dengan
properti tertentu, sesuatu terjadi" pada objek tertentu Y . Jelaskan mengapa Anda perlu
menunjukkan bahwa Y memiliki sifat tertentu sebelum Anda dapat melakukannya.
W 6.2 Misalkan Anda bekerja mundur dan ingin menunjukkan bahwa, untuk objek tertentu
Y dengan properti P tertentu, S terjadi. Kapan dan bagaimana Anda dapat mencapai
kesimpulan ini dengan bekerja ke depan dari pernyataan bahwa, untuk setiap objek X
dengan properti Q tertentu, T terjadi? Nyatakan jawaban Anda dalam bentuk objek, sifat-
sifat tertentu, dan hal-hal yang terjadi.
W 6.3 Untuk setiap definisi dalam Latihan 5.1 di halaman 63, jelaskan bagaimana Anda akan
bekerja maju dari pernyataan untuk semua yang terkait. Misalnya, untuk bekerja maju dari
pernyataan untuk semua dalam Latihan 5.1(b), (1) cari elemen tertentu, katakanlah y, yang
dapat digunakan untuk menerapkan spesialisasi, (2) tunjukkan bahwa y S, dan (3)
menyimpulkan bahwa g(y) f(y) sebagai pernyataan baru dalam proses maju.
6.4 Untuk setiap definisi dalam Latihan 5.2 di halaman 63, jelaskan bagaimana Anda akan
bekerja maju dari pernyataan untuk semua yang terkait.
6.5 Apakah Anda akan menggunakan spesialisasi untuk membuktikan setiap pernyataan berikut
Mengapa atau mengapa tidak? Menjelaskan.
sebuah. Jika a, b, dan c adalah bilangan real yang memiliki bilangan real x 6= 0 sehingga
ax2 + bx + c = 0, maka cx2 + bx + a memiliki akar rasional.
b. Jika a dan b bilangan real dengan a < 0 dan y = b/(2a), maka untuk semua
bilangan real x, ax2 + bx ay2 + by.
c. Jika a 6= 0 dan b adalah bilangan real dan y = b/(2a) memenuhi sifat bahwa, untuk
semua bilangan real x, ax2 + bx ay2 + by, maka a < 0.
d. Jika f adalah fungsi bernilai real sehingga, untuk semua bilangan real x, y, dan t
dengan 0 t ÿ 1, f(tx + (1 t)y) ÿ tf(x) + (1 t) f(y), maka himpunan C = {bilangan real x :
f(x) 0} adalah himpunan cembung.
Machine Translated by Google
76 BAB 6: KUANTIFIKASI III: SPESIALISASI
6.6 Untuk setiap pernyataan untuk semua berikut, properti apa yang harus dipenuhi oleh objek
yang diberikan agar Anda dapat menerapkan spesialisasi? Mengingat bahwa objek memenuhi
sifat-sifat tersebut, apa yang dapat Anda simpulkan tentang objek tersebut?
c. Penyataan: Setiap segitiga ABC dengan panjang sisi a = BC, = a 2+b 2ÿ2ab
2
memenuhi c Benda yang diberikan: Segitiga
cos(C).
siku-siku
b = CA,sama
dan ckaki
= AB
ABC yang kakinya a = BC dan b = CA keduanya sama dengan m.
d. Penyataan: Untuk semua pasangan segitiga sama sisi ABC dan DEF, jika salah
satu sisi segitiga ABC sejajar dengan salah satu sisi segitiga DEF,
maka kedua sisi segitiga ABC yang lain sejajar dengan sisi segitiga
DEF yang bersesuaian.
Objek yang diberikan: Segitiga CDE yang sisi DE sejajar dengan sisi DA segitiga F DA.
W
6.7 Untuk objek spesifik apa Anda dapat mengkhususkan setiap pernyataan untuk semua
berikut sehingga hasil spesialisasi mengarah pada kesimpulan yang diinginkan?
Verifikasi bahwa objek yang Anda terapkan spesialisasi memenuhi properti tertentu dalam
pernyataan untuk semua sehingga Anda dapat menerapkan spesialisasi.
sebuah. Pernyataan untuk semua: Untuk semua sudut dan , sin(ÿ + ) = sin(ÿ) cos(ÿ) +
cos(ÿ) sin(ÿ).
Kesimpulan yang diinginkan: Untuk sudut tertentu X, sin(2X) =
2 sin(X) cos(X).
6.8 Untuk objek spesifik apa Anda dapat mengkhususkan setiap pernyataan untuk semua berikut
sehingga hasil spesialisasi mengarah pada kesimpulan yang diinginkan?
Verifikasi bahwa objek yang Anda terapkan spesialisasi memenuhi properti tertentu dalam
pernyataan untuk semua sehingga Anda dapat menerapkan spesialisasi.
sebuah. Pernyataan untuk semua: f adalah fungsi dari satu variabel sedemikian rupa
sehingga, untuk semua bilangan real x, y, dan t dengan 0
t ÿ 1, f(tx + (1 t)y) ÿ tf(x) + (1 t)f (y).
Kesimpulan yang diinginkan: fungsi f memenuhi f(1/2)
(f(0) + f(1))/2.
Machine Translated by Google
BAB 6: LATIHAN 77
2 2
2c
2 2
2 2
Machine Translated by Google
78 BAB 6: KUANTIFIER III: SPESIALISASI
2
Mengurangi a(x ) + bxÿ + c dari kedua sisi dan dibagi
dengan > 0, maka
a (b + 2axÿ ) 0.
Bukti. Misalkan a1, a2, a3 adalah bilangan real dengan a1 + a2 + a3 = 1 dan 1 a3 > 0.
Sekarang, karena f adalah fungsi cembung, menurut definisi, untuk semua bilangan real x,
y, dan t dengan 0 t 1, f(tx + (1 t)y) tf(x) + (1 t)f(y). Khususnya, untuk t = 1 a3 > 0, x =
a2
a1 x1 + 1ÿa3
1ÿa3 x2 dan y = x3, Anda memiliki
a2
f(tx + (1 t)y) = f (1 a3) h a1 1ÿa3 x1 + 1ÿa3 x2 saya + a3x3
a2
(1 a3)f a1 1ÿa3 x1 + 1ÿa3 x2 + a3f(x3).
a1 a2 a1 a2
f 1ÿa3 x1 + x2 1ÿ a3 1ÿa3 f(x1) + 1ÿa3 f(x2).
W
6.13 Untuk himpunan R, S, dan T, buktikan bahwa, jika R S dan S T, maka R T.
6.14 Buktikan bahwa, jika a dan b bilangan real sehingga untuk setiap
1
bilangan bulat nn ,> 0, a b + maka untuk semua bilangan real > 0, a b + .
6.15 Buktikan bahwa, jika untuk semua bilangan real x dan y, |x + y| |x| + |y|,
maka untuk semua bilangan real x, y, dan z, |x z| |x y| + |y z|. (Hati-hati dengan
notasi yang tumpang tindih.)
W
6.16 Untuk fungsi f, g, dan h, buktikan bahwa, jika f g pada himpunan S
bilangan real (lihat definisi pada Latihan 5.1(b) halaman 63) dan g h pada S,
maka f h pada S.
Machine Translated by Google
BAB 6: LATIHAN 79
6.17 Buktikan bahwa, jika bilangan real u dan v masing-masing adalah batas atas,
untuk himpunan S bilangan real dan himpunan S = {ÿx : x S} dan v u, maka untuk
setiap elemen x S , |x| v.
6.18 Untuk bilangan real u dan v, buktikan bahwa, jika u adalah batas atas untuk
himpunan S dari bilangan real dan u v, maka v adalah batas atas untuk S.
W
6.19 Buktikan bahwa, jika S dan T adalah himpunan cembung (lihat definisi pada
Latihan 5.2(b) halaman 63), maka S T adalah himpunan cembung.
W
6.20 Buktikan bahwa, jika f adalah fungsi cembung (lihat definisi pada Latihan
5.2(c) halaman 63), maka untuk semua bilangan real s 0, fungsi sf adalah cembung
[di mana nilai fungsi sf di sembarang titik x adalah sf(x)].
6.21 Untuk fungsi f dan g dari satu variabel, buktikan bahwa, jika g f pada
Latihan bilangan real dan xhimpunan
5.1(a) danadalah
(b) pada
pemaksimal
halaman 63),
darimaka
g (lihat
untuk
definisi
setiap
pada
bilangan real x, f(x) g(x ) .
6.22 Misalkan a, b, dan c adalah bilangan real dengan a 6= 0. Buktikan bahwa, jika
x = b/(2a) adalah pemaksimal dari fungsi f(x) = ax2 +bx+c (lihat Latihan
5.1(a) pada halaman 63), lalu a < 0. (Petunjuk: Mengkhususkan x ke +
x , dimana > 0.)
W
6.23 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang, jika perlu.
6.24 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang, jika perlu.
f(tx+(1ÿt)y)+g(tx+(1ÿt)y) t[f(x)+g(x)]+(1ÿt)[f(y)+g(y) ].
6.25 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan
di bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapa
Isi rincian langkah-langkah yang hilang, jika perlu.
a2
x1 + 1ÿa3
f(tx + (1 t)y) = f (1 a3) h a1 1ÿa3 x2 saya + a3x3
a2
(1 a3)f a1 1ÿa3 x1 + 1ÿa3 x2 + a3f(x3)
Sekarang a1
0 dan perhatikan bahwa, karena a1 + a2 +
1ÿa3
= a2 a3 = 1, 0. Jadi, dari konveksitas f
misalkan t = 1 t =a1
1
1ÿa3
1ÿa3
dengan x = x1 dan y = x2, diperoleh
a1 a2 a1 a2
f 1ÿa3 x1 + x2 1ÿ a3 1ÿa3 f(x1) + 1ÿa3 f(x2).
7
Kuantifier IV:
Kuantifikasi Bersarang
Pernyataan dalam tiga bab sebelumnya hanya berisi satu quantifier- baik "ada" atau
"untuk semua." Anda sekarang akan mempelajari apa yang harus dilakukan ketika
pernyataan berisi lebih dari satu quantifier-yaitu, ketika ada quantifier bersarang.
Saat membaca, menulis, atau memproses pernyataan seperti itu, selalu kerjakan dari
kiri ke kanan. Untuk pernyataan sebelumnya S1, quantifier pertama yang ditemui dari
kiri adalah “untuk semua.” Untuk quantifier itu, identifikasi komponen berikut:
Sesuatu yang terjadi dalam kasus ini berisi quantifier bersarang "ada", yang
kemudian Anda dapat mengidentifikasi komponen berikut:
81
Machine Translated by Google
82 BAB 7: QUANTIFIER IV: NESTED QUANTIFIER
Sebagai contoh lain dari kuantor bersarang, misalkan T adalah himpunan real
bilangan dan perhatikan pernyataan:
S2: Ada bilangan real M > 0 sehingga, untuk semua elemen x T, x < M.
Di S2, quantifier "ada" adalah yang pertama ditemui saat membaca dari kiri. Terkait dengan
quantifier itu adalah tiga komponen berikut:
Sesuatu yang terjadi dalam kasus ini berisi quantifier bersarang "untuk semua", di mana Anda
dapat mengidentifikasi komponen berikut:
Objek: elemen x T.
Properti tertentu: tidak ada.
Penting untuk disadari bahwa urutan kemunculan quantifier sangat penting untuk arti
pernyataan. Misalnya, bandingkan pernyataan S2 di atas dengan pernyataan berikut:
S3 menyatakan bahwa, untuk setiap bilangan real positif M, Anda dapat menemukan
(mungkin berbeda) elemen x T yang x < M. Perhatikan bahwa elemen x mungkin bergantung
pada nilai M; yaitu, jika nilai M diubah, nilai x dapat berubah. Sebaliknya, S2 mengatakan
bahwa ada bilangan real positif M sehingga, tidak peduli elemen x mana yang Anda pilih di T,
x < M. Harus jelas bahwa S2 dan S3 tidak sama.
Pernyataan dapat memiliki sejumlah quantifier, seperti yang diilustrasikan dalam contoh
berikut yang berisi tiga quantifier bersarang (di mana f adalah fungsi dari satu variabel nyata):
S4: Untuk setiap bilangan real > 0, ada bilangan real > 0 sehingga, untuk
semua bilangan real x dan y dengan |x y| < , |f(x) f(y)| < .
Machine Translated by Google
7.2 MENGGUNAKAN TEKNIK BUKTI DENGAN NESTED QUANTIFIER 83
Menerapkan prinsip bekerja dari kiri ke kanan, terkait dengan yang pertama
quantifier "untuk semua" di S4 Anda harus mengidentifikasi:
Sesuatu yang terjadi dalam hal ini berisi quantifier bersarang “di sana”
adalah" dan "untuk semua". Bekerja dari kiri ke kanan sekali lagi, identifikasi ketiganya
komponen yang terkait dengan quantifier "ada":
A1: b = kira-kira.
Ketika sebuah pernyataan dalam proses maju atau mundur berisi quanti fiers
bersarang, menerapkan teknik yang tepat (konstruksi, memilih, dan spesialisasi)
berdasarkan urutan kemunculan quantifier dari kiri ke kanan dalam
penyataan. Sebagai ilustrasi, misalkan Anda ingin menunjukkan bahwa pernyataan
di atas S2 benar; yaitu, Anda ingin menunjukkan itu
Machine Translated by Google
84 BAB 7: QUANTIFIER IV: NESTED QUANTIFIER
Karena pernyataan B dalam proses mundur dan quantifier pertama yang dilawan dari
kiri adalah “ada”, metode konstruksi adalah teknik pembuktian yang benar untuk
digunakan terlebih dahulu. Jadi, Anda harus beralih ke proses maju dalam upaya
membangun bilangan real M > 0. Misalkan Anda telah melakukannya.
Menurut metode konstruksi, Anda harus menunjukkan bahwa nilai M yang Anda bangun
memenuhi sesuatu yang terjadi di B; yaitu, Anda harus menunjukkan bahwa
Saat mencoba menunjukkan bahwa B1 benar, Anda harus menerapkan metode pilih
karena munculnya quantifier "untuk semua" dalam proses mundur.
Dalam hal ini, Anda akan memilih
B2: x < M.
Menerapkan teknik yang tepat untuk quantifier bersarang diilustrasikan lagi dalam
bukti proposisi berikut.
Definisi 16 Suatu fungsi f dari himpunan bilangan real ke himpunan bilangan real adalah
ke (atau surjektif) jika dan hanya jika untuk setiap bilangan real y terdapat bilangan real
x sehingga f(x) = y.
Proposisi 10 Jika m dan b bilangan real dengan m 6= 0, maka fungsi f(x) = mx + b adalah
on.
Analisis Bukti. Metode maju mundur digunakan untuk memulai pembuktian karena
hipotesis A dan kesimpulan B tidak mengandung kata kunci (seperti “untuk semua” atau
“ada”). Bekerja mundur, Anda diarahkan ke pertanyaan kunci, "Bagaimana saya bisa
menunjukkan bahwa suatu fungsi (yaitu, f(x) = mx + b) ke?"
Menggunakan Definisi 16 dengan f(x) = mx + b, Anda harus menunjukkan bahwa
Mengenali kata kunci “ada” dalam pernyataan mundur B2, Anda sekarang harus
melanjutkan dengan metode konstruksi. Untuk itu, beralihlah ke proses forward dalam
upaya mengkonstruksi bilangan real yang diinginkan x.
Melihat fakta bahwa Anda ingin mx + b = y dan mengamati bahwa m 6= 0 dengan
hipotesis, Anda mungkin menghasilkan pernyataan ini:
Ingat bahwa dengan metode konstruksi Anda harus menunjukkan bahwa objek yang
Anda buat memenuhi properti tertentu dan sesuatu yang terjadi (dalam B2). Jadi Anda
harus menunjukkan bahwa
B3: mx + b = y.
Pembuktian Proposisi 10. Untuk menunjukkan bahwa f tepat, misalkan y adalah bilangan rea
(Kata “biarkan” di sini menunjukkan bahwa metode pemilihan yang digunakan.) Secara
hipotesis, m 6= 0, jadi misalkan x = (y b)/m. (Di sini, kata “biarkan” menunjukkan bahwa
metode konstruksi yang digunakan.) Sekarang Anda dapat melihat bahwa f(x) = mx + b = y.
Proposisi 11 Jika a, b, dan c adalah bilangan real dengan a < 0, maka ada bilangan real
y sehingga untuk setiap bilangan real x, ax2 + bx + c y.
Bukti Proposisi 11. (Untuk tujuan referensi, setiap kalimat bukti ditulis pada baris
terpisah.)
2 4acÿb
S1: Misalkan y = 4a .
S2: Untuk bilangan real x, Anda memilikinya
2
b 4ac b + 2
ax2 + bx + c = kapak + 2a .
4a
2 4acÿb
S3: Sekarang, karena a < 0, ax2 + bx + c 4a
= y.
2
b 2 4ac b +
ax2 + bx + c = kapak + 2a .
4a
Mengenal quantifier “untuk semua” dalam pernyataan mundur B1, penulis menggunakan
metode pilih, seperti yang ditunjukkan oleh kata-kata, “Untuk bilangan real x . . ..”
Dengan kata lain, penulis memilih
B2: ax2 + bx + c y.
2 bbx + 4a2 2 2
ax2 + bx + c = kapak + sebuah
+c b 4a
2 2
4acÿb
= kapak + b 2a + 4a .
4acÿb 4a2
Interpretasi S3: Sekarang, karena a < 0, ax2 + bx + c = y.
Penulis bekerja maju dari suku pertama di sisi kanan 0 karena a < 0 oleh
2
A3. Secara khusus, penulis mencatat bahwa ax + b 2a
2
hipotesis dan x + b 2a 0 dan oleh karena itu
2
4acÿb
A4: ax2 + bx + c 4a .
4acÿb 4a2
Akhirnya, penulis menggunakan fakta bahwa = y, dari A1. Ini selesai
keduanya memilih dan metode konstruksi, sehingga pembuktiannya selesai.
Machine Translated by Google
BAB 7: LATIHAN 87
Ringkasan
1. Untuk setiap quantifier yang ditemui dari kiri ke kanan, identifikasi objek,
properti tertentu, dan sesuatu yang terjadi.
Dalam Bab 9 dan 10 Anda akan mempelajari dua teknik baru untuk menunjukkan itu
“A menyiratkan B.” Teknik-teknik tersebut membutuhkan materi di Bab 8.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku
ini.
W 7.1 Identifikasi objek, sifat tertentu, dan sesuatu yang terjadi untuk masing-masing
quantifier ketika muncul dari kiri ke kanan di setiap definisi berikut.
sebuah. Fungsi f dari satu variabel real dibatasi di atas jika dan hanya jika ada
bilangan real y sehingga, untuk setiap bilangan real x, f(x) y.
b. Himpunan bilangan real S terbatas jika dan hanya jika ada bilangan real M > 0
sehingga, elemen x S, |x| < M
c. Fungsi f dari satu variabel real kontinu di titik x jika dan hanya jika, untuk setiap
bilangan real > 0, terdapat bilangan real > 0 sedemikian sehingga, untuk semua
bilangan real y dengan |x y| < , |f(x) f(y)| < .
d. Misalkan x1, x2, . . . dan x adalah bilangan real. Barisan x1, x2, . . . konvergen
ke x jika dan hanya jika bilangan real > 0, bilangan bulat j 1 bilangan bulat k
dengan k > j, |xk x| < .
7.2 Tulis ulang setiap pernyataan berikut dengan memperkenalkan notasi yang sesuai
dan menggunakan kuantor bersarang.
sebuah. Untuk himpunan S bilangan real, tidak peduli elemen mana yang dipilih dalam
himpunan, Anda dapat menemukan elemen lain dalam himpunan yang benar-benar lebih bes
b. Suatu fungsi tertentu dari satu variabel nyata memiliki sifat bahwa nilai absolut
dari semua nilai fungsi selalu lebih kecil dari suatu bilangan.
Machine Translated by Google
88 BAB 7: QUANTIFIER IV: NESTED QUANTIFIER
W
7.3 Apakah setiap pasangan pernyataan berikut sama; yaitu, apakah ini?
dua pernyataan keduanya benar? Mengapa atau mengapa tidak?
sebuah. S1 : Untuk semua bilangan real x dengan 0 x 1, untuk semua bilangan real
2 2 6.
bilangan y dengan 0 y 2, 2x + kamu
c. Berdasarkan jawaban Anda pada bagian (a) dan (b), kapankah pernyataan “Untuk
semua objek X dengan properti tertentu P dan untuk semua objek Y dengan a
properti tertentu Q, sesuatu terjadi,” sama seperti pernyataan,
“Untuk semua objek Y dengan properti Q dan untuk semua objek X dengan
properti P, sesuatu terjadi”?
7.4 Apakah setiap pasangan pernyataan berikut sama; yaitu, apakah ini?
dua pernyataan keduanya benar? Mengapa atau mengapa tidak?
c. Berdasarkan jawaban Anda pada bagian (a) dan (b), kapan pernyataan tersebut,
“Ada sebuah objek X dengan properti P tertentu sehingga ada
objek Y dengan properti Q tertentu sehingga sesuatu terjadi, ”
sama dengan pernyataan, “Ada benda Y dengan sifat Q
sedemikian rupa sehingga ada objek X dengan properti P sedemikian rupa sehingga sesuat
terjadi”?
W
7.5 Jelaskan bagaimana bekerja mundur dari setiap pernyataan berikut.
Teknik pembuktian apa yang akan Anda gunakan dan dalam urutan apa? Bagaimana Anda?
menerapkan teknik tersebut?
sebuah. Untuk semua objek X dengan properti P tertentu, ada objek Y dengan
properti Q tertentu sehingga sesuatu terjadi.
Teknik pembuktian apa yang akan Anda gunakan dan dalam urutan apa? Bagaimana Anda
akan menerapkan teknik-teknik itu?
sebuah. Untuk semua objek X dengan properti P tertentu, ada objek Y dengan properti
Q tertentu sehingga sesuatu terjadi.
7.7 Untuk setiap pernyataan berikut dalam proses mundur, tunjukkan teknik mana yang
akan Anda gunakan (konstruksi dan pilih) dan urutannya.
Juga, jelaskan bagaimana Anda akan menerapkan teknik untuk masalah tertentu; yaitu,
apa yang akan Anda bangun, apa yang akan Anda pilih, dan seterusnya?
sebuah. Ada bilangan real M > 0 sehingga, untuk semua elemen x dalam himpunan T
bilangan real, |x| M.
b. Untuk semua bilangan real M > 0, ada elemen x dalam himpunan T bilangan real
sedemikian rupa sehingga |x| > M
c. bilangan real > 0, bilangan real > 0 bilangan real x dan y dengan |x y| < , |f(x) f(y)| <
(di mana f adalah fungsi dari satu variabel nyata).
7.8 Saat mengerjakan maju dari setiap pernyataan dalam latihan sebelumnya, tunjukkan
teknik mana yang akan Anda gunakan dan urutannya. Jelaskan bagaimana Anda akan
menerapkan teknik tersebut untuk masalah tertentu.
7.9 Untuk setiap proposisi berikut, tanyakan dan jawab pertanyaan kunci yang sesuai.
Kemudian tunjukkan teknik pembuktian mana yang akan Anda gunakan selanjutnya dan
dalam urutan apa. Jelaskan bagaimana Anda akan menerapkan teknik-teknik tersebut untuk m
sebuah. Jika S adalah himpunan bagian dari himpunan T bilangan real dan T berbatas, maka S adalah
dibatasi. (Lihat definisi dalam Latihan 7.1(b).)
b. Jika fungsi f dan g on (lihat Definisi 16 pada halaman 84), maka fungsi f g on, di
mana (f g)(x) = f(g(x)).
c. Jika f dan g adalah fungsi dari satu variabel real dimana g f pada himpunan
bilangan real dan g dibatasi di atas, maka f dibatasi di atas. (Lihat definisi dalam
Latihan 5.1(b) dan Latihan 7.1(a).)
7.10 Untuk setiap proposisi dalam latihan sebelumnya, gunakan definisi untuk bekerja
maju dari satu pernyataan dalam hipotesis untuk membuat pernyataan baru dengan
quantifier bersarang. Kemudian tunjukkan teknik pembuktian mana yang akan Anda
gunakan selanjutnya dan dalam urutan apa. Jelaskan bagaimana Anda akan menerapkan
teknik-teknik tersebut untuk masalah tersebut.
Machine Translated by Google
90 BAB 7: QUANTIFIER IV: NESTED QUANTIFIER
W
7.11 Buktikan bahwa, untuk semua bilangan real > 0 dan a > 0, ada bilangan bulat n > 0
sedemikian sehingga < .
sebuah
n
W
7.12 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Untuk semua
bilangan real x dan y dengan x < y, ada bilangan rasional r sehingga x < r < y.”
sebuah. Teknik pembuktian apa yang penulis gunakan pada kalimat pertama pembuktian?
Mengapa penulis memilih menggunakan teknik tersebut? Menjelaskan.
c. Teknik pembuktian apa yang penulis gunakan pada kalimat terakhir pembuktian?
Mengapa penulis memilih menggunakan teknik tersebut? Menjelaskan.
7.13 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Untuk setiap bilangan
prima n, ada bilangan prima p sedemikian rupa sehingga p > n.”
sebuah. Teknik apa yang digunakan pada kalimat pertama pembuktian. Mengapa penulis
menggunakan teknik tersebut? Pernyataan apa yang masih harus ditunjukkan untuk
melengkapi bukti dan dalam kalimat apa hal ini dilakukan?
b. Buktikan pernyataan bahwa “setiap bilangan bulat k dengan 2 k n membagi n!” dalam
kalimat kedua dengan memberikan bukti pernyataan ini.
7.14 Jawab pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika f adalah
fungsi dari satu variabel real yang memiliki bilangan real m sehingga, untuk semua
bilangan real x dan y, f(y) f(x) + m(y x), maka fungsi f adalah cembung [lihat definisi
pada Latihan 5.2(c)].”
sebuah. Teknik apa yang penulis gunakan dalam kalimat pertama pembuktian dan
bagaimana teknik itu diterapkan? Mengapa teknik ini digunakan?
c. Teknik pembuktian apa yang penulis gunakan pada kalimat ketiga dari
pembuktian untuk mendapatkan pertidaksamaan (a) dan (b)? Menjelaskan.
f. Apakah penulis benar dalam menyatakan bahwa buktinya lengkap? Mengapa atau mengapa?
bukan?
7.15 Identifikasi dan perbaiki kesalahan dalam pembuktian ringkas berikut dari
proposisi, “Jika a bilangan real positif, maka untuk semua bilangan real b dan m, ada
bilangan real x > 0 sedemikian hingga ax2 + bx mx. ”
7.16 Identifikasi kesalahan dalam bukti ringkas berikut dari pernyataan, “Jika v adalah
batas atas untuk himpunan S bilangan real, maka, untuk setiap bilangan real > 0, v
adalah batas atas untuk S.”
Machine Translated by Google
92 BAB 7: QUANTIFIER IV: NESTED QUANTIFIER
W
7.17 Buktikan bahwa, untuk setiap bilangan real x > 2, ada bilangan real
y < 0 sehingga x = 2y/(1 + y).
7.18 Misalkan f dan g adalah fungsi dari satu variabel. Buktikan bahwa,
jika f dan g tepat (lihat Definisi 16), maka fungsi f g tepat, di mana (f g)(x) = f
7.19 Buktikan bahwa, jika S = {bilangan real x > 2 < 2}, maka untuk setiap
2 real > 2.
0 : x bilangan > 0, ada elemen x S sedemikian sehingga x
W
7.20 Buktikan bahwa fungsi f(x) = x ada 2 + 2x dibatasi di atas; itu adalah,
bilangan real y sehingga, untuk semua bilangan real x, f(x) y.
7.21 Buktikan bahwa, jika
2 2
S = {(x, y) : x 1} dan T = {(x, y) : (x
+ kamu
7.23 Tulis analisis bukti yang sesuai dengan bukti ringkas yang diberikan
di bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerap
Isi rincian langkah-langkah yang hilang, jika perlu.
Definisi. Suatu fungsi bernilai riil f dari satu variabel riil
adalah linier jika dan hanya jika ada bilangan real m dan b
sehingga, untuk semua bilangan real x, f(x) = mx + b.
Dalil. Jika f dan g adalah fungsi linier, maka f + g adalah
fungsi linier [di mana untuk sembarang bilangan real x,
(f + g)(x) = f(x) + g(x)].
Bukti. Karena f dan g adalah fungsi linier, ada bilangan real m1, m2, b1, b2 sehingga, untuk setiap
bilangan real x, f(x) = m1x + b1 dan g(x) = m2x + b2. Misal m = m1 + m2 dan b = b1 + b2. Kemudian,
8
Tidak dari Tidak
Mengarah ke Knot
Seperti yang akan Anda lihat, teknik pembuktian pada Bab 9 dan 10 mengharuskan
Anda untuk dapat menulis negasi dari pernyataan A, yang selanjutnya ditulis sebagai N
Bab ini memberikan aturan untuk menulis NOT dari berbagai pernyataan yang
mengandung kata kunci, seperti quantifier.
Dalam beberapa kasus, NOT dari sebuah pernyataan mudah ditemukan. Sebagai
contoh, jika A adalah pernyataan, “bilangan real x > 0,” maka NOT dari A adalah,
“bukan kasus bahwa bilangan real x > 0,” atau setara, “bilangan real x bukan > 0.”
Anda dapat menghilangkan kata "tidak" sama sekali dengan memasukkan kata ini
ke dalam pernyataan untuk mendapatkan "bilangan real x 0."
Saat mengambil NOT dari pernyataan yang sudah mengandung kata “tidak”
atau “tidak”, hasilnya adalah NOT membatalkan “not” yang sudah ada. Misalnya,
jika A adalah pernyataan,
2
A: Tidak ada bilangan bulat x sehingga x + x 11 = 0,
93
Machine Translated by Google
94 BAB 8: NOTS OF NOTS LEAD TO KNOTS
Aturan khusus berlaku saat menulis NOT dari pernyataan yang mengandung
kata DAN atau ATAU. Secara khusus,
Sebagai contoh,
NOT [(x 3) AND (y < 2)] menjadi [(x < 3) OR (y 2)], NOT [(x 3) OR (y <
2)] menjadi [(x < 3) DAN (y 2)].
NOT B: Ada objek dengan properti tertentu yang tidak terjadi sesuatu.
Demikian pula, jika pernyataan B berisi quantifier "ada" dalam bentuk standar:
Perhatikan bahwa, ketika sebuah pernyataan berisi sebuah quantifier, NOT dari
pernyataan itu berisi quantifier yang berlawanan; yaitu, "untuk semua" menjadi
"ada" dan "ada" menjadi "untuk semua". Secara umum, ada tiga langkah untuk
menemukan NOT dari pernyataan yang mengandung satu atau lebih quantifier:
Machine Translated by Google
8.2 MENULIS BUKAN PERNYATAAN DENGAN QUANTIFIER 95
Langkah 2. Jika kata NOT muncul di sebelah kiri quantifier, maka pindahkan
kata NOT di sebelah kanan quantifier dan letakkan NOT
tepat sebelum sesuatu itu terjadi. Saat Anda melakukannya, ubah
quantifier ke kebalikannya— "untuk semua" menjadi "ada" dan "ada"
adalah” menjadi “untuk semua”. Ulangi langkah ini untuk quantifier bersarang ja
selama kata NOT muncul di sebelah kiri quantifier.
2
1. Untuk setiap bilangan real x 2, x + x 6 0.
2
Langkah 1. TIDAK [untuk setiap bilangan real x 2, x + x 6 0.]
Langkah 2. Ada bilangan real x 2 sehingga
2
BUKAN [x + x 6 0].
Langkah 3. Ada bilangan real x 2 sehingga x 2 +xÿ6 < 0.
Perhatikan pada Langkah 2 bahwa, ketika NOT dilewatkan dari kiri ke kanan,
kuantitas berubah tetapi properti tertentu (yaitu, x 2) tidak. Juga, karena
quantifier “untuk setiap” berubah menjadi “ada”, koma harus diganti dengan kata
“sehingga”. Jika quantifier "ada" adalah
diubah menjadi “untuk semua”, kemudian kata “sehingga” diganti dengan koma,
seperti yang diilustrasikan pada contoh berikut.
2
2. Ada bilangan real x 2 sehingga x + x 6 0.
Langkah 1. TIDAK [ada bilangan real x 2 sehingga
2 x + x 6 0.]
2
Langkah 2. Untuk semua bilangan real x 2, BUKAN [x + x 6 0].
Langkah 3. Untuk semua bilangan real x 2, x2 + x 6 < 0.
Jika pernyataan yang Anda ambil BUKAN berisi quantifier bersarang (lihat
Bab 7), maka Langkah 2 dilakukan pada setiap quantifier, secara bergantian, seperti yang terliha
dari kiri ke kanan. Langkah 2 diulang sampai semua quantifier muncul di sebelah kiri
yang TIDAK, seperti yang ditunjukkan dalam dua contoh berikut.
Machine Translated by Google
96 CHAPTER 8: NOTS OF NOTS LEAD TO KNOTS
2x + y2
2+
2
1].
tahun
4. Ada bilangan real M > 0 sehingga, untuk semua elemen x dalam himpunan S
bilangan real, |x| < M
Langkah 1. TIDAK [ada bilangan real M > 0 sehingga, untuk
semua elemen x dalam himpunan S bilangan real, |x| < M.]
Langkah 2. Untuk semua bilangan real M > 0, BUKAN [untuk semua
elemen x dalam himpunan S bilangan real, |x| < M.]
Langkah 2. Untuk semua bilangan real M > 0, ada elemen x
dalam himpunan S bilangan real sehingga NOT [ |x| < M ].
Langkah 3. Untuk semua bilangan real M > 0, ada elemen x dalam
himpunan S bilangan real sedemikian rupa sehingga |x| M.
Semua pernyataan yang Anda lihat sejauh ini adalah benar dan Anda telah
dapat membuktikannya. Namun, kebenaran beberapa pernyataan matematika
tidak selalu begitu jelas. Perhatikan, misalnya, pernyataan berikut:
Anda dapat dengan mudah memverifikasi bahwa B benar untuk n = 2, 3, dan 4. Namun,
jika Anda mencoba membuktikan pernyataan ini dengan menggunakan metode pilih
(atau metode lain apa pun, dalam hal ini), Anda tidak akan berhasil. Alasannya adalah
bahwa pernyataan di atas tidak benar, sehingga tidak ada teknik pembuktian yang akan
berhasil. Secara umum, bagaimana Anda bisa menunjukkan bahwa pernyataan tertentu
tidak benar? Salah satu jawabannya adalah membuktikan bahwa negasi dari pernyataan
tersebut benar. Misalnya, untuk menunjukkan bahwa pernyataan B di atas tidak benar,
gunakan aturan yang baru saja Anda pelajari di Bagian 8.2 untuk menulis negasi berikut:
Untuk membuktikan bahwa NOT B benar, Anda sekarang harus menggunakan metode
konstruksi karena kata kunci “ada” dalam NOT B. Dalam hal ini, Anda dapat
2 n
25 < 32 = 25 . n = 5, yang bekerja karena n = 5 2 dan < Singkatnya,
2 n membangun
untuksebagai 52 =
menunjukkan
bahwa pernyataan B tidak benar, coba buktikan bahwa NOT B benar. Ketika
pernyataan B berisi kata kunci “untuk semua” dalam bentuk standar:
NOT B: Ada objek dengan sifat tertentu sehingga tidak terjadi sesuatu.
Untuk menunjukkan bahwa NOT B benar, Anda kemudian dapat menggunakan metode
konstruksi untuk menghasilkan (seringkali dengan coba-coba) sebuah objek dengan
properti tertentu dan untuk itu sesuatu tidak terjadi. Objek tunggal yang pernyataan B
tidak benar ini disebut sebagai contoh tandingan dari pernyataan B. Jadi, n = 5 adalah
contoh tandingan dari pernyataan B sebelumnya.
Contoh lain untuk menghasilkan contoh tandingan muncul ketika Anda mencoba
membuktikan bahwa pernyataan dalam bentuk "A menyiratkan B" tidak benar.
Perhatikan contoh berikut (dengan mengingat bahwa bilangan bulat m membagi
bilangan bulat n, ditulis m|n, jika dan hanya jika ada bilangan bulat k sehingga n = km):
S: Jika a, b, dan c adalah bilangan bulat dengan a|(bc), maka a|b dan a|c.
Setelah tidak berhasil membuktikan pernyataan S, Anda mungkin mulai curiga bahwa
S tidak benar. Untuk membuktikan bahwa S tidak benar, ingat kembali dari tabel
kebenaran di halaman 4 bahwa implikasi dari bentuk “A menyiratkan B” tidak benar
jika A benar dan B salah. Jadi, untuk menunjukkan bahwa pernyataan S di atas tidak
benar, Anda harus menunjukkan bahwa
NOT B: NOT (a|b dan a|c); yaitu, dengan menggunakan aturan dalam Bagian
8.1, a tidak membagi b atau a tidak membagi c.
Dengan kata lain, untuk menunjukkan bahwa S tidak benar, Anda harus menghasilkan
bilangan bulat a, b, dan c yang a|(bc) dan a tidak membagi b atau a tidak membagi c.
Misalnya, a = 2, b = 4, dan c = 5 memenuhi a|(bc) karena 2|20 dan a = 2 tidak membagi
c = 5. Jadi, nilai a = 2, b = 4, dan c = 5 berikan contoh tandingan untuk pernyataan S.
Ringkasan
5. NOT [untuk semua benda dengan sifat tertentu, sesuatu terjadi] akan
muncul “ada benda dengan sifat tertentu sehingga sesuatu itu tidak
terjadi”.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di
http://www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir
buku ini.
W
8.1 Tulis NOT dari masing-masing definisi dalam Latihan 5.1 di halaman 63;
yaitu, tulis BUKAN dari pernyataan yang merupakan definisi dari istilah yang
didefinisikan. Misalnya, NOT dari definisi dalam Latihan 5.1(a) adalah,
“Bilangan real x bukan maksimum dari>fungsi
sehingga f(x) f(x ) . ”f jika ada bilangan real x
8.2 Tulis NOT dari masing-masing definisi pada Latihan 5.2 di halaman 63;
yaitu, tulis BUKAN dari pernyataan yang merupakan definisi dari istilah yang
didefinisikan.
8.3 Tulislah NOT dari masing-masing definisi berikut sehingga kata “tidak”
tidak muncul dalam pernyataan setelah kata “jika dan hanya jika”.
sebuah. Sebuah bilangan bulat positif p > 1 adalah prima jika dan hanya jika tidak ada bilangan bulat
dengan 2 n < p sedemikian rupa sehingga n membagi p.
b. Barisan x1, x2, . . . bilangan real meningkat jika dan hanya jika untuk
setiap bilangan bulat k = 1, 2, . . ., xk < xk+1.
Machine Translated by Google
BAB 8: LATIHAN 99
c. Barisan x1, x2, . . . bilangan real berkurang jika dan hanya jika untuk setiap bilangan bulat k = 1,
2, . . ., xk > xk+1.
d. Barisan x1, x2, . . . bilangan real benar-benar monoton jika dan hanya jika barisannya
naik atau turun. (Gunakan kata "dan" dalam negasi.)
e. Suatu bilangan bulat d adalah pembagi persekutuan terbesar dari bilangan bulat a
dan b jika dan hanya jika (i) d|a dan d|b dan (ii) setiap kali c adalah bilangan bulat
yang c|a dan c|b, maka c|d.
0
f. bilangan asli f (¯x) adalah turunan dari fungsi f di titik x¯ jika dan hanya
jika bilangan real > 0, bilangan real > 0 sehingga ÿ bilangan real x dengan 0 < |x x¯|
f(x)ÿf(¯x) f 0
< , (¯x) < . xÿx¯
W
8.4 Susun ulang pernyataan-pernyataan berikut sehingga kata “tidak” muncul secara
eksplisit. Misalnya, kata ulang pernyataan “x > 0” menjadi “x bukan 0.”
sebuah. Jika a adalah bilangan real positif, maka ada bilangan real x sehingga
x=a x .
b. A menyiratkan BUKAN.
d. Jika u batas atas terkecil untuk himpunan S bilangan real, maka bilangan real > 0,
suatu elemen x S sedemikian sehingga x > u ÿ .
W
8.6 Untuk setiap pernyataan berikut A menyiratkan B, dari pernyataan apa Anda akan
bekerja ke depan dan dari pernyataan apa Anda akan bekerja mundur jika Anda ingin
membuktikan bahwa NOT B menyiratkan NOT A?
8.7 Untuk setiap pernyataan berikut A menyiratkan B, dari pernyataan apa Anda akan
bekerja maju dan dari pernyataan apa Anda akan bekerja mundur jika Anda ingin
membuktikan bahwa NOT B menyiratkan NOT A?
sebuah. Jika k adalah bilangan bulat yang membagi bilangan bulat n, maka k tidak membagi n+1
b. Jika n bilangan genap dan m bilangan ganjil, maka mn habis dibagi 4 atau n habis
dibagi 4.
c. Misalkan m dan n adalah bilangan bulat. Jika mn habis dibagi 4 atau n tidak habis
dibagi 4, maka n bilangan genap dan m bilangan ganjil.
8.8 Untuk setiap pernyataan berikut A menyiratkan B, teknik pembuktian apa yang akan
Anda gunakan dan dalam urutan apa untuk membuktikan BUKAN B menyiratkan BUKAN A?
sebuah. Misalkan a, b, dan c bilangan real. Jika a > 0, maka tidak ada bilangan real M
sehingga, untuk setiap bilangan real x, ax2 + bx + c M.
b. Misalkan a, b, dan c bilangan real. Jika ada bilangan real M sehingga, untuk semua
bilangan real x, ax2 + bx + c M, maka a 0.
c. Misalkan p adalah bilangan bulat positif. Jika tidak ada bilangan bulat m dengan 1 < m ÿ
p sedemikian hingga m|p, maka p adalah prima.
d. Biarkan a menjadi bilangan real. Jika a > 0, maka ada bilangan real x seperti
bahwa x = a x .
e. Misalkan m dan n bilangan bulat positif. Jika ada bilangan bulat k dengan 1 < k < m
sehingga k tidak membagi n, maka n 6= m!.
f. Misalkan S dan T adalah himpunan bilangan real dengan S T. Jika untuk setiap
bilangan real M > 0, ada elemen x S sehingga |x| M, maka untuk setiap bilangan
real N > 0, ada elemen y T sedemikian rupa sehingga |y| N
W
8.9 Berikan contoh tandingan untuk menunjukkan bahwa setiap pernyataan berikut tidak
benar.
c. Jika a, b, dan c adalah bilangan bulat dengan a|(b + c), maka a|b dan a|c.
8.10 Berikan contoh tandingan untuk menunjukkan bahwa setiap pernyataan berikut
tidak benar.
c. Jika p adalah bilangan bulat positif yang bukan prima, maka untuk setiap bilangan
bulat m dengan 1 < m p, m tidak membagi p.
Machine Translated by Google
9
Kontradiksi
metode
Dengan semua teknik yang telah Anda pelajari sejauh ini, Anda mungkin masih tidak
dapat menyelesaikan pembuktian karena satu dan lain alasan. Bab ini menyajikan
teknik baru yang sering memberikan alternatif yang berhasil. Metode ini digunakan
ketika kesimpulan dari proposisi mengandung kata kunci yang sesuai.
Sekuat apa pun metode maju-mundur, itu mungkin tidak selalu menghasilkan bukti
yang berhasil, seperti yang ditunjukkan pada contoh berikut.
2
Proposisi 12 Jika n bilangan bulat dan n genap, maka n genap.
101
Machine Translated by Google
102 BAB 9: METODE KONTRADIKSI
Tujuannya adalah untuk menghasilkan bilangan bulat k yang n = 2k, jadi wajar untuk
mengambil akar kuadrat positif dari kedua sisi persamaan di A1 untuk mendapatkan
A2: n = 2m,
tetapi bagaimana Anda bisa menulis ulang 2m agar terlihat seperti 2k? Tampaknya
metode maju mundur telah gagal.
Bukti Proposisi 12. Teknik yang akan Anda pelajari mengarah pada bukti sederhana
dari proposisi ini, yang tersisa sebagai latihan.
Untungnya, ada beberapa teknik lain yang mungkin ingin Anda coba sebelum Anda
menyerah. Dalam bab ini, metode kontradiksi dijelaskan, bersama dengan indikasi
tentang bagaimana dan kapan metode itu harus digunakan.
2. Bagaimana tepatnya Anda menggunakan asumsi bahwa A benar dan B salah untuk
mencapai kontradiksi?
3. Mengapa dan kapan Anda harus menggunakan pendekatan ini alih-alih maju?
metode mundur?
Machine Translated by Google
9.2 BAGAIMANA DAN KAPAN MENGGUNAKAN METODE KONTRADIKSI 103
Pertanyaan pertama adalah yang paling sulit dijawab karena tidak ada
pedoman khusus. Setiap masalah menimbulkan kontradiksinya sendiri.
Dibutuhkan kreativitas, wawasan, ketekunan, dan terkadang keberuntungan untuk m
Mengenai pertanyaan kedua, pendekatan yang paling umum untuk
menemukan kontradiksi adalah bekerja maju dari asumsi bahwa A dan BUKAN
B benar, seperti yang diilustrasikan sebentar lagi.
Diskusi sebelumnya juga menunjukkan mengapa Anda mungkin ingin
menggunakan kontradiksi daripada metode maju-mundur. Dengan metode
maju-mundur Anda hanya mengasumsikan bahwa A benar, sedangkan dalam
metode kontradiksi Anda mengasumsikan bahwa A dan BUKAN B benar.
Dengan demikian, Anda memiliki dua pernyataan untuk alasan ke depan, bukan
hanya satu (lihat Gambar 9.1). Di sisi lain, kelemahan metode kontradiksi
adalah Anda tidak tahu kontradiksi apa yang akan terjadi dan karena itu tidak dapat
Sebagai aturan umum, gunakan kontradiksi ketika pernyataan NOT B
memberi Anda informasi yang berguna. Setidaknya ada dua contoh yang dapat
dikenali ketika ini terjadi. Ingat pernyataan B terkait dengan Proposisi 12, “n
adalah bilangan bulat genap.” Karena bilangan bulat ganjil atau genap, ketika
Anda menganggap bahwa B tidak benar—yaitu, n bukan bilangan genap—pasti
kasus n ganjil, menghasilkan beberapa informasi yang berguna. Secara umum,
ketika pernyataan B adalah salah satu dari dua alternatif yang mungkin, metode
kontradiksi kemungkinan akan efektif karena, dengan mengasumsikan BUKAN
B, Anda akan tahu bahwa kasus lain harus terjadi, dan itu akan membantu Anda me
Contoh kedua ketika kontradiksi mungkin berhasil adalah ketika pernyataan
B berisi kata kunci “tidak” atau “tidak”. Ini karena, seperti yang Anda pelajari
di Bab 8, dengan asumsi NOT B menghilangkan kata "tidak" atau "tidak", yang
dapat menghasilkan pernyataan yang berguna untuk dikerjakan, seperti yang ditunj
Analisis Bukti. Penting untuk dicatat bahwa Anda dapat menulis ulang
kesimpulan dari Proposisi 13 menjadi “r tidak rasional.” Dalam formulir ini,
kemunculan kata kunci “not” sekarang menyarankan penggunaan metode
kontradiksi, di mana Anda mengasumsikan bahwa A dan NOT B keduanya benar—d
Masih ada pertanyaan yang belum terjawab di mana kontradiksi itu muncul, dan ini
membutuhkan banyak kreativitas. Pengamatan penting di sini sangat membantu —
mungkin untuk berasumsi bahwa
A3: p dan q tidak memiliki pembagi yang sama (yaitu, tidak ada bilangan
bulat yang membagi p dan q).
Alasannya adalah, jika p dan q memiliki pembagi yang sama, Anda dapat membagi
bilangan bulat ini dari p dan q.
Sekarang Anda dapat mencapai kontradiksi untuk A3 dengan menunjukkan bahwa 2
adalah pembagi umum dari p dan q. Hal ini dilakukan dengan bekerja ke depan untuk
menunjukkan bahwa p dan q genap, dan karenanya 2 membagi keduanya.
Bekerja maju dengan mengkuadratkan kedua sisi persamaan di A2, maka
A4: r 2
= p2 /q2 .
2 = 2, jadi
Tetapi dari A Anda juga tahu bahwa r
A5: 2 = p 2 /q2 .
Sisa dari proses maju sebagian besar menulis ulang A5 melalui manipulasi aljabar untuk
mencapai kontradiksi yang diinginkan bahwa baik p dan q adalah bilangan bulat.
Langkah-langkah tersebut dan pembenarannya disajikan dalam tabel berikut.
Penyataan Alasan
22=p 2.
A6: 2q . Kalikan kedua sisi A5 dengan q
A9: p = 2k, untuk beberapa bilangan bulat k. Definisi bilangan bulat genap.
2 2 = 4k 2 .
A10: 2q = (2k) Substitusi p = 2k dari A9 di A6.
2 = 2k 2 .
A11: q Bagi A10 dengan 2.
2 2 adalah 2 kali
A12: q adalah genap. Dari A11 karena q
2.
beberapa bilangan bulat; yaitu, k
Jadi, p dan q keduanya genap (lihat A8 dan A13), dan ini bertentangan dengan A3,
sehingga melengkapi pembuktian.
Bukti Proposisi 13. Asumsikan, sebaliknya, bahwa r adalah bilangan rasional dari bentuk
p/q (di mana p dan q adalah bilangan bulat dengan q 6= 0) dan bahwa = 2. Selanjutnya,
2 r dapat diasumsikan bahwa p dan q tidak memiliki pembagi yang sama, jika ada, bilangan
ini dapat dibatalkan dari pembilang p dan = 2 dan r = p/q, maka 2 = p 2/q2 , penyebut q.
2
dan karenanya p, adalah genap. Karena r atau ekuivalen, 2q . Perhatikan bahwa 2q
2 2 2
2=p genap, p ,
Jadi, ada bilangan bulat k sehingga p = 2k. Dengan mensubstitusi nilai ini untuk 2 = (2k) p,
2 2
2 =dapat
4k , atau
2 diperoleh 2q =
adalah genap. Dengan 2demikian
= p2 2k . telah
Dari sini
ditunjukkan setara,
disimpulkan
bahwa qbahwa
p dan q keduanya
q memiliki
dan karenanya
genap
persekutuan
pembagi
dan
q,
,
2. Kontradiksi ini menetapkan klaim.
Bukti ini, ditemukan pada zaman kuno oleh seorang pengikut Pythagoras,
melambangkan penggunaan kontradiksi. Coba buktikan pernyataan itu dengan cara lain.
Ada beberapa kegunaan berharga lainnya untuk metode kontradiksi. Ingatlah bahwa,
ketika pernyataan B berisi quantifier "ada," metode konstruksi direkomendasikan terlepas
dari kesulitan untuk benar-benar menghasilkan objek yang diinginkan. Metode kontradiksi
membuka pendekatan yang sama sekali baru.
Alih-alih mencoba menunjukkan bahwa ada objek dengan sifat tertentu sehingga sesuatu
terjadi, mengapa tidak berangkat dari asumsi bahwa tidak ada objek seperti itu? Sekarang
tugas Anda adalah menggunakan informasi ini untuk mencapai semacam kontradiksi.
Bagaimana dan di mana kontradiksi itu muncul sama sekali tidak jelas, tetapi menemukan
kontradiksi mungkin lebih mudah daripada memproduksi atau membangun objek.
Perhatikan contoh berikut.
Misalkan Anda ingin menunjukkan bahwa di sebuah pesta yang terdiri dari 367 orang,
setidaknya ada dua orang yang ulang tahunnya jatuh pada hari yang sama dalam setahun.
Jika metode konstruksi digunakan, maka Anda benar-benar harus pergi ke pesta dan
menemukan dua orang seperti itu. Menggunakan metode kontradiksi menghemat waktu
dan kesulitan Anda karena harus melakukannya. Dengan metode kontradiksi, Anda dapat
mengasumsikan bahwa tidak ada ulang tahun dua orang yang jatuh pada hari yang sama
dalam setahun, atau secara setara, bahwa ulang tahun setiap orang jatuh pada hari yang berbed
Untuk mencapai kontradiksi, berikan nomor kepada orang-orang sedemikian rupa
sehingga orang dengan ulang tahun paling awal tahun itu menerima nomor 1, orang
dengan ulang tahun paling awal berikutnya menerima nomor 2, dan seterusnya. Ingatlah
bahwa ulang tahun setiap orang diasumsikan jatuh pada hari yang berbeda. Dengan
demikian, ulang tahun orang yang bernomor 2 harus terjadi paling lambat satu hari dari
orang yang bernomor 1, dan seterusnya. Akibatnya, ulang tahun orang yang nomornya
367 harus terjadi setidaknya 366 hari setelah
Machine Translated by Google
106 BAB 9: METODE KONTRADIKSI
orang yang nomornya 1. Tetapi satu tahun memiliki paling banyak 366 hari, dan jadi ini
tidak mungkin—karena itu Anda telah mencapai kontradiksi.
Contoh ini menggambarkan perbedaan yang halus namun signifikan antara bukti
menggunakan metode konstruksi dan yang menggunakan kontradiksi. Jika metode
konstruksi berhasil, maka Anda telah menghasilkan objek yang diinginkan,
mungkin dengan bantuan komputer. Di sisi lain, jika Anda menetapkan
hasil yang sama dengan kontradiksi, maka Anda tahu bahwa objek itu ada tetapi memiliki
tidak membangun objek secara fisik. Untuk alasan ini, sering terjadi bahwa
bukti yang dilakukan dengan kontradiksi sedikit lebih pendek dan lebih mudah daripada yang dilakuk
oleh konstruksi karena Anda tidak harus membuat objek yang diinginkan. Anda
hanya harus menunjukkan bahwa ketidakberadaan objek itu tidak mungkin. Perbedaan ini
telah menyebabkan beberapa perdebatan filosofis besar dalam matematika.
Metode kontradiksi memberikan pendekatan baru untuk membuktikan bahwa
pernyataan itu benar — anggap saja pernyataan itu tidak benar dan kemudian
menunjukkan bahwa asumsi ini mengarah pada kontradiksi. Anda kemudian akan tahu itu
pernyataan aslinya benar.
Proses membaca dan memahami suatu pembuktian yang menggunakan kontradiksi adalah
ditunjukkan dengan proposisi berikut.
Proposisi 14 Jika m dan n bilangan bulat ganjil, maka tidak ada akar rasional
2 + 2mx + 2n = 0.
untuk persamaan x
aneh.
S6: Namun, fakta bahwa x = p/q memenuhi x 2 + 2mx + 2n = 0
2
berarti y = p memenuhi y +2m0y+2n 0 = 0, di mana m0 = mq
ganjil dan n 0
= nq2 juga ganjil, yang tidak mungkin terjadi.
2 + 2mx + 2n = 0 memiliki
Interpretasi S1: Asumsikan bahwa persamaan x
akar rasional, misalkan, x = p/q, dimana salah satu p dan q ganjil dan q 6= 0.
Penulis berasumsi bahwa kesimpulan tersebut tidak benar; itu adalah:
dengan demikian menunjukkan bahwa ini adalah bukti dengan kontradiksi. Perhatikan bahwa penulis memi
diasumsikan lebih lanjut bahwa
Hal ini dibenarkan karena, jika keduanya genap, maka Anda dapat membagi keduanya berulang ka
p dan q sebanyak 2 sampai salah satunya ganjil.
Setelah mengetahui bahwa ini adalah bukti dengan kontradiksi, apakah Anda membaca terlebih dahu
untuk mengidentifikasi kontradiksi? Jika tidak, maka Anda harus melakukannya sekarang.
2 =
Interpretasi S2: Sekarang berarti q ganjil, jika tidak p
2
2mqp 2q 2n, yang berarti p , dan karenanya p, genap.
Penulis bekerja maju dari A1 untuk mengklaim bahwa
A3: q ganjil.
2 2
p = 2mqp 2q2n . Sekarang Anda dapat melihat bahwa sisi kanan adalah genap dan p adalah
2
0
Interpretasi S3: Perhatikan terlebih dahulu bahwa, jika m0 dan nganjil, maka y +2bln+
2 aneh dan juga
2n 0 = 0 tidak memiliki akar ganjil, karena jika y adalah akar demikian, maka y
2
0
tahun = 2m0y 2n genap, yang tidak mungkin terjadi.
Pernyataan ini diarahkan untuk mencapai kontradiksi terakhir. Itu
penulis menetapkan bahwa
Hal ini juga ditunjukkan oleh kontradiksi, yang ditunjukkan ketika penulis menjumlahkan
bahwa y adalah akar bilangan bulat ganjil. Penulis kemudian mencapai kontradiksi
2
itu kamu keduanya ganjil (karena ganjil kali ganjil) dan genap (karena, dari
2 0
A4, kamu = 2m0y 2n , yang genap).
2 0
Interpretasi S4: Juga, y + 2m0th + 2n = 0 tidak memiliki akar genap,
karena jika y adalah akar seperti itu, maka y = 2k, untuk beberapa bilangan bulat k.
Di sini, penulis menetapkan bahwa
Machine Translated by Google
108 BAB 9: METODE KONTRADIKSI
Hal ini juga ditunjukkan oleh kontradiksi, yang ditunjukkan ketika penulis menjumlahkan
bahwa y adalah akar bilangan bulat genap. Menurut definisi, ini berarti bahwa y = 2k,
untuk beberapa bilangan bulat k.
2 0
A6: y = p memenuhi persamaan y + 2m0 tahun + 2n = 0, dimana
0
m0 = mq dan n = nq2 .
0
= nq2
Penulis selanjutnya mengklaim dengan benar bahwa keduanya m0 = mq dan n ganjil
[karena m dan n ganjil (lihat hipotesis), dan q juga ganjil (lihat A3)].
Akhirnya, penulis mengklaim telah mencapai kontradiksi yang diinginkan. Di = 0,
akta, A4 dan A5 bersama-sama berarti bahwa persamaan y 2 + 2m0th + 2n dimana
0
0
m0 dan n ganjil, tidak memiliki solusi bilangan bulat. Namun di A6, penulis menunjukkan bahw
y = p adalah solusi bilangan bulat untuk persamaan tersebut. Dengan demikian buktinya sudah lengka
Ringkasan
Salah satu kelemahan metode ini adalah Anda tidak tahu persis
apa kontradiksinya sehingga Anda tidak dapat bekerja mundur. Itu
bab berikutnya menjelaskan teknik bukti lain di mana Anda mencoba untuk mencapai
kontradiksi tertentu. Dengan demikian, Anda akan memiliki "cahaya penuntun" karena Anda
akan tahu kontradiksi apa yang Anda cari.
Machine Translated by Google
BAB 9: LATIHAN 109
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W
9.1 Ketika menerapkan metode kontradiksi pada proposisi berikut, apa yang harus Anda
asumsikan?
sebuah. Jika l, m, dan n adalah tiga bilangan bulat berurutan, maka 24 tidak membagi
2 + m2 + n 2 + 1.
aku
2, x dan z.
c. Jika f dan g adalah dua fungsi sedemikian rupa sehingga (1) g f dan (2) f tidak
terbatas di atas, maka g tidak terbatas di atas.
9.2 Ketika menerapkan metode kontradiksi pada proposisi berikut, apa yang harus Anda
asumsikan?
sebuah. Jika n adalah bilangan bulat dengan n > 2, maka tidak ada bilangan bulat
n n
x, y, dan z sedemikian rupa sehingga x + kamu positif = z n.
b. Jika a bilangan real positif, maka untuk semua bilangan real b, c, dan M dengan M >
0, terdapat bilangan real x sedemikian sehingga ax2 + bx + c > M.
9.3 Pertimbangkan penerapan kontradiksi untuk menunjukkan bahwa, jika a dan b bilangan
bulat dan b ganjil, maka ±1 bukan akar dari ax2 + bx + a.
W
9.4 Susun ulang setiap pernyataan berikut sehingga muncul kata “tidak”.
b. Satu-satunya bilangan bulat positif yang membagi bilangan bulat positif p adalah 1 dan p.
9.5 Susun ulang setiap pernyataan berikut sehingga kata “tidak” tidak muncul.
W
9.6 Saat mencoba membuktikan setiap pernyataan berikut, teknik mana yang akan Anda
gunakan dan urutannya? Secara khusus, nyatakan apa yang akan Anda asumsikan dan
apa yang akan Anda coba simpulkan. (Secara keseluruhan, S dan T adalah himpunan
bilangan real dan semua variabel mengacu pada bilangan real.)
sebuah. s S s T.
9.7 Ketika mencoba membuktikan setiap pernyataan berikut, teknik mana yang akan Anda
gunakan dan dalam urutan apa? Secara khusus, nyatakan apa yang akan Anda asumsikan
dan apa yang akan Anda coba simpulkan. (Secara keseluruhan, S adalah himpunan
bilangan real tertentu dan semua variabel mengacu pada bilangan real.)
sebuah. Untuk setiap bilangan real > 0, ada elemen x S sedemikian sehingga
x > u (di mana u adalah bilangan real tertentu).
b. Ada bilangan real y > 0 sehingga, untuk setiap elemen x S, f(x) < y (di mana f adalah
fungsi dari satu variabel real).
0
c. Untuk setiap garis l pada bidang yang sejajar, tetapi berbeda dengan, l ,
tidak ada titik di l yang juga ada di S (di sini, S adalah beberapa set poin yang diberikan
0
di pesawat dan l adalah garis tertentu pada bidang).
W 2
9.8 Buktikan, dengan kontradiksi, bahwa, jika n bilangan bulat dan n genap, maka n
genap.
9.9 Buktikan, dengan kontradiksi, bahwa tidak terdapat bilangan real positif x dan y
33y
dengan x 6= y sehingga x = 0.
W
9.10 Buktikan, dengan kontradiksi, bahwa tidak ada tali busur lingkaran yang lebih
panjang dari diameternya. (Petunjuk: Gambarlah segitiga siku-siku yang sesuai.)
9.11 Misalkan a, b, dan c adalah bilangan real dengan c 6= 0. Buktikan dengan kontradiksi,
bahwa, jika cx2 + bx + a tidak memiliki akar rasional, maka ax2 + bx + c tidak memiliki
akar rasional.
Machine Translated by Google
BAB 9: LATIHAN 111
W 9.12 Buktikan, dengan kontradiksi, bahwa, jika n 1, n, dan n + 1 adalah bilangan bulat positif
berurutan, maka pangkat tiga terbesar tidak dapat sama dengan jumlah pangkat dua dari
dua lainnya.
9.13 Buktikan, dengan kontradiksi, bahwa, jika p dan q adalah bilangan bulat dengan p 6= q
dan p adalah prima dan membagi q, maka q bukan prima.
W 9.14 Buktikan, dengan kontradiksi, bahwa, pada suatu pesta yang terdiri dari n 2 orang,
paling sedikit terdapat dua orang yang mempunyai jumlah teman yang sama pada pesta tersebut.
9.15 Buktikan, dengan kontradiksi, bahwa setidaknya ada dua orang di planet ini yang lahir
pada detik yang sama pada jam yang sama pada hari yang sama pada tahun yang sama
pada abad kedua puluh. (Anda dapat berasumsi bahwa setidaknya ada 4 miliar orang yang
lahir pada abad itu.)
9.16 Buktikan, dengan kontradiksi, bahwa, jika n adalah bilangan bulat positif sehingga nÿ6
3n = 0, maka, untuk setiap bilangan bulat positif m dengan m 6= n, m3 mÿ6 6= 0.
W 9.17 Buktikan dengan kontradiksi bahwa, jika x dan y adalah bilangan real sehingga x 0, y 0,
dan x + y = 0, maka x = 0 dan y = 0.
9.18 Untuk himpunan S yang elemen-elemennya berasal dari himpunan U, komplemen dari
S adalah himpunan S c = {x U : x /ÿ S}. Buktikan bahwa, untuk himpunan S, (S c ) c = S.
Definisi. Suatu fungsi f dari satu variabel adalah satu-satu jika dan hanya
jika, untuk semua bilangan real x dan y dengan x 6= y, f(x) 6= f(y).
x adalah
Dalil. Jika a > 0 adalah bilangan real, maka f(x) = fungsi satu-satu.
sebuah. Jelaskan apa yang penulis lakukan dalam kalimat pertama. Teknik apa
digunakan?
b. Teknik pembuktian apa yang penulis gunakan dalam kalimat kedua? Mengapa
apakah penulis memilih teknik itu?
9.20 Buktikan bahwa, jika a, b, dan c bilangan real dengan a 6= 0, maka fungsi f(x) = ax2 + bx
+ c bukan satu-satu (lihat definisi pada Latihan 9.19).
Machine Translated by Google
112 BAB 9: METODE KONTRADIKSI
9.21 Temukan kesalahan dalam bukti berikut bahwa, “Jika a 6= 0 adalah bilangan real,
sebuah
maka fungsi f(x) = x adalah satu-satu (lihat definisi dalam Latihan 9.19).”
yaitu, mengikuti
asumsikan
log(x) =a bahwa
bahwa log(x
x =Tapi
sebuah
log(y). aberarti
)= x
sebuah
y ini
bahwa
= y dan buktinya lengkap.
W
9.22 Identifikasi kontradiksi dalam bukti berikut.
Dalil. Jika a dan b bilangan bulat dan b ganjil, maka ±1 bukan akar dari
ax4 + bx2 + a.
Dalil. Jika n adalah bilangan bulat positif, maka, untuk setiap bilangan
bulat k dengan 1 < k n, k tidak membagi n! + 1.
W
9.24 Buktikan, dengan kontradiksi, bahwa ada bilangan prima yang tak terhingga.
(Petunjuk: Asumsikan bahwa n adalah bilangan prima terbesar. Kemudian pertimbangkan
sembarang bilangan prima p yang membagi n! + 1. Sekarang lihat proposisi dalam Latihan 9.23.)
W
9.26 Tulislah analisis bukti yang sesuai dengan bukti ringkas
diberikan di bawah. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya
Isi rincian langkah-langkah yang hilang jika sesuai.
2
Bukti. Asumsikan bahwa xz y > 0. Dari ini dan (2) berikut
bahwa (ac)(xz) > b2y 2 . Menulis ulang (1) dan mengkuadratkan kedua sisi,
2
2 diperoleh (az + cx) = 4b 2y < 4(ac)(xz). Menulis ulang, satu
2
memiliki itu (az cx) < 0, yang tidak mungkin terjadi.
W
9.27 Tulislah analisis bukti yang sesuai dengan bukti ringkas
diberikan di bawah. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya
Isi rincian langkah-langkah yang hilang jika sesuai.
4 2 + 2x
Dalil. polinomial x + 2x + 2 tidak bisa
2
dinyatakan sebagai produk dari dua polinomial x + kapak + b
2 dan x + cx + d di mana a, b, c, dan d adalah bilangan bulat.
Bukti. Seandainya
2 2 2
4x + 2x + 2x + 2 = (x + kapak + b)(x + cx + d)
3
4=x + (a + c)x + (b + ac + d)x 2+
(sm + iklan)x + bd.
1. a + c = 0.
2. b + ac + d = 2.
3. bc + iklan = 2.
4. bd = 2.
Satu-satunya cara (4) dapat terjadi adalah jika salah satu faktor b atau d
ganjil (±1) dan yang lainnya genap (±2). Misalkan b ada di
fakta ganjil dan d genap. Dari (3), maka akan mengikuti c
genap, tetapi ruas kiri (2) akan ganjil, yaitu
mustahil. Kontradiksi serupa dapat dicapai jika b genap
dan d ganjil.
9.29 Tulis analisis bukti yang sesuai dengan bukti ringkas yang diberikan
dalam Latihan 9.25. Tunjukkan teknik mana yang digunakan dan bagaimana
penerapannya. Isi rincian langkah-langkah yang hilang jika sesuai.
9.30 Tulis analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapanny
Isi rincian langkah-langkah yang hilang jika sesuai.
2
pembuktiannya lengkap.
sebuah
Machine Translated by Google
10
Kontrapositif
metode
115
Machine Translated by Google
116 BAB 10: METODE KONTRAPOSITIF
Definisi 17 Suatu fungsi bernilai riil f dari satu variabel riil adalah satu-satu jika dan hanya
jika untuk semua bilangan real x dan y dengan x 6= y, f(x) 6= f(y).
Proposisi 15 Jika m dan b bilangan real dengan m 6= 0, maka fungsi f(x) = mx + b adalah
satu-satu.
Analisis Bukti. Metode maju mundur digunakan untuk memulai pembuktian meskipun
hipotesis mengandung kata kunci “tidak”. Pertanyaan kunci yang terkait dengan B adalah,
“Bagaimana saya dapat menunjukkan bahwa suatu fungsi adalah satu-ke-satu?”
Menerapkan Definisi 17 ke fungsi tertentu f(x) = mx + b berarti Anda harus menunjukkan
bahwa
Pernyataan baru ini berisi kata kunci "untuk semua" dan "tidak" (dalam "tidak sama").
Ketika lebih dari satu kelompok kata kunci hadir dalam sebuah pernyataan, terapkan
teknik yang sesuai berdasarkan kemunculan kata kunci saat muncul dari kiri ke kanan
(seperti yang Anda pelajari dengan quantifier bersarang di Bab 7). Karena kata kunci
pertama dari kiri dalam pernyataan mundur B1 adalah “untuk semua”, metode pemilihan
digunakan selanjutnya. Jadi, pilih
B2: mx + b 6= saya + b.
Mengenali kata kunci “tidak” dalam B2, adalah tepat untuk melanjutkan dengan metode
kontradiksi atau kontrapositif. Dalam hal ini, metode kontra positif digunakan. Dengan
demikian, Anda bekerja maju dari NOT B2:
A2 (BUKAN B2): mx + b = my + b
B3 (BUKAN A1): x = y.
Bukti selanjutnya adalah aljabar sederhana yang diterapkan pada A2. Secara khusus,
pada pengurangan b dari kedua sisi A2 Anda memperoleh:
A3: mx = saya.
Akhirnya, karena m 6= 0 dengan hipotesis A, Anda dapat membagi kedua sisi A3 dengan
m dan memperoleh B3, sehingga pembuktiannya lengkap.
Dalam bukti ringkas berikut ini, perhatikan bahwa tidak disebutkan tentang
memilih atau metode kontrapositif.
Bukti Proposisi 16. Bukti ditulis (Untuk tujuan referensi, setiap kalimat dari
pada baris terpisah.)
b.
Interpretasi S3: Karena x > 0, pasti x = 1 sebuah
Penulis bekerja maju dengan aljabar dari A2 untuk melihat bahwa dua akar .
adalah x = 1 dan x = 1ÿ b
Karena, dari A1, x > 0, penulis mengesampingkan
sebuah
A3: x = 1 b .
sebuah
Ringkasan
atau tidak." Dengan metode kontrapositif, Anda bekerja menuju kontradiksi spesifik
BUKAN A dengan
Anda juga dapat menganggap metode kontrapositif sebagai metode maju-mundur yang
diterapkan pada pernyataan "TIDAK B menyiratkan BUKAN A" karena pernyataan ini
secara logis setara dengan pernyataan "A menyiratkan B."
Baik metode kontrapositif maupun kontradiksi mengharuskan Anda untuk dapat
menulis NOT dari sebuah pernyataan, yang telah Anda pelajari di Bab 8.
Pada bab berikutnya Anda akan mempelajari teknik pembuktian untuk menangani
pernyataan yang mengandung kata kunci khusus yang terkait dengan quantifier.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W
10.1 Jika metode kontrapositif digunakan untuk membuktikan proposisi berikut, dari
pernyataan apa Anda akan bekerja maju dan dari pernyataan apa Anda akan bekerja
mundur?
2
sebuah. Jika n adalah bilangan bulat dengan ngenap, maka n genap.
b. Misalkan S adalah himpunan bagian dari himpunan T bilangan real. Jika S tidak
terbatas, maka T tidak terbatas.
c. Jika p > 1 adalah bilangan bulat sehingga, untuk setiap bilangan bulat n dengan 1 < n p
n tidak membagi p, maka p adalah prima.
10.2 Jika metode kontrapositif digunakan untuk membuktikan proposisi berikut, dari
pernyataan apa Anda akan bekerja maju dan dari pernyataan apa Anda akan bekerja
mundur?
sebuah. Misalkan n dan p adalah bilangan bulat positif. Jika n|p, maka n p.
b. Jika a bilangan real positif, maka untuk semua bilangan real b, c, dan M dengan M
> 0, terdapat bilangan real x sedemikian sehingga ax2 + bx + c > M.
c. Misalkan f adalah fungsi dari satu variabel nyata. Jika x1 < x2 < x3 adalah tiga
bilangan real yang f(x1) > f(x2) < f(x3), maka fungsi f(x) tidak linier.
Machine Translated by Google
BAB 10: LATIHAN 121
10.3 Bob berkata, “Jika saya belajar dengan giat, maka saya akan mendapatkan setidaknya nilai B dalam mata kuliah ini
Setelah kursus selesai, Mary berkata, “Kamu mendapat nilai A di mata pelajaran itu, jadi karena
itu kamu belajar dengan giat.” Apakah pernyataan Maria benar? Mengapa atau mengapa tidak? Menje
W 10.4 Dalam pembuktian dengan metode kontrapositif bahwa, “Jika r adalah bilangan real
dengan r > 1, maka tidak ada bilangan real t dengan 0 < t < /4 sehingga sin(t) = r cos(t), ”
manakah dari berikut ini yang merupakan hasil dari proses forward? b. sin2 (t) = r
sebuah. r 1 0. 2
(1 sin2 (t)).
10.5 Misalkan m dan n adalah bilangan bulat dengan m 6= 0. Dalam pembuktian dengan metode
kontrapositif bahwa, “Jika m tidak membagi n, maka mx2 +nx+ (nÿm) tidak memiliki akar
bilangan bulat positif,” yang mana dari berikut adalah hasil dari proses forward?
sebuah. m membagi n.
10.6 Ketika membuktikan proposisi pada latihan sebelumnya dengan menggunakan metode
kontrapositif, apa pertanyaan kunci dan jawaban selanjutnya?
W 10.7 Misalkan metode kontrapositif digunakan untuk membuktikan proposisi, “Jika turunan
dari fungsi f di titik x tidak sama dengan 0, maka x bukan maksimum lokal dari f.” Manakah dari
pertanyaan berikut yang merupakan pertanyaan kunci yang benar? Apa yang salah dengan
pilihan lain?
sebuah. Bagaimana saya bisa menunjukkan bahwa titik x adalah maksimum lokal dari fungsi f?
c. Bagaimana saya bisa menunjukkan bahwa suatu titik adalah maksimum lokal dari suatu fungsi?
d. Bagaimana saya bisa menunjukkan bahwa turunan dari suatu fungsi pada suatu titik adalah 0?
10.8 Misalkan f adalah fungsi dari satu variabel real, S adalah himpunan bilangan real, dan
metode kontrapositif digunakan untuk membuktikan proposisi, “Jika tidak ada elemen x S yang
memenuhi sifat f(x) = 0, maka f tidak dibatasi di atas.” Manakah dari pertanyaan berikut yang
merupakan pertanyaan kunci yang benar? Apa yang salah dengan pilihan lain?
sebuah. Bagaimana saya bisa menunjukkan bahwa suatu fungsi tidak dibatasi di atas?
d. Bagaimana saya bisa menunjukkan bahwa ada titik dalam himpunan di mana nilai a
fungsinya 0?
W
10.9 Apakah metode kontrapositif atau kontradiksi digunakan dalam pembuktian
proposisi berikut bahwa, “Jika n dan p adalah bilangan bulat positif dan n|p, maka n
p”? Jika metode kontradiksi digunakan, identifikasi kontradiksinya.
Bukti. Misalkan n > p. Maka karena n|p, ada sebuah bilangan bulat c
sehingga p = cn. Sekarang n > 0 dan p > 0, jadi c > 0.
Oleh karena itu, p = cn > cp p, sehingga pembuktiannya lengkap.
10.10 Apakah metode kontrapositif atau kontradiksi digunakan dalam pembuktian pada
Latihan 9.22? Jika metode kontradiksi digunakan, identifikasi kontradiksinya.
10.11 Apakah metode kontrapositif atau kontradiksi digunakan dalam pembuktian pada
Latihan 9.23? Jika metode kontradiksi digunakan, identifikasi kontradiksinya.
W
10.12 Misalkan p > 1 adalah bilangan bulat dan Anda ingin membuktikan dengan
metode kontrapositif bahwa, “Jika tidak ada bilangan bulat m dengan 1 < m ÿ ÿ p
sedemikian rupa sehingga m|p, maka p adalah prima.” Manakah dari teknik konstruksi,
pemilihan, dan spesialisasi yang akan Anda gunakan selanjutnya dalam melakukan pembuk
10.13 Misalkan a, b, dan c adalah bilangan real dengan a > 0 dan Anda ingin
membuktikan dengan metode kontrapositif bahwa, “Jika tidak ada bilangan real x
dengan ax2+bx+c = 0, maka ada bilangan x sehingga ax2+bx+c 0.”
Manakah dari teknik konstruksi, pemilihan, dan spesialisasi yang akan Anda gunakan
selanjutnya dalam melakukan pembuktian? Menjelaskan.
10.16 Misalkan a dan b adalah bilangan real positif. Buktikan, dengan metode
kontrapositif, bahwa, jika a 6= b, maka (a + b)/2 > ab.
W
10.17 Buktikan, dengan metode kontrapositif, bahwa, jika c bilangan bulat ganjil, maka
persamaan n + n2c = 0 tidak memiliki solusi bilangan bulat untuk n.
W 10.20 Buktikan, dengan metode kontrapositif, bahwa, jika tidak ada sudut
segiempat lateral RST U yang tumpul, maka segiempat RST U adalah persegi panjang.
10.21 Misalkan v adalah batas atas untuk himpunan S bilangan real. Buktikan
dengan metode kontrapositif, bahwa, jika tidak ada bilangan real > 0 sehingga,
, batas
untuk setiap elemen x S, x v maka tidak ada bilangan
atas untuk
real
S.u < v sehingga u adalah
W 10.22 Buktikan, dengan metode kontrapositif, bahwa, jika x adalah bilangan real
yang memenuhi sifat bahwa, untuk setiap bilangan real > 0, x maka x, 0.
ÿ10.23 Buktikan, dengan metode kontrapositif, bahwa, jika u adalah batas atas
terkecil untuk himpunan S bilangan real, maka bilangan real > 0, suatu elemen x S
sedemikian sehingga. x > u ÿ
W 10.24 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang jika sesuai.
Dalil. Misalkan p > 1 adalah bilangan bulat. Jika tidak ada bilangan
bulat m dengan 1 < m ÿ p sedemikian hingga m|p, maka p adalah prima.
10.25 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang jika sesuai.
10.26 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika a > 0
adalah bilangan bulat yang bukan bujur sangkar, maka a irasional.”
sebuah. Dengan hanya membaca kalimat pertama, teknik pembuktian apa yang
mungkin digunakan penulis?
2 2
c. Justifikasi pernyataan p = aq2 dan q |p 2 dalam kalimat ketiga.
11
Metode Keunikan
Anda sekarang memiliki tiga teknik utama untuk membuktikan bahwa "A
menyiratkan B": metode maju-mundur, kontrapositif, dan kontradiksi.
Anda juga telah belajar bagaimana dan kapan menggunakan konstruksi,
memilih, dan metode spesialisasi. Teknik quantifier tambahan
dikembangkan dalam bab ini. Secara khusus, Anda akan tahu untuk
menggunakan metode keunikan ketika pernyataan berisi kata kunci
"unik" (atau "satu dan hanya satu," atau "tepat satu") serta quantifier "ada" da
Pernyataan ini dapat muncul baik dalam proses maju atau mundur, jadi
ada dua teknik pembuktian.
Proposisi 17 Jika a, b, dan c adalah bilangan real dengan sifat bahwa persamaan
ax2 + bx + c = 0 memiliki solusi real yang unik, maka b 2 4ac = 0.
Analisis Bukti. Mengenali kata kunci “unik” dalam hipotesis, maka sudah tepat
menggunakan metode keunikan maju. Bekerja maju dari hipotesis bahwa
persamaan ax2 + bx + c = 0 memiliki solusi nyata, Anda tahu dengan rumus kuadrat
bahwa
A2: x¯ = y.
Kesimpulan diperoleh dengan bekerja maju dari A1 dan A2, sebagai berikut:
b+ b 2ÿ4ac = bÿ b 2ÿ4ac = y
x¯ = 2a 2a (dari A1 dan A2)
b2 4ac = 0 (aljabar).
Bukti Proposisi 17. Karena persamaan ax2 + bx + c = 0 memiliki solusi nyata, Anda
tahu dari rumus kuadrat bahwa solusi tersebut adalah
Namun, karena hipotesis menyatakan bahwa solusi persamaan adalah unik, maka
(dengan metode keunikan maju) maka x = y, dan oleh aljabar, b
2
4ac = 0, sehingga melengkapi pembuktian.
Ketika kata kunci "unik" muncul dalam proses mundur, Anda harus menunjukkan
tidak hanya bahwa ada objek dengan properti tertentu sehingga sesuatu terjadi,
tetapi juga hanya ada satu objek seperti itu. Artinya, dengan metode keunikan
mundur Anda harus membuktikan dua pernyataan: (a) ada objek dengan properti
tertentu sehingga sesuatu terjadi dan (b) hanya ada satu objek seperti itu. Seperti
yang sudah Anda ketahui, tugas pertama dilakukan baik dengan konstruksi atau
metode kontradiksi. Tugas kedua diselesaikan dengan salah satu dari dua cara
standar berikut.
Machine Translated by Google
11.2 METODE KEUNIKAN BACKWARD 127
Analisis Bukti. Mengenali kata kunci “unik” dalam kesimpulan, Anda harus
menggunakan metode keunikan mundur. Oleh karena itu, pertama-tama
kita perlu membangun bilangan real x dan y dimana ax+by = e dan cx+dy = f.
Hal ini dilakukan pada Proposisi 4 halaman 44 dengan metode konstruksi.
Tetap memastikan bahwa hanya ada satu pasangan angka yang
memenuhi dua persamaan. Ini sekarang ditetapkan dengan metode
keunikan langsung. Dengan demikian, Anda berasumsi bahwa (x1, y1)
dan (x2, y2) adalah dua objek dengan properti tertentu dan untuk itu sesuatu
A1: ax1 + by1 = e dan cx1 + dy1 = f dan
A2: ax2 + by2 = e dan cx2 + dy2 = f.
Dengan keempat persamaan ini dan hipotesis A, metode maju-mundur
digunakan untuk menunjukkan bahwa kedua objek itu sama; yaitu, itu
Mengalikan (5) dengan d dan (6) dengan b lalu mengurangkan (6) dari (5) menghasilkan
Dengan metode keunikan tidak langsung untuk menunjukkan bahwa hanya ada satu
objek yang memuaskan properti tertentu dan untuk itu sesuatu terjadi, Anda
asumsikan bahwa ada dua objek berbeda yang memiliki properti tertentu dan
untuk itu sesuatu terjadi. Sekarang seharusnya ini tidak bisa terjadi, jadi,
dengan menggunakan properti tertentu, sesuatu yang terjadi, informasi
di A, dan terutama fakta bahwa objeknya berbeda, Anda harus mencapai a
kontradiksi. Proses ini ditunjukkan sekarang.
Proposisi 19 Jika r > 0, maka ada bilangan real unik x sedemikian sehingga
3x = r.
metode keunikan tidak langsung kemudian digunakan untuk menetapkan bahwa ada
hanya satu bilangan real seperti itu. Untuk itu, anggaplah
Dengan menggunakan informasi ini, dan terutama fakta bahwa x 6= y, ditunjukkan bahwa
r = 0, yang bertentangan dengan hipotesis bahwa r > 0.
Untuk menunjukkan bahwa r = 0, bekerja maju dari A1. Secara khusus, karena=xr
3
3
dan kamu = r, maka
3 3 atau
A2: x 33
=y x y = 0.
22
A3: (x y)(x + xy + y ) = 0.
Machine Translated by Google
11.2 METODE KEUNIKAN BACKWARD 129
Di sinilah Anda dapat menggunakan fakta bahwa x 6= y untuk membagi kedua sisi
A3 dengan x y 6= 0, diperoleh
2 2
A4: x + xy + y = 0.
y ± y2ÿ4y2 y ± 3y2
A5: x = 2 = 2 .
Karena
2
x nyata dan rumus di atas membutuhkan akar kuadrat dari 3y
, itu harus itu
A6: y = 0,
Bukti Proposisi 19. Bukti bahwa ada bilangan real x sehingga = r dihilangkan.
3x Untuk melihat bahwa x adalah satu-satunya bilangan yang demikian, asumsikan
3 3 3 2 2
= r. memenuhi
bahwa y 6= x ). juga Oleh karena itu makax 06== y,
y Karena x pastiyx = 0.= Dengan
(xÿy)(x +xy
rumus +y
kuadrat,
2 2
+ xy + y
2 2 2
x= y ± py 4 tahun
= y ± p 3y .
2 2
3
Sekarang x nyata, jadi pasti y = 0. Tetapi kemudian r = y = 0, sehingga bertentangan
dengan hipotesis bahwa r > 0, dan pembuktiannya lengkap.
Ringkasan
Dalam bab ini, Anda telah mempelajari berbagai metode keunikan. Gunakan metode
keunikan ketika Anda menemukan pernyataan dalam bentuk, "ada objek unik (atau
satu dan hanya satu objek, atau tepat satu objek) dengan properti tertentu sehingga
sesuatu terjadi."
Ketika pernyataan ini terjadi dalam proses forward, dengan forward
metode keunikan Anda
1. Carilah dua benda, katakanlah X dan , dengan properti tertentu itu dan untuk
Y yang mana sesuatu itu terjadi.
Gunakan metode keunikan mundur ketika, dalam proses mundur, Anda perlu
menunjukkan bahwa “ada objek unik dengan properti tertentu sedemikian rupa sehingg
Machine Translated by Google
130 BAB 11: METODE KEUNIKAN
sesuatu terjadi." Melakukannya memerlukan dua langkah: pertama menunjukkan bahwa ada
satu objek seperti itu, katakanlah X, dan kemudian menunjukkan bahwa hanya ada satu objek sep
Sementara tugas pertama diselesaikan dengan metode konstruksi atau
kontradiksi, Anda dapat menyelesaikan tugas kedua dengan salah satu dari dua
cara. Dengan metode keunikan langsung Anda
2. Gunakan sifat tertentu dan sesuatu yang terjadi untuk X dan Y bersama-
sama dengan hipotesis A untuk menunjukkan bahwa X dan Y adalah sama
(yaitu, bahwa X = Y ).
1. Asumsikan bahwa Y adalah objek yang berbeda dari X dengan properti tertentu
dan untuk apa sesuatu itu terjadi.
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir
buku ini.
W
11.1 Misalkan setiap pernyataan berikut muncul dalam proses forward. Ketika
selanjutnya menerapkan metode keunikan maju dengan objek yang diberikan,
tunjukkan (i) apa yang harus Anda tunjukkan tentang objek tersebut dan (ii) apa
yang kemudian dapat Anda simpulkan sebagai pernyataan baru dalam proses
maju.
sebuah. Penyataan: Ada satu dan hanya satu garis yang melalui dua titik tertentu
(x1, y1) dan (x2, y2) pada bidang tersebut.
Objek yang diberikan: Garis y = mx + b dan y = cx + d.
11.2 Misalkan setiap pernyataan berikut muncul dalam proses forward. Ketika selanjutnya
menerapkan metode keunikan maju dengan objek yang diberikan, tunjukkan (i) apa yang
harus Anda tunjukkan tentang objek tersebut dan (ii) apa yang kemudian dapat Anda
simpulkan sebagai pernyataan baru dalam proses maju.
sebuah. Penyataan: Ada pemaksimal unik dari fungsi ax2+bx+ c, di mana a, b, dan
c diberikan bilangan real dengan a < 0.
Objek yang diberikan : Bilangan real x dan y .
b. Penyataan: Untuk suatu fungsi f dari satu variabel riil, ada satu dan hanya
satu fungsi g sedemikian sehingga, untuk setiap bilangan real
x, f(g(x)) = g(f(x)) = x.
Objek yang diberikan: Fungsi F dan G.
c. Penyataan: Untuk bilangan bulat n tertentu, ada bilangan bulat unik a > 0
sehingga a|n dan untuk setiap bilangan bulat b > 0 sehingga b|
n, b|a.
Objek yang diberikan: Bilangan bulat p dan q.
W
11.3 Misalkan setiap pernyataan dalam Latihan 11.1 muncul dalam proses mundur.
Bagaimana Anda melanjutkan untuk membuktikan pernyataan ini dengan menggunakan
(i) metode keunikan langsung dan (ii) metode keunikan tidak langsung?
11.4 Misalkan setiap pernyataan dalam Latihan 11.2 muncul dalam proses mundur.
Bagaimana Anda melanjutkan untuk membuktikan pernyataan ini dengan menggunakan
(i) metode keunikan langsung dan (ii) metode keunikan tidak langsung?
11.5 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika u adalah batas
atas untuk himpunan S bilangan real dan u S, maka u adalah elemen unik dari S dengan
sifat bahwa, untuk setiap elemen x S , x u.”
sebuah. Dalam metode keunikan terbelakang ini, mengapa penulis tidak terlebih dahulu
menetapkan bahwa ada objek dengan properti tertentu sehingga sesuatu terjadi?
b. Apakah pembuktian ini menggunakan metode keunikan langsung atau tidak langsung? Menjelaska
11.6 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang jika sesuai.
11.7 Tulislah analisis bukti yang sesuai dengan bukti ringkas yang diberikan di
bawah ini. Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang jika sesuai.
W 11.8 Buktikan bahwa, jika x bilangan real > 2, maka ada bilangan real unik y < 0
sehingga x = 2y/(1 + y).
11.9 Buktikan bahwa, jika a dan b adalah bilangan bulat dengan a 6= 0 sehingga
a|b, maka ada bilangan bulat unik k sehingga b = ka. (Lihat Definisi 1 di halaman 26.)
W
11.10 Buktikan, dengan metode ketunggalan tidak langsung, bahwa, jika m dan b
bilangan real dengan m 6= 0, maka ada bilangan unik x sehingga mx + b = 0.
11.11 Buktikan, dengan metode keunikan tidak langsung, bahwa ada bilangan
bulat unik n dimana 2n 2 3n 2 = 0.
W 11.12 Buktikan bahwa, jika a dan b bilangan real, paling sedikit salah satunya
bukan 0, dan i = 1, maka ada bilangan kompleks unik, misalkan c+di, sehingga (a
+ bi)(c + di) = 1.
11.13 Buktikan bahwa, jika f adalah fungsi dari satu variabel real sehingga untuk
setiap bilangan real y, ada bilangan real unik x sehingga f(x) = y, maka fungsi f
adalah satu-satu.
Machine Translated by Google
12
Induksi
Dalam Bab 5, Anda belajar menggunakan metode pilih ketika kuantifier "untuk
semua" muncul dalam pernyataan B. Ada satu bentuk khusus B yang berisi kuantifier
"untuk semua" di mana teknik terpisah yang dikenal sebagai induksi mungkin
dilakukan lebih sukses.
Anda harus mempertimbangkan induksi dengan serius (bahkan sebelum memilih metode) ketik
B berbentuk:
dimana sesuatu yang terjadi adalah suatu pernyataan, P(n), yang bergantung pada
bilangan bulat n. Berikut ini adalah contohnya:
n(n + 1)
k= , dimana Pn k = 1 + · · · + n.
Untuk semua bilangan bulat n 1, Xn 2
k=1 | k=1
}
{z
P(n)
Saat mempertimbangkan induksi, kata kunci yang harus dicari adalah “bilangan bulat” dan “ÿ
Salah satu cara untuk mencoba membuktikan pernyataan tersebut adalah dengan membuat
daftar pernyataan yang tidak terbatas, satu untuk setiap bilangan bulat dimulai dari n = 1, dan
kemudian membuktikan setiap pernyataan secara terpisah. Sementara beberapa pernyataan
pertama dalam daftar biasanya mudah diverifikasi, masalahnya adalah bagaimana membuktikan per
133
Machine Translated by Google
134 BAB 12: INDUKSI
1
P(1) : Pk = 2 1(1+1) atau 1=1
k=1
2
2(2+1) 1+2=3
P(2) : Pk = 2 atau
k=1
3
3(3+1) 1+2+3=6
P(3) : Pk = 2
atau
k=1
..
.
k= n(n+1)
P(n) : Pn 2
k=1
+1
(n+1)[(n+1)+1] k = = (n+1)(n+2)
P(n + 1) : nP 2 2
k=1
..
.
Langkah-Langkah Induksi
Setelah Anda menyelesaikan dua langkah ini, Anda tidak perlu lagi membuktikan
sendiri setiap pernyataan pada daftar tak terhingga karena Anda memiliki mesin
yang memiliki kemampuan untuk melakukannya.
Untuk melakukan Langkah 1, ganti n di mana-mana di P(n) dengan 1. Untuk memverifikasi bahwa
pernyataan yang dihasilkan benar biasanya hanya membutuhkan beberapa penulisan ulang kecil.
Langkah 2 lebih menantang. Anda harus mencapai kesimpulan bahwa P(n + 1)
benar dengan menggunakan asumsi bahwa P(n) benar. Ada cara standar
Machine Translated by Google
12.1 CARA MENGGUNAKAN INDUKSI 135
melakukan ini. Mulailah dengan menulis pernyataan P(n + 1), yang ingin
Anda simpulkan adalah benar. Karena Anda mengasumsikan bahwa P(n)
benar, Anda harus mencoba menulis ulang pernyataan P(n + 1) dalam
bentuk P(n), untuk kemudian Anda dapat menggunakan asumsi bahwa P(n)
benar . Menggunakan asumsi bahwa P(n) benar disebut menggunakan
hipotesis induksi. Dengan menetapkan bahwa P(n+1) benar, buktinya
lengkap. Langkah-langkah induksi digambarkan dengan proposisi berikut.
k=2. n(n+1)
Proposisi 20 Untuk setiap bilangan bulat n 1, Pn
k=1
n(n+1) .
P(n): Pn k=2
k=1
Langkah pertama dalam pembuktian dengan induksi adalah memverifikasi P(1). Mengganti n di mana-
mana dengan 1 di P(n), Anda memperoleh
1
1(1+1) .
P(1): Pk = 2
k=1
Machine Translated by Google
136 BAB 12: INDUKSI
1
1(1 + 1)
k=1= .
X 2
k=1
Langkah ini seringkali sangat mudah sehingga penulis menghilangkan detail dalam
bukti ringkas dengan mengatakan, “Pernyataan itu jelas benar untuk n = 1.” Namun,
Anda harus menyertakan perincian yang sesuai dari langkah ini dalam bukti tertulis Anda.
Langkah kedua lebih terlibat. Anda harus menggunakan asumsi bahwa P(n) benar
untuk mencapai kesimpulan bahwa P(n+1) benar. Cara terbaik untuk melanjutkan
adalah dengan menulis pernyataan P(n+1) dengan hati-hati mengganti n di mana-mana
di P(n) dengan n + 1 dan menulis ulang sedikit, jika perlu. Pada kasus ini:
(n+1)[(n+1)+1] 2 = (n+1)(n+2) 2
P(n + 1) : nP +1 k = .
k=1
Untuk mencapai kesimpulan bahwa P(n + 1) benar, mulailah dengan ruas kiri
persamaan pada P(n + 1) dan coba buat ruas tersebut terlihat seperti ruas kanan.
Dengan demikian, Anda harus menggunakan informasi di P(n) dengan menghubungkan
sisi kiri persamaan di P(n+ 1) dengan sisi kiri persamaan di P(n). Kemudian Anda akan
dapat menggunakan sisi kanan persamaan di P(n). Dalam contoh ini,
+1
P(n + 1) : nP k = Pn k + (n + 1).
k=1 k=1
Sekarang Anda dapat menggunakan asumsi bahwa P(n) benar dengan menggantikerabat
Pn
k=1
P(n + 1) dengan n(n + 1)/2 dari P(n), diperoleh
+1
n(n+1)
P(n + 1) : nP k = Pn k + (n + 1) = + (n + 1).2
k=1 k=1
(n+1)(n+2) 2
Yang tersisa hanyalah sedikit aljabar untuk menulis ulang
2 n(n+1) + (n + ,
1) sehingga memperoleh sisi kanan persamaan di P(n + 1). Langkah-langkah aljabar
adalah:
+1
nP
k=1
k = Pn k=1
k + (n + 1)
n(n+1) 2
= + (n + 1)
= (n + 1) n + 12
(n+1)(n+2) 2
= .
Dari pembahasan sebelumnya, Anda tahu bahwa, pada langkah kedua dalam
pembuktian induksi, Anda menggunakan asumsi bahwa P(n) benar untuk
menunjukkan bahwa P(n+ 1) benar. Dari sudut pandang notasi, beberapa
penulis lebih suka menggunakan asumsi bahwa P(n 1) benar untuk menunjukkan
bahwa P(n) benar. Kedua pendekatan ini identik — keduanya dapat digunakan,
tergantung pada preferensi notasi Anda. Yang penting adalah untuk menetapkan
bahwa, jika pernyataan umum pada daftar tak hingga itu benar, maka pernyataan be
Saat menggunakan induksi, nilai pertama untuk n tidak harus 1. Misalnya, Anda
dapat menggunakan induksi untuk membuktikan bahwa “untuk semua bilangan
bulat n 5, 2n > n2 .” Satu-satunya modifikasi adalah, untuk memulai pembuktian,
Anda harus memverifikasi
2
P(n) untuk nilai n yang diberikan pertama. Dalam hal ini,
nilai pertama adalah
karenan25
= 5, jadisedangkan
= 32 Anda harus52memeriksa bahwa
= 25). Langkah 25 >dari
kedua 5 (yang benar
pembuktian
induksi tetap sama—Anda masih harus menunjukkan bahwa, jika P(n) benar (yaitu,
2n > n2 ), maka P(n+ 1) juga benar (yaitu, 2n+1 > (n+ 1)2 ).
Dengan demikian, Anda juga dapat menggunakan fakta bahwa n 5, jika perlu.
Modifikasi lain pada metode induksi dasar muncul ketika Anda mengalami
kesulitan menghubungkan P(n + 1) ke P(n). Namun, anggaplah Anda dapat
menghubungkan P(n + 1) dengan P(j), di mana j < n. Dalam kasus ini, Anda
ingin menggunakan fakta bahwa P(j) benar, tetapi dapatkah Anda berasumsi
bahwa P(j) benar? Jawabannya iya. Untuk mengetahui alasannya, ingat analogi
mesin pembuktian (lihat kembali Gambar 12.1) dan amati bahwa, pada saat
mesin harus menunjukkan bahwa P(n + 1) benar, mesin telah membuktikan
bahwa semua pernyataan P(1), . . ., P(j), . . ., P(n) benar. Jadi, ketika mencoba
menunjukkan bahwa P(n + 1) benar, Anda dapat mengasumsikan bahwa P(n)
dan semua pernyataan sebelumnya benar. Bukti seperti itu disebut sebagai induksi
Machine Translated by Google
138 BAB 12: INDUKSI
Bukti Proposisi 21. Bukti (Untuk tujuan referensi, setiap kalimat dari
ditulis pada baris terpisah.)
Interpretasi S4: Jika tidak, ada bilangan bulat p dan q dengan 1 < p, q < n + 1
sehingga n + 1 = pq.
Penulis menunjukkan bahwa pernyataan itu benar ketika n + 1 bukan prima.
Secara khusus, penulis menggunakan fakta bahwa, ketika n + 1 bukan prima, n + 1
Machine Translated by Google
BAB 12: LATIHAN 139
dapat dinyatakan sebagai produk dari dua bilangan bulat, katakanlah p dan q, antara 1 dan
n + 1.
Interpretasi S5: Tetapi dengan hipotesis induksi, p dan q dapat dinyatakan sebagai produk
hingga bilangan prima, dan oleh karena itu n + 1.
Penulis menerapkan hipotesis induksi untuk p dan q, yang valid karena p dan q adalah
bilangan bulat dimana 2 p, q n (lihat S4). Melakukannya menghasilkan bahwa p dan q
masing-masing adalah produk terbatas dari bilangan prima. Penulis kemudian mencatat
bahwa, sebagai hasilnya, n + 1 = pq juga merupakan produk hingga dari bilangan prima
yang membentuk p dan produk dari bilangan prima yang membentuk q. Bukti induksi kuat
sekarang lengkap karena penulis telah menetapkan dengan benar bahwa pernyataan itu
benar untuk n + 1.
Ringkasan
Dalam bab ini, Anda telah belajar menggunakan induksi matematika. Gunakan induksi
ketika pernyataan yang ingin Anda buktikan memiliki bentuk, “Untuk setiap bilangan bulat
n n0, P(n),” di mana P(n) adalah beberapa pernyataan yang bergantung pada n. Untuk
menerapkan metode induksi,
1. Pastikan bahwa pernyataan P(n) benar untuk n0. (Untuk melakukannya, ganti n di
mana-mana di P(n) dengan n0, tulis ulang pernyataan yang dihasilkan, dan coba
tentukan bahwa P(n0) benar.)
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Kecuali dinyatakan lain, lakukan semua pembuktian dengan induksi dan tulis
hanya versi ringkasnya. Definisi untuk semua istilah matematika disediakan dalam
glosarium di akhir buku ini.
W 12.1 Manakah dari pernyataan berikut yang dapat diterapkan secara induksi? Ketika induksi
c. Untuk setiap bilangan bulat n 1, 1(1!) + · · · + n(n!) = (n + 1)! 1. (Ingat bahwa n! = n(n
1)· · · 1.) d. Untuk setiap bilangan bulat n 4, n! > n2 .
2 n.
e. Untuk setiap bilangan real n 1, n
12.2 Setelah mempelajari tentang metode induksi, seorang siswa berkata, “Saya tidak
mengerti sesuatu. Setelah menunjukkan bahwa pernyataan benar untuk n = 1, Anda ingin
saya berasumsi bahwa P(n) benar dan menunjukkan bahwa P(n + 1) benar.
Bagaimana saya bisa berasumsi bahwa P(n) benar—bagaimanapun juga, bukankah kita mencoba
menunjukkan bahwa P(n) benar?” Jawab pertanyaan ini.
W
12.3 Berkenaan dengan induksi,
sebuah. Mengapa dan kapan Anda ingin menggunakan induksi alih-alih memilih?
metode?
12.4 Misalkan A(n) dan B(n) adalah pernyataan yang bergantung pada bilangan bulat
positif n. Jelaskan bagaimana Anda akan menggunakan induksi untuk membuktikan
bahwa, “Untuk setiap bilangan bulat n 1, jika A(n) benar, maka B(n) benar.” Untuk
Langkah 2 induksi, tunjukkan pernyataan apa yang Anda anggap benar dan pernyataan
apa yang harus Anda tunjukkan benar.
W
12.5 Jelaskan prosedur induksi yang dimodifikasi untuk membuktikan bahwa:
12.6 Jelaskan prosedur induksi yang dimodifikasi untuk membuktikan bahwa, untuk
setiap bilangan bulat ganjil positif n, P(n) benar.
W
12.7 Buktikan bahwa, untuk setiap bilangan bulat n 1, 1(1!) + · · ·+ n(n!) = (n + 1)! 1.
Pn
k=1
n+1
Dalil. bilangan bulat n 2, Qn 1 k2 2n . (Di Sini,
k=2
+1
1 1
k 2 ) = Qn 1 1 (n+1)2
k=2 k=2
n+1 1
2n 2n(n+1)
n+2
2(n+1) .
Machine Translated by Google
142 BAB 12: INDUKSI
W
12.20 Dalam bukti ringkas berikut, jelaskan bagaimana penulis menghubungkan
P(n + 1) dengan P(n) dan di mana hipotesis induksi digunakan.
Dalil. Untuk setiap bilangan bulat n 1, turunan dari x adalahn
nxnÿ1 .
0 =
Bukti. Pernyataan benar untuk n = 1 karena, (x)
1 = 1x 0 . Asumsikan sekarang bahwa (x 0n)= nxnÿ1 . Kemudian, untukn+1
x ,
(n + 1)x n.
Buktinya sekarang sudah lengkap.
2 2
2
1+···+x n 2 + x n+1 2 + x n+1
qx = qz
|z| + |xn+1| = (1)
2
px + |xn+1|
1 2 + · |· ·x1
+ x | +n· · · + |xn|
+ |xn+1|. (2)
Buktinya sekarang sudah lengkap.
Machine Translated by Google
BAB 12: LATIHAN 143
sebuah. Justifikasikan kalimat pertama dengan membuktikan bahwa pernyataan tersebut benar untuk n =
12.23 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika f adalah
fungsi dari satu variabel yang ada bilangan real dengan 0 < ÿ < 1 sehingga, untuk semua
bilangan real x dan y, |f(x )ÿf(y)| |xÿy| dan xÿ adalah bilangan real dimana f(xÿ) = xÿ, maka
untuk sembarang bilangan real x0 dan bilangan bulat n 1, |f n(x0) x ÿ | n|x0 x ÿ |, di mana f
nÿ1 1
n(x) = f(f (x)) dan f (x) = f(x).”
sebuah. Teknik pembuktian apa yang penulis gunakan pada kalimat pertama dan mengapa?
W
12.24 Apa, jika ada, yang salah dengan bukti berikut bahwa semua kuda memiliki warna
yang sama?
2 nÿ1
n n
n n
Dalil. Untuk setiap bilangan bulat n 2, jika S1, S2, . . ., Sn adalah himpunan bilangan real
k k
k kÿ1 1
Machine Translated by Google
13
Metode Baik/Atau
Metode ini/atau yang disajikan dalam bab ini muncul ketika Anda menemukan kata kunci “baik/
atau” dalam bentuk “baik C atau D benar” (di mana C dan D adalah pernyataan). Kata kunci ini
dapat muncul dalam proses maju dan mundur sehingga tersedia dua teknik berbeda.
Untuk mengilustrasikan salah satu dari metode ini, misalkan bahwa kata kunci salah satu/atau
muncul dalam hipotesis proposisi yang bentuknya “C ATAU D menyiratkan B.” Menurut metode
maju-mundur, Anda dapat mengasumsikan bahwa C OR D benar; Anda harus menyimpulkan
bahwa B benar. Satu-satunya pertanyaan adalah apakah Anda harus berasumsi bahwa C benar
atau apakah Anda harus berasumsi bahwa D benar.
Karena Anda tidak tahu mana yang benar, Anda harus melanjutkan dengan pembuktian per
kasus; yaitu, Anda harus melakukan dua bukti. Dalam kasus pertama Anda berasumsi bahwa C
benar dan membuktikan bahwa B benar; dalam kasus kedua Anda berasumsi bahwa D benar dan
membuktikan bahwa B benar. Dengan melakukan dua pembuktian ini, tidak masalah apakah C
benar atau D benar. Jika C benar, maka Anda dapat menggunakan bukti dalam Kasus 1; jika D
benar, maka Anda dapat menggunakan bukti dalam Kasus 2.
Sebuah bukti dengan kasus diilustrasikan sekarang. Perhatikan bagaimana kata-kata “baik/atau”
muncul di tengah-tengah pembuktian, sehingga mengarah pada pembuktian per kasus.
Proposisi 22 Jika a adalah bilangan real negatif, maka x¯ = b/(2a) adalah pemaksimal dari fungsi
ax2 + bx + c.
145
Machine Translated by Google
146 BAB 13: SALAH SATU/ATAU METODE
Analisis Bukti. Tidak ada kata kunci yang muncul dalam hipotesis atau kesimpulan,
sehingga metode maju-mundur digunakan untuk memulai pembuktian. Bekerja mundur,
pertanyaan kuncinya adalah, “Bagaimana saya bisa menunjukkan bahwa suatu bilangan
[yaitu, x = b/(2a)] adalah pemaksimal dari suatu fungsi?” Menerapkan definisi yang
diberikan dalam Latihan 5.1(a) pada halaman 63, perlu untuk menunjukkan bahwa:
2 + bx¯ + c ax2 + bx + c.
B1: Untuk setiap bilangan real x, ax¯
Mengenali kata kunci “untuk semua” dalam proses mundur, metode pilih digunakan untuk
memilih
A2: x¯ x 6= 0.
Penting untuk dicatat di sini bahwa Anda dapat menulis ulang A2 sebagai berikut untuk
memuat kata kunci “baik/atau” secara eksplisit:
Pada titik ini, mengenali kata kunci "baik / atau" dalam proses maju, sekarang saatnya
untuk menggunakan bukti per kasus. Oleh karena itu, Anda harus melakukan dua
pembuktian—pertama asumsikan bahwa x x > 0 dan buktikan bahwa B3 benar; kemudian
asumsikan bahwa x x < 0 dan buktikan lagi bahwa B3 benar. Kedua bukti ini sudah selesai seka
A4: x¯ x > 0.
Dalam hal ini Anda dapat membagi kedua ruas B3 dengan bilangan positif x x; dengan
demikian, harus ditunjukkan bahwa
B4: a(¯x + x) + b 0.
Bekerja maju dari fakta bahwa x = b/(2a) dan a < 0 (lihat hipotesis), berikut dari A4 bahwa
sehingga
Machine Translated by Google
13.2 BUKTI DENGAN PENGHAPUSAN 147
A4: x¯ x < 0.
Dalam hal ini Anda dapat membagi kedua sisi B3 dengan bilangan negatif x x;
dengan demikian, perlu untuk menunjukkan bahwa
B4: a(¯x + x) + b 0.
Bekerja maju dari fakta bahwa x = b/(2a) dan a < 0 (lihat hipotesis), berikut dari A4
bahwa
Jadi B4 benar dan ini melengkapi kasus kedua dan seluruh bukti.
Misalkan sekarang kata kunci “baik/atau” muncul dalam kesimpulan dari proposisi
yang bentuknya “A menyiratkan C OR D.” Dengan metode maju-mundur, Anda
menganggap A benar dan perlu menyimpulkan bahwa C benar atau D benar. Satu-
satunya pertanyaan adalah apakah Anda harus mencoba menunjukkannya
Machine Translated by Google
148 BAB 13: SALAH SATU/ATAU METODE
C benar atau apakah Anda harus mencoba menunjukkan bahwa D benar. Dalam
beberapa bukti ini, saat Anda bekerja ke depan, Anda mungkin juga menemukan kata
kunci “baik/atau” dalam bentuk “baik A1 atau A2.” Melanjutkan dengan pembuktian
per kasus, mungkin terjadi bahwa, dalam kasus pertama, ketika Anda menganggap A1
benar, Anda dapat bekerja maju untuk menetapkan bahwa C benar. Kemudian, dalam
kasus kedua, ketika Anda berasumsi bahwa A2 benar, Anda dapat bekerja maju untuk
menetapkan bahwa D benar, dengan demikian melengkapi buktinya. Pendekatan ini diilustr
Proposisi 23 Jika x 2
5x + 6 0, lalu salah satu dari x 2atau x 3.
| } | }
{z {z
C D
A1: (x 2)(x 3) 0.
Satu-satunya cara produk dari dua bilangan real di A1 dapat menjadi 0 adalah jika
Kasus 1: x 2 0 dan x 3 0.
Dalam hal ini, berikut dari pertidaksamaan pertama bahwa x 2, yang menetapkan
bahwa pernyataan C dalam kesimpulan adalah benar. Sekarang asumsikan bahwa
Kasus 2: x 2 0 dan x 3 0.
Dalam hal ini, berikut dari pertidaksamaan kedua bahwa x 3, yang ditetapkan
menyatakan bahwa pernyataan D dalam kesimpulan adalah benar.
Buktinya sekarang sudah lengkap.
Analisis Bukti. Mengenali kata kunci “baik/atau” dalam kesimpulan, Anda dapat
melanjutkan dengan pembuktian dengan eliminasi. Jadi, asumsikan bahwa
B1 (D): x 3.
A2: (x 2)(x 3) 0.
A3: x 3 0.
Proses membaca dan memahami suatu pembuktian yang menggunakan metode salah
satu atau atau metode tersebut ditunjukkan dengan proposisi berikut.
Proposisi 24 Jika p dan b adalah bilangan bulat positif yang p adalah prima dan p tidak
membagi b, maka satu-satunya bilangan bulat positif yang membagi p dan b adalah 1.
Bukti Proposisi 24. (Untuk tujuan referensi, setiap kalimat bukti ditulis pada baris
terpisah.)
Interpretasi S2: Untuk melihat bahwa 1 adalah satu-satunya bilangan bulat tersebut, misalkan
d > 0 adalah bilangan bulat yang membagi b dan p.
Pernyataan ini menunjukkan bahwa penulis menggunakan keunikan langsung
metode dan karena itu mengasumsikan bahwa
Untuk melengkapi metode keunikan langsung, penulis harus menunjukkan bahwa kedua
objek, d dan 1, adalah sama; yaitu, itu
B1: d = 1.
Penulis bekerja maju dengan definisi dari hipotesis bahwa p adalah prima, jadi,
Dalam bentuk ini, penulis mengenali quantifier "untuk semua" dalam proses maju dan
mengkhususkan A4 ke a = d > 0, yang membagi p (lihat A1). Hasil dari spesialisasi ini, seperti
yang diklaim penulis di S4, adalah
A5: d = 1 atau d = p.
mensubstitusi d = p ke A2, yang menghasilkan b = kp. Menurut definisi, ini berarti bahwa p
membagi b, yang bertentangan dengan hipotesis bahwa p tidak membagi b.
Ringkasan
Gunakan salah satu/atau metode saat Anda menemukan kata kunci ini dalam proses maju atau
mundur. Sebuah bukti dengan kasus digunakan dalam proses maju untuk menunjukkan bahwa
"C ATAU D menyiratkan B." Untuk melakukannya, Anda harus melakukan dua pembuktian; itu adalah,
Bukti dengan eliminasi digunakan dalam proses mundur untuk menunjukkan bahwa
“A menyiratkan C ATAU D,” sebagai berikut:
(Anda juga dapat mengasumsikan bahwa A dan BUKAN D benar, dan bekerja maju untuk
membuktikan bahwa C benar. Anda juga dapat bekerja mundur dari C dalam kasus ini.)
Amati bahwa, dengan pembuktian dengan eliminasi, hanya satu bukti yang diperlukan
untuk menunjukkan bahwa “A menyiratkan C ATAU D”—Anda dapat membuktikan apakah
“A DAN (TIDAK C) menyiratkan D,” atau “A DAN (TIDAK D) menyiratkan C ”; salah satu dari
dua bukti ini saja sudah cukup. Sebaliknya, dengan pembuktian per kasus, dua bukti terpisah
diperlukan untuk menunjukkan bahwa "C ATAU D menyiratkan B"—Anda harus membuktikan
keduanya bahwa "C menyiratkan B" dan bahwa "D menyiratkan B."
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://www.wiley.com/
college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
c. xy = 0. d. z S T.
W
13.2 Seorang siswa berkata, “Saya mulai menggunakan bukti per kasus untuk menunjukkan
bahwa “C ATAU D menyiratkan B,” tetapi ketika saya berasumsi bahwa C benar, alih-alih
menetapkan bahwa B benar, saya mencapai kontradiksi. Apa artinya ini?"
b. Identifikasi di mana situasi ini muncul dalam bukti Proposisi yang ringkas
6 di halaman 59.
W
13.3 Jawablah pertanyaan-pertanyaan berikut yang berkaitan dengan salah satu/atau metode tersebut.
sebuah. Jelaskan bagaimana pembuktian dengan eliminasi diterapkan untuk membuktikan pernyataa
bentuk, “Jika A, maka C ATAU D ATAU E.”
13.4 Jika metode kontradiksi digunakan pada masing-masing masalah berikut, teknik apa
yang akan Anda gunakan untuk bekerja maju dari NOT B? Menjelaskan.
W
13.5 Jelaskan di mana, mengapa, dan bagaimana metode salah satu/atau digunakan dalam
bukti ringkas dari proposisi dalam Latihan 5.18 di halaman 67. Apakah ini bukti per kasus
atau eliminasi?
W
13.6 Jelaskan di mana, mengapa, dan bagaimana metode salah satu/atau digunakan dalam
pembuktian ringkas yang disajikan pada Latihan 9.27 di halaman 113. Apakah ini pembuktian
per kasus atau eliminasi?
13.7 Jelaskan di mana, mengapa, dan bagaimana metode salah satu/atau digunakan dalam
pembuktian Proposisi 16 di halaman 118. Apakah ini pembuktian dengan kasus atau dengan elimin
13.8 Jelaskan di mana, mengapa, dan bagaimana metode salah satu/atau digunakan dalam
pembuktian Proposisi 21 di halaman 138. Apakah ini pembuktian dengan kasus atau dengan elimin
13.9 Jelaskan di mana, mengapa, dan bagaimana metode salah satu/atau digunakan dalam
pembuktian berikut. Apakah ini bukti per kasus atau eliminasi?
W
13.10 Pertimbangkan proposisi, “Jika x adalah bilangan real yang memenuhi sifat 2 yaitu
3 x + 3x
9x 27 0, lalu |x| 3.”
sebuah. Susun ulang proposisi sehingga menjadi bentuk "A menyiratkan C ATAU D."
W
13.11 Buktikan proposisi pada latihan sebelumnya dengan mengasumsikan bahwa A dan
NOT D benar.
W
13.12 Buktikan bahwa, jika a dan b bilangan bulat dengan a|b dan b|a, maka a = ±b.
13.13 Tulis analisis bukti yang sesuai dengan bukti ringkas yang diberikan di bawah ini.
Tunjukkan teknik mana yang digunakan dan bagaimana penerapannya.
Isi rincian langkah-langkah yang hilang jika sesuai.
Dalil. Jika n adalah bilangan bulat positif, maka n adalah prima, atau
n adalah persegi, atau n membagi (n 1)!.
W
13.14 Buktikan bahwa, jika a, b, dan c adalah bilangan bulat dengan a|b atau a|c, maka a|(bc).
13.15 Buktikan bahwa, jika m dan n bilangan bulat, maka 4 membagi mn atau 4 tidak
membagi n.
13.16 Buktikan bahwa, jika S dan T adalah himpunan bagian dari himpunan semesta U, maka
=
(SÿT) c S c, T c salahXc
dimana satu/atau
= {x U :metode
x 6ÿ X}.muncul.
Tunjukkan dengan jelas di mana dan mengapa
ÿ13.17 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika n dan m
adalah bilangan bulat positif dengan n 2m, maka n adalah prima atau m n.”
sebuah. Teknik pembuktian apa yang penulis gunakan pada kalimat pertama dan mengapa?
Machine Translated by Google
154 BAB 13: SALAH SATU/ATAU METODE
b. Justifikasi kalimat ketiga dengan membuktikan bahwa, jika c dan n adalah bilangan
bulat positif dengan c < n dan c|n, maka c n/2. (Anda tidak perlu memberikan
analisis bukti.)
d. Berikan alasan pada pernyataan di kalimat terakhir dan jelaskan mengapa penulisnya
benar dalam mengklaim bahwa buktinya lengkap.
13.18 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, “Jika a, b, dan p
adalah bilangan bulat yang p adalah prima dan p|(ab), maka p|a atau p|b.”
sebuah. Teknik pembuktian apa yang penulis gunakan pada kalimat pertama dan mengapa?
Pernyataan apa yang harus penulis tunjukkan untuk melengkapi bukti dan di mana
penulis melakukan ini?
d. Berikan alasan pada pernyataan di kalimat terakhir dan jelaskan mengapa penulisnya
benar dalam mengklaim bahwa buktinya lengkap.
Machine Translated by Google
14
Metode Max/Min
Teknik terakhir yang akan Anda pelajari adalah metode maks/min yang muncul dalam
masalah yang berhubungan dengan elemen terkecil dan terbesar dari himpunan
bilangan real. Perhatikan bahwa beberapa himpunan bilangan real tidak memiliki
elemen terkecil dan terbesar, seperti {bilangan real s : 0 < s < 1}. Namun, untuk saat
ini, misalkan S adalah himpunan tak kosong dari bilangan real yang memiliki anggota
terkecil, misalnya x, dan anggota terbesar, misalnya y. Dalam hal ini ditulis x = min{s :
s S} dan y = max{s : s S} yang, menurut definisi, berarti bahwa x dan y adalah elemen
dari S sehingga, untuk setiap elemen s S, s x dan s y.
Dengan demikian, Anda dapat melihat bahwa bekerja dengan minimum (dan maksimum)
dari suatu himpunan melibatkan bekerja dengan quantifier yang ada dan untuk semua. Mem
155
Machine Translated by Google
156 BAB 14: METODE MAKSIMAL/MIN
S
Garis Nyata
0 z
S
Garis Nyata
0 z
S
Garis Nyata
0 z
S
Garis Nyata
0 z
Ide di balik metode max/min adalah untuk mengubah pernyataan yang diberikan menjadi
pernyataan setara yang berisi quantifier—kemudian Anda dapat menggunakan metode
pemilihan, konstruksi, atau spesialisasi yang sesuai.
Untuk melihat bagaimana konversi ini dilakukan, misalkan, untuk bilangan real tertentu
z, Anda tertarik pada posisi himpunan S relatif terhadap bilangan z. Misalnya, Anda
mungkin ingin membuktikan salah satu dari pernyataan berikut:
Teknik yang terkait dengan mengubah dua yang pertama menjadi pernyataan dengan
quantifier dibahas di sini dan dua sisanya dibiarkan sebagai latihan.
Pertimbangkan, oleh karena itu, masalah mencoba menunjukkan bahwa anggota
terkecil dari S adalah z. Soal ekivalen yang memuat suatu kuantifier diperoleh dengan
mempertimbangkan pernyataan di atas 1. Karena beberapa S harus di sebelah kiri z,
Anda perlu menunjukkan bahwa ada elemen s S sedemikian rupa sehingga s z, yang
dapat dilakukan dengan metode konstruksi, seperti yang diilustrasikan sekarang.
Proposisi 25 Jika a, b, dan c bilangan real dengan a > 0 dan b 6= 0, maka min{ax2 +
bx + c : x bilangan real} < c.
atau setara, dengan mengurangkan c dari kedua sisi pertidaksamaan, Anda harus
menunjukkan bahwa
Setelah dalam bentuk ini, jelas bahwa Anda harus menggunakan metode konstruksi
untuk menghasilkan bilangan real x.
Beralih ke proses maju, Anda tahu bahwa b 6= 0 dan seterusnya,
Mengenali kata kunci “baik/atau” dalam proses penerusan, bukti per kasus sesuai.
Demikian,
Jadi, konstruksikan x sebagai bilangan real apa pun dengan b/a > x > 0, B2 benar karena
Jadi, konstruksikan x sebagai bilangan real apa pun dengan b/a < x < 0, B2 benar karena
Bukti Proposisi 25. Akan ditunjukkan bahwa ada bilangan real x sehingga ax2 + bx+ c < c,
maka, min{ay2 + by + c : y adalah bilangan real} < ax2 +bx+c < c (ini adalah metode maks/
min). Untuk itu, asumsikan, tanpa menghilangkan keumuman, bahwa b < 0 (di sinilah bukti
per kasus digunakan). Maka karena a > 0, sembarang bilangan real x yang b/a > x > 0
memenuhi ax2 +bx+ c < c sehingga pembuktiannya lengkap.
Beralih sekarang ke masalah yang menunjukkan bahwa anggota terkecil dari S adalah
z, pendekatannya sedikit berbeda. Untuk melanjutkan, perhatikan pernyataan di atas 2.
Karena semua S harus berada di sebelah kanan z, masalah ekivalen adalah untuk
menunjukkan bahwa, untuk setiap elemen s S, s z. Metode pilih digunakan untuk
melakukannya, seperti yang diilustrasikan pada bagian berikutnya.
Seperti yang Anda ketahui, beberapa himpunan bilangan tidak memiliki elemen terbesar
dan/atau terkecil. Satu syarat ketika suatu himpunan bagian dari bilangan asli—
dilambangkan dengan N = {bilangan bulat n : n > 0}—mempunyai elemen terkecil diberikan
dalam aksioma berikut (ingat dari Bab 3 bahwa aksioma adalah pernyataan yang diterima
sebagai benar tanpa bukti pendukung):
Prinsip Integer Terkecil—Setiap himpunan bilangan bulat positif tak kosong memiliki
elemen terkecil; yaitu, jika S adalah himpunan bagian tak kosong dari N, maka ada elemen
x S sehingga, untuk setiap elemen s S, s x.
Proposisi 26 Jika x < y bilangan real positif, maka ada bilangan rasional r sedemikian
sehingga x < r < y.
Bukti Proposisi 26. (Untuk tujuan referensi, setiap kalimat bukti ditulis pada baris terpisah.)
Interpretasi S1: Misalkan n adalah bilangan bulat positif sehingga n(y x) > 1.
Penulis membuat bilangan bulat n dengan properti n(y x) > 1, yang dimungkinkan
karena y x > 0 sehingga sembarang bilangan bulat > akan berhasil. Yang adalah
tidakmengapa
jelas
1 yÿx
penulis melakukan ini. Untuk mempelajari jawabannya, tanyakan pada diri Anda sendiri
teknik pembuktian apa yang akan Anda gunakan untuk memulai pembuktian ini.
Mengenali kata kunci “ada” pada kesimpulan, maka sebaiknya penulis menggunakan
metode konstruksi untuk mengkonstruksi bilangan rasional r dengan x < r < y. Jika
demikian, maka bilangan bulat n dalam pernyataan S1 harus digunakan untuk
membangun bilangan rasional r, yang, menurut definisi, membutuhkan konstruksi
pembilang bilangan bulat dan penyebut bilangan bulat bukan nol. Memang, seperti
yang ditunjukkan dalam S8, n adalah penyebut dari r. Tetap membangun pembilang
bilangan bulat m dan menunjukkan bahwa n dan m memenuhi sifat-sifat yang
diperlukan bahwa n 6= 0 (di mana penulis melakukan ini?) dan x < r = m/n < y, yang
merupakan pernyataan S2 hingga S7 adalah tentang.
Interpretasi S2: Sekarang perhatikan himpunan T = {bilangan bulat k > 0 : k > nx}.
Penulis telah mendefinisikan himpunan T bilangan bulat positif yang, mudah-mudahan, akan menja
digunakan untuk membangun pembilang bilangan bulat dari bilangan rasional r.
Interpretasi S3: Jelas bahwa T 6= dan oleh karena itu, menurut Prinsip Bilangan Bulat
Terkecil, T memiliki elemen terkecil, katakanlah m.
Penulis sekarang bekerja maju dari pengetahuan sebelumnya tentang Prinsip
Bilangan Bulat Terkecil. Dengan demikian, penulis mengenali quantifier "untuk semua"
dalam proses maju dan, dengan demikian, mengkhususkan pernyataan untuk semua
dalam Prinsip Integer Terkecil ke himpunan T tertentu. Namun, untuk melakukannya,
penulis harus memverifikasi bahwa T memenuhi sifat tertentu dari tidak kosong dalam
pernyataan untuk semua itu. Memang, penulis menyebutkan bahwa T tidak kosong,
yang benar karena setiap bilangan bulat > nx ada di T. Hasil spesialisasi adalah
bilangan bulat terkecil m dari himpunan T. Seperti yang terlihat pada pernyataan S8,
m adalah pembilang bilangan rasional r; yaitu, dalam S8, penulis mengkonstruksi r =
m/n. Menurut metode konstruksi, penulis harus menunjukkan bahwa x < r < y, yang
merupakan tentang pernyataan-pernyataan S4 sampai S7 yang tersisa.
Interpretasi S4: Sebagai m T, m > nx dan sekarang ditunjukkan bahwa m < ny.
Fakta bahwa m T benar karena m adalah bilangan bulat terkecil dari T, yang,
menurut definisi, berarti m T. Dengan sifat pendefinisian T (lihat S2), ini berarti bahwa
m > nx, sebagai penulis menyatakan di S4. Tidak jelas mengapa penulis kemudian
mengatakan bahwa “...akan ditunjukkan bahwa m < ny.” Jawabannya ada di S8 karena,
jika memang nx < m < ny, maka membaginya dengan n > 0 menghasilkan kesimpulan
yang diinginkan bahwa x < m/n = r < y, seperti yang penulis catat di S8.
Machine Translated by Google
160 BAB 14: METODE MAX/MIN
Interpretasi S6: Tetapi kemudian mÿ1 T karena mÿ1 nyÿ1 > nx > 0.
Penulis menunjukkan bahwa m 1 T, sekali lagi diharapkan untuk mencapai
kontradiksi. Untuk menunjukkan bahwa m 1 T, penulis memverifikasi bahwa m 1
memenuhi sifat pendefinisian T, yaitu, bahwa m 1 > 0 dan m 1 > nx. Untuk
melakukan ini, penulis mencatat bahwa m 1 ny 1, yang benar karena m ny (lihat
S5). Akhirnya, ny 1 > nx dengan menerapkan aljabar ke S1 dan penulis mencatat
bahwa nx > 0.
Interpretasi S7: Fakta bahwa mÿ1 < m bertentangan dengan m sebagai elemen
terkecil dari T.
Di sini, akhirnya, penulis mencapai kontradiksi dan ini diselesaikan dengan
metode max/min. Secara khusus, dengan metode max/min, karena m = min{t : t
T}, maka untuk setiap elemen t T, t m. Penulis telah menunjukkan bahwa
pernyataan ini tidak benar—yaitu, ada elemen t T sedemikian rupa sehingga t <
m. Memang, penulis telah menggunakan metode konstruksi untuk menghasilkan
bilangan bulat t = m 1 T (lihat S6), yang jelas-jelas lebih kecil dari m. Kontradiksi
ini menetapkan bahwa m < ny.
Interpretasi S8: Sekarang berikut bahwa nx < m < ny dan r = m/n memenuhi x < r
< y dan, dengan demikian, r adalah bilangan rasional yang diinginkan.
Penulis sekarang menyelesaikan konstruksi bilangan rasional r, yaitu, r = m/
n. Namun, penulis harus menunjukkan bahwa nilai r ini benar—yaitu, bahwa n 6=
0 dan x < r < y. Penulis sebenarnya menyebutkan dalam S1 bahwa n positif, yang
benar karena n dipilih dengan cara ini, dan jadi n 6= 0. Untuk melihat bahwa x < r
< y, penulis telah menetapkan bahwa nx < m < ny dari S4 dan pembuktian
selanjutnya dengan kontradiksi dalam S5, S6, dan S7. Sebagaimana dinyatakan
dalam S8, membagi dengan n > 0, maka x < m/n = r < y, dan dengan demikian
pembuktiannya lengkap.
Ringkasan
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir
buku ini.
W
14.1 Ubahlah masalah maks/mnt berikut menjadi pernyataan ekuivalen yang
berisi suatu kuantifier, di mana S adalah himpunan bilangan real dan z adalah
bilangan real tertentu.
sebuah. maks{s : s S} z.
b. maks{s : s S} z.
b. maks{cx : ax b dan x 0} u.
c. min{ax : b x c} u.
d. maks{ax : b x c} u.
W
14.4 Buktikan bahwa min{x(x 2) : x adalah bilangan real} 1.
14.5 Buktikan bahwa maks{bilangan real x : x 2 x} 0,5.
14.6 Buktikan bahwa, jika S dan T adalah himpunan bilangan real sehingga S
memiliki elemen terkecil, S T, dan elemen
t adalahmaka
bilangan
min{s
real
: ssehingga,
S} ÿ tt T , tuntuk
t setiap
, .
W
14.7 Misalkan a, b, dan c diberikan bilangan real dan x dan u adalah variabel.
Buktikan bahwa min{cx : ax b, x 0} paling sedikit sebesar max{ub : ua c, u 0}.
Machine Translated by Google
162 BAB 14: METODE MAX/MIN
14.8 Misalkan S dan T adalah himpunan bagian dari bilangan real di mana S memiliki elemen
terkecil dan T memiliki elemen terbesar. Buktikan bahwa, jika S T 6= , maka max{t : t T}
min{s : s S}.
14.9 Buktikan bahwa min{s : s S} = max{ÿs : s S}, di mana S adalah himpunan bilangan real.
(Petunjuk: Untuk menunjukkan bahwa kedua bilangan min{s : s S} dan max{ÿs : s S}
adalah sama, tunjukkan bahwa bilangan pertama adalah bilangan kedua dan sebaliknya.
Kemudian gunakan max/ min metode untuk melakukannya.)
14.10 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa, jika a, b, dan c
adalah bilangan real dengan a < 0, maka max{ax2 +bx+c : x adalah bilangan real} (4ac b
2
)/(4a).
b 2
2 4ac b 2 4ac b .
ax2 + bx + c = kapak + 2a +
4a 4a
sebuah. Teknik pembuktian apa yang digunakan pada kalimat pertama dan mengapa
penulis menggunakan teknik tersebut?
14.11 Jawablah pertanyaan yang diberikan tentang bukti berikut bahwa induksi bekerja.
Yaitu, misalkan P(n) adalah suatu pernyataan yang bergantung pada bilangan bulat n dan
perhatikan bukti berikut bahwa, jika P(1) benar dan untuk semua n 1, P(n) menyiratkan P(n
+ 1) , maka untuk semua bilangan bulat n 1, P(n) benar.
sebuah. Kalimat pertama menunjukkan bahwa ini adalah bukti dengan kontradiksi. Apa
kontradiksinya?
15
Ringkasan
Daftar teknik pembuktian sekarang lengkap. Teknik-teknik yang disajikan di sini bukan
satu-satunya, tetapi teknik-teknik tersebut merupakan perangkat dasar. Anda akan
menemukan orang lain saat Anda terpapar lebih banyak matematika—mungkin Anda
akan mengembangkan beberapa matematika Anda sendiri. Bagaimanapun, ada banyak
poin dan trik bagus yang akan Anda dapatkan dengan pengalaman. Ringkasan akhir
tentang bagaimana dan kapan menggunakan masing-masing dari berbagai teknik untuk
membuktikan proposisi "A menyiratkan B" adalah berurutan.
163
Machine Translated by Google
164 BAB 15: RINGKASAN
Ketika quantifier "untuk semua" muncul dalam proses mundur dalam bentuk
standar:
Untuk semua "objek" dengan "properti
tertentu", "sesuatu terjadi",
pertimbangkan untuk menggunakan metode pilih. Di sini, tujuan Anda adalah
merancang bukti model untuk menetapkan bahwa sesuatu terjadi untuk objek
umum dengan properti tertentu. Jika berhasil, maka secara teori Anda dapat
mengulangi pembuktian ini untuk setiap objek dengan sifat tertentu. Karena
itu Anda memilih objek yang memiliki properti tertentu. Anda harus
menyimpulkan bahwa, untuk objek yang dipilih, sesuatu terjadi. Setelah Anda
memilih objek, bekerja maju dari fakta bahwa objek yang dipilih memiliki
properti tertentu (bersama dengan informasi di A) dan mundur dari sesuatu yang te
Ketika quantifier "untuk semua" muncul dalam proses maju dalam bentuk
standar:
Untuk semua "objek" dengan "properti
tertentu", "sesuatu terjadi",
Anda mungkin ingin menggunakan metode spesialisasi. Untuk melakukannya,
cari salah satu objek ini dengan properti tertentu. Dengan menggunakan
spesialisasi, Anda kemudian dapat menyimpulkan, sebagai pernyataan baru
dalam proses maju, bahwa sesuatu memang terjadi untuk objek tertentu. Fakta
itu kemudian akan membantu dalam mencapai kesimpulan bahwa B benar.
Saat menggunakan spesialisasi, pastikan untuk memverifikasi bahwa objek
tertentu memenuhi properti tertentu, karena baru kemudian sesuatu terjadi.
Machine Translated by Google
15 RINGKASAN 165
Ketika pernyataan B berisi kata kunci “tidak” atau “tidak”, atau ketika
metode maju-mundur gagal, Anda harus mempertimbangkan metode kontradiks
Dengan pendekatan ini, Anda berasumsi bahwa A benar dan B salah. Ini
memberi Anda dua fakta yang darinya Anda harus mendapatkan kontradiksi
dengan sesuatu yang Anda tahu benar. Dimana kontradiksi yang muncul
tidak selalu jelas tetapi diperoleh dengan bekerja maju dari pernyataan A dan NO
Gunakan metode keunikan mundur ketika Anda perlu menunjukkan bahwa ada
objek unik dengan properti tertentu sehingga sesuatu terjadi. Melakukannya
memerlukan dua langkah: pertama menunjukkan bahwa ada satu objek seperti itu,
katakanlah X, dan kemudian menunjukkan bahwa hanya ada satu objek seperti itu.
Sementara tugas pertama diselesaikan dengan metode konstruksi atau kontradiksi,
Anda dapat menyelesaikan tugas kedua dengan salah satu dari dua cara. Dengan
metode keunikan langsung Anda (1) mengasumsikan bahwa, selain objek X, Y juga
merupakan objek dengan properti tertentu dan untuk itu sesuatu terjadi dan (2)
menggunakan properti X dan Y bersama-sama dengan hipotesis A untuk menunjukkan
bahwa X dan Y adalah sama (yaitu, bahwa X = Y ). Dengan metode keunikan tidak
langsung Anda (1) mengasumsikan bahwa Y adalah objek yang berbeda dari X
, X dan Y fakta
dengan properti tertentu dan untuk itu sesuatu terjadi dan (2) menggunakan properti
bahwa
mereka berbeda, dan hipotesis A untuk mencapai kontradiksi.
Langkah pertama induksi adalah memverifikasi bahwa P(n) benar untuk kemungkinan nilai
n pertama. Langkah kedua mengharuskan Anda untuk menunjukkan bahwa, jika P(n) benar,
maka P(n + 1) benar. Keberhasilan pembuktian dengan induksi bergantung pada kemampuan
Anda untuk menghubungkan P(n+ 1) dengan P(n) sehingga Anda dapat menggunakan asumsi ba
Dengan kata lain, untuk melakukan langkah kedua induksi, tulis pernyataan P(n),
ganti n di mana-mana dengan n + 1 untuk mendapatkan P(n + 1), dan kemudian lihat
apakah Anda dapat menyatakan P(n + 1) dalam suku P(n). Hanya dengan begitu Anda
dapat menggunakan asumsi bahwa P(n) benar untuk mencapai kesimpulan bahwa P(n + 1
Gunakan bukti per kasus ketika kata kunci “baik/atau” muncul dalam proses forward
dalam bentuk, “Jika C OR D, maka B.” Diperlukan dua bukti. Dalam kasus pertama
Anda berasumsi bahwa C benar dan kemudian membuktikan bahwa B benar; dalam
kasus kedua Anda berasumsi bahwa D benar dan kemudian membuktikan bahwa B benar
Gunakan pembuktian dengan eliminasi ketika kata kunci “baik/atau” muncul
dalam proses mundur dalam bentuk, “Jika A, maka C OR D.” Untuk melakukannya,
asumsikan bahwa A benar dan C tidak benar (yaitu, A dan BUKAN C); Anda kemudian
harus menunjukkan bahwa D benar. Ini paling baik dilakukan dengan metode maju-mundu
Atau, Anda dapat mengasumsikan bahwa A dan NOT D benar; dalam hal ini Anda
harus menunjukkan bahwa C benar.
Machine Translated by Google
15 RINGKASAN 167
Ketika sebuah pernyataan menunjukkan bahwa elemen terkecil (terbesar) dari himpunan
bilangan real kurang (lebih besar) dari atau sama dengan bilangan real tertentu, misalnya
z, maka Anda harus menggunakan metode max/min. Melakukannya melibatkan penulisan
ulang pernyataan dalam bentuk yang setara menggunakan quantifier "untuk semua" atau
"ada," mana yang sesuai. Setelah berada di formulir ini, Anda dapat menerapkan metode
pemilihan, konstruksi, atau spesialisasi.
Ringkasan terakhir tentang cara membaca dan melakukan pembuktian adalah berurutan.
Bukti tertulis tidak lebih dari serangkaian penerapan teknik individu yang sekarang telah
Anda pelajari. Namun, karena cara penulisannya, ada tiga alasan mengapa bukti sulit
dibaca:
2. Beberapa langkah digabungkan dalam satu kalimat dengan sedikit atau tanpa justifikasi
kation.
Untuk membaca bukti, Anda harus merekonstruksi proses berpikir penulis. Melakukannya
mengharuskan Anda mengidentifikasi teknik mana yang digunakan dan bagaimana
penerapannya pada masalah tertentu. Mulailah dengan mencoba menentukan teknik apa
yang digunakan untuk memulai pembuktian. Kemudian cobalah untuk mengikuti
metodologi yang terkait dengan teknik itu. Perhatikan quantifier yang muncul, karena
penulis kemungkinan akan menggunakan metode pemilihan, induksi, konstruksi, dan/
atau spesialisasi yang sesuai. Ketidakmampuan untuk mengikuti langkah tertentu dari
bukti tertulis seringkali disebabkan oleh kurangnya detail yang memadai. Untuk mengisi
kekosongan, belajarlah untuk bertanya pada diri sendiri bagaimana Anda akan melanjutkan
untuk melakukan pembuktian. Kemudian cobalah untuk melihat apakah bukti tertulis cocok de
Berikut ini adalah contoh terakhir tentang cara membaca bukti, di mana ditunjukkan
bahwa, ketika Anda membagi bilangan bulat b dengan bilangan bulat a 1, Anda
mendapatkan bilangan bulat unik dan sisa unik. Analisis pembuktian selanjutnya
memberikan penjelasan tentang teknik mana yang digunakan dan bagaimana
penerapannya pada masalah tertentu.
Proposisi 27 Jika a dan b adalah bilangan bulat dengan a 1, maka ada bilangan bulat unik
q dan r sehingga b = aq + r, di mana 0 r < a.
Machine Translated by Google
168 BAB 15: RINGKASAN
Bukti Proposisi 27. (Untuk tujuan referensi, setiap kalimat bukti ditulis pada baris
terpisah.)
S1: Nilai q dan r diperoleh dari elemen terkecil dari himpunan bilangan
bulat berikut: M = {bilangan bulat w 0 : ada bilangan bulat k
sehingga w = b ak}.
S2: Sekarang jika b 0, maka untuk k = 0, Anda memiliki w = b M.
S3: Sedangkan jika b < 0, maka untuk k = b, Anda memiliki w = b ak = b
ab = b(1 a) ÿ 0 as b < 0 dan 1 a 0, jadi w M.
S4: Sekarang jika 0 M, maka 0 adalah elemen terkecil dari M; jika tidak, M
memiliki elemen terkecil dengan Prinsip Integer Terkecil dan,
dalam kedua kasus, biarkan r menjadi elemen terkecil dari M.
S5: Karena r M, (1) r 0 dan (2) ada bilangan bulat q sedemikian rupa
sehingga r = b aq, atau setara, b = aq + r.
S6: Untuk melihat bahwa r < a, asumsikan bahwa r a.
S7: Maka w = b a(q + 1) adalah elemen M yang lebih kecil dari r.
S8: Anda dapat melihat bahwa w M karena, untuk k = q + 1, Anda memiliki
w = b ak = b a(q + 1) = b aq ÿ a = r a 0.
S9: Juga, w < r karena w = b a(q + 1) = b aq a < b aq = r.
S10: Tetap menunjukkan bahwa nilai q dan r ini unik, jadi, anggaplah m
dan n juga bilangan bulat dengan b = am + n dan 0 n < a.
Interpretasi S1: Nilai q dan r diperoleh dari elemen terkecil dari himpunan bilangan
bulat berikut: M = {bilangan bulat w 0 : ada bilangan bulat k sehingga w = b ak }.
Penulis mengenali kata kunci “unik” dalam kesimpulan dan apakah selanjutnya
menggunakan metode keunikan terbelakang (apakah metode langsung atau tidak langsung
Dengan demikian, langkah pertama adalah membangun bilangan bulat q dan r, yang
menurut penulis akan berasal dari elemen terkecil dari himpunan M. Dengan demikian,
penulis menggunakan pengetahuan sebelumnya tentang Prinsip Integer Terkecil (lihat hala
Interpretasi S4: Sekarang jika 0 M, maka 0 adalah elemen terkecil dari M; jika
tidak, M memiliki elemen terkecil dengan Prinsip Integer Terkecil dan, dalam
kedua kasus, biarkan r menjadi elemen terkecil dari M.
Perhatikan bahwa untuk menggunakan Prinsip Integer Terkecil mengharuskan
himpunan terdiri dari bilangan bulat positif. Penulis secara mental mengamati
bahwa himpunan M terdiri dari bilangan bulat non-negatif dan oleh karena itu
berusaha untuk mencatat bahwa 0 M atau 0 6ÿ M. Melanjutkan dengan
pembuktian kasus, dalam kasus pertama, ketika 0 M, penulis menyatakan
bahwa 0 adalah bilangan bulat terkecil dari M, yang benar karena semua elemen
M adalah 0. Dalam kasus kedua, ketika 0 6ÿ M, penulis menggunakan Prinsip
Bilangan Bulat Terkecil untuk mengklaim bahwa M memiliki elemen terkecil,
yang benar karena, dalam hal ini, M terdiri dari bilangan bulat positif dan telah
ditunjukkan dalam S2 dan S3 bahwa M 6= . Jadi, dalam kedua kasus, M memiliki
elemen terkecil, r. Di sinilah penulis akhirnya membangun bilangan bulat r.
Tetap membangun bilangan bulat q, yang penulis lakukan selanjutnya.
Interpretasi S5: Karena r M, (1) r 0 dan (2) ada bilangan bulat q sehingga r = b
aq, atau setara, b = aq + r.
Penulis menggunakan properti pendefinisian M dan fakta bahwa r M untuk
menyatakan bahwa ada bilangan bulat q sehingga r = bÿaq, atau setara, b = aq+r.
Penulis sekarang telah membangun bilangan bulat r di S4 dan q di S5. Menurut
metode konstruksi, penulis harus menunjukkan bahwa nilai r dan q ini benar—
yaitu, 0 r < a. Pertidaksamaan pertama benar oleh sifat pendefinisian M, seperti
yang dinyatakan dalam S5. Fakta bahwa r < a ditunjukkan selanjutnya.
Interpretasi S7: Maka w = b a(q + 1) adalah elemen M yang lebih kecil dari r.
Interpretasi S10: Tetap menunjukkan bahwa nilai q dan r ini unik, jadi,
anggaplah m dan n juga bilangan bulat dengan b = am + n dan 0 n < a.
Interpretasi S12: Dari sini Anda memiliki a < a(q m) < a dan jadi q m = 0.
Saat mencoba membuktikan bahwa “A menyiratkan B,” biarkan bentuk A dan B memandu
Anda sebanyak mungkin. Misalnya, Anda harus memindai pernyataan B untuk kata kunci
tertentu, yang sering menunjukkan cara untuk melanjutkan. Jika Anda menemukan
quantifier "ada", maka pertimbangkan metode konstruksi, sedangkan quantifier "untuk
semua" menyarankan menggunakan metode induksi atau pilih. Bila pernyataan B
mengandung kata “tidak” atau “tidak”, Anda mungkin ingin menggunakan metode
kontrapositif atau kontradiksi. Kata kunci lain yang harus dicari adalah “unik”, “baik/atau”,
dan “maksimum” dan “minimum”, untuk kemudian keunikan yang sesuai, salah satu atau,
dan metode maks/min yang sesuai.
Jika tidak ada kata kunci yang muncul dalam hipotesis atau kesimpulan, maka Anda harus
melanjutkan dengan metode maju-mundur. Berikut adalah contoh terakhir dari melakukan
pembuktian di mana definisi berikut digunakan.
Definisi 18 Suatu fungsi f dari satu variabel riil adalah fungsi cembung jika dan hanya jika,
untuk semua bilangan real x, y, dan t dengan 0 t ÿ 1, maka f(tx + (1 t)y) tf(x) + (1 t)f(y).
Definisi 19 Suatu fungsi f dari satu variabel meningkat jika dan hanya jika, untuk semua
bilangan real x dan y dengan x y, f(x) f(y).
Proposisi 28 Jika g adalah fungsi cembung dan f adalah fungsi cembung naik, maka
fungsi f g adalah fungsi cembung. [Ingat bahwa f g adalah fungsi yang didefinisikan untuk
semua bilangan real x oleh (f g)(x) = f(g(x)).]
Analisis Bukti. Metode maju mundur digunakan untuk memulai pembuktian karena
hipotesis A dan kesimpulan B tidak mengandung kata kunci (seperti “untuk semua” atau
“ada”). Bekerja mundur, Anda dituntun ke pertanyaan kunci, "Bagaimana saya bisa
menunjukkan bahwa suatu fungsi (yaitu, f g) adalah cembung?" Menggunakan Definisi 18,
Anda harus menunjukkan bahwa
Karena pernyataan mundur B1 berisi quantifier "untuk semua", Anda sekarang harus
melanjutkan dengan metode pilih. Oleh karena itu, Anda harus memilih
Ini dicapai dengan bekerja ke depan. Secara khusus, dari hipotesis bahwa
g cembung, menurut definisi, ini berarti bahwa
Menerapkan f ke kedua sisi (15.2) dan menggunakan hipotesis bahwa f adalah fungsi
yang meningkat menghasilkan
Anda sekarang memiliki semua teknik yang Anda butuhkan untuk melakukan
pembuktian, tetapi perlu diingat bahwa ini adalah upaya kreatif. Misalnya, Anda tahu
kapan harus menggunakan metode konstruksi, tetapi sebenarnya membangun objek
membutuhkan banyak kreativitas. Namun demikian, belajar melakukan pembuktian
seperti belajar bahasa—semakin banyak Anda berlatih, semakin mudah hasilnya. Jika
semua teknik ini gagal, Anda mungkin ingin tetap menggunakan bahasa Yunani—lagi pula, b
Latihan
Catatan: Solusi untuk latihan yang ditandai dengan W terdapat di web di http://
www.wiley.com/college/solow/.
Catatan: Semua bukti harus berisi analisis bukti dan versi ringkas.
Definisi untuk semua istilah matematika disediakan dalam glosarium di akhir buku ini.
W 15.1 Untuk setiap pernyataan berikut, tunjukkan teknik mana yang akan Anda gunakan
untuk memulai pembuktian dan jelaskan alasannya.
e. Dalam sebuah bidang, hanya ada satu dan hanya satu garis yang tegak lurus terhadap suatu
garis L yang melalui sebuah titik P pada garis tersebut.
Machine Translated by Google
174 BAB 15: RINGKASAN
15.2 Untuk setiap pernyataan berikut, tunjukkan teknik mana yang akan Anda
gunakan untuk memulai pembuktian dan jelaskan alasannya.
sebuah. Jika p > 1 adalah bilangan bulat yang bukan prima, maka ada bilangan bulat m dengan
1 < m ÿ p sedemikian rupa sehingga m|p.
b. Jika f dan g adalah fungsi kontinu di titik x, maka fungsi tersebut juga
f + g.
c. Jika a dan b bilangan bulat dengan a|b dan b|a, maka a = ±b.
d. Jika f dan g adalah fungsi sedemikian rupa sehingga (1) untuk semua bilangan
real x, f(x) g(x) dan (2) tidak ada bilangan real M sehingga, untuk semua x, f(x)
M, maka tidak ada bilangan real M > 0 sehingga, untuk semua bilangan real x,
g(x) M.
e. Jika f dan g adalah fungsi kontinu di titik x, maka, untuk setiap bilangan real >
0, terdapat bilangan real > 0 sehingga, untuk semua bilangan real y dengan |x
y| < , |f(x) + g(x) (f(y) + g(y))| < .
W
15.3 Untuk setiap masalah dalam Latihan 15.1, nyatakan bagaimana teknik yang
Anda pilih untuk memulai pembuktian akan diterapkan pada masalah itu. Tunjukkan
apa yang akan Anda asumsikan, apa yang akan Anda simpulkan, dan bagaimana Anda me
15.4 Untuk setiap masalah dalam Latihan 15.2, nyatakan bagaimana teknik yang
Anda pilih untuk memulai pembuktian akan diterapkan pada masalah itu. Tunjukkan
apa yang akan Anda asumsikan, apa yang akan Anda simpulkan, dan bagaimana Anda me
W
15.5 Jelaskan bagaimana Anda akan menggunakan setiap teknik berikut untuk
membuktikan bahwa, “Untuk setiap bilangan bulat n 4, n! > n2 .” Nyatakan apa yang akan
Anda asumsikan dan apa yang akan Anda simpulkan.
15.7 Susun ulang proposisi berikut sedemikian rupa sehingga sesuai, berdasarkan
kata kunci, untuk menggunakan teknik yang diberikan untuk memulai pembuktian:
1 n
“Jika X = { 1 + : n n> 0 adalah bilangan bulat}, maka, untuk setiap elemen x X, x 3.”
Machine Translated by Google
BAB 15: LATIHAN 175
b. Metode kontradiksi.
c. Metode induksi.
15.8 Misalkan metode maju-mundur digunakan untuk memulai setiap pembuktian berikut.
Daftar semua teknik yang mungkin akan digunakan selanjutnya dalam pembuktian.
c. Jika X adalah objek sedemikian rupa sehingga, untuk semua objek Y dengan properti
tertentu, sesuatu terjadi, maka ada objek Z dengan properti tertentu sehingga sesuatu
yang lain terjadi.
d. Jika untuk semua objek X dengan properti tertentu, sesuatu terjadi, maka ada objek Y
dengan properti tertentu sehingga, untuk semua objek Z dengan properti tertentu,
sesuatu yang lain terjadi.
15.9 Ulangi latihan sebelumnya dengan asumsi bahwa metode kontrapositif digunakan untuk
memulai setiap pembuktian.
15.10 Identifikasi semua teknik yang digunakan dalam pembuktian ringkas pada Latihan 13.13
di halaman 153.
15.11 Identifikasi semua teknik yang digunakan dalam pembuktian ringkas pada Latihan 10.24
di halaman 123.
15.12 Identifikasi semua teknik yang digunakan dalam pembuktian ringkas pada Latihan 6.25
di halaman 80.
15.13 Buktikan bahwa, jika ABC adalah segitiga siku-siku dengan panjang sisi bilangan bulat
a ax2 + cx + b memiliki rasional
dan b dan sisi miring dari panjang bilangan bulat c, maka akar.
12
15.14 Buktikan bahwa, jika S adalah himpunan bilangan real dan x = max{s : s S}, maka x
adalah satu-satunya elemen dari S sehingga, untuk setiap elemen s S, s x.
15.15 Buktikan bahwa, jika p adalah polinomial dan q adalah polinomial, maka p + q adalah
polinomial [di mana untuk setiap bilangan real x, (p + q)(x) = p(x) + q(x)] . (Ingat bahwa
polinomial adalah fungsi f dari satu variabel nyata yang memiliki bilangan bulat n 0 dan
bilangan real a0, a1, . . , sedemikian rupa sehingga, a1x
untuk
+ · setiap
· · + anx
bilangan
n.) real x, f(x) = a0 +
1
Machine Translated by Google
176 BAB 15: RINGKASAN
15.16 Misalkan f adalah fungsi dari satu variabel riil. Buktikan bahwa, jika x1 <
x2 < x3 adalah bilangan real dimana f(x1) < f(x2) dan f(x2) > f(x3), maka f tidak
linier. (Ingat bahwa suatu fungsi f linier jika dan hanya jika ada bilangan real m
dan b sehingga, untuk setiap bilangan real x, f(x) = mx + b.)
15.17 Jawablah pertanyaan yang diberikan berkaitan dengan bukti ringkas
berikut bahwa, untuk suatu fungsi f dari satu variabel, jika x1 < x2 < x3 adalah
bilangan real dimana f(x1) < f(x2) dan f(x2) > f(x3 ), maka f bukan fungsi cembung.
c. Buktikan kalimat ketiga dengan menunjukkan bahwa 0 < t < 1 dan juga
bahwa x2 = tx1 + (1 t)x3.
Bagian II
Matematika lainnya
Proses Berpikir
Machine Translated by Google
Machine Translated by Google
16
Generalisasi
Proses pertama yang akan dijelaskan adalah generalisasi, di mana Anda membuat dari
konsep matematika asli — seperti masalah, rumus, definisi, proposisi, atau objek
matematika — konsep yang lebih luas yang tidak hanya mencakup konsep asli tetapi
juga sesuatu yang baru dan berbeda. Konsep asli yang Anda mulai disebut sebagai
kasus khusus dan konsep baru yang lebih luas yang Anda buat disebut generalisasi.
Untuk menggambar analogi, pikirkan kasus khusus sebagai himpunan S dan
generalisasi sebagai himpunan T yang berisi semua S dan sesuatu yang lebih (lihat
Gambar 16.1). Keuntungan dari generalisasi adalah bahwa setiap hasil dan wawasan
yang Anda peroleh untuk generalisasi berlaku tidak hanya untuk kasus khusus yang
memunculkan generalisasi tetapi juga untuk kasus khusus lainnya yang mungkin
Anda temui di masa depan, sehingga menghemat waktu dan tenaga Anda harus
mendapatkan hasil itu lagi. Oleh karena itu, setelah membuat generalisasi, penting
untuk memverifikasi kasus khusus, yaitu memastikan bahwa konsep yang digeneralisasi
mencakup kasus khusus. Bagaimana Anda melakukannya tergantung pada jenis
konsep matematika. Proses ini sekarang diilustrasikan dengan berbagai konsep
matematika yang berbeda, dimulai dengan masalah penyelesaian satu persamaan
linier dalam satu yang tidak diketahui.
179
Machine Translated by Google
180 BAB 16: GENERALISASI
Anda tahu bahwa masalah matematika melibatkan penggunaan data yang diberikan untuk
mendapatkan jumlah minat yang diinginkan, seperti yang diilustrasikan dalam masalah berikut:
ax b = 0. (16.1)
b
x= (asalkan a 6 = 0).
sebuah
Salah satu generalisasi dari masalah penyelesaian persamaan linier adalah sebagai berikut:
px2 + qx + r = 0. (16.2)
Anda dapat memverifikasi kasus khusus dengan mengamati bahwa persamaan kuadrat
termasuk persamaan linier, dan banyak lagi. Yang dimaksud dengan “menyertakan”
dalam hal ini adalah adanya nilai spesifik untuk data p, q, dan r dari persamaan kuadrat.
Machine Translated by Google
16.1 APA ITU GENERALISASI? 181
p = 0, q = a, dan r = b
p + qy + ry2 = 0. (16.4)
Machine Translated by Google
182 BAB 16: GENERALISASI
Rumus kuadrat yang diterapkan pada (16,4) menghasilkan solusi berikut untuk y:
1 2
= q ± pq 4pr
y= (asalkan r 6 = 0). (16.5)
x 2r
Menggeneralisasikan Persamaan Linier ke Dua Persamaan dalam Dua Yang Tidak Diketahui
Hal ini sering mungkin untuk menggeneralisasi masalah dalam lebih dari satu cara. Misalnya,
Anda dapat menggeneralisasikan masalah penyelesaian satu persamaan linier dalam satu
persamaan yang tidak diketahui untuk masalah berikut:
Masalah Memecahkan Dua Persamaan Linier dalam Dua Yang Tidak Diketahui
Diberikan bilangan real p, q, r, s, t, dan u, tentukan nilai bilangan real x dan y
sehingga
px + qy = t, (16.7)
rx + sy = u. (16.8)
Langkah selanjutnya adalah memverifikasi bahwa persamaan linear ax b = 0 pada
(16.1) adalah kasus khusus untuk menyelesaikan dua persamaan dalam dua hal yang
tidak diketahui dengan substitusi yang sesuai untuk nilai data dalam (16.7) dan (16.8).
Ada beberapa cara berbeda untuk melakukannya dalam kasus ini. Misalnya, mengganti
p = a, q = 0, t = b, (16.9)
r = 0, s = 0, u = 0, (16.10)
Machine Translated by Google
16.1 APA ITU GENERALISASI? 183
p = a, q = 0, t = b, (16.13)
pu rt = a(0) 0(b)
y= = 0.
ps qr a(1) 0(0)
Nilai x = b/a di atas berarti bahwa Anda telah memperoleh solusi persamaan linier
axÿb = 0 dalam (16.1) sebagai kasus khusus dari solusi dua persamaan linier dalam
dua yang tidak diketahui. Perhatikan, sekali lagi, bahwa memecahkan masalah
umum membutuhkan lebih banyak upaya komputasi daripada memecahkan kasus khus