The algebraic heart of induction is to rewrite the \(k+1\) case until the \(k\) case becomes visible. Only then may the induction hypothesis be substituted.
| Structure | Start the \(k+1\) case with | Where \(P(k)\) appears |
|---|---|---|
| Sum | \(\displaystyle\sum_{r=1}^{k+1}u_r=\sum_{r=1}^{k}u_r+u_{k+1}\) | The first \(k\) terms |
| Recurrence | Write the given rule for \(u_{k+1}\). | The occurrence of \(u_k\) |
| Divisibility | Rewrite the new expression using the old expression plus a visible multiple of the divisor. | A factor known to be divisible |
For a sum formula \(S_n=f(n)\), the target is \(S_{k+1}=f(k+1)\). After using \(S_{k+1}=S_k+u_{k+1}\) and the hypothesis \(S_k=f(k)\), all remaining work is ordinary algebra.
Do not replace every \(k\) by \(k+1\) in the induction hypothesis. The hypothesis is known only at \(k\); the proof must build the next case.
If \(S_n=1+2+\cdots+n\), write the first two lines of the \(k+1\) case and identify the precise moment when \(S_k\) may be replaced.
Need help? Join our JC Math tuition classes.
Learn more