10 Soal Induksi
Sepuluh pembuktian rumus jumlah deret, disusun runtut berdasarkan keluarga polanya — dari polinom kubik, keluarga $n^2+c$, sampai deret geometri. Setiap soal: basis → langkah induksi → cocokkan target.
Di setiap soal ada Uji Numerik: geser $n$ dan lihat rumusnya cocok. Lalu ikuti stepper pembuktian — di situlah keajaibannya dibuktikan untuk semua $n$.
- 01
Dua Langkah Saktibasis induksi + langkah induksi — domino tak hingga
- 02
Peta 10 Soal · 5 Keluargasatu strategi untuk semua pola
- 03
Uji Numerik di Tiap Soalrasakan dulu kecocokannya, baru buktikan
- 04
Stepper Pembuktian Lengkapsetiap baris aljabar, satu per satu
Dua Langkah Utama
Bagaimana membuktikan pernyataan untuk tak hingga banyak bilangan asli? Dengan dua langkah — seperti domino:
Domino pertama jatuh. Buktikan pernyataan benar untuk nilai awal, biasanya $n=1$.
Setiap domino menjatuhkan berikutnya. Andaikan benar untuk $n=k$, buktikan benar untuk $n=k+1$.
Jika ada $n$ yang gagal, himpunan kegagalannya punya elemen terkecil (Well-Ordering) — dan elemen terkecil itu pasti punya "pendahulu yang berhasil". Kontradiksi!
10 Soal · 5 Keluarga
Kesepuluh soal ini bukan sepuluh teknik berbeda — melainkan satu strategi untuk lima wajah soal. Klik nomornya untuk melompat:
Kenali keluarganya, maka strateginya otomatis: jumlah deret = jumlah sebelumnya + suku berikutnya.
Senjata Universal
Seluruh 10 soal bertumpu pada satu kalimat — jumlah sampai $k+1$ itu jumlah sampai $k$ ditambah satu suku:
Klaim
Tuliskan rumus yang akan dibuktikan untuk semua $n\ge1$.
Basis · n=1
Hitung suku pertama dan ruas kanan — keduanya harus sama.
Andaikan n=k
Percayai rumus berlaku untuk $S_k$ — ini hipotesis induksi.
Tuju n=k+1
Tambah $U_{k+1}$, sederhanakan, lalu cocokkan dengan target.
Rahasia langkah 4: kembangkan kedua ruas secara terpisah — jika polinomnya sama persis, pembuktian selesai. ∎
Polinom Kubik
Suku umum: $U_n=n^3+1$ → suku-sukunya: $1^3{+}1{=}2,\;2^3{+}1{=}9,\;3^3{+}1{=}28,\dots$
Kiri: $U_1=1^3+1=\mathbf{2}$
Kanan: $\dfrac{1^2(2)^2+4(1)}{4}=\dfrac{4+4}{4}=\mathbf{2}$
Sama ✓ — $P(1)$ benar.
Keluarga $n^2+c$ — dengan Deteksi Suku
Misalkan $U_n=an^2+bn+c$. Pakai tiga suku pertama:
$a+b+c=3$ · $4a+2b+c=6$ · $9a+3b+c=11$
Kurangkan: $(4a{+}2b{+}c)-(a{+}b{+}c)\Rightarrow 3a+b=3$; $(9a{+}3b{+}c)-(4a{+}2b{+}c)\Rightarrow 5a+b=5$.
Selisih keduanya: $2a=2\Rightarrow a=1$ → $b=0$ → $c=2$.
Jadi $U_n=n^2+2$ — cek: $1{+}2{=}3$ ✓, $4{+}2{=}6$ ✓, $9{+}2{=}11$ ✓.
Kiri: $U_1=1^2+2=\mathbf{3}$
Kanan: $\dfrac{2+3+13}{6}=\dfrac{18}{6}=\mathbf{3}$
Sama ✓
Saudara Kandung Soal 2
Perhatikan bentuk pertama: $\frac{n(n+1)(2n+1)}{6}$ adalah $\sum n^2$, lalu $+5n=\sum 5$ — dua deret dasar digabung!
Kiri: $U_1=1^2+5=\mathbf{6}$
Kanan: $\dfrac{2+3+31}{6}=\dfrac{36}{6}=\mathbf{6}$
Sama ✓
Keluarga n²+c · c = 9
Kiri: $U_1=1^2+9=\mathbf{10}$
Kanan: $\dfrac{2+3+55}{6}=\dfrac{60}{6}=\mathbf{10}$
Sama ✓
Penutup Keluarga n²+c
Cek pola Soal 2–5: $c=2,5,9,8$ ↔ koefisien $n$: $13,31,55,49$ — selalu $6c+1$. Konsisten!
Kiri: $U_1=1^2+8=\mathbf{9}$
Kanan: $\dfrac{2+3+49}{6}=\dfrac{54}{6}=\mathbf{9}$
Sama ✓
Deret Geometri 4ⁿ
Kiri: $4^1=\mathbf{4}$
Kanan: $\dfrac{4(4-1)}{3}=\dfrac{12}{3}=\mathbf{4}$
Sama ✓
Ganti Rasio: 5ⁿ
Pembanding: Soal 6 pakai penyebut $r-1=3$; di sini $r-1=4$. Rumus geometri $\frac{a(r^n-1)}{r-1}$ dengan $a=r$.
Kiri: $5^1=\mathbf{5}$
Kanan: $\dfrac{5(5-1)}{4}=\dfrac{20}{4}=\mathbf{5}$
Sama ✓
Deret Aritmetika 4n
Kali ini senjatanya bukan menyamakan penyebut, melainkan faktorisasi di langkah akhir.
Kiri: $4(1)=\mathbf{4}$
Kanan: $1\,(2\cdot1+2)=\mathbf{4}$
Sama ✓
Koefisien × Pangkat
Kiri: $3(2^1)=\mathbf{6}$
Kanan: $6(2-1)=\mathbf{6}$
Sama ✓
Final: Rasio 3
Kiri: $2(3^1)=\mathbf{6}$
Kanan: $3(3-1)=3\cdot2=\mathbf{6}$
Sama ✓
Dua Langkah, Sepuluh Bukti
Dari sepuluh soal di atas, pembuktian selalu kembali ke dua langkah yang sama:
Membuktikan pernyataan benar untuk nilai awal, biasanya $n=1$. Domino pertama jatuh — tanpa ini, seluruh rangkaian berdiri di udara.
Menganggap pernyataan benar untuk $n=k$ (hipotesis), lalu membuktikan benar untuk $n=k+1$. Senjata utamanya: $S_{k+1}=S_k+U_{k+1}$, ditutup dengan mencocokkan hasil aljabar terhadap target.
Jika kedua langkah berhasil, pernyataan terbukti benar untuk semua bilangan asli $n\ge1$ — tanpa perlu memeriksa satu per satu hingga tak hingga.