Wikibuku idwikibooks https://id.wikibooks.org/wiki/Halaman_Utama MediaWiki 1.47.0-wmf.3 first-letter Media Istimewa Pembicaraan Pengguna Pembicaraan Pengguna Wikibuku Pembicaraan Wikibuku Berkas Pembicaraan Berkas MediaWiki Pembicaraan MediaWiki Templat Pembicaraan Templat Bantuan Pembicaraan Bantuan Kategori Pembicaraan Kategori Resep Pembicaraan Resep Wisata Pembicaraan Wisata TimedText TimedText talk Modul Pembicaraan Modul Acara Pembicaraan Acara 0 23153 115276 91698 2026-05-23T07:29:23Z ~2026-30004-79 43172 /* sifat notasi sigma */ 115276 wikitext text/x-wiki = Notasi Sigma = == sifat notasi sigma == <math>\sum _{n=s}^{t}C\cdot f(n)=C\cdot \sum _{n=s}^{t}f(n)\quad</math> , ([[distributif]]) <math>\sum _{n=s}^{t}f(n)\pm \sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)\pm g(n)\right]\quad </math> , ([[Sifat asosiatif|asosiatif]] dan [[Sifat komutatif|komutatif]]) <math>\sum _{n=s}^{t}f(n)=\sum _{n=s\pm p}^{t\pm p}f(n\mp p)</math> , (pergeseran indeks) <math>\sum _{n\in B}f(n)=\sum _{m\in A}f(\sigma (m))</math> , untuk [[bijeksi]] <math>\sigma</math> dari himpunan terbatas <math>A</math> ke himpunan <math>B</math> (perubahan indeks); ini menggeneralisasi formula sebelumnya. <math>\sum _{n=s}^{t}f(n)=\sum _{n=s}^{j}f(n)+\sum _{n=j+1}^{t}f(n)</math> , (memecahkan jumlah, menggunakan [[sifat asosiatif]]). <math>\sum _{n=s}^{t}f(n)=\sum _{n=s}^{j-1}f(n)+\sum _{n=j}^{t}f(n)</math> , (memecahkan jumlah, menggunakan [[sifat asosiatif]]). <math>\sum _{n=a}^{b}f(n)=\sum _{n=0}^{b}f(n)-\sum _{n=0}^{a-1}f(n)</math> , (varian dari rumus sebelumnya). <math>\sum _{n=s}^{t}f(n)=\sum _{n=0}^{t-s}f(t-n)</math> , (jumlah dari istilah pertama hingga yang terakhir sama dengan jumlah dari yang terakhir hingga yang pertama). <math>\sum _{n=0}^{t}f(n)=\sum _{n=0}^{t}f(t-n)</math> , (kasus rumus tertentu di atas). <math>\sum _{i=k_{0}}^{k_{1}}\sum _{j=l_{0}}^{l_{1}}a_{i,j}=\sum _{j=l_{0}}^{l_{1}}\sum _{i=k_{0}}^{k_{1}}a_{i,j}</math> , ([[Sifat asosiatif|asosiatif]] dan [[Sifat komutatif|komutatif]]) <math>\sum _{k\leq j\leq i\leq n}a_{i,j}=\sum _{i=k}^{n}\sum _{j=k}^{i}a_{i,j}=\sum _{j=k}^{n}\sum _{i=j}^{n}a_{i,j}=\sum _{j=0}^{n-k}\sum _{i=k}^{n-j}a_{i+j,i}</math> , (penerapan pada [[Sifat asosiatif|asosiatif]] dan [[Sifat komutatif|komutatif]]) <math>\sum _{n=2s}^{2t+1}f(n)=\sum _{n=s}^{t}f(2n)+\sum _{n=s}^{t}f(2n+1)</math> , (memecahkan jumlah menjadi bagian yang ganjil dan genap, untuk indeks genap) <math>\sum _{n=2s+1}^{2t}f(n)=\sum _{n=s+1}^{t}f(2n)+\sum _{n=s+1}^{t}f(2n-1)</math> , (memecahkan jumlah menjadi bagian yang ganjil dan genap, untuk indeks ganjil) <math>\left(\sum _{i=0}^{n}a_{i}\right)\left(\sum _{j=0}^{n}b_{j}\right)=\sum _{i=0}^{n}\sum _{j=0}^{n}a_{i}b_{j}</math> , ([[distributif]]) <math>\sum _{i=s}^{m}\sum _{j=t}^{n}{a_{i}}{c_{j}}=\left(\sum _{i=s}^{m}a_{i}\right)\left(\sum _{j=t}^{n}c_{j}\right)</math> , ([[distributif]] yang memungkinkan [[faktorisasi]]) <math>\sum _{n=s}^{t}\log _{b}f(n)=\log _{b}\prod _{n=s}^{t}f(n)</math> , ([[logaritma]] suatu [[Perkalian|produk]] adalah jumlah dari faktor-faktor logaritma) <math>C^{\sum \limits _{n=s}^{t}f(n)}=\prod _{n=s}^{t}C^{f(n)}</math> , ([[Eksponensiasi|eksponensial]] dari jumlah adalah produk dari eksponensial pada penjumlahan) Contoh # tentukan: * <math>\sum _{n=1}^{5} 2x^2 + 7</math> <div class="toccolours mw-collapsible mw-collapsed" style="width:550px"><div style="font-weight:bold;line-height:1.6;">Jawaban</div> <div class="mw-collapsible-content"> <math display="block"> \begin{align} * \sum _{n=1}^{5} 2x^2 + 7 &= 2(1)^2 + 7 + 2(2)^2 + 7 + 2(3)^2 + 7 + 2(4)^2 + 7 + 2(5)^2 + 7 \\ &= 9+15+25+39+57 = 145 \\ \end{align} </math> </div></div> = Induksi Matematika = Induksi matematika terdiri dari 2 jenis yaitu matematika umum dan matematika kuat. == Matematika umum == Pembuktian cara induksi matematika ingin membuktikan bahwa teori atau sifat itu benar untuk semua [[bilangan]] asli atau semua bilangan dalam himpunan bagiannya. Caranya ialah dengan menunjukkan bahwa sifat itu benar untuk n = 1 (atau S(1) adalah benar), kemudian ditunjukkan bahwa bila sifat itu benar untuk n = k (bila S(k) benar) menyebabkan sifat itu benar untuk n = k + 1 (atau S(k + 1) benar). ===Bilangan (termasuk jumlah deret)=== * Buktikan bahwa <math>1 + 3 + 5 +\cdots + 2n - 1 = n^2</math> untuk jumlah n bilangan ganjil pertama adalah n²! Persamaan yang perlu dibuktikan: :<math>S(n) = 1 + 3 + 5 +\cdots + 2n - 1 = n^2</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>\ S(1) = 1^2 = 1</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>S(k) = 1 + 3 + 5 + \cdots + 2k - 1 = k^2</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>S(k + 1) = 1 + 3 + 5 + \cdots + 2k - 1 + 2(k + 1) - 1 = (k + 1)^2</math> sekarang sederhanakan persamaan pada sisi kiri dengan mengingat bahwa <math>k ^ 2 = 1 + 3 + 5 + ... + 2k - 1</math> sesuai dengan pengandaian awal :<math>[1 + 3 + 5 + \cdots + 2k - 1] + 2(k + 1) - 1 = k^2 + 2(k + 1) - 1</math> kemudian padankan bentuk sederhana tadi dengan sebelah kanan :<math>k^2 + 2(k + 1) - 1 = (k + 1)^2</math> :<math>\ k^2 + 2k + 1 = (k + 1)^2</math>, ingat bahwa <math>(k + 1) ^ 2 = k^2 + 2k + 1</math> :<math>\ (k + 1)^2 = (k + 1)^2</math> (terbukti benar) '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk jumlah n bilangan ganjil pertama adalah n² karena memenuhi kedua langkah pembuktian * Buktikan bahwa <math>1 + 2 + 3 + 4 + 5 + \cdots + n = \frac{n(n + 1)}{2}</math> untuk setiap bilangan bulat positif adalah n! Persamaan yang perlu dibuktikan: :<math>S(n) = 1 + 2 + 3 + 4 + 5 + \cdots + n = \frac{n(n + 1)}{2}</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>\ S(1) = \frac{1(1 + 1)}{2} = 1</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>S(k) = 1 + 2 + 3 + 4 + 5 + \cdots + k = \frac{k(k + 1)}{2}</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>S(k + 1) = 1 + 2 + 3 + 4 + 5 + \cdots + k + k + 1 = \frac{(k + 1)[(k + 1) + 1]}{2}</math> sekarang sederhanakan persamaan pada sisi kiri dengan mengingat bahwa <math> \frac{k(k + 1)}{2} = 1 + 2 + 3 + 4 + 5 + \cdots + k</math> sesuai dengan pengandaian awal :<math>[1 + 2 + 3 + 4 + 5 + \cdots + k] + k + 1 = \frac{k(k + 1)}{2} + k + 1</math> kemudian padankan bentuk sederhana tadi dengan sebelah kanan :<math>\frac{k(k + 1)}{2} + k + 1 = \frac{(k + 1)[(k + 1) + 1]}{2}</math> :<math>(k + 1)(\frac{k}{2} + 1) = \frac{(k + 1)[(k + 1) + 1]}{2}</math> :<math>(k + 1)(\frac{k + 2}{2}) = \frac{(k + 1)[(k + 1) + 1]}{2}</math> :<math>\frac{(k + 1)[(k + 1) + 1]}{2} = \frac{(k + 1)[(k + 1) + 1]}{2}</math> :<math>\frac{(k + 1)[(k + 1) + 1]}{2} = \frac{(k + 1)[(k + 1) + 1]}{2}</math> (terbukti benar) '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk setiap bilangan bulat positif adalah n karena memenuhi kedua langkah pembuktian ===Pertidaksamaan=== * Buktikan bahwa <math>4n < 2^n</math> untuk semua bilangan bulat positif n ≥ 5! Persamaan yang perlu dibuktikan: :<math>S(n) = 4n < 2^n</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 5</math>, benar bahwa <math>4 (5) < 2^5</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>S(k) = 4k < 2^k</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>S(k + 1) = 4 (k + 1) < 2^{k + 1}</math> sekarang sederhanakan persamaan pada sisi kiri dengan mengingat bahwa <math>4k</math> sesuai dengan pengandaian awal :<math>4 (k + 1) = 4k + 4</math> (karena 4 < 4k) :<math>= 4k + 4k</math> kemudian padankan bentuk sederhana tadi dengan sebelah kanan :<math>4k + 4k < 2^{k + 1}</math> :<math>2 (4k) < 2^{k + 1}</math> :<math>2 (2^k) < 2^{k + 1}</math>, ingat bahwa <math>a^m a^n = a^{m+n}</math> :<math>2^{k + 1} < 2^{k + 1}</math> (terbukti benar) '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk semua bilangan bulat positif n ≥ 5 karena memenuhi kedua langkah pembuktian ===Faktor (termasuk kali atau bagi)=== * Buktikan bahwa salah satu faktor dari <math>n^3 + 3n^2 + 2n</math> adalah 3 untuk semua bilangan bulat positif n! Persamaan yang perlu dibuktikan: :<math>S(n) = n^3 + 3n^2 + 2n</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>1^3 + 3(1)^2 + 2(1) = 6</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>k^3 + 3k^2 + 2k</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>(k + 1)^3 + 3(k + 1)^2 + 2(k + 1)</math> sekarang tunjukkan bahwa 3 adalah faktor dari <math>(k + 1)^3 + 3(k + 1)^2 + 2(k + 1)</math> :<math>(k + 1)^3 + 3(k + 1)^2 + 2(k+ 1) = k^3 + 3k^2 + 3k + 1 + 3k^2 + 6k + 3 + 2k + 2</math> :<math>= (k^3 + 3k^2 + 2k) + (3k^2 + 9k + 6)</math> :<math>= (k^3 + 3k^2 + 2k) + 3 \cdot (k^2 + 3k + 2)</math> karena 3 adalah faktor dari <math>3 \cdot (k^2 + 3k + 2)</math> dan 3 juga merupakan faktor <math>k^3 + 3k^2 + 2k</math>, maka 3 adalah faktor dari <math>(k + 1)^3 + 3(k + 1)^2 + 2(k+ 1)</math>. Dengan menggabungkan hasil pada langkah pembuktian 1 dan 2. '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk 3 adalah faktor <math>n^3 + 3n^2 + 2n</math> untuk semua bilangan bulat positif n karena memenuhi kedua langkah pembuktian * Buktikan bahwa 3 adalah faktor <math>4^n - 1</math> untuk semua bilangan bulat positif n! Persamaan yang perlu dibuktikan: :<math>S(n) = 4^n - 1</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>4^1 - 1 = 3</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>4^k - 1</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>4^{k + 1} - 1</math> sekarang tunjukkan bahwa 3 adalah faktor dari <math>4^{k + 1} - 1</math> :<math>4^{k + 1} - 1 = 4^{k + 1} - 4^k + 4^k - 1</math> :<math>= 4^k (4 - 1) + (4^k - 1)</math> :<math>= 4^k \cdot 3 + (4^k - 1)</math> karena 3 adalah faktor dari <math>4k \cdot 3</math> dan 3 juga merupakan faktor <math>4^k - 1</math>, maka 3 adalah faktor dari <math>4^{k + 1} - 1</math>. Dengan menggabungkan hasil pada langkah pembuktian 1 dan 2. '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk 3 adalah faktor <math>4^n - 1</math> untuk semua bilangan bulat positif n karena memenuhi kedua langkah pembuktian * Buktikan bahwa <math>5^n - 1</math> habis dibagi 4 untuk semua bilangan bulat positif n! Persamaan yang perlu dibuktikan: :<math>S(n) = 5^n - 1</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>5^1 - 1 = 4</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>5^k - 1</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>5^{k + 1} - 1</math> sekarang tunjukkan bahwa <math>5^{k + 1} - 1</math> habis dibagi 4 :<math>5^{k + 1} - 1 = 5^{k + 1} - 5^k + 5^k - 1</math> :<math>= 5^k (5 - 1) + (5^k - 1)</math> :<math>= 5^k \cdot 4 + (5^k - 1)</math> karena <math>5k \cdot 4</math> dan <math>5^k - 1</math> habis dibagi 4, maka <math>5^{k + 1} - 1</math> habis dibagi 4. Dengan menggabungkan hasil pada langkah pembuktian 1 dan 2. '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk <math>5^n - 1</math> habis dibagi 4 untuk semua bilangan bulat positif n karena memenuhi kedua langkah pembuktian ===Faktorisasi=== * Buktikan bahwa x - y adalah faktor <math>x^n - y^n</math> untuk semua bilangan bulat positif n! Persamaan yang perlu dibuktikan: :<math>S(n) = x^n - y^n</math> '''Langkah pembuktian pertama:'''{{br}} untuk <math>n = 1</math>, benar bahwa <math>x^1 - y^1 = x - y</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>x^k - y^k</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>x^{k + 1} - y^{k + 1}</math> sekarang tunjukkan bahwa x - y adalah faktor dari <math>x^{k + 1} - y^{k + 1}</math> :<math>x^{k + 1} - y^{k + 1} = x^{k + 1} - x^k y + x^k y - y^{k + 1}</math> :<math>= x^k(x - y) + (x^k - y^k)y</math> karena x - y adalah faktor dari <math>x^k \cdot (x - y)</math> dan x - y juga merupakan faktor <math>(x^k - y^k) \cdot y</math>, maka x - y adalah faktor dari <math>x^{k + 1} - y^{k + 1}</math>. Dengan menggabungkan hasil pada langkah pembuktian 1 dan 2. '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk x - y adalah faktor <math>x^n - y^n</math> untuk semua bilangan bulat positif n karena memenuhi kedua langkah pembuktian ===Barisan=== Temukan hasil rumus untuk penjumlahan berhingga berikut kemudian buktikan hasil rumus tersebut dengan induksi matematika! :<math>\frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2n(n + 1)}</math> Persamaan yang perlu dibuktikan: :<math>S(n) = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2n(n + 1)}</math> '''Langkah pembuktian pertama:'''{{br}} untuk beberapa penjumlahan <math>n</math> dari pertama, benar bahwa :<math>S(1) = \frac{1}{4} = \frac{1^2}{2(1)(1 + 1)}</math> :<math>S(2) = \frac{1}{4} + \frac{1}{12} = \frac{4}{12} = \frac{2^2}{2(2)(2 + 1)}</math> :<math>S(3) = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} = \frac{9}{24} = \frac{3^2}{2(3)(3 + 1)}</math> :<math>S(4) = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \frac{1}{40} = \frac{16}{40} = \frac{4^2}{2(4)(4 + 1)}</math> '''Langkah pembuktian kedua:'''{{br}} andaikan benar untuk <math>n = k</math>, yaitu :<math>S(k) = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2k(k + 1)} = \frac{k^2}{2k(k + 1)}</math>, maka akan dibuktikan benar pula untuk <math>n = k + 1</math>, yaitu :<math>S(k + 1) = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2k(k + 1)} + \frac{1}{2(k + 1)((k + 1) + 1)} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> sekarang sederhanakan persamaan pada sisi kiri dengan mengingat bahwa <math>\frac{k^2}{2k(k + 1)} = \frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2k(k + 1)}</math> sesuai dengan pengandaian awal :<math>[\frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2k(k + 1)}] + \frac{1}{2(k + 1)[(k + 1) + 1]} = \frac{k^2}{2k(k + 1)} + \frac{1}{2(k + 1)[(k + 1) + 1]}</math> kemudian padankan bentuk sederhana tadi dengan sebelah kanan :<math>\frac{k^2}{2k(k + 1)} + \frac{1}{2(k + 1)((k + 1) + 1)} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> :<math>\frac{k^2}{2k(k + 1)} + \frac{1}{2(k + 1)(k + 2)} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> :<math>\frac{k^2(k + 2) + k}{2k(k + 1)(k + 2)} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> :<math>\frac{k(k^2 + 2k + 1)}{2k(k + 1)(k + 2)} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> :<math>\frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]} = \frac{(k + 1)^2}{2(k + 1)[(k + 1) + 1]}</math> (terbukti benar) '''Kesimpulan:'''{{br}} Jadi, <math>S(n)</math> benar untuk hipotesis induksi matematika karena memenuhi kedua langkah pembuktian == Matematika kuat == Misalkan S(n) adalah pernyataan yang didefinisikan untuk bilangan bulat n, dan misalkan a dan b adalah bilangan bulat sedemikian sehingga a ≤ b. Jika dua pernyataan berikut bernilai benar, S(a), S(a + 1), ..., dan S(b) semuanya bernilai benar. (langkah dasar) Untuk sebarang bilangan bulat k ≥ b, jika S(i) benar untuk semua bilangan bulat i mulai a sampai k, maka S(k + 1) benar. (langkah induksi) ''Teks miring'' Maka untuk semua bilangan bulat n ≥ a, S(n) benar. (Asumsi bahwa S(i) benar untuk semua bilangan bulat i mulai dari a sampai k disebut sebagai hipotesis induksi. Cara lain untuk menyatakan hipotesis induksi adalah dengan menyatakan bahwa S(a), S(a + 1), ..., S(k) semuanya bernilai benar.) === Bilangan (termasuk jumlah deret) === === Barisan === === Teori === [[Kategori:Soal-Soal Matematika]] a9wzz8qoqhks2xtd7hjvhfspkmsnr61