BAB i

Apa Itu Matematika?

1.1 Kebenaran dan Bukti

Bagaimana cara mengetahui sesuatu itu benar atau tidak? Tentunya, Anda sudah diberitahu misalnya
sudut suatu segitiga berjumlah 180, tapi bagaimana cara mengetahuinya Tentu? Bagaimana jika Anda
bertemu alien yang belum pernah mempelajari geometri dasar? Bagaimana bisakah Anda meyakinkan
dia bahwa fakta ini benar? Di satu sisi, inilah inti matematika: merancang pernyataan baru, memutuskan
apakah pernyataan tersebut benar atau salah, dan menjelaskan temuan ini kepada orang lain (atau
alien, tergantung kasusnya). Sayangnya, sepertinya banyak orang yang menganggap matematikawan
menghabiskan hari-hari mereka mengalikan angka-angka besar; pada kenyataannya, matematika adalah
disiplin ilmu yang jauh lebih kreatif dan berbasis tulisan dibandingkan dengan peran matematika yang
dianggap luas sebagai aritmatika yang semakin rumit. Salah satu tujuan buku ini adalah untuk
meyakinkan Anda tentang fakta ini, namun itu hanyalah bonus. Tujuan utama buku ini adalah untuk
menunjukkan kepada Anda apa sebenarnya pemikiran matematis, pemecahan masalah, dan penulisan
bukti, untuk menunjukkan kepada Anda bagaimana melakukan hal-hal tersebut, dan untuk
menunjukkan betapa menyenangkannya hal-hal tersebut!

Sebagai catatan tambahan, Anda mungkin bertanya-tanya, "Apa artinya sesuatu menjadi kenyataan?"
Pembahasan lengkap mengenai pertanyaan ini akan menggali filsafat, psikologi, dan mungkin linguistik,
dan kami sebenarnya tidak ingin membahasnya.

Namun, gagasan utama dalam konteks matematika adalah bahwa sesuatu itu benar hanya jika kita
dapat selalu menunjukkan kebenarannya. Kita tahu 1 + 1 = 2 selalu dan selamanya. Tidak masalah
tengah malam atau siang hari, kita bisa istirahat yakin bahwa persamaan tersebut akan benar. (Namun,
pernahkah Anda memikirkan cara menunjukkan fakta seperti itu? Sebenarnya cukup sulit! Sebuah buku
berjudul Principia Mathematica melakukan ini dari "prinsip pertama" dan ini membutuhkan banyak
penulis, banyak halaman bahkan untuk mendapatkan 1 + 1 = 2!) Ini mungkin sangat berbeda dengan
ilmu-ilmu lain. Jika kita melakukan percobaan fisika sebanyak 10 kali dan hasilnya sama terjadi, tahukah
kita bahwa hal ini akan selalu terjadi? Bagaimana jika kita melakukan percobaan jutaan kali? Satu miliar?
Pada titik manakah kita telah benar-benar membuktikan sesuatu? Di dalam matematika, eksperimen
berulang-ulang bukanlah bukti yang layak! Kita perlu menemukan argumen yang menunjukkan mengapa
fenomena seperti itu selalu terjadi.

Sebagai contoh, ada masalah terbuka yang terkenal dalam matematika yang disebut Dugaan Goldbach.
Hingga saat ini belum diketahui apakah benar atau tidak, meski telah diverifikasi melalui simulasi
komputer hingga bernilai sekitar 1018. Itu angka yang sangat besar, namun masih belum cukup untuk
mengetahui apakah dugaan tersebut Benar atau Salah. Apakah Anda melihat perbedaannya? Kami para
ahli matematika suka membuktikan fakta, dan memeriksa sekumpulan nilai, tetapi tidak semuanya
bukan merupakan bukti.
1.1.1 Segitiga Kusut

Kami telah memperkenalkan ide pembuktian dengan berbicara tentang apa yang kami harapkan dapat
dicapai oleh pembuktian, dan mengapa kami sangat peduli terhadap pembuktian tersebut. Maka Anda
mungkin bertanya-tanya, bagaimana seseorang dapat menentukan buktinya. Ini sebenarnya adalah ide
yang sulit untuk diatasi!

Untuk mendekati gagasan ini, kami akan menyajikan beberapa argumen matematika yang berbeda.
Kami ingin Anda membaca bersama mereka, dan memikirkan apakah mereka meyakinkan. Apakah
mereka membuktikan sesuatu? Apakah mereka benar? Apakah mereka dimengerti? Bagaimana
perasaan Anda? Pikirkan sendiri dan kembangkan beberapa pendapat, lalu bacalah bersama diskusi kita.

Argumen matematis yang akan kami sajikan di sini semuanya tentang segitiga.

Secara khusus, hal ini berkaitan dengan Teorema Pythagoras.

Teorema 1.1.1 (Teorema Pythagoras). Jika suatu segitiga siku-siku mempunyai alas panjang a ; b dan
panjang sisi miring c , maka nilai tersebut memenuhi a 2+ b2=c 2.

Bagaimana kita mengetahui hal ini? Ini adalah fakta yang sangat berguna, yang mungkin pernah Anda
gunakan berkali-kali di kelas matematika Anda (dan dalam hidup, tanpa Anda sadari).

Pernahkah Anda bertanya-tanya mengapa hal itu benar? Bagaimana Anda menjelaskannya kepada
teman yang skeptis? Inilah yang ingin dicapai oleh pembuktian matematis: penjelasan fakta yang jelas
dan ringkas. Alasan di balik memerlukan bukti juga sangat masuk akal, dan ada dua: melegakan
mengetahui bahwa apa yang kita anggap benar memang benar dan menyenangkan tidak harus melalui
penjelasan fakta setiap saat. kami ingin menggunakannya. Setelah membuktikan Teorema Pythagoras
(dengan memuaskan), kita hanya perlu merujuk pada teorema tersebut dengan namanya setiap kali
situasi yang relevan muncul; kami sudah melakukan pembuktiannya, jadi tidak perlu buktikan lagi.

Sekarang, apa sebenarnya yang dimaksud dengan pembuktian? Bagaimana kita mengetahui penjelasan
itu cukup jelas dan ringkas? Menjawab pertanyaan ini, secara umum, cukup sulit dan merupakan bagian
dari alasan mengapa matematika dapat dipandang sebagai seni dan juga sains. Kita menghadapi fakta
yang dingin dan sulit, ya, tapi mampu Bernalar dengan fakta-fakta ini dan menjelaskannya secara
memuaskan kepada orang lain adalah sebuah bentuk seni tersendiri.

Contoh "Bukti"

Mari kita lihat beberapa contoh "bukti" dan lihat apakah bukti tersebut bekerja dengan cukup baik.

(Kami mengatakan "bukti" untuk saat ini sampai kami menemukan definisi yang lebih tepat untuk itu,

nanti.) Ini yang pertama:

"Bukti" 1. Gambarlah sebuah persegi dengan panjang sisi a + b. Di dalam persegi ini, gambarlah empat
salinan segitiga siku-siku, membentuk sebuah persegi dengan panjang sisi c di dalam persegi yang lebih
besar.

Luas persegi yang lebih besar dapat dihitung dengan dua cara: dengan menerapkan rumus luas persegi
yang lebih besar atau dengan menjumlahkan luas persegi yang lebih kecil dengan luas keempat segitiga.
Jadi, itu pasti benar bahwa

Dengan menjabarkan persamaan di sebelah kiri dan membagi suku sekutu di kedua sisi akan
menghasilkan persamaan
Oleh karena itu, a 2+ b2=c 2 benar.

Apakah Anda yakin? Apakah setiap langkah masuk akal? Mungkin Anda belum yakin, jadi mari kita lihat
bukti lain dari teorema tersebut.

"Bukti" 2. Misalkan Teorema Pythagoras benar dan gambarlah segitiga siku-siku dengan tinggi dari titik
sudutnya sesuai dengan sudut siku-siku. Beri label titik dan panjangnya seperti pada diagram di bawah
ini:

Karena Teorema Pythagoras benar, maka kita dapat menerapkannya pada ketiga segitiga siku-siku pada
diagram, yaitu ABC; BCD; ACD. Ini memberitahu kita (mendefinisikan e = c - d)

Menjumlahkan dua persamaan pertama dan mengganti jumlah ini pada persamaan ketiga, kita
mendapatkan

Perhatikan bahwa sudut ∠ABC dan ∠ACD sama besar, karena keduanya saling berkomplemen dengan
sudut ∠CAB, sehingga diketahui segitiga∆ CDB dan ∆ ADC adalah segitiga sebangun. (Kita sekarang
mengasumsikan bahwa kita sudah familiar dengan geometri bidang.) Ini menunjukkan penggunaan
e f
= , dan dengan demikian f 2=ed . Kita dapat menggunakan ini untuk menggant i f 2 pada baris di atas
f d
dan memfaktorkannya, sebagai berikut:
Dengan mengakar kuadrat kan kedua sisi (dan mengetahui c ; d ; e semuanya bilangan positif) memberi
tahu kita c=d+ e, yang benar berdasarkan definisi panjang d dan e . Oleh karena itu, asumsi kita bahwa
Teorema Pythagoras benar adalah valid.

Bagaimana dengan bukti ini? Apakah itu meyakinkan? Apakah sudah jelas? Mari kita periksa satu lagi
"bukti" sebelum kita memutuskan mana yang merupakan bukti yang "benar" atau "baik".

"Bukti" 3. Perhatikan bahwa

a c−b
Jadi = dan a 2+ b2=c 2.
c+ b a

Apakah itu masuk akal bagi Anda? Terakhir, inilah satu "bukti" terakhir yang perlu dipertimbangkan.

"Bukti" 4. Teorema Pythagoras pasti benar, kalau tidak guruku telah berbohong padaku.

Diskusi
Sebelum membaca lebih lanjut, kami mendorong Anda untuk memikirkan keempat “bukti” ini dan
bahkan mendiskusikannya dengan siswa atau teman lain. Menurut Anda, apa yang dimaksud dengan
bukti yang "benar"? Apakah kejelasan dan kemudahan membaca itu penting? Apakah hal ini
memengaruhi " kebenaran" suatu bukti? Dari perspektif sejarah, penulisan bukti matematis telah
berkembang selama bertahun-tahun dan terdapat konsensus umum yang baik mengenai apa yang
dimaksud dengan bukti yang "benar":

 Adalah penting bahwa setiap langkah dalam pembuktian, setiap kesimpulan dan klaim logis,
adalah valid, secara matematis.
  Penting juga bagi penulis bukti untuk menjelaskan (secara wajar) mengapa suatu pernyataan
berasal dari karya sebelumnya atau dari pengetahuan luar.

Yang menarik dari persyaratan kebenaran adalah bahwa matematika telah dibangun sehingga kita dapat
membaca argumen dan memverifikasi setiap klaim sebagai Benar atau Salah.
Yang sulit didefinisikan adalah tulisan yang jelas. Di satu sisi, hal ini mirip dengan definisi terkenal Hakim
Agung Potter Stewart tentang kecabulan: "Saya mengetahuinya ketika saya melihatnya".
Mengingat keempat argumen perbandingan ini, mari kita nilai kejelasan dan kebenarannya:

Klarifikasi:
 "Bukti" 1 dan 2 dijelaskan dengan cukup baik. Ada pernyataan yang jelas tentang apa yang
dilakukan penulis dan alasannya. Mereka menunjukkan dari mana persamaan tersebut berasal,
dan bahkan menyertakan beberapa gambar untuk mengilustrasikan ide-idenya kepada
pembaca. Perhatikan bahwa "bukti 1" bergantung pada beberapa pengetahuan dasar
sebelumnya, seperti manipulasi aljabar variabel dan rumus luas segitiga dan persegi, tetapi ini
tidak masalah.
 Demikian pula, "Bukti 2" mengandalkan pemahaman tentang segitiga-segitiga sebangun dan apa
artinya mengenai panjang sisi-sisinya. Setidaknya penulis bukti menunjukkan hal ini, sehingga
pembaca yang tertarik dapat mencari beberapa ide yang relevan. Jika mereka tidak mengatakan
ini, pembaca mungkin akan bingung dan tidak tahu bagaimana mencari tahu apa yang hilang!
 Kata-kata "Bukti" 3 sangat buruk! Ia tidak memberikan penjelasan apa pun. Hal ini membuat
cukup sulit untuk menentukan apakah klaim mereka benar atau tidak. Ya, ada gambar yang
disertakan, tetapi tidak ada indikasi mengapa mereka memilih menggambar lingkaran di
sekeliling segitiga, atau mengapa persamaan yang disebutkan mengikuti diagram.
 "Proof" 4 adalah kalimat yang benar secara tata bahasa, tetapi tidak menjelaskan apa pun!

Kita sudah dapat melihat bahwa "Bukti" 4 jelas bukan kandidat yang layak untuk menjadi bukti yang baik
dan tepat. “Bukti” 1 dan 2 masih dalam proses, setidaknya ditulis dengan jelas. "Bukti" 3, seperti yang
tertulis sekarang, mungkin bukan kandidat yang baik; Namun, mungkin itu memang mengandung ide-ide
benar yang hanya memerlukan penjelasan lebih baik. Mungkin bisa ditulis ulang sebagai bukti yang baik
dan tepat.

Mari kita analisis kebenaran logis dari keempat argumen ini:

Pembenaran :

“Bukti" 1 sebagian besar baik. Rumus untuk luas persegi dan segitiga diterapkan dengan benar, dan
manipulasi aljabarnya benar. Tapi bagaimana kita tahu bahwa proses yang mereka jelaskan|meletakkan
empat salinan dari segitiga yang diberikan ke dalam sebuah persegi yang lebih besar|membuat persegi
dengan panjang sisi c di bagian dalam? Mereka hanya mengatakan bahwa persegi tersebut
melakukannya tanpa menjelaskan alasannya. Namun, selain kelalaian ini, bukti ini ditulis dengan baik
dan benar.

(Dapatkah kamu membuktikan fakta bahwa bentuk di dalamnya sebenarnya adalah persegi? Lihat saja
sudut-sudutnya: dapatkah kamu menunjukkan mengapa semuanya siku-siku?)
Sayangnya, "Bukti" 2 sepenuhnya tidak valid! Setiap langkah logis yang dilakukannya mengikuti langkah
sebelumnya. Misalnya, dengan asumsi kita mempunyai segitiga-segitiga yang tersusun seperti ini, kita
dapat dengan tepat menyimpulkan bahwa CDB dan ADC adalah segitiga-segitiga sebangun. Namun,
mengapa kita dapat berasumsi bahwa teorema tersebut Benar pada awalnya? Bukankah itu yang ingin
kita capai sebagai bukti secara keseluruhan? Ini adalah kelemahan yang krusial. Mengasumsikan suatu
fakta dan menyimpulkan sesuatu yang Benar dari fakta tersebut tidak memungkinkan kita untuk
menyimpulkan bahwa asumsi awal itu valid.

Jika metode ini valid, kita bisa "membuktikan" apa saja yang kita inginkan!

Berikut contohnya: Apa pendapat Anda tentang "bukti" berikut bahwa 0 = 1?

"Bukti ". Asumsikan 0 = 1. Maka, berdasarkan sifat simetris dari =, maka 1 = 0 juga benar. Menjumlahkan
kedua persamaan ini akan menghasilkan 1 = 1, yang mana Benar. Oleh karena itu, 0 = 1 merupakan
asumsi yang valid, jadi pasti Benar.

Apakah Anda melihat persamaan antara ini dan "Bukti" 2 di atas? Penalaran cacat yang sama juga
digunakan: kita mengasumsikan satu fakta, melakukan upaya untuk mendapatkan sesuatu yang lain
yang kita tahu Benar, dan kemudian mengatakan bahwa fakta yang diasumsikan itu juga pasti Benar.

Mengenai "Bukti" 3, sebagian besar ahli matematika akan mengatakan ini adalah "bukti buruk",
meskipun faktanya semua yang diklaimnya benar. Kami mengatakan "muncul" karena, tanpa kata-kata
apa pun untuk menjelaskan apa yang terjadi, kami tidak benar-benar mengetahui apa yang ingin
dikatakan oleh penulis bukti! Namun, kami akan mengatakan bahwa inti dari bukti yang sangat baik
terkandung di dalamnya.

a c−b
Dari diagram, Anda dapat menunjukkan bahwa persamaan yang dinyatakan, = , harus
c+ b a
mengikuti. (Petunjuk: Gunakan segitiga sebangun!) Dari sana, kita dapat melakukan manipulasi
sederhana untuk menyimpulkan bahwa a 2+ b2=c 2.

Bisakah Anda menulis beberapa kalimat yang sesuai dengan diagram yang akan menjadikannya bukti
yang tepat?

Yang terakhir, hampir setiap orang yang masuk akal (kami harap!) akan mengatakan bahwa "Bukti" 4
bahkan tidak mendekati bukti, betapapun nyamannya membuat pernyataan seperti itu.

Pembahasan ini menunjukkan bahwa “Bukti” 1 sebenarnya merupakan bukti yang baik. Di antara
keempatnya, ini adalah yang paling jelas tertulisnya, dan yang secara logika benar. Kita bisa merujuknya
sekarang sebagai bukti. "Bukti" 2 sama sekali tidak benar, meskipun disajikan dengan jelas. “Bukti” 3
mengandung gagasan yang benar, namun tidak disajikan secara jelas. “Bukti” 4 masih jauh dari bukti
sehingga kita bahkan tidak ingin membahasnya.
Pertanyaan

Sebelum beralih ke topik lain, kami akan memberikan pertanyaan kepada Anda: jika kami memberi Anda
tiga bilangan positif a ; b ; cyang memenuhi a 2+ b2=c 2, apakah benar ada segitiga siku-siku dengan
panjang sisi a ; b dan panjang sisi miring c ? Jika ya, bagaimana cara Anda membangunnya? Jika tidak,
mengapa tidak?

Konjektur Goldbach

Setiap bilangan bulat genap yang lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan
prima.[1]

Konjektur Goldbach pertama kali disebut oleh Christian Goldbach dalam suratnya
kepada Euler pada tahun 1742. Dalam suratnya, Goldbach melaporkan bahwa bilangan genap lebih
dari atau sama dengan 4 bisa ditulis sebagai hasil penjumlahan dua buah bilangan prima, akan
tetapi dia tidak berhasil membuktikan kebenaran daripada konjekturnya tersebut.

Berita populer[
 Untuk menghasilkan publisitas untuk novel Uncle Petros and Goldbach's
Conjecture oleh Apostolos Doxiadis, penerbit Inggris Tony Faber menawarkan hadiah $
1.000.000 jika bukti telah disampaikan sebelum April 2002. Hadiah itu tidak diklaim.

Bilangan prima kembar

Bilangan prima kembar (bahasa Inggris: twin prime) adalah bilangan prima yang
berbeda dari yang lain oleh dua bilangan prima. Dengan kata lain, selisih kedua
bilangan tersebut adalah 2. Contohnya, anggota pasangan bilangan prima kembar
adalah 5-3 karena selisihnya adalah 2.

Konjektur bilangan prima kembar

Selama bertahun-tahun, konjektur bilangan prima kembar merupakan salah satu
pertanyaan terbuka dalam teori bilangan. Konjektur ini mengatakan bahwa ada tak
berhingga banyaknya bilangan bulat positif sehingga baik maupun adalah sebuah
bilangan prima. Matematikawan asal Perancis bernama Alphonse de
Polignac menduga konjektur bilangan prima kembar pertama kali di tahun 1849:[1]
Bahasa Perancis
Tout nombre pair est égal à la différence de deux nombres premiers consécutifs d'une
infinité de manières.
Bahasa Indonesia
Setiap bilangan genap dapat dinyatakan sebagai selisih dua buah bilangan prima yang
berurutan dalam tak berhingga cara.

Bilangan prima kembar terbesar[sunting | sunting sumber]

Hingga bulan Mei 2018, bilangan prima kembar terbesar yang diketahui adalah
2996863034895 · 21290000 ± 1.[2] Bilangan kembar prima ini ditemukan pada bulan
September 2016.[3]
Bilangan prima telah ditemukan sebanyak 808.675.888.577.436 bilangan prima kembar
di bawah 1018.[4][5]