Diketahui S(n)S\left(n\right)S(n) adalah rumus dari
−1−2−4−8−⋯−2n2=1−2n-1-2-4-8-\dots-\frac{2^n}{2}=1-2^n−1−2−4−8−⋯−22n=1−2n
Jika S(n)S\left(n\right)S(n) benar untuk n=k+2n=k+2n=k+2, maka ruas kiri menjadi ....
−1−2−4−8−⋯−2k+1-1-2-4-8-\dots-2^{k+1}−1−2−4−8−⋯−2k+1
−1−2−4−8−⋯−2k-1-2-4-8-\dots-2^k−1−2−4−8−⋯−2k
−1−2−4−8−⋯−2k−1-1-2-4-8-\dots-2^{k-1}−1−2−4−8−⋯−2k−1
−1−2−4−8−⋯−2n-1-2-4-8-\dots-2^{n}−1−2−4−8−⋯−2n
−1−2−4−8−⋯−2n−1-1-2-4-8-\dots-2^{n-1}−1−2−4−8−⋯−2n−1