Secara umum, pembuktian menggunakan induksi matematika terdiri dari dua tahap, yaitu:
- Tahap pertama: basis induksi. Akan dibuktikan S(n) benar untuk n=a, dengan a bilangan asli terkecil yang memenuhi S(n).
- Tahap kedua: langkah induksi. Diandaikan S(n) benar untuk n=k, kemudian akan dibuktikan S(n) benar untuk n=k+1.
Pernyataan S(n) dikatakan benar untuk n=p (p dapat berupa bilangan maupun variabel) jika dengan mensubstitusikan n=p pada S(n), maka pernyataan S(n) benar/berlaku.
Pada soal dinyatakan bahwa "jika S(n) benar untuk n=k" artinya telah diandaikan bahwa S(n) benar untuk n=k. Langkah selanjutnya adalah membuktikan S(n) benar untuk n=k+1, yaitu dengan mensubstitusikan n=k+1 pada S(n) diperoleh
−2+2+6+10+⋯+(4k−6)+(4(k+1)−6)=2(k+1)2−4(k+1)