Proofs by induction
To prove a property is true for all positive integers , we:
- Basis step: Prove that is true.
- Inductive step: Prove that the conditional statement is true for all positive integers .
To complete the inductive step of a proof by induction,
- assume that is true for an arbitrary positive integer
- show that under this assumption, must also be true
The inductive hypothesis (IH) is the assumption that is true.
Example
Show that for every positive integer, , that .
- Basis step: is true, because .
- Inductive step: For the inductive hypothesis, we assume that holds for an arbitrary positive integer .
\begin{aligned} \boxed{1 + 2 + … + (k + 1)} &= (1 + 2 + … + k) + (k + 1) \ &\stackrel{\textsf{by IH}}{=} \frac{k(k+1)}{2} + (k + 1) \ &= \frac{k(k + 1) + 2(k + 1)}{2} \ &= \frac{(k + 2)(k + 1)}{2} \ &= \boxed{ \frac{ (k + 1)((k + 1) + 1) }{2} } \end{aligned}