Diketahui S(n)S\left(n\right)S(n) adalah rumus dari
5+9+13+17+⋯+(4n+1)=2n2+3n5+9+13+17+\dots+\left(4n+1\right)=2n^2+3n5+9+13+17+⋯+(4n+1)=2n2+3n
Jika S(n)S\left(n\right)S(n) benar untuk n=k+1n=k+1n=k+1, artinya ....
5+9+13+17+⋯+(4k+1)=2k2+3k5+9+13+17+\dots+\left(4k+1\right)=2k^2+3k5+9+13+17+⋯+(4k+1)=2k2+3k
5+9+13+17+⋯+(4k+1)=2k2+7k+55+9+13+17+\dots+\left(4k+1\right)=2k^2+7k+55+9+13+17+⋯+(4k+1)=2k2+7k+5
5+9+13+17+⋯+(4k+1)+(4k+5)=2k2+3k5+9+13+17+\dots+(4k+1)+\left(4k+5\right)=2k^2+3k5+9+13+17+⋯+(4k+1)+(4k+5)=2k2+3k
5+9+13+17+⋯+(4k+1)+(4k+5)=2k2+7k+55+9+13+17+\dots+(4k+1)+\left(4k+5\right)=2k^2+7k+55+9+13+17+⋯+(4k+1)+(4k+5)=2k2+7k+5
5+9+13+17+⋯+(4k+5)+(4k+7)=2k2+3k5+9+13+17+\dots+(4k+5)+\left(4k+7\right)=2k^2+3k5+9+13+17+⋯+(4k+5)+(4k+7)=2k2+3k