Aljabar dalam OSN SMA bukan sekadar manipulasi variabel, melainkan seni membuktikan struktur logis di balik bilangan. Penguasaan pada topik ini menjadi pembeda antara peserta biasa dan peraih medali, terutama dalam menghadapi soal-soal *High Order Thinking Skills* (HOTS).
1. Teori Ketaksamaan: Fondasi Logika Bilangan Real
Ketaksamaan adalah pilar utama Aljabar kompetisi. Dasar dari seluruh pembuktian ini berakar pada sifat bahwa untuk setiap $x \in \mathbb{R}$, maka $x^2 \geq 0$. Dari prinsip sederhana ini, lahir berbagai teorema besar yang sering muncul di panggung OSN.
- **Ketaksamaan Rataan (HM-GM-AM-QM):** Untuk bilangan real positif $a_1, a_2, \dots, a_n$, berlaku urutan: $$\frac{n}{\sum \frac{1}{a_i}} \leq \sqrt[n]{\prod a_i} \leq \frac{\sum a_i}{n} \leq \sqrt{\frac{\sum a_i^2}{n}}$$
- **Ketaksamaan Cauchy-Schwarz:** Alat ampuh untuk menangani bentuk kuadratik dan produk skalar: $$(\sum_{i=1}^n a_i^2)(\sum_{i=1}^n b_i^2) \geq (\sum_{i=1}^n a_i b_i)^2$$
- **Ketaksamaan Jensen:** Jika $f$ adalah fungsi konveks pada interval $I$, maka: $$f(\frac{x_1 + x_2}{2}) \leq \frac{f(x_1) + f(x_2)}{2}$$
2. Barisan Rekursif dan Induksi Matematika
Barisan bilangan seperti Fibonacci dan Lucas bukan hanya deret angka, melainkan solusi dari persamaan karakteristik tertentu. Memahami struktur ini memungkinkan kita menemukan suku ke-$n$ tanpa harus mengurutkannya satu per satu.
- **Barisan Fibonacci:** Didefinisikan secara rekursif sebagai $F_n = F_{n-1} + F_{n-2}$.
- **Induksi Matematika:** Teknik pembuktian untuk menunjukkan bahwa jika pernyataan $P(n)$ benar untuk $n=k$, maka ia juga benar untuk $n=k+1$.
3. Persamaan Fungsi Klasik
Persamaan fungsi seringkali menuntut peserta untuk mencari bentuk umum fungsi $f(x)$ yang memenuhi kondisi tertentu. Salah satu yang paling terkenal adalah **Persamaan Fungsi Cauchy**:
$$f(x+y) = f(x) + f(y)$$ Jika fungsi ini kontinu, maka solusinya adalah $f(x) = cx$ untuk suatu konstanta $c$.
4. Strategi Problem Solving: Intuisi dan Rigoritas
Menyelesaikan soal setingkat OSN memerlukan kombinasi antara intuisi kreatif dan pembuktian yang kaku (rigorous). Penggunaan substitusi variabel yang cerdas, seperti memisalkan $a = x+y$, seringkali menyederhanakan ketaksamaan yang terlihat mustahil menjadi bentuk yang elegan.