Ketaksamaan Rataan Aritmetika-Geometri (AM-GM) dan Aplikasinya

Ketaksamaan Rataan Aritmetika-Geometri (AM-GM) merupakan salah satu ketaksamaan paling fundamental dan berdaya guna tinggi dalam analisis real maupun kompetisi matematika seperti ONMIPA-PT. Meskipun pernyataan sifatnya tampak sederhana, penerapan ketaksamaan AM-GM sering kali membutuhkan kreativitas tinggi, khususnya dalam manipulasi aljabar, pemisahan suku, dan penyeimbangan koefisien.

1. Formulasi dan Syarat Kesamaan AM-GM

Ketaksamaan AM-GM menyatakan bahwa untuk setiap koleksi bilangan real non-negatif, rataan aritmetika nilainya selalu tidak kurang dari rataan geometriknya.

Teorema (Ketaksamaan AM-GM Umum (n Variabel))

Misalkan $n \in N$ dan $a_{1}, a_{2}, \dots, a_{n}$ adalah bilangan-bilangan real non-negatif. Ketaksamaan Rataan Aritmetika-Geometri menyatakan bahwa

$\frac{a _{1} + a _{2} + \dots + a _{n}}{n} \geq n a_{1} a_{2} \dots a_{n}$

Kesamaan berlaku jika dan hanya jika $a_{1} = a_{2} = \dots = a_{n}$ .

Syarat kesamaan ini merupakan kunci utama saat kita memanfaatkan AM-GM untuk menentukan nilai maksimum atau minimum dari suatu fungsi. Jika kita bermaksud mengoptimalkan suatu ekspresi, titik ekstremum hanya dapat dicapai apabila seluruh variabel yang dilibatkan dalam AM-GM bernilai sama.

2. Pembuktian Induksi Cauchy (Induksi Maju-Mundur)

Terdapat berbagai cara untuk membuktikan Ketaksamaan AM-GM. Salah satu pembuktian yang paling elegan dikembangkan oleh Augustin-Louis Cauchy menggunakan metode induksi maju-mundur (forward-backward induction).

Bukti

Kita memulai dengan membuktikan kasus $n = 2$ . Untuk sembarang $a_{1}, a_{2} \geq 0$ , kita tahu bahwa kuadrat dari selisih akar selalu non-negatif, yaitu $(a_{1} - a_{2})^{2} \geq 0$ . Apabila kita jabarkan bentuk kuadrat tersebut, kita memperoleh $a_{1} - 2 a_{1} a_{2} + a_{2} \geq 0$ yang ekivalen dengan $\frac{a _{1} + a _{2}}{2} \geq a_{1} a_{2}$ .

Selanjutnya, kita membuktikan bahwa jika pernyataan berlaku untuk $n = k$ , maka pernyataan juga berlaku untuk $n = 2 k$ . Dengan menggunakan asumsi induksi pada dua kelompok suku berukuran $k$ , kita peroleh

$\frac{a _{1} + \dots + a _{2 k}}{2 k} = \frac{\frac{a _{1} + \dots + a _{k}}{k} + \frac{a _{k + 1} + \dots + a _{2 k}}{k}}{2} \geq (k a_{1} \dots a_{k}) (k a_{k + 1} \dots a_{2 k}) = 2 k a_{1} \dots a_{2 k}$

Dengan demikian, ketaksamaan AM-GM terbukti berlaku untuk semua $n = 2^{m}$ dengan $m \in N$ .

Terakhir, kita membuktikan langkah mundur (backward induction), yaitu jika ketaksamaan berlaku untuk $n$ , maka ketaksamaan juga berlaku untuk $n - 1$ . Misalkan $a_{1}, a_{2}, \dots, a_{n - 1}$ adalah bilangan-bilangan non-negatif dan kita pilih suku ke- $n$ sebesar rataan aritmetikanya, yaitu $a_{n} = A = \frac{a _{1} + \dots + a _{n - 1}}{n - 1}$ . Dengan menerapkan ketaksamaan AM-GM berukuran $n$ , kita dapatkan

$\frac{( n - 1 ) A + A}{n} \geq n a_{1} a_{2} \dots a_{n - 1} A ⟹ A \geq (a_{1} a_{2} \dots a_{n - 1} A)^{1/ n}$

Memangkatkan kedua ruas dengan $n$ memberikan $A^{n} \geq a_{1} a_{2} \dots a_{n - 1} A$ . Karena $A > 0$ (jika suku-suku tidak semuanya nol), kita dapat membagi kedua ruas dengan $A$ sehingga diperoleh $A^{n - 1} \geq a_{1} a_{2} \dots a_{n - 1}$ , yang setelah ditarik akar pangkat $n - 1$ menghasilkan $\frac{a _{1} + \dots + a _{n - 1}}{n - 1} \geq n - 1 a_{1} \dots a_{n - 1}$ . Berdasarkan induksi maju-mundur ini, Ketaksamaan AM-GM terbukti berlaku untuk seluruh $n \in N$ . $■$

3. Ketaksamaan AM-GM Terbobot (Weighted AM-GM)

Dalam banyak soal ONMIPA, variabel-variabel tidak selalu muncul dengan pangkat atau bobot yang simetris. Untuk mengatasi hal ini, kita menggunakan bentuk terbobot dari Ketaksamaan AM-GM.

Teorema (Ketaksamaan AM-GM Terbobot)

Misalkan $w_{1}, w_{2}, \dots, w_{n} > 0$ adalah bobot-bobot positif sedemikian sehingga $w_{1} + w_{2} + \dots + w_{n} = 1$ . Untuk setiap bilangan real non-negatif $a_{1}, a_{2}, \dots, a_{n}$ , berlaku

$w_{1} a_{1} + w_{2} a_{2} + \dots + w_{n} a_{n} \geq a_{1}^{w_{1}} a_{2}^{w_{2}} \dots a_{n}^{w_{n}}$

Kesamaan berlaku jika dan hanya jika $a_{1} = a_{2} = \dots = a_{n}$ .

Bentuk ini dapat diturunkan langsung dari Ketaksamaan Jensen untuk fungsi cekung $f (x) = ln x$ .

4. Teknik Strategis Penerapan AM-GM dalam Soal ONMIPA

Untuk menyelesaikan soal-soal tingkat lanjut, kita dapat memanfaatkan tiga strategi utama berikut.

A. Penyeimbangan Koefisien (Coefficient Balancing)

Saat kita hendak meminimumkan $f (x, y) = A x + B y$ dengan kendala $x^{a} y^{b} = C$ , kita harus memecah suku $A x$ dan $B y$ menjadi bagian-bagian kecil sedemikian sehingga syarat kesamaan pada AM-GM terpenuhi serentak dengan kendala yang diberikan.

B. Pemisahan Suku (Splitting Terms)

Apabila suatu pembilang memuat pangkat yang lebih tinggi dari penyebut, kita dapat memecah suku pada pembilang menjadi beberapa suku yang sejenis agar saat dikalikan dalam AM-GM, variabel pada penyebut dapat saling menghilangkan (cancel out).

5. Latihan Soal dan Pembahasan Komprehensif

✏️ Latihan Soal 1 (Nilai Minimum Fungsi Aljabar Rasional)

Tentukan nilai minimum dari fungsi $f (x) = x^{2} + \frac{16}{x ^{2}}$ untuk seluruh bilangan real $x \neq = 0$ .

💡 Tampilkan Pembahasan / Solusi

▾

Pembahasan:

Penyelesaian

Kita mengamati bahwa untuk setiap $x \neq = 0$ , suku $x^{2}$ dan $\frac{16}{x ^{2}}$ keduanya bernilai positif. Berdasarkan ketaksamaan AM-GM untuk dua variabel, kita peroleh

$f (x) = x^{2} + \frac{16}{x ^{2}} \geq 2 x^{2} \cdot \frac{16}{x ^{2}} = 216 = 8$

Syarat kesamaan tercapai jika dan hanya jika $x^{2} = \frac{16}{x ^{2}}$ , yang memberikan $x^{4} = 16$ atau $x = \pm 2$ . Karena nilai $x = \pm 2 \in R ∖ {0}$ memenuhi syarat kesamaan, kita menyimpulkan bahwa nilai minimum dari $f (x)$ adalah $8$ . $■$

✏️ Latihan Soal 2 (Ketaksamaan Tiga Variabel a^3 + b^3 + c^3)

Buktikan bahwa untuk setiap bilangan real non-negatif $a, b, c \geq 0$ , berlaku ketaksamaan $a^{3} + b^{3} + c^{3} \geq 3 ab c$ .

💡 Tampilkan Pembahasan / Solusi

▾

Pembahasan:

Penyelesaian

Dengan menerapkan Ketaksamaan AM-GM tiga variabel pada suku-suku non-negatif $a^{3}, b^{3}, c^{3}$ , kita peroleh

$\frac{a ^{3} + b ^{3} + c ^{3}}{3} \geq 3 a^{3} b^{3} c^{3}$

Karena $3 a^{3} b^{3} c^{3} = ab c$ , kita dapat mengalikan kedua ruas dengan $3$ sehingga menghasilkan pertidaksamaan $a^{3} + b^{3} + c^{3} \geq 3 ab c$ . Kesamaan tercapai jika dan hanya jika $a^{3} = b^{3} = c^{3}$ , yang ekivalen dengan $a = b = c$ . $■$

✏️ Latihan Soal 3 (Optimasi Terbobot dengan Kendala)

Jika $x, y > 0$ memenuhi $2 x + 3 y = 12$ , tentukan nilai maksimum dari ekspresi $x^{2} y^{3}$ .

💡 Tampilkan Pembahasan / Solusi

▾

Pembahasan:

Penyelesaian

Untuk memaksimumkan $x^{2} y^{3}$ , kita perhatikan eksponen dari $x$ dan $y$ , yaitu $2$ dan $3$ . Kita memecah suku $2 x$ menjadi $2$ bagian sama besar $\frac{2 x}{2} = x$ , dan memecah suku $3 y$ menjadi $3$ bagian sama besar $\frac{3 y}{3} = y$ .

Jumlah dari $5$ suku tersebut konstan, yaitu $x + x + y + y + y = 2 x + 3 y = 12$ . Berdasarkan ketaksamaan AM-GM untuk $5$ suku positif $x, x, y, y, y$ , kita mempunyai

$\frac{x + x + y + y + y}{5} \geq 5 x \cdot x \cdot y \cdot y \cdot y ⟹ \frac{12}{5} \geq 5 x^{2} y^{3}$

Memangkatkan kedua ruas dengan $5$ memberikan

$x^{2} y^{3} \leq (\frac{12}{5})^{5} = \frac{248832}{3125}$

Kesamaan tercapai jika dan hanya jika $x = y$ . Substitusi $x = y$ ke dalam kendala $2 x + 3 y = 12$ menghasilkan $5 x = 12$ atau $x = y = \frac{12}{5}$ . Karena pasangan $(x, y) = (\frac{12}{5}, \frac{12}{5})$ bernilai positif, nilai maksimum dari $x^{2} y^{3}$ adalah $\frac{248832}{3125}$ . $■$

✏️ Latihan Soal 4 (Ketaksamaan Nesbitt (Tipe ONMIPA PT))

Untuk setiap bilangan real positif $a, b, c > 0$ , buktikan ketaksamaan klasik Nesbitt berikut

$\frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} \geq \frac{3}{2}$

💡 Tampilkan Pembahasan / Solusi

▾

Pembahasan:

Penyelesaian

Kita menambahkan $1$ ke setiap suku di ruas kiri, sehingga ekspresi berubah menjadi

$(\frac{a}{b + c} + 1) + (\frac{b}{c + a} + 1) + (\frac{c}{a + b} + 1) = (a + b + c) (\frac{1}{b + c} + \frac{1}{c + a} + \frac{1}{a + b})$

Misalkan $S = (a + b + c) (\frac{1}{b + c} + \frac{1}{c + a} + \frac{1}{a + b})$ . Kita dapat menuliskan ulang suku $(a + b + c)$ sebagai $\frac{1}{2} [(b + c) + (c + a) + (a + b)]$ . Dengan demikian, ekspresi $S$ dapat dinyatakan sebagai

$S = \frac{1}{2} [(b + c) + (c + a) + (a + b)] (\frac{1}{b + c} + \frac{1}{c + a} + \frac{1}{a + b})$

Berdasarkan ketaksamaan AM-HM (atau AM-GM dua kali) untuk tiga suku positif $x = b + c$ , $y = c + a$ , $z = a + b$ , kita tahu bahwa $(x + y + z) (\frac{1}{x} + \frac{1}{y} + \frac{1}{z}) \geq 9$ . Oleh karena itu, kita peroleh

$S \geq \frac{1}{2} \cdot 9 = \frac{9}{2}$

Mengurangkan kembali $3$ (karena kita menambahkan $1$ tiga kali di awal) memberikan

$\frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} = S - 3 \geq \frac{9}{2} - 3 = \frac{3}{2}$

Kesamaan berlaku jika dan hanya jika $b + c = c + a = a + b$ , yang ekivalen dengan $a = b = c$ . $■$

✏️ Latihan Soal 5 (Ketaksamaan Produk dan Jumlah Tipe ONMIPA PT)

Misalkan $a, b, c > 0$ adalah bilangan real positif. Buktikan bahwa $(a + b + c) (a^{2} + b^{2} + c^{2}) \geq 9 ab c$ .

💡 Tampilkan Pembahasan / Solusi

▾

Pembahasan:

Penyelesaian

Kita dapat membuktikan ketaksamaan ini dengan menerapkan AM-GM secara terpisah pada masing-masing faktor di ruas kiri.

Berdasarkan Ketaksamaan AM-GM tiga variabel untuk faktor pertama $a + b + c$ , kita peroleh

$\frac{a + b + c}{3} \geq 3 ab c ⟹ a + b + c \geq 3 3 ab c$

Selanjutnya, berdasarkan Ketaksamaan AM-GM tiga variabel untuk faktor kedua $a^{2} + b^{2} + c^{2}$ , kita peroleh

$\frac{a ^{2} + b ^{2} + c ^{2}}{3} \geq 3 a^{2} b^{2} c^{2} ⟹ a^{2} + b^{2} + c^{2} \geq 3 3 (ab c)^{2}$

Karena seluruh suku bernilai positif, kita mengalikan kedua ketaksamaan di atas sehingga didapatkan

$(a + b + c) (a^{2} + b^{2} + c^{2}) \geq (3 3 ab c) (3 3 (ab c)^{2}) = 9 3 a^{3} b^{3} c^{3} = 9 ab c$

Kesamaan berlaku jika dan hanya jika $a = b = c$ . $■$

Navigasi dan Rujukan Terkait

← Kembali ke Materi Utama: Sifat Aljabar dan Urutan Bilangan Real
Lihat juga: Kekontinuan & Teorema Nilai Antara

Ketaksamaan Rataan Aritmetika-Geometri (AM-GM) dan Aplikasinya

1. Formulasi dan Syarat Kesamaan AM-GM

2. Pembuktian Induksi Cauchy (Induksi Maju-Mundur)

3. Ketaksamaan AM-GM Terbobot (Weighted AM-GM)

4. Teknik Strategis Penerapan AM-GM dalam Soal ONMIPA

A. Penyeimbangan Koefisien (Coefficient Balancing)

B. Pemisahan Suku (Splitting Terms)

5. Latihan Soal dan Pembahasan Komprehensif

Navigasi dan Rujukan Terkait

Materi Terkait (Linked References) (2)

Sifat Aljabar dan Urutan Bilangan Real

Naskah Soal & Pembahasan ONMIPA PT 2026 — Seleksi Wilayah

Diskusi & Tanya Jawab

Title