Keterbagian Bilangan Berurutan: Pola & Faktorial

Mulai dengan Sampel Nyata

Pernahkah kamu melihat soal matematika yang memintamu mencari sesuatu yang "selalu benar" atau "pasti habis dibagi"? Terkadang, insting pertama kita adalah mencari rumus rumit. Padahal, cara terkuat (dan tercepat) untuk menguji pernyataan semacam ini adalah dengan memasukkan angka-angka kecil.

Mari kita lihat ekspresi dari soal: produk tiga bilangan bulat positif berurutan, yaitu $n(n+1)(n+2)$. Daripada membayangkan polanya di awang-awang, coba kita langsung masukkan nilai terkecil yang mungkin, yaitu $n=1$.

Substitusi $n=1$ akan menghasilkan: $1 \times 2 \times 3 = 6$

Dari satu kasus ini saja, kita mendapatkan angka $6$. Sekarang mari kita periksa opsi jawaban yang diberikan: $2, 3, 4, 6,$ dan $9$. Angka $6$ jelas habis dibagi oleh $2, 3,$ dan $6$. Namun, apakah $6$ habis dibagi $4$ atau $9$? Tentu tidak.

Dengan seketika, kita bisa mencoret $4$ dan $9$ dari daftar kemungkinan tanpa perlu menjabarkan aljabar yang rumit!

Meskipun memasukkan angka kecil sangat ampuh untuk menggugurkan pilihan yang salah, kita tetap butuh konsep untuk membuktikan mengapa pilihan yang tersisa ($2, 3,$ dan $6$) pasti selalu benar untuk angka berapapun. Kita akan bahas alasannya di halaman berikutnya.

Mengapa memasukkan nilai terkecil (seperti n=1) sangat efektif untuk menguji pernyataan yang berbunyi 'selalu pasti membagi habis'?

A. Karena rumus matematika selalu bekerja lebih baik pada angka genap.
B. Karena nilai yang besar akan selalu menutupi sifat dari nilai yang kecil.
C. Karena satu contoh yang gagal (counterexample) sudah cukup untuk membuktikan sifat tersebut tidak 'selalu' berlaku.
D. Karena angka 1 adalah angka ajaib yang memiliki sifat keterbagian tak terhingga.

Jawaban: C. Karena satu contoh yang gagal (counterexample) sudah cukup untuk membuktikan sifat tersebut tidak 'selalu' berlaku.

Untuk klaim yang berbunyi 'selalu benar', menemukan satu saja kasus di mana klaim itu salah (seperti n=1) sudah cukup untuk menggugurkannya secara permanen.

Satu kasus gagal (counterexample) cukup untuk membuktikan bahwa pernyataan matematika tidak selalu berlaku.

Kekuatan Genap & Kelipatan 3

Setelah kita memastikan bahwa $2, 3,$ dan $6$ bekerja pada $n=1$, pertanyaan besarnya adalah: apakah jaminan itu akan terus bertahan sampai angka jutaan sekalipun? Jawabannya ada pada sifat bilangan berurutan itu sendiri.

Coba bayangkan deretan bilangan bulat seperti kalender. Setiap dua hari sekali, kamu pasti akan bertemu tanggal genap. Setiap tiga hari sekali, kamu pasti akan bertemu kelipatan 3.

Nah, jika kita mengambil tiga bilangan berurutan mana pun di dunia ini (misal: $n, n+1, n+2$), dua aturan alam ini pasti terjadi:

Pasti ada minimal satu bilangan genap (habis dibagi $2$).
Pasti ada tepat satu kelipatan 3 (habis dibagi $3$).

Oleh karena itu, keberadaan bilangan genap menjamin produknya bisa dibagi $2$, keberadaan kelipatan $3$ menjamin produknya bisa dibagi $3$, dan gabungan keduanya menjamin produknya pasti selalu habis dibagi 6, seberapapun besarnya nilai $n$ yang kamu pilih.

Itulah alasan mendasar mengapa angka $2, 3,$ dan $6$ adalah jawaban yang tak terbantahkan. Mereka bukan sekadar kebetulan pada $n=1$, melainkan hukum alam yang terikat pada barisan tiga angka berurutan.

Berdasarkan intuisi periodisitas bilangan di atas, jika kita memiliki EMPAT bilangan bulat berurutan, hal apa saja yang PASTI selalu terjadi? (Pilih semua yang benar)

Pasti ada minimal satu bilangan genap (kelipatan 2).
Pasti ada minimal satu kelipatan 5.
Pasti ada tepat satu kelipatan 4.
Pasti ada dua buah kelipatan 3.

Jawaban: Pasti ada minimal satu bilangan genap (kelipatan 2).; Pasti ada tepat satu kelipatan 4.

Dalam 4 bilangan berurutan, siklus 2 dan 4 pasti berulang, sehingga pasti ada kelipatan 2 dan 4. Kelipatan 3 juga pasti ada. Namun kelipatan 5 butuh 5 bilangan berurutan.

k bilangan berurutan selalu menjamin keberadaan minimal satu kelipatan untuk setiap angka dari 1 hingga k.

Kenapa 4 Terkadang Gagal?

Mari kita bedah sebuah miskonsepsi (kesalahan pemahaman) yang sering menjebak banyak orang: "Kalau ada bilangan genap, bukankah kalau angkanya besar nanti pasti bisa dibagi 4?"

Kita tahu bahwa bilangan genap bisa dibagi $2$. Namun, agar sebuah produk bisa dibagi $4$, syaratnya lebih berat: bilangan tersebut harus memiliki dua buah faktor 2, karena $4 = 2 \times 2$. Memiliki satu bilangan genap biasa belumlah cukup untuk melunasi "harga" dari $4$.

Mari kita lihat dua kasus berlawanan:

Kasus $n=2$: Deretnya adalah $2, 3, 4$. Produknya adalah $24$. Angka genap di sini ada dua (yaitu $2$ dan $4$). Angka $2$ menyumbang satu faktor '2', dan angka $4$ menyumbang dua faktor '2'. Totalnya ada tiga buah faktor '2'. Produk ini sangat mudah dibagi $4$.
Kasus $n=1$: Deretnya adalah $1, 2, 3$. Produknya adalah $6$. Angka genap di sini hanya satu, yaitu $2$. Angka $2$ ini hanya menyumbang tepat satu buah faktor '2'. Karena $4$ butuh dua buah faktor '2', kasus ini gagal total.

Ingat, dalam matematika, klaim "dipastikan akan selalu habis dibagi" tidak menoleransi satu pun kegagalan. Karena $n=1$ gagal menyediakan cukup faktor '2', opsi $4$ gugur dengan sendirinya.

Berdasarkan analogi koin di atas, tentukan Benar atau Salah untuk tiap pernyataan syarat keterbagian berikut!

Untuk memastikan sebuah bilangan selalu habis dibagi 8, bilangan tersebut wajib menabung minimal tiga buah faktor 2. — Benar
Hanya dengan jaminan ada satu kelipatan 3, kita sudah pasti bisa menjamin produknya selalu habis dibagi 9. — Salah
Agar suatu produk bisa membagi habis 10, kita membutuhkan jaminan adanya minimal satu bilangan genap dan satu kelipatan 5. — Benar

Agar habis dibagi 8, dibutuhkan tiga buah koin '2'. Agar habis dibagi 9, dibutuhkan dua koin '3' (bukan cukup satu kelipatan 3). Habis dibagi 10 butuh gabungan koin '2' dan koin '5'.

Syarat keterbagian membutuhkan ketersediaan jumlah faktor prima yang cukup sesuai dengan dekomposisi faktor dari sang pembagi.