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 . ( n {\displaystyle n}n adalah variabel induksi).
  • Tunjukkan bahwa pernyataan tersebut benar bila n {\displaystyle n}n adalah 1.
  • Asumsikan bahwa pernyataan tersebut benar untuk setiap bilangan asli n {\displaystyle n}n . (Ini disebut langkah induksi).
    • Tunjukkan bahwa pernyataan itu benar untuk bilangan berikutnya, n + 1 {\displaystyle 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)} {\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)} {\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)}{\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)} {\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} {\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)} {\displaystyle 2\left(\sum _{k=1}^{n_{0}}k+(n_{0}+1)\right)}

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),} {\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)} {\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.