Maths WorkshopMaths problems with full solutions
Exercise 252Logic, sets and proofs › Proof techniques › InductionHigh schoolAdded 3 Nov 2026

Proof by induction: sum of first $n$ integers

#induction#sum#integers

Statement

Prove by induction that ∑k=1nk=n(n+1)2\sum_{k=1}^{n}k=\frac{n(n+1)}{2} for all n≥1n\ge1.

Hint

Base case n=1n=1; inductive step: add n+1n+1 to both sides.

Show solutionHide solution

Solution

Base case. n=1n=1: ∑k=11k=1=1⋅22\sum_{k=1}^1k=1=\frac{1\cdot2}{2}. ✓

Inductive step. Assume ∑k=1nk=n(n+1)2\sum_{k=1}^{n}k=\frac{n(n+1)}{2}. Then
∑k=1n+1k=n(n+1)2+(n+1)=n(n+1)+2(n+1)2=(n+1)(n+2)2.\sum_{k=1}^{n+1}k=\frac{n(n+1)}{2}+(n+1)=\frac{n(n+1)+2(n+1)}{2}=\frac{(n+1)(n+2)}{2}.

Conclusion. By induction, the formula holds for all n≥1n\ge1.