Coba perhatikan pola berikut. Bilangan 1 adalah kuadrat dari 1. Jumlah 1 + 3 sama dengan 4, kuadrat dari 2. Jumlah 1 + 3 + 5 sama dengan 9, kuadrat dari 3. Setelah lima atau enam percobaan, kebanyakan orang akan yakin bahwa jumlah bilangan ganjil berurutan selalu menghasilkan bilangan kuadrat. Dugaan itu memang benar, tetapi keyakinan yang lahir dari beberapa contoh belum dianggap cukup oleh matematikawan, yang selalu menuntut bukti matematika. Mengapa demikian? Sejarah matematika menyimpan banyak kisah tentang pola yang tampak sempurna, lalu runtuh pada saat yang tidak terduga.
Rumus Euler: Empat Puluh Kali Benar, Lalu Gagal
Pada tahun 1772, Leonhard Euler memperkenalkan bentuk \( n^2 + n + 41 \). Menurut ensiklopedia matematika MathWorld, bentuk ini menghasilkan bilangan prima yang berbeda-beda untuk 40 bilangan bulat berurutan, yaitu dari \( n = 0 \) sampai \( n = 39 \). Siapa pun yang mencoba sepuluh atau dua puluh nilai pertama tentu tergoda menyimpulkan bahwa rumus ini selalu menghasilkan bilangan prima.
| Nilai n | Hasil n² + n + 41 | Keterangan |
|---|---|---|
| 0 | 41 | Prima |
| 1 | 43 | Prima |
| 2 | 47 | Prima |
| 39 | 1.601 | Prima |
| 40 | 1.681 | Bukan prima |
Kegagalan pada \( n = 40 \) mudah diperiksa karena hasilnya dapat difaktorkan:
Satu contoh yang gagal seperti ini disebut contoh penyangkal. Empat puluh keberhasilan tidak mampu menyelamatkan klaim “selalu prima”, sedangkan satu kegagalan sudah cukup untuk menggugurkannya.
Dugaan Fermat yang Dipatahkan Euler
Kisah serupa menimpa Pierre de Fermat. Ia memeriksa bilangan berbentuk \( F_n = 2^{2^n} + 1 \) dan mendapati lima nilai pertamanya, yaitu 3, 5, 17, 257, dan 65.537, semuanya prima. Menurut catatan matematikawan Keith Conrad dari University of Connecticut, Fermat lalu menduga bahwa semua bilangan dengan bentuk tersebut adalah prima. Pada tahun 1732, Euler menunjukkan bahwa bilangan berikutnya ternyata dapat difaktorkan:
Hingga kini, tidak ada lagi bilangan Fermat prima yang ditemukan setelah \( F_4 \). Lima contoh yang benar ternyata tidak cukup untuk menjamin pola itu berlaku seterusnya.
Penyangkal yang Datang Sangat Terlambat
Ada pula dugaan yang bertahan jauh lebih lama. Pada tahun 1769, Euler menduga bahwa untuk pangkat \( n \) yang lebih dari 2, sebuah bilangan berpangkat \( n \) tidak mungkin diperoleh dari penjumlahan kurang dari \( n \) bilangan berpangkat \( n \). Untuk pangkat lima, artinya dibutuhkan paling sedikit lima suku. Hampir dua abad kemudian, pada tahun 1966, L. J. Lander dan T. R. Parkin menjalankan pencarian dengan komputer CDC 6600 dan menemukan kesamaan berikut, yang mereka terbitkan dalam salah satu makalah terpendek di jurnal Bulletin of the American Mathematical Society:
Kedua ruas persamaan itu sama-sama bernilai 61.917.364.224. Empat bilangan pangkat lima ternyata cukup, sehingga dugaan Euler gugur.
Contoh yang lebih mencengangkan adalah dugaan yang dikenal dengan nama George Pólya (1919). Dugaan itu menyatakan bahwa di antara bilangan asli dari 1 sampai batas berapa pun yang lebih dari 1, bilangan yang memiliki faktor prima berjumlah ganjil tidak pernah kalah banyak dibandingkan yang berjumlah genap. Faktor yang berulang ikut dihitung, misalnya 12 = 2 × 2 × 3 memiliki tiga faktor prima. Menurut MathWorld, C. B. Haselgrove membuktikan pada tahun 1958 bahwa dugaan ini keliru, dan contoh penyangkal terkecilnya baru ditemukan oleh Minoru Tanaka pada tahun 1980, yaitu pada bilangan 906.150.257. Artinya, dugaan tersebut benar untuk ratusan juta bilangan pertama sebelum akhirnya gagal.
Apa yang Dimaksud dengan Bukti Matematika?
Bukti matematika adalah rangkaian penalaran yang berangkat dari definisi dan fakta yang sudah disepakati, lalu melangkah dengan aturan logika sampai tiba pada kesimpulan. Karena setiap langkahnya sah, kesimpulan itu berlaku untuk semua kasus, bukan hanya kasus yang sempat diperiksa.
Perlu dicatat, jika banyaknya kasus terbatas dan semuanya benar-benar diperiksa, pemeriksaan itu sendiri sudah sah sebagai bukti. Masalahnya muncul pada pernyataan tentang bilangan yang jumlahnya tak terhingga. Sebanyak apa pun contoh yang diperiksa, selalu masih ada bilangan lain yang belum tersentuh.
Sebagai contoh sederhana, ambil klaim “jumlah dua bilangan ganjil selalu genap”. Setiap bilangan ganjil dapat ditulis dalam bentuk dua kali bilangan bulat ditambah satu. Jika dua bilangan ganjil ditulis sebagai \( 2a + 1 \) dan \( 2b + 1 \), dengan \( a \) dan \( b \) bilangan bulat, maka:
Hasilnya adalah dua dikali sebuah bilangan bulat, sehingga pasti genap. Penalaran ini berlaku untuk pasangan bilangan ganjil mana pun, bahkan yang belum pernah ditulis orang.
Pola bilangan ganjil di awal tulisan juga dapat dibuktikan dengan induksi matematika. Pola itu jelas benar untuk \( n = 1 \). Lalu, anggap pola benar untuk suatu \( k \), yaitu jumlah \( k \) bilangan ganjil pertama sama dengan \( k^2 \). Jika bilangan ganjil berikutnya, \( 2k + 1 \), ditambahkan, diperoleh:
Jadi, jika pola benar untuk \( k \), pola pasti benar pula untuk \( k + 1 \). Seperti deretan domino, kebenaran pada langkah pertama merambat ke semua langkah berikutnya tanpa ada yang terlewat.
Goldbach: Sudah Diperiksa Komputer, Tetap Belum Terbukti
Dugaan Goldbach menyatakan bahwa setiap bilangan genap yang lebih besar dari 2 dapat ditulis sebagai jumlah dua bilangan prima, misalnya 10 = 3 + 7. Tomás Oliveira e Silva, Siegfried Herzog, dan Silvio Pardi melaporkan dalam jurnal Mathematics of Computation (2014) bahwa dugaan ini telah dipastikan benar untuk semua bilangan genap hingga \( 4 \times 10^{18} \). Meskipun demikian, dugaan Goldbach masih berstatus dugaan, bukan teorema. Kisah Pólya menunjukkan alasannya: contoh penyangkal bisa saja bersembunyi jauh melampaui batas yang sanggup diperiksa komputer.
Tiga istilah penting
Dugaan (konjektur): pernyataan yang diyakini benar, tetapi belum dibuktikan.
Teorema: pernyataan yang sudah dibuktikan sehingga berlaku untuk semua kasus.
Contoh penyangkal: satu kasus yang cukup untuk menggugurkan klaim “selalu” atau “untuk semua”.
Pelajaran bagi Pembaca Sehari-hari
Cara berpikir matematikawan ini berguna di luar kelas. Beberapa pengalaman yang mirip belum tentu membentuk aturan umum. Ketika menerima klaim “selalu berhasil” atau “pasti terjadi”, ada baiknya bertanya: apakah klaim itu didukung penalaran yang kuat, atau hanya oleh beberapa contoh yang kebetulan cocok?
Bagi guru dan orang tua, anak dapat diajak menebak pola dari contoh, kemudian ditantang mencari alasan mengapa pola itu berlaku atau mencari contoh yang membuatnya gagal. Latihan sederhana ini menumbuhkan rasa ingin tahu sekaligus kebiasaan berpikir kritis. Contoh tetap penting karena membantu kita menemukan dugaan. Namun, berapa pun banyaknya contoh yang cocok, kebenaran belum terjamin sampai ada bukti yang mengubah dugaan itu menjadi kepastian.
Sumber
1. Weisstein, E. W. “Prime-Generating Polynomial”. MathWorld, Wolfram Research. Diakses September 2026. mathworld.wolfram.com
2. Conrad, K. “Fermat Numbers and Their Factors”. University of Connecticut. Diakses September 2026. kconrad.math.uconn.edu
3. Lander, L. J. dan Parkin, T. R. (1966). “Counterexample to Euler’s Conjecture on Sums of Like Powers”. Bulletin of the American Mathematical Society, 72. doi.org
4. Weisstein, E. W. “Pólya Conjecture”. MathWorld, Wolfram Research. Diakses September 2026. mathworld.wolfram.com
5. Oliveira e Silva, T., Herzog, S., dan Pardi, S. (2014). “Empirical Verification of the Even Goldbach Conjecture and Computation of Prime Gaps up to 4·1018“. Mathematics of Computation, 83(288), 2033-2060. ams.org