🎯 Key Points
- Two steps, both required: Base case (verify P(1), or the relevant starting value) + Inductive step (assume P(k) true, PROVE P(k+1) true using that assumption)
- The inductive hypothesis "assume P(k) is true" is NOT circular reasoning — it's a conditional assumption used only to prove the NEXT case, not the original claim itself
- If a statement is only true from some n=m onward (not from n=1), the base case starts at m, not 1 — always check where the pattern actually begins
Mathematical induction works like a row of dominoes: proving the base case P(1) tips the first domino, and proving the inductive step (P(k) ⟹ P(k+1)) guarantees each domino knocks over the next — together these two facts guarantee ALL dominoes fall, without checking each one individually.
The Principle of Mathematical Induction
Mathematical induction is a method of proving that a statement P(n) is true for every natural number n, without checking each value one by one. It relies on a domino-like idea: if the first domino falls, and every domino that falls knocks down the next one, then all the dominoes eventually fall.
The Two Steps of a Proof
- Base case (Step 1): Show that the statement P(n) is true for the smallest value of n (usually n = 1). This is the first domino falling.
- Inductive step (Step 2): Assume P(k) is true for some arbitrary natural number k (this assumption is called the inductive hypothesis). Using this assumption, prove that P(k+1) is also true.
- If both steps hold, P(n) is true for all natural numbers n greater than or equal to the base case value.
Writing a Clean Induction Proof
A well-structured proof always follows the same template:
- State P(n) clearly as the statement to be proved.
- Verify P(1) (or the relevant starting value) directly by substitution.
- Write "Assume P(k) is true," and state exactly what that assumption says.
- Use the assumption to build up P(k+1), usually by adding or manipulating the (k+1)th term.
- Conclude: "Hence, by the principle of mathematical induction, P(n) is true for all natural numbers n."
Application: Summation Formulas
Induction is commonly used to prove formulas like 1 + 2 + 3 + ... + n = n(n+1)/2. The base case checks n = 1 (1 = 1). The inductive step assumes 1 + 2 + ... + k = k(k+1)/2, then adds (k+1) to both sides to show the sum up to (k+1) equals (k+1)(k+2)/2.
Application: Divisibility Proofs
Induction proves statements like "n³ - n is divisible by 6 for all natural numbers n." The inductive step typically expresses (k+1)³ - (k+1) in terms of k³ - k plus extra terms, then shows the extra terms are also divisible by the required number, so the whole expression remains divisible.
Application: Inequality Proofs
Induction can also prove inequalities such as 2^n > n for all natural numbers n, or n! > 2^n for n ≥ 4. Here the base case may start at a value other than 1 if the statement only becomes true from that point onward, and the inductive step shows that if the inequality holds for k, multiplying or adding suitable terms preserves it for k+1.
Generalized Principle: Base Case at n = m
Many statements only become true from some value n = m onward, not from n = 1. The principle adapts directly: verify the base case P(m), prove P(k) ⟹ P(k+1) for k ≥ m, and conclude P(n) holds for all n ≥ m.
- 2ⁿ > n² is false for n = 2, 3, 4 but true for n ≥ 5 — so the base case must start at n = 5.
- n! > 2ⁿ is true only for n ≥ 4, so P(4) is the base case.
- Always test small values first to locate where the pattern actually begins; using the wrong starting value invalidates the proof.
Why Both Steps Are Essential
Neither step alone is enough — each guards against a different failure:
- Inductive step without a base case: the implication "P(k) ⟹ P(k+1)" can hold for a statement that is never actually true. For example, "n = n + 1" satisfies P(k) ⟹ P(k+1) (add 1 to both sides), yet it is false for every n because no base case ever holds — no domino is ever tipped.
- Base case without an inductive step: P(1) being true says nothing about P(2), P(3), … . For instance n² + n + 41 is prime for n = 0, 1, 2, …, 39 (many base checks pass) but fails at n = 40, showing that verifying finitely many cases can never replace the inductive step.
Common Pitfalls in Induction Proofs
- Skipping or mis-stating the base case: forgetting to check the smallest value, or checking the wrong starting value when the statement only holds from n = m.
- Not using the inductive hypothesis: a valid inductive step must actually invoke "P(k) is true"; re-proving P(k+1) from scratch is not induction.
- Assuming what is to be proved: the hypothesis assumes P(k), not P(k+1) — writing the (k+1) statement as if already known is circular.
- Reversing the target: you must transform the P(k) expression into the P(k+1) expression, not manipulate P(k+1) down to something obviously true, unless every step is reversible.
- Losing track of the added term: in summation proofs, add exactly the (k+1)th term to both sides and simplify carefully to the closed form for k+1.
🚀 JEE Advanced Edge
Strong induction vs simple induction: Simple induction assumes only P(k) to prove P(k+1); strong induction assumes P(1), P(2), ..., P(k) ALL hold to prove P(k+1) — needed for statements where the (k+1)th case depends on multiple earlier cases at once (e.g. proving every integer >1 has a prime factorization, which may need to reference a factor much smaller than k, not just k itself).
Why induction proves a formula holds for all n but doesn't explain WHY it's true: Induction is a verification technique, not a discovery technique — it confirms a previously guessed formula is correct for every n, but provides no insight into where the formula came from. This is why JEE problems pair induction with direct derivation methods (telescoping, generating functions) when the goal is to find a formula rather than just confirm one.
Worked problem: Prove by induction that n³-n is divisible by 6 for all natural numbers n≥1. Approach: Base case n=1: 1³-1=0, divisible by 6. Inductive step: assume k³-k is divisible by 6. Consider (k+1)³-(k+1) = k³+3k²+3k+1-k-1 = (k³-k)+3k²+3k = (k³-k)+3k(k+1). Since k³-k is divisible by 6 (inductive hypothesis) and k(k+1) is a product of consecutive integers (always even, so 3k(k+1) is divisible by 6), the sum (k³-k)+3k(k+1) is divisible by 6. Hence P(k+1) holds, completing the proof.
Worked Example: Proving a Summation Formula
Prove by induction that 1 + 3 + 5 + … + (2n−1) = n² for all n ≥ 1.
Base case (n=1): LHS = 1, RHS = 1² = 1. ✓
Inductive step: Assume 1 + 3 + … + (2k−1) = k². Add the next odd number (2k+1) to both sides: LHS becomes 1+3+…+(2k−1)+(2k+1). By the hypothesis, this equals k² + (2k+1) = (k+1)². So P(k+1) holds. By induction, the formula is proved for all n ≥ 1. Every PMI proof has exactly these two parts — never skip the base case.