Saat belajar matematika, kita sering melakukan hal yang terasa sangat masuk akal: mencoba sebuah rumus dengan beberapa angka, melihat semuanya cocok, lalu menyimpulkan bahwa rumus itu benar. Cara ini dipakai hampir di semua bidang kehidupan dan biasanya memang cukup. Tetapi di dalam matematika, kesimpulan seperti itu belum dianggap sah.
Alasannya bukan karena matematikawan gemar mempersulit keadaan. Ada pengalaman panjang yang membuat mereka berhati-hati, dan pengalaman itu bisa kita lihat lewat beberapa contoh sederhana berikut.
Pola yang benar puluhan kali, lalu tiba-tiba gagal
Perhatikan rumus berikut:
\[ f(n) = n^2 + n + 41 \]
Masukkan \( n = 0 \), hasilnya 41 — bilangan prima. Masukkan \( n = 1 \), hasilnya 43, juga prima. Lalu 47, 53, 61, dan seterusnya. Semuanya prima. Kalau kita rajin, kita bisa mencoba sampai \( n = 39 \) dan hasilnya tetap prima, empat puluh kali berturut-turut tanpa satu pun meleset.
Pada titik ini hampir siapa pun akan yakin bahwa rumus tersebut selalu menghasilkan bilangan prima. Namun coba masukkan \( n = 40 \):
\[ 40^2 + 40 + 41 = 1681 = 41 \times 41 \]
Hasilnya bukan bilangan prima. Empat puluh contoh yang cocok ternyata tidak cukup untuk menjamin apa pun tentang contoh yang ke empat puluh satu.
Menebak lewat pola yang tampak jelas
Contoh lain lebih mudah dibayangkan. Ambil sebuah lingkaran, tandai beberapa titik di tepinya dengan jarak yang tidak beraturan, lalu tarik garis yang menghubungkan setiap pasang titik. Jarak yang tidak beraturan ini penting agar tidak ada tiga garis yang berpotongan tepat di satu titik yang sama. Berapa banyak bagian paling banyak yang terbentuk di dalam lingkaran?
Dengan 1 titik kita dapat 1 bagian. Dengan 2 titik, 2 bagian. Lalu 4 bagian, 8 bagian, dan 16 bagian. Polanya terlihat sangat meyakinkan: setiap penambahan satu titik melipatgandakan jumlah bagian. Maka titik berikutnya seharusnya menghasilkan 32 bagian.
Kenyataannya 31. Pola penggandaan itu memang cocok lima kali berturut-turut, tetapi ia bukan aturan yang sebenarnya bekerja di balik gambar tersebut.
Satu contoh yang meleset sudah cukup meruntuhkan
Di sini ada ketimpangan yang menarik. Ribuan contoh yang cocok tidak membuktikan sebuah pernyataan berlaku umum, tetapi satu contoh yang tidak cocok sudah cukup untuk membantahnya.
Misalnya pernyataan “semua bilangan prima adalah bilangan ganjil”. Kita bisa menyebut 3, 5, 7, 11, 13, dan seterusnya sepanjang halaman. Namun cukup satu bilangan, yaitu 2, untuk membuat pernyataan itu gugur. Dalam matematika, contoh semacam ini disebut contoh tandingan atau counterexample.
Lalu seperti apa bukti itu sebenarnya?
Bukti bekerja dengan cara yang berbeda. Ia tidak memeriksa kasus satu per satu, melainkan menurunkan kesimpulan dari definisi yang sudah disepakati.
Ambil pernyataan sederhana: jumlah dua bilangan genap selalu genap. Kita tidak perlu mencoba jutaan pasangan angka. Menurut definisinya, bilangan genap adalah bilangan yang bisa ditulis sebagai dua kali suatu bilangan bulat. Jadi tulis saja:
\[ a = 2m \quad \text{dan} \quad b = 2n \]
Maka jumlahnya:
\[ a + b = 2m + 2n = 2\,(m + n) \]
Karena \( m + n \) tetap bilangan bulat, hasilnya adalah dua kali suatu bilangan bulat, yang berarti genap. Selesai. Argumen tadi sekaligus mencakup semua pasangan bilangan genap yang pernah ada dan yang tidak akan pernah sempat kita tulis. Itulah yang tidak bisa diberikan oleh contoh sebanyak apa pun.
Kenapa ini penting di luar ruang kelas
Kebiasaan menuntut bukti ini punya manfaat yang sangat praktis. Perhitungan struktur bangunan, sistem navigasi, pengamanan data perbankan, dan program komputer yang menjalankan layanan publik semuanya berdiri di atas rumus-rumus yang sudah dibuktikan berlaku umum, bukan sekadar rumus yang kebetulan cocok pada beberapa percobaan.
Pengujian tetap dilakukan, tentu saja, dan pengujian itu penting. Bedanya, pengujian menunjukkan bahwa sesuatu bekerja pada kasus yang diuji, sedangkan bukti menjamin bahwa ia bekerja pada semua kasus yang memenuhi syaratnya. Keduanya saling melengkapi.
Jadi, apakah contoh tidak ada gunanya?
Justru sangat berguna, hanya saja perannya berbeda. Contoh adalah tempat lahirnya dugaan. Dari mengamati beberapa kasus, seseorang bisa menduga adanya pola, dan dugaan itulah yang kemudian dicoba dibuktikan atau dibantah.
Ada dugaan terkenal yang menyatakan bahwa setiap bilangan genap lebih besar dari dua dapat ditulis sebagai jumlah dua bilangan prima. Contohnya mudah: 8 = 3 + 5, lalu 10 = 3 + 7, lalu 12 = 5 + 7. Komputer sudah memeriksanya sampai bilangan yang luar biasa besar dan belum menemukan satu pun perkecualian. Meski demikian, sampai hari ini pernyataan itu masih berstatus dugaan, bukan teorema, karena buktinya belum ditemukan.
Sikap itu mungkin terasa terlalu keras kepala. Namun dari sikap itulah matematika bisa dibangun bertingkat dengan aman: teorema hari ini dipakai sebagai pijakan teorema berikutnya, tanpa kekhawatiran bahwa suatu saat ada satu kasus yang membuat seluruh bangunan runtuh.
Ringkasnya
- Contoh yang cocok, sebanyak apa pun, hanya memperkuat dugaan dan tidak membuktikannya.
- Satu contoh tandingan sudah cukup untuk membantah sebuah pernyataan umum.
- Bukti bekerja dari definisi dan penalaran, sehingga berlaku untuk semua kasus sekaligus.
- Contoh dan bukti bukan saingan: contoh melahirkan dugaan, bukti yang mengesahkannya.
Karena itu, ketika seorang guru meminta “buktikan” dan bukan “berikan contohnya”, permintaan itu sebenarnya sedang mengajak berpindah dari merasa yakin menjadi benar-benar tahu.