Induksi matematika - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-24T23:06:24Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.06
Baris 1:		Baris 1:
	'''Induksi matematika''' merupakan salah satu kegiatan [[Pembuktian melalui deduksi\|penalaran deduktif]] yang berkaitan dengan [[pembuktian matematika]]. Dalam [[matematika]], induksi matematika merupakan sebuah dasar [[aksioma]] bagi beberapa [[teorema]] yang melibatkan [[bilangan asli]]. Pembuktian suatu pernyataan matematis dengan induksi matematika dilakukan pada objek matematika yang bersifat diskrit, misalnya [[teori bilangan]], [[teori graf]], dan [[kombinatorika]]. [[Matematikawan]] menggunakan induksi matematika untuk menjelaskan pernyataan matematika yang telah diketahui kebenarannya.		[[File:Dominoeffect.png\|thumb\|right\|280px\|Sebuah deskripsi tidak formal dari induksi matematika dapat diilustrasikan dengan mengacu kepada efek sekuensial dari jatuhnya domino]]

			'''Induksi matematika''' merupakan salah satu kegiatan [[Pembuktian melalui deduksi\|penalaran deduktif]] yang berkaitan dengan [[pembuktian matematika]].<ref>Ilyas, dkk. [http://repository.uncp.ac.id/22/1/2.%20Buku-Metodologi%20Penelitian%20Pendidikan%20Matematika.pdf Metodologi Penelitian Pendidikan Matematika]. Pustaka Ramadhan. 2015. hlm. 228. ISBN 979-604-153-7.</ref> Dalam [[matematika]], induksi matematika merupakan sebuah dasar [[aksioma]] bagi beberapa [[teorema]] yang melibatkan [[bilangan asli]]. Pembuktian suatu pernyataan matematis dengan induksi matematika dilakukan pada objek matematika yang bersifat diskrit, misalnya [[teori bilangan]], [[teori graf]], dan [[kombinatorika]]. [[Matematikawan]] menggunakan induksi matematika untuk menjelaskan pernyataan matematika yang telah diketahui kebenarannya.

	Prinsip induksi matematis dapat dijelaskan secara umum dalam dua tahap yaitu langkah awal atau asumsi induktif dan langkah induksi dasar. Penggunaan induksi matematika utamanya dilakukan pada tiga jenis masalah matematika yaitu seri umum, habis dibagi dan ketidaksetaraan. Kemampuan pembuktian induksi matematika secara benar ditentukan oleh tingkat pemahaman [[konsep]]. Setiap prosedur induksi matematika yang digunakan pada suatu konsep matematika dapat ditentukan melalui pemahaman relasional.		Prinsip induksi matematis dapat dijelaskan secara umum dalam dua tahap yaitu langkah awal atau asumsi induktif dan langkah induksi dasar. Penggunaan induksi matematika utamanya dilakukan pada tiga jenis masalah matematika yaitu seri umum, habis dibagi dan ketidaksetaraan. Kemampuan pembuktian induksi matematika secara benar ditentukan oleh tingkat pemahaman [[konsep]]. Setiap prosedur induksi matematika yang digunakan pada suatu konsep matematika dapat ditentukan melalui pemahaman relasional.
Baris 104:		Baris 106:

	===Faktor (termasuk kali atau bagi)===		===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!		* Buktikan bahwa salah satu faktor dari <math>n^3 + 3n^2 + 2n</math> adalah 3 untuk semua bilangan bulat positif n!

Baris 204:		Baris 205:
	Temukan hasil rumus untuk penjumlahan berhingga berikut kemudian buktikan hasil rumus tersebut dengan induksi matematika!		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>		:<math>\frac{1}{4} + \frac{1}{12} + \frac{1}{24} + \cdots + \frac{1}{2n(n + 1)}</math>


	Persamaan yang perlu dibuktikan:		Persamaan yang perlu dibuktikan:
Baris 252:		Baris 252:

	== Penerapan ==		== Penerapan ==

	=== Penalaran pada matematika formal ===		=== Penalaran pada matematika formal ===
	Induksi matematika digunakan untuk mengatasi kelemahan dari penalaran induktif. Penggunaan induksi matematika dapat memberikan kesimpulan yang berlaku umum. Sebaliknya, penalaran induktif yang dilakukan melalui [[pengalaman]] dan [[pengamatan]], tidak menjamin adanya [[kesimpulan]] yang berlaku secara umum. Kesimpulan yang berlaku secara umum di dalam matematika formal hanya dapat diperoleh melalui induksi matematika.		Induksi matematika digunakan untuk mengatasi kelemahan dari penalaran induktif. Penggunaan induksi matematika dapat memberikan kesimpulan yang berlaku umum. Sebaliknya, penalaran induktif yang dilakukan melalui [[pengalaman]] dan [[pengamatan]], tidak menjamin adanya [[kesimpulan]] yang berlaku secara umum. Kesimpulan yang berlaku secara umum di dalam matematika formal hanya dapat diperoleh melalui induksi matematika.<ref>Setiyo Utoyo. [https://repository.ung.ac.id/get/karyailmiah/4391/Setiyo-Utoyo-Metode-Pengembangan-Matematika-Anak-Usia-Dini.pdf Metode Pengembangan Matematika Anak Usia Dini]. Ideas Publishing. 2017. hlm. 61. ISBN 978-602-6635-57-0.</ref>

	~~== Referensi ==~~


	== Daftar pustaka ==		== Daftar pustaka ==
			#
	#
	#		#

	== Bacaan lanjutan ==		== Bacaan lanjutan ==

	=== Analisis ===		=== Analisis ===
	* (Section 1.2.1: Mathematical Induction, pp. 11-21.)		* (Section 1.2.1: Mathematical Induction, pp. 11-21.)
Baris 272:		Baris 266:

	=== Sejarah ===		=== Sejarah ===
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*

			== Referensi ==
			<references />

			== Sumber dan atribusi ==

	== ~~Sumber~~ dan ~~atribusi ==~~		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Induksi+matematika&oldid=29221892 Wikipedia bahasa Indonesia], revisi 29221892 (2026-05-13T03:19:45Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

	~~Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Induksi+matematika&oldid=29221892 Wikipedia bahasa Indonesia], revisi 29221892 (2026~~-05-~~13T03:19:45Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi~~-~~BerbagiSerupa (CC BY~~-~~SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.~~		<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29221892; atribusi sumber disertakan.

2026-08-24T22:40:00Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29221892; atribusi sumber disertakan.

Halaman baru

'''Induksi matematika''' merupakan salah satu kegiatan [[Pembuktian melalui deduksi|penalaran deduktif]] yang berkaitan dengan [[pembuktian matematika]]. Dalam [[matematika]], induksi matematika merupakan sebuah dasar [[aksioma]] bagi beberapa [[teorema]] yang melibatkan [[bilangan asli]]. Pembuktian suatu pernyataan matematis dengan induksi matematika dilakukan pada objek matematika yang bersifat diskrit, misalnya [[teori bilangan]], [[teori graf]], dan [[kombinatorika]]. [[Matematikawan]] menggunakan induksi matematika untuk menjelaskan pernyataan matematika yang telah diketahui kebenarannya.

Prinsip induksi matematis dapat dijelaskan secara umum dalam dua tahap yaitu langkah awal atau asumsi induktif dan langkah induksi dasar. Penggunaan induksi matematika utamanya dilakukan pada tiga jenis masalah matematika yaitu seri umum, habis dibagi dan ketidaksetaraan. Kemampuan pembuktian induksi matematika secara benar ditentukan oleh tingkat pemahaman [[konsep]]. Setiap prosedur induksi matematika yang digunakan pada suatu konsep matematika dapat ditentukan melalui pemahaman relasional.

== Sejarah penggunaan ==
Teorema matematika didasarkan pada sekumpulan aksioma dan [[definisi]]. Pembuktian semua jenis teorema dilakukan dengan menggunakan aksioma dan definisi, atau menggunakan teorema-teorema yang telah terbukti kebenarannya. Teorema dalam matematika tidak didasarkan kepada hasil-hasil [[Percobaan|eksperimen]] yang tidak dapat dibuktikan kebenarannya. Matematika tidak dapat menerima [[argumentasi]] bahwa suatu pernyataan matematis adalah benar hanya dengan eksperimen-eksperimen dan [[Pengamatan|observasi]]-observasi. [[Pierre de Fermat]] (1601- 1665) membuktikan bahwa pada [[konjektur]] Fermat, persamaan tidak akan menghasilkan [[bilangan bulat]] berbentuk positif pada sebarang bilangan bulat yang bernilai lebih dari 2. Para matematikawan memerlukan waktu lebih dari tiga [[abad]] untuk menemukan pembuktian konjektur Fermat. Pada tahun 1994, konjektur Fermat dibuktikan oleh matematikawan berkebangsaan [[Inggris]] yaitu [[Andrew Wiles]].

Sejarah penggunaan induksi matematika dijelaskan oleh Bussey dalam [[artikel]] yang ditulisnya pada tahun 1917. Dalam artikel tersebut dijelaskan bahwa proses induksi matematika telah digunakan untuk pertama kali oleh [[D. Franciscus Maurolycus]] (1494- 1575). Maurolycus adalah matewatikawan berkebangsaan [[Italia]] dan kenalan dari [[Blaise Pascal]] (1623-1662). Penggunaan induksi matematika dilakukan oleh Maurolycus dalam bukunya yang terbit pada tahun 1575. Maurolycus menggunakan induksi matematika untuk membuktikan bahwa bilangan-[[Paritas (matematika)|bilangan ganjil]] terbentuk dengan cara berturut-turut menambahkan 2 terhadap bilangan ganjil pertama, yaitu 1. Pembuktikan lain yang diperolehnya dengan induksi yaitu jumlah n bilangan ganjil pertama adalah [[Pangkat dua|kuadrat]] n. Pembuktian matematika yang dilakukan oleh Pascal maupun Maurolycus tidak pernah menggunakan istilah induksi. Istilah induksi digunakan pertama kalinya pada tahun 1956 oleh [[John Wallis]]. Dalam bukunya yang berjudul ''Arithmetica Infinitorum'', Wallis menggunakan isitlah ''per modum inductionis''. Pada tahun 1838, [[Augustus De Morgan|Augustus de Morgan]] (1806-1871) memperkenalkan istilah induksi matematika ke publik melalui artikel ''induction'' yang ditulisnya untuk jurnal Penny Cyclopedia.

Pada tahun 1889, [[Giuseppe Peano]] (1858-1932) merumuskan prinsip induksi matematika ke dalam lima aksioma. Di dalam kelima aksioma ini, disajikan definisi lengkap tentang bilangan asli. Kelima aksioma tersebut adalah:

# 1 adalah bilangan asli.
# Terdapat satu bilang turutan yang unik dan bentuk bilangan asli pada setiap bilangan asli.
# Bilangan turutan yang sama mustahil ditemukan pada dua bilangan asli yang berbeda.
# 1 bukan merupakan turutan dari sebarang bilangan asli
# Sifat yang dimiliki oleh 1 dan turutan semua bilangan asli, pasti dimiliki juga oleh semua bilangan asli.

== Proposisi ==
Dalam pembuktian tidak langsung, induksi matematika melibatkan dua [[proposisi]], yaitu basis induksi dan [[hipotesis]] induksi. Pembuktian dilakukan dalam tiga langkah yaitu langkah basis, hipotesis induksi, dan langkah induksi.

== 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<sup>2</sup>!

Persamaan yang perlu dibuktikan:
:<math>S(n) = 1 + 3 + 5 +\cdots + 2n - 1 = n^2</math>

'''Langkah pembuktian pertama:'''
untuk <math>n = 1</math>, benar bahwa <math>\ S(1) = 1^2 = 1</math>

'''Langkah pembuktian kedua:'''
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:'''
Jadi, <math>S(n)</math> benar untuk jumlah n bilangan ganjil pertama adalah n<sup>2</sup> 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:'''
untuk <math>n = 1</math>, benar bahwa <math>\ S(1) = \frac{1(1 + 1)}{2} = 1</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
untuk <math>n = 5</math>, benar bahwa <math>4 (5) < 2^5</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
untuk <math>n = 1</math>, benar bahwa <math>1^3 + 3(1)^2 + 2(1) = 6</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
untuk <math>n = 1</math>, benar bahwa <math>4^1 - 1 = 3</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
untuk <math>n = 1</math>, benar bahwa <math>5^1 - 1 = 4</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
untuk <math>n = 1</math>, benar bahwa <math>x^1 - y^1 = x - y</math>

'''Langkah pembuktian kedua:'''
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:'''
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:'''
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:'''
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:'''
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)

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.)

; A. Bilangan (termasuk jumlah deret)

; B. Barisan

; C. Teori

== Penerapan ==

=== Penalaran pada matematika formal ===
Induksi matematika digunakan untuk mengatasi kelemahan dari penalaran induktif. Penggunaan induksi matematika dapat memberikan kesimpulan yang berlaku umum. Sebaliknya, penalaran induktif yang dilakukan melalui [[pengalaman]] dan [[pengamatan]], tidak menjamin adanya [[kesimpulan]] yang berlaku secara umum. Kesimpulan yang berlaku secara umum di dalam matematika formal hanya dapat diperoleh melalui induksi matematika.

== Referensi ==

== Daftar pustaka ==

#
#

== Bacaan lanjutan ==

=== Analisis ===
* (Section 1.2.1: Mathematical Induction, pp. 11-21.)
* (Section 1.3.8: Transfinite induction, pp. 28-29.)
* (Ch. 8.)

=== Sejarah ===
*
*
*
*
*
*
*
*
*
*
*
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Induksi+matematika&oldid=29221892 Wikipedia bahasa Indonesia], revisi 29221892 (2026-05-13T03:19:45Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.