Aksioma, Logaritma, dan Pembuktian Irasionalitas

Anatomi Bilangan Real

Himpunan bilangan real secara tegas terbagi menjadi dua kelompok yang saling lepas: bilangan rasional dan bilangan irasional. Memahami batas pemisah antara kedua kelompok ini adalah fondasi awal dalam menganalisis sifat suatu ekspresi aljabar.

Secara formal, suatu bilangan real $x$ didefinisikan sebagai bilangan rasional jika dan hanya jika $x$ dapat dinyatakan sebagai perbandingan (rasio) dua bilangan bulat:

$$x = \frac{p}{q} \quad \text{dengan } p, q \in \mathbb{Z} \text{ dan } q \neq 0$$

Sebaliknya, bilangan irasional adalah seluruh bilangan real yang secara matematis mustahil dituliskan ke dalam bentuk pecahan $\frac{p}{q}$ tersebut. Sebagai contoh, perbandingan $\frac{5}{2} = 2{,}5$ tergolong rasional karena pembilang ($5$) dan penyebutnya ($2$) merupakan bilangan bulat. Sementara itu, nilai konstanta seperti $\pi$ atau $\sqrt{2}$ terbukti tidak dapat dituliskan sebagai rasio dua bilangan bulat, sehingga masuk ke dalam kategori irasional.

Untuk menguji apakah suatu ekspresi tertentu termasuk rasional atau irasional, kita perlu memeriksa struktur aljabar pembentuknya secara deduktif.

Manakah di antara pernyataan berikut yang merupakan syarat mutlak agar suatu nilai dapat disebut sebagai bilangan rasional?

Nilai tersebut memiliki representasi pada garis bilangan real dan tidak memuat akar bilangan negatif.
Nilai tersebut dapat direpresentasikan ke dalam bentuk pecahan dengan pembilang dan penyebut merupakan bilangan bulat.
Nilai tersebut dapat dihitung secara pasti dan tidak memanjang desimalnya tak terhingga seperti konstanta pi.
Nilai tersebut memotong sumbu koordinat utama pada kurva fungsi dasar aljabar kontinu.

Jawaban: Nilai tersebut dapat direpresentasikan ke dalam bentuk pecahan dengan pembilang dan penyebut merupakan bilangan bulat.

Definisi baku dari bilangan rasional adalah bilangan real yang dapat dinyatakan secara tepat dalam bentuk pecahan p/q di mana p dan q adalah bilangan bulat serta q bukan nol. Opsi A hanya mendefinisikan bilangan real secara umum, opsi C keliru karena pecahan desimal berulang tak terhingga juga rasional, dan opsi D tidak relevan dengan klasifikasi himpunan bilangan.

Definisi baku bilangan rasional.

Translasi Logaritma ke Eksponen

Ekspresi logaritma adalah representasi lain dari bentuk eksponensial yang menyatakan pangkat eksak, terlepas dari apakah hasil akhirnya merupakan bilangan bulat atau bukan.

Berdasarkan definisi fundamental inversi aljabar, persamaan logaritma dengan basis positif $b \neq 1$ dan numerus positif $a$ didefinisikan sebagai:

$$x = \log_b a \iff b^x = a$$

Artinya, nilai $x$ adalah eksponen yang diperlukan agar basis $b$ dipangkatkan dengan $x$ menghasilkan nilai $a$. Jika kita menerapkan definisi ini pada nilai $x = \log_2 5$, maka bentuk persamaannya setara dengan:

$$2^x = 5$$

Melalui bentuk eksponensial ini, kita dapat meninjau letak nilai $x$ secara deduktif:

Perhatikan bahwa $2^2 = 4$ dan $2^3 = 8$.
Karena $4 < 5 < 8$, maka haruslah berlaku ketidaksamaan $2^2 < 2^x < 2^3$.
Mengingat fungsi $f(t) = 2^t$ bersifat monoton naik, didapatkan rentang $2 < x < 3$.

Jika diketahui persamaan k = \log_y z dengan y > 0 dan y \neq 1, maka penulisan formal murni mana yang setara dengan bentuk eksponensialnya?

y^k = z
k^y = z
z^k = y
y / k = z

Jawaban: y^k = z

Berdasarkan definisi formal invers fungsi logaritma, k = log_y z ekuivalen penuh dengan y^k = z, di mana y berperan sebagai basis eksponen dan k sebagai pangkatnya. Opsi B salah meletakkan basis, opsi C membalik posisi numerus dan basis, sedangkan opsi D keliru menafsirkan logaritma sebagai operasi pembagian aritmetika.

Translasi logaritma ke bentuk eksponensial baku.

Hukum Paritas Perpangkatan

Perpangkatan bilangan bulat positif berkarakteristik mempertahankan sifat paritas (sifat ganjil atau genap) dari basis asalnya secara mutlak. Prinsip ini bersandar pada hukum dasar perkalian bilangan bulat:

Perkalian antara bilangan genap dengan bilangan bulat apa pun akan selalu menghasilkan bilangan genap.
Perkalian antara bilangan-bilangan ganjil akan selalu menghasilkan bilangan ganjil.

Secara formal:

Jika suatu basis genap dipangkatkan dengan bilangan bulat positif $p \geq 1$, maka hasilnya adalah perkalian berulang dari faktor-faktor genap:
$$2^p = 2 \times 2 \times \dots \times 2 \quad (\text{selalu genap})$$
Sebaliknya, jika suatu basis ganjil dipangkatkan dengan bilangan bulat positif $q \geq 1$, maka seluruh faktor pengalinya adalah ganjil:
$$5^q = 5 \times 5 \times \dots \times 5 \quad (\text{selalu ganjil})$$

Komponen interaktif di atas memperlihatkan bagaimana nilai $2^p$ selalu genap dan $5^q$ selalu ganjil untuk setiap nilai pangkat bulat positif.

Dari kenyataan aljabar ini, jika kita mengandaikan adanya persamaan:

$$2^p = 5^q \quad (p, q \in \mathbb{Z}^+)$$

maka kita berhadapan dengan situasi di mana:

$$\underbrace{2^p}_{\text{Bilangan Genap}} = \underbrace{5^q}_{\text{Bilangan Ganjil}}$$

Karena sebuah bilangan bulat tidak dapat sekaligus bersifat genap dan ganjil, kesamaan ini menabrak aksioma aritmetika dasar. Persamaan $2^p = 5^q$ adalah sebuah kemustahilan matematis.

Berdasarkan hukum paritas pada perpangkatan bilangan bulat positif, tentukan kebenaran dari setiap pernyataan berikut:

Nilai dari 4^n selalu merupakan bilangan genap untuk sembarang n bilangan bulat positif. — Benar
Mungkin ada suatu pasangan nilai bilangan bulat positif a dan b sedemikian sehingga 6^a = 7^b. — Salah

Pernyataan 1 Benar karena basis 4 bernilai genap, sehingga 4^n = (2^2)^n = 2^{2n} yang selalu memiliki faktor 2 (genap) untuk n bulat positif. Pernyataan 2 Salah karena 6 adalah bilangan genap sehingga 6^a selalu genap, sedangkan 7 adalah bilangan ganjil sehingga 7^b selalu ganjil; bilangan genap mustahil sama dengan bilangan ganjil.

Hukum paritas perpangkatan bilangan bulat positif.