Sifat Aljabar dan Urutan Bilangan Real

Materi lengkap Sifat Aljabar, Aksioma Lapangan Terurut, Hukum Trikotomi, Ketaksamaan Segitiga, dan Ketaksamaan Bernoulli untuk persiapan Analisis Real ONMIPA PT.

📅 Dibuat: 5 Agustus 2026
🔄 Diperbarui: 7 Agustus 2026

Himpunan bilangan real merupakan fondasi paling mendasar dalam matematika analisis real, khususnya untuk persiapan Olimpiade Nasional Matematika dan Ilmu Pengetahuan Alam Perguruan Tinggi (ONMIPA-PT). Pada bagian ini, kita mengulas kembali sifat-sifat dasar aljabar, aksioma lapangan terurut, dan ketaksamaan fundamental yang menjadi landasan utama dalam pembuktian limit, konvergensi barisan, serta kekontinuan fungsi.


1. Sifat Aljabar dan Aksioma Lapangan

Himpunan terhadap operasi penjumlahan () dan perkalian () memenuhi struktur lapangan terurut.

Sifat komutatif menyatakan bahwa untuk setiap berlaku serta . Sifat asosiatif menjamin bahwa dan untuk semua . Selanjutnya, sifat distributif menghubungkan kedua operasi melalui persamaan .

Dalam terdapat dua elemen identitas yang berbeda () sedemikian sehingga dan untuk setiap . Keberadaan elemen invers menjamin bahwa untuk setiap terdapat yang memenuhi . Apabila , maka terdapat pula invers perkalian yang memenuhi .


2. Sifat Urutan dan Hukum Trikotomi

Struktur urutan pada dibangun dengan memanfaatkan himpunan bagian tak kosong yang kita sebut sebagai himpunan bilangan real positif.

Himpunan tertutup terhadap penjumlahan dan perkalian, yang berarti jika , maka dan . Selain itu, untuk setiap bilangan real , tepat satu dari tiga kondisi berikut berlaku secara saling lepas. Pernyataan ini kita kenal sebagai Hukum Trikotomi, yaitu

Kita mendefinisikan relasi urutan jika selisih , dan kita menuliskan apabila .


3. Nilai Mutlak dan Ketaksamaan Segitiga

Nilai mutlak dari suatu bilangan real didefinisikan secara konseptual melalui dua kondisi

Salah satu alat pembuktian yang paling sering kita gunakan dalam analisis real dan penyelesaian soal ONMIPA adalah Ketaksamaan Segitiga.

Teorema (Ketaksamaan Segitiga (Triangle Inequality))

Untuk setiap bilangan real , berlaku ketaksamaan

Bukti

Kita memulai pembuktian dengan memperhatikan sifat nilai mutlak dan . Apabila kita menjumlahkan kedua ketaksamaan tersebut, kita peroleh

Berdasarkan definisi nilai mutlak, bentuk pertidaksamaan ganda di atas ekivalen dengan . Pembuktian selesai.


4. Ketaksamaan Bernoulli

Teorema (Ketaksamaan Bernoulli)

Jika , maka untuk setiap bilangan asli berlaku ketaksamaan

Bukti

Kita membuktikan ketaksamaan ini dengan menguji langkah-langkah induksi matematika. Pada basis induksi , kita peroleh , sehingga ketaksamaan berlaku sebagai kesamaan.

Selanjutnya kita mengasumsikan bahwa pernyataan benar untuk , yaitu . Untuk membuktikan kebenaran pada , kita mengalikan kedua ruas dengan sehingga diperoleh

Karena dan , kita tahu bahwa suku . Dengan demikian kita dapat menyimpulkan bahwa , yang membuktikan . Berdasarkan prinsip induksi matematika, Ketaksamaan Bernoulli terbukti benar untuk semua .


Latihan Soal dan Pembahasan ONMIPA PT

✏️ Latihan Soal 1 (Ketaksamaan Segitiga Terbalik (Reverse Triangle Inequality))

Buktikan bahwa untuk setiap , berlaku ketaksamaan segitiga terbalik

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Kita menuliskan ekspresi sebagai . Dengan menerapkan Ketaksamaan Segitiga pada suku-suku tersebut, kita peroleh

Dengan cara yang sejajar, kita menuliskan dan menerapkan Ketaksamaan Segitiga sehingga didapatkan

Dari dua ketaksamaan yang kita peroleh di atas, kita menggabungkannya menjadi pertidaksamaan ganda

✏️ Latihan Soal 2 (Karakterisasi Epsilon untuk Ketaksamaan Analisis Real)

Misalkan . Buktikan bahwa jika untuk setiap , maka .

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Kita membuktikan pernyataan ini dengan menggunakan argumen kontradiksi. Kita mengandaikan bahwa , yang berarti selisih .

Kita memilih bilangan positif . Berdasarkan hipotesis yang diberikan, haruslah berlaku . Dengan memasukkan nilai ke dalam ketaksamaan, kita dapatkan

Hasil jelas bertentangan dengan pengandaian awal kita bahwa . Oleh karena itu pengandaian tersebut salah dan kita menyimpulkan bahwa .

✏️ Latihan Soal 3 (Ketaksamaan Rataan Aritmetika-Geometri (AM-GM 2 Variabel))

Buktikan bahwa untuk setiap bilangan real non-negatif , berlaku ketaksamaan dan .

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Kita memperhatikan bahwa kuadrat dari selisih dua bilangan real selalu non-negatif . Apabila kita menjabarkan bentuk kuadrat sempurna tersebut, kita peroleh

Untuk membuktikan ketaksamaan bagian kedua, kita mengganti dengan dan dengan pada pertidaksamaan di atas, sehingga kita dapatkan


Pembahasan Mendalam & Aplikasi AM-GM

Untuk mempelajari pembuktian umum -variabel dengan Induksi Cauchy, syarat kesamaan (equality condition), AM-GM terbobot (weighted AM-GM), serta kumpulan latihan soal kreatif olimpiade dan ONMIPA PT, kita dapat membaca artikel khusus berikut.

📖 Artikel Khusus: Ketaksamaan AM-GM dan Aplikasinya pada ONMIPA


🏆 Soal ONMIPA Terkait (4 Soal)

Bank Soal ONMIPA

Berikut adalah daftar soal ONMIPA-PT dari tahun-tahun sebelumnya yang menguji dan menerapkan konsep materi pada halaman ini:

Diskusi & Tanya Jawab

Punya pertanyaan atau diskusi terkait materi ini? Tuliskan komentar Anda di bawah.

Powered by GitHub Discussions
Tips Penulisan Notasi Matematika & Format Komentar

Komentar ini mendukung penulisan notasi matematika LaTeX dan format Markdown. Seluruh pesan dimuat secara terisolasi di dalam iframe aman sehingga tidak akan merusak layout halaman website:

  • Inline Math: Gunakan $...$ (contoh: $a \in G$).
  • Display Math: Berikan baris baru (enter) di sebelum & sesudah $$ atau gunakan blok kode ```math (contoh: $$\n\frac{a+b}{2} \ge \sqrt{ab}\n$$).