Induksi matematika adalah cara khusus untuk membuktikan kebenaran matematika. Ini dapat digunakan untuk membuktikan bahwa sesuatu itu benar untuk semua bilangan asli (semua bilangan bulat positif). Idenya adalah bahwa
- Sesuatu yang benar untuk kasus pertama
- Hal yang sama selalu berlaku untuk kasus berikutnya
kemudian
- Hal yang sama berlaku untuk setiap kasus
Dalam bahasa matematika yang cermat:
- Nyatakan bahwa pembuktian akan dilakukan dengan induksi atas n {\displaystyle n}
. ( n {\displaystyle n}
adalah variabel induksi).
- Tunjukkan bahwa pernyataan tersebut benar bila n {\displaystyle n}
adalah 1.
- Asumsikan bahwa pernyataan tersebut benar untuk setiap bilangan asli n {\displaystyle n}
. (Ini disebut langkah induksi).
- Tunjukkan bahwa pernyataan itu benar untuk bilangan berikutnya, n + 1 {\displaystyle n+1}
.
Karena benar untuk 1, maka benar untuk 1+1 (=2, dengan langkah induksi), kemudian benar untuk 2+1 (=3), kemudian benar untuk 3+1 (=4), dan seterusnya.
Contoh pembuktian dengan induksi:
Buktikan bahwa untuk semua bilangan asli n:
1 + 2 + 3 + . . . . + ( n - 1 ) + n = 1 2 n ( n + 1 ) {\displaystyle 1+2+3+....+(n-1)+n={\tfrac {1}{2}}n(n+1)}
Bukti:
Pertama, pernyataannya bisa ditulis: untuk semua bilangan asli n
2 ∑ k = 1 n k = n ( n + 1 ) {\displaystyle 2\sum _{k=1}^{n}k=n(n+1)}
Dengan induksi pada n,
Pertama, untuk n=1:
2 ∑ k = 1 1 k = 2 ( 1 ) = 1 ( 1 + 1 ) {\displaystyle 2\sum _{k=1}^{1}k=2(1)=1(1+1)} ,
jadi ini benar.
Selanjutnya, asumsikan bahwa untuk beberapa n=n0 pernyataan tersebut benar. Artinya,:
2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1)}
Kemudian untuk n=n0 +1:
2 ∑ k = 1 n 0 + 1 k {\displaystyle 2\sum _{k=1}^{{n_{0}}+1}k}
dapat ditulis ulang
2 ( ∑ k = 1 n 0 k + ( n 0 + 1 ) ) {\displaystyle 2\kiri(\sum _{k=1}^{n_{0}}k+(n_{0}+1)\kanan)}
Karena 2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ), {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1),}
2 ∑ k = 1 n 0 + 1 k = n 0 ( n 0 + 1 ) + 2 ( n 0 + 1 ) = ( n 0 + 1 ) ( n 0 + 2 ) {\displaystyle 2\sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)=(n_{0}+1)(n_{0}+2)}
Oleh karena itu, buktinya benar.