For each n∈N, let P(n) be, 2+5+8+⋯+(3n−1)=2n(3n+1). When we use n=1, the summation on the left side of the equation is 2, and the right side is 21(3⋅1+1)=2. Therefore, P(1) is true. For the inductive step, let k∈N and assume that P(k) is true. Then,
2+5+8+⋯+(3k−1)=2k(3k+1)
. We now add 3(k+1)−1 to both sides of this equation. This gives
2+5+8+⋯+(3k−1)+3(k+1)−1=2k(3k+1)+(3(k+1)−1)=2k(3k+1)+(3k+2)
If we now combine the terms on the right side of the equation into a single fraction, we obtain
2+5+⋯+(3k−1)+3(k+1)−1=2k(3k+1)+6k+4=23k2+7k+4=2(k+1)(3k+4)=2(k+1)(3(k+1)+1)
This proves that if P(k) is true, then P(k+1) is true.