Relasi Aljabar Barisan Aritmetika dan Geometri
Fondasi Mutlak: Relasi Suku Tengah
Waktu ketemu soal yang nanyain "barisan apa ini?", insting pertama kita biasanya langsung nyari beda (selisih) atau rasio dari suku-sukunya. Kalau angkanya gampang seperti $2, 4, 6$, mencari selisih memang cepat. Tapi, gimana kalau sukunya berupa pecahan aljabar yang rumit seperti $\frac{1}{a+b}, \frac{1}{2b}, \frac{1}{b+c}$?
Mencari selisih secara eksplisit (seperti ngurangin suku kedua dengan suku pertama) malah sering bikin kita tenggelam di lautan aljabar. Di sinilah kita butuh relasi mutlak suku tengah.
Kalau kita punya tiga suku berurutan $p, q, r$, definisi barisan mengharuskan mereka punya selisih (beda) atau rasio yang sama. Dari definisi itu, kita bisa menurunkan persamaan yang langsung menghubungkan ketiganya tanpa perlu peduli berapa nilai beda atau rasionya!
Dengan relasi ini, membuktikan jenis barisan jadi jauh lebih elegan. Konsep ekuivalensi deduktifnya begini: daripada repot mencari selisih barisan pecahan tadi, kita cukup mensubstitusikan pecahan tersebut ke dalam syarat $2q = p + r$. Kalau persamaannya terbukti valid, berarti pecahan itu pasti barisan aritmetika. Kalau gagal, baru kita tes syarat $q^2 = p \cdot r$ untuk geometri.
Berdasarkan prinsip relasi suku tengah, apa langkah paling efisien untuk menguji apakah tiga buah pecahan yang rumit (seperti $p, q, r$) membentuk barisan aritmetika?
- Menghitung selisih suku kedua dan pertama, lalu menyamakan penyebutnya.
- Mensubstitusikan ketiga pecahan tersebut ke dalam persamaan $2q = p + r$.
- Mengalikan ketiga pecahan tersebut untuk mengecek apakah rasionya konstan.
- Mencari nilai suku keempat dan kelima untuk melihat pola penambahannya.
Jawaban: Mensubstitusikan ketiga pecahan tersebut ke dalam persamaan $2q = p + r$.
Syarat mutlak $2q = p + r$ adalah bentuk ekuivalen dari definisi barisan aritmetika yang langsung menghubungkan ketiga suku tanpa perlu mencari nilai beda (selisih) secara terpisah.
Untuk membuktikan atau mencari variabel dalam barisan aritmetika 3 suku, cara terefisien adalah menggunakan syarat mutlak suku tengah 2q = p + r.
Pembuktian Lewat Aljabar Deduktif
Sekarang, mari kita buktikan deduksi logisnya. Di soal, kita diberi tahu bahwa $a, b, c$ adalah barisan geometri. Dari halaman sebelumnya, kita tahu itu berarti premis $b^2 = ac$ adalah sebuah fakta yang mutlak benar.
Kita mau menguji apakah barisan pecahan $U_1 = \frac{1}{a+b}$, $U_2 = \frac{1}{2b}$, dan $U_3 = \frac{1}{b+c}$ adalah barisan aritmetika. Kita asumsikan dulu barisan ini aritmetika, lalu kita tes ke dalam syarat suku tengahnya: $2U_2 = U_1 + U_3$.
Ruas kiri langsung menyederhana menjadi $\frac{1}{b}$. Untuk ruas kanan, kita samakan penyebutnya:
Lakukan perkalian silang agar tidak ada lagi bentuk pecahan:
Lihat betapa cantiknya aljabar ini bekerja. Suku $ab$ dan $bc$ ada di kedua ruas, jadi bisa kita coret! Persamaannya menyusut jadi:
Kurangi kedua ruas dengan $b^2$, dan kita akan mendarat di satu persamaan akhir:
Karena manipulasi aljabar kita berujung pada $ac = b^2$ (yang merupakan fakta mutlak dari barisan geometri di awal soal), maka asumsi kita terbukti! Logikanya mendarat dengan sempurna: karena garis finish-nya benar, maka titik start-nya (yaitu asumsi bahwa itu barisan aritmetika) juga pasti benar.
Pada langkah terakhir penjabaran aljabar, mengapa kita bisa langsung menyimpulkan bahwa barisan pecahan tersebut PASTI aritmetika?
- Karena langkah aljabarnya berujung pada $b^2 = ac$, yang sudah kita ketahui bernilai benar dari premis barisan geometri awal.
- Karena dari awal kita sudah menghitung selisih antara suku kedua dan pertama secara eksplisit dan mendapat nilai konstan.
- Karena bentuk aljabar akhirnya bisa difaktorkan menjadi perkalian suku-suku yang tidak memiliki sisa pecahan.
- Karena nilai $a, b, c$ bisa diganti dengan angka sembarang dan akan selalu menghasilkan jawaban yang sama.
Jawaban: Karena langkah aljabarnya berujung pada $b^2 = ac$, yang sudah kita ketahui bernilai benar dari premis barisan geometri awal.
Dalam pembuktian deduktif, kita berangkat dari asumsi (barisan aritmetika). Saat aljabarnya berujung pada fakta mutlak ($b^2 = ac$ milik geometri), maka asumsi tersebut terbukti valid.
Jika sebuah asumsi menghasilkan persamaan yang secara logis terbukti benar (berdasarkan premis yang sudah diketahui), maka asumsi awal tersebut valid.
Rahasia Dapur Pembuat Soal
Kalau kamu tipe yang suka matematika formal dan teliti dengan aljabar, kamu mungkin penasaran: Kok bisa sih bentuk pecahannya tepat banget $\frac{1}{a+b}, \frac{1}{2b}, \frac{1}{b+c}$? Apakah ini cuma angka acak yang kebetulan pas?
Tentu tidak. Pembuat soal tidak menciptakan pecahan ini secara kebetulan. Mereka melakukan reverse engineering (rekayasa balik) murni dari fakta awal $b^2 = ac$. Mari kita intip "dapur" mereka.
Pembuat soal mulai dari selembar kertas kosong dengan satu identitas:
Mereka butuh memanipulasi bentuk ini menjadi pecahan, jadi mereka harus menciptakan suku-suku yang bisa difaktorkan. Trik cerdiknya adalah menambahkan besaran aljabar spesifik, yaitu $(ab + bc + b^2)$, ke kedua ruas!
Ruas kiri ditambahkan $(ab + bc + b^2)$:
Faktorkan dengan mengeluarkan $b$:
Ruas kanan ditambahkan $(ab + bc + b^2)$:
Ini bisa difaktorkan dengan teknik pengelompokan (grouping):
Karena ruas kiri sama dengan ruas kanan, mereka mendapatkan:
Di tahap terakhir, mereka membagi kedua ruas dengan $b(a + b)(b + c)$ untuk menciptakan bentuk pecahan:
Dengan memecah pembilang di ruas kiri menjadi $(a+b) + (b+c)$, pecahannya membelah jadi dua:
Voila! Terciptalah tiga suku yang menjebak banyak siswa: $\frac{1}{a+b}, \frac{1}{2b}$, dan $\frac{1}{b+c}$. Tidak ada kebetulan dalam matematika; ini murni keindahan struktur aljabar!