Rahasia Selisih Kuadrat Bilangan Ganjil

Eksperimen Pola Angka

Sebelum kita tenggelam dalam pembuktian matematika yang rumit, ada baiknya kita merasakan dulu pola angkanya di dunia nyata. Sering kali, saat ketemu soal sifat bilangan, kita ngerasa "blank" karena langsung mikirin rumus, padahal matematika selalu berawal dari sebuah pengamatan sederhana.

Coba kita ambil dua bilangan ganjil sembarang. Ambil $9$ dan $7$. Selisih kuadratnya adalah $9^2 - 7^2 = 81 - 49 = 32$. Perhatikan bahwa $32$ itu kelipatan $8$ ($32 = 8 \times 4$).

Gimana kalau kita coba dengan pasangan ganjil lainnya?

Dari eksperimen kalkulator di atas, ke mana pun angka ganjilnya kamu ubah, selisih kuadratnya selalu bisa dibagi $8$. Angkanya selalu mendarat di $16, 32, 56, 72$, dan seterusnya.

Masalah utamanya sekarang: kalkulator hanya bisa membuktikan untuk angka-angka yang kita ketik. Gimana caranya kita bisa yakin 100% bahwa aturan "habis dibagi 8" ini berlaku untuk semua triliunan bilangan ganjil di alam semesta tanpa harus mengeceknya satu-satu? Di sinilah kita butuh alat bantu!

Mengapa Butuh Aljabar?

Kalau kita nggak bisa ngetes angka sampai kiamat, kita butuh sebuah 'cetakan' aljabar yang bisa mewakili semua bilangan ganjil secara universal.

Sebelum ngomongin ganjil, mari kita lihat bilangan genap. Sifat paling dasar dari bilangan genap adalah selalu habis dibagi 2. Jadi, kalau kita punya bilangan bulat apa pun (kita sebut saja $k$), bilangan genap selalu bisa ditulis dalam cetakan $2k$.

Lalu, di mana letak bilangan ganjil?

Seperti yang bisa kamu lihat di atas, bilangan ganjil selalu terletak persis di sebelah bilangan genap. Di garis bilangan, aturannya cuma loncat-loncat: genap, ganjil, genap, ganjil.

Karena bilangan genap itu $2k$, maka bilangan ganjil apa pun di dunia ini pasti bisa direpresentasikan dengan menambahkan $1$ pada genap. Cetakan universal bilangan ganjil = $2k + 1$ (dengan $k$ adalah bilangan bulat apa pun).

Jadi, kita bisa misalkan: $m = 2k + 1$ $n = 2l + 1$

Dengan dua cetakan ini, kita sudah berhasil "menangkap" semua bilangan ganjil di alam semesta ke dalam dua kotak kecil!

Bongkar Selisih Kuadratnya

Sekarang kita sudah punya "senjata" aljabarnya. Kita substitusikan cetakan $m = 2k + 1$ dan $n = 2l + 1$ ini ke dalam pertanyaan awal soal: $m^2 - n^2$.

Manipulasi aljabar yang sering terlihat panjang dan menakutkan itu sebenarnya punya satu tujuan elegan: membuang angka-angka yang saling menghabisi, supaya sisa tulang punggungnya aja yang kelihatan.

Mari kita bongkar pelan-pelan: $m^2 - n^2 = (2k + 1)^2 - (2l + 1)^2$

Kalau kita ekspansi (kalikan pelangi) masing-masing kuadratnya, kita dapat: $= (4k^2 + 4k + 1) - (4l^2 + 4l + 1)$

Hasilnya tinggal: $= 4k^2 + 4k - 4l^2 - 4l$

Semua sukunya sekarang punya angka $4$. Kita bisa tarik keluar angka $4$ tersebut (faktorkan): $= 4(k^2 + k) - 4(l^2 + l)$

Sekali lagi kita tarik keluar hurufnya, menjadi: $= 4(k(k+1)) - 4(l(l+1))$

Berhenti sebentar di sini. Bentuk akhirnya adalah perkalian yang melibatkan angka $4$. Berarti, sampai di titik ini, kita baru bisa menjamin bahwa nilainya pasti habis dibagi $4$. Tapi... dari mana angka $8$-nya berasal?