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}