Mathematical Induction — Proving Infinite Truths

Learn mathematical induction with clear explanations, worked examples, and practice problems.

CBSE JEE-MAIN NEET 10 min read

The Big Idea

How do you prove that a statement is true for every natural number — not just 1, 2, 3, but ALL of them, infinitely many?

Mathematical induction is the answer. It’s like a chain of dominoes: you show that the first domino falls (base case), and that whenever one domino falls, the next one falls too (inductive step). Then every domino must eventually fall.

This chapter appears in CBSE Class 11 (Chapter 4) and is straightforward once you get the format right. JEE Main rarely tests pure induction but the technique underlies many proofs across topics.


The Principle

The Principle of Mathematical Induction (PMI) states:

Let P(n)P(n) be a statement involving the natural number nn. If:

  1. Base case: P(1)P(1) is true (or P(n0)P(n_0) for some starting value n0n_0)
  2. Inductive step: Whenever P(k)P(k) is true for some arbitrary k1k \geq 1, then P(k+1)P(k+1) is also true

Then P(n)P(n) is true for all natural numbers n1n \geq 1 (or nn0n \geq n_0).

The structure of every induction proof is identical. Learn it like a template: (1) State P(n)P(n). (2) Verify P(1)P(1). (3) Assume P(k)P(k) (the inductive hypothesis). (4) Prove P(k+1)P(k+1) using the assumption. (5) Conclude. Never deviate from this structure.


Strong vs Weak Induction

Weak (simple) induction: Assumes P(k)P(k) is true to prove P(k+1)P(k+1).

Strong induction: Assumes P(1),P(2),,P(k)P(1), P(2), \ldots, P(k) are all true to prove P(k+1)P(k+1). Useful when P(k+1)P(k+1) depends not just on P(k)P(k) but on multiple earlier cases (e.g., Fibonacci-type recurrences).

For CBSE and most JEE problems, weak induction suffices.


Worked Examples

Example 1 — Sum Formula (CBSE Classic)

Prove: 1+2+3++n=n(n+1)21 + 2 + 3 + \cdots + n = \dfrac{n(n+1)}{2} for all nNn \in \mathbb{N}.

Step 1: State P(n)P(n)

P(n):k=1nk=n(n+1)2P(n): \displaystyle\sum_{k=1}^{n} k = \frac{n(n+1)}{2}

Step 2: Base Case — P(1)P(1)

LHS =1= 1. RHS =1×22=1= \dfrac{1 \times 2}{2} = 1. LHS = RHS, so P(1)P(1) is true. ✓

Step 3: Inductive Hypothesis

Assume P(k)P(k) is true for some k1k \geq 1:

1+2++k=k(k+1)21 + 2 + \cdots + k = \frac{k(k+1)}{2}

Step 4: Prove P(k+1)P(k+1)

We need to show: 1+2++k+(k+1)=(k+1)(k+2)21 + 2 + \cdots + k + (k+1) = \dfrac{(k+1)(k+2)}{2}

Starting from the left:

1+2++k+(k+1)=k(k+1)2+(k+1)1 + 2 + \cdots + k + (k+1) = \frac{k(k+1)}{2} + (k+1) =(k+1)(k2+1)=(k+1)k+22=(k+1)(k+2)2= (k+1)\left(\frac{k}{2} + 1\right) = (k+1) \cdot \frac{k+2}{2} = \frac{(k+1)(k+2)}{2}

This is exactly the RHS of P(k+1)P(k+1). ✓

Step 5: Conclusion

By the Principle of Mathematical Induction, P(n)P(n) is true for all nNn \in \mathbb{N}.


Example 2 — Sum of Squares

Prove: 12+22++n2=n(n+1)(2n+1)61^2 + 2^2 + \cdots + n^2 = \dfrac{n(n+1)(2n+1)}{6} for all nNn \in \mathbb{N}.

Base case (n=1n=1): LHS =1= 1, RHS =1236=1= \dfrac{1 \cdot 2 \cdot 3}{6} = 1. ✓

Inductive hypothesis: Assume k=1mk2=m(m+1)(2m+1)6\displaystyle\sum_{k=1}^{m} k^2 = \frac{m(m+1)(2m+1)}{6} for some m1m \geq 1.

Inductive step: Show the formula holds for m+1m+1.

k=1m+1k2=m(m+1)(2m+1)6+(m+1)2\sum_{k=1}^{m+1} k^2 = \frac{m(m+1)(2m+1)}{6} + (m+1)^2 =(m+1)[m(2m+1)6+(m+1)]= (m+1)\left[\frac{m(2m+1)}{6} + (m+1)\right] =(m+1)m(2m+1)+6(m+1)6= (m+1) \cdot \frac{m(2m+1) + 6(m+1)}{6} =(m+1)2m2+m+6m+66=(m+1)2m2+7m+66= (m+1) \cdot \frac{2m^2 + m + 6m + 6}{6} = (m+1) \cdot \frac{2m^2 + 7m + 6}{6} =(m+1)(m+2)(2m+3)6=(m+1)[(m+1)+1][2(m+1)+1]6= \frac{(m+1)(m+2)(2m+3)}{6} = \frac{(m+1)\bigl[(m+1)+1\bigr]\bigl[2(m+1)+1\bigr]}{6}

This is P(m+1)P(m+1). ✓ Conclusion: true for all nNn \in \mathbb{N}.


Example 3 — Divisibility Proof

Prove: 7n17^n - 1 is divisible by 6 for all nNn \in \mathbb{N}.

Base case (n=1n=1): 711=6=6×17^1 - 1 = 6 = 6 \times 1. Divisible by 6. ✓

Inductive hypothesis: Assume 6(7k1)6 \mid (7^k - 1), i.e., 7k1=6m7^k - 1 = 6m for some integer mm.

So 7k=6m+17^k = 6m + 1.

Inductive step: Show 6(7k+11)6 \mid (7^{k+1} - 1).

7k+11=77k1=7(6m+1)1=42m+71=42m+6=6(7m+1)7^{k+1} - 1 = 7 \cdot 7^k - 1 = 7(6m + 1) - 1 = 42m + 7 - 1 = 42m + 6 = 6(7m + 1)

Since 7m+17m + 1 is an integer, 6(7k+11)6 \mid (7^{k+1} - 1). ✓

Conclusion: 7n17^n - 1 is divisible by 6 for all nNn \in \mathbb{N}.


Example 4 — Inequality Proof (JEE Level)

Prove: 2n>n2^n > n for all nNn \in \mathbb{N}.

Base case (n=1n=1): 21=2>12^1 = 2 > 1. ✓

Inductive hypothesis: Assume 2k>k2^k > k for some k1k \geq 1.

Inductive step: Show 2k+1>k+12^{k+1} > k+1.

2k+1=22k>2k(using inductive hypothesis)2^{k+1} = 2 \cdot 2^k > 2k \quad \text{(using inductive hypothesis)}

We need 2k>k+12k > k+1, which means k>1k > 1. For k2k \geq 2, this is true.

For k=1k = 1 (base case already checked): 22=4>22^2 = 4 > 2. ✓

So for k1k \geq 1: 2k+1=22k>2kk+12^{k+1} = 2 \cdot 2^k > 2k \geq k + 1 (since k12kk+1k \geq 1 \Rightarrow 2k \geq k+1).

Therefore 2k+1>k+12^{k+1} > k+1. ✓ Conclusion holds for all n1n \geq 1.


Example 5 — De Moivre’s Theorem Preview

Prove: (cosθ+isinθ)n=cos(nθ)+isin(nθ)(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta) for all nNn \in \mathbb{N}.

Base case (n=1n=1): (cosθ+isinθ)1=cosθ+isinθ=cos(1θ)+isin(1θ)(\cos\theta + i\sin\theta)^1 = \cos\theta + i\sin\theta = \cos(1\cdot\theta) + i\sin(1\cdot\theta). ✓

Inductive hypothesis: Assume (cosθ+isinθ)k=cos(kθ)+isin(kθ)(\cos\theta + i\sin\theta)^k = \cos(k\theta) + i\sin(k\theta).

Inductive step:

(cosθ+isinθ)k+1=(cosθ+isinθ)k(cosθ+isinθ)(\cos\theta + i\sin\theta)^{k+1} = (\cos\theta + i\sin\theta)^k \cdot (\cos\theta + i\sin\theta) =[cos(kθ)+isin(kθ)][cosθ+isinθ]= [\cos(k\theta) + i\sin(k\theta)][\cos\theta + i\sin\theta] =cos(kθ)cosθsin(kθ)sinθ+i[cos(kθ)sinθ+sin(kθ)cosθ]= \cos(k\theta)\cos\theta - \sin(k\theta)\sin\theta + i[\cos(k\theta)\sin\theta + \sin(k\theta)\cos\theta] =cos(kθ+θ)+isin(kθ+θ)=cos((k+1)θ)+isin((k+1)θ)= \cos(k\theta + \theta) + i\sin(k\theta + \theta) = \cos((k+1)\theta) + i\sin((k+1)\theta)

This is P(k+1)P(k+1). ✓ De Moivre’s theorem is proved.


Common Mistakes to Avoid

Mistake 1: Proving only the base case and claiming the result is proved. The inductive step is mandatory. Without it, you’ve only checked one value — not all infinitely many.

Mistake 2: In the inductive step, assuming what you want to prove (circular reasoning). The correct flow is: assume P(k)P(k) → then prove P(k+1)P(k+1). Never start by assuming P(k+1)P(k+1) is true.

Mistake 3: Forgetting to state the inductive hypothesis explicitly. CBSE examiners mark off for missing “Assume P(k)P(k) is true” — even if the rest of the proof is correct.

Mistake 4: In divisibility proofs, not substituting properly. When P(k)P(k) says 6(7k1)6 \mid (7^k - 1), write 7k=6m+17^k = 6m + 1 explicitly before working on 7k+17^{k+1}. Algebraic substitution is the key step that most students skip.

Mistake 5: Ending the proof without a conclusion. Always write “By the Principle of Mathematical Induction, P(n)P(n) is true for all nNn \in \mathbb{N}.” This closing line is required in CBSE for full marks.


Practice Questions

Q1. Prove by induction: 1+3+5++(2n1)=n21 + 3 + 5 + \cdots + (2n-1) = n^2.

Base: n=1n=1: LHS = 1, RHS = 1. ✓. Assume 1+3++(2k1)=k21+3+\cdots+(2k-1) = k^2. Add (2k+1)(2k+1): LHS = k2+(2k+1)=(k+1)2k^2 + (2k+1) = (k+1)^2 = RHS for n=k+1n=k+1. ✓ Sum of first nn odd numbers = n2n^2.

Q2. Prove: n3+2nn^3 + 2n is divisible by 3 for all nNn \in \mathbb{N}.

Base: 13+2(1)=31^3 + 2(1) = 3, divisible by 3. ✓ Assume k3+2k=3mk^3 + 2k = 3m. (k+1)3+2(k+1)=k3+3k2+3k+1+2k+2=(k3+2k)+3k2+3k+3=3m+3(k2+k+1)=3(m+k2+k+1)(k+1)^3 + 2(k+1) = k^3 + 3k^2 + 3k + 1 + 2k + 2 = (k^3 + 2k) + 3k^2 + 3k + 3 = 3m + 3(k^2 + k + 1) = 3(m + k^2 + k + 1). Divisible by 3. ✓

Q3. Prove: 2nn+12^n \geq n+1 for all n1n \geq 1.

Base: 21=22=1+12^1 = 2 \geq 2 = 1+1. ✓ Assume 2kk+12^k \geq k+1. Then 2k+1=22k2(k+1)=2k+2k+2=(k+1)+12^{k+1} = 2 \cdot 2^k \geq 2(k+1) = 2k+2 \geq k+2 = (k+1)+1 (since k1k \geq 1 gives 2k+2k+22k+2 \geq k+2). ✓

Q4. Prove by induction: 12+23++n(n+1)=n(n+1)(n+2)31 \cdot 2 + 2 \cdot 3 + \cdots + n(n+1) = \dfrac{n(n+1)(n+2)}{3}.

Base (n=1n=1): LHS = 1×2 = 2, RHS = 1233=2\frac{1 \cdot 2 \cdot 3}{3} = 2. ✓ Assume true for kk. Adding (k+1)(k+2)(k+1)(k+2): k(k+1)(k+2)3+(k+1)(k+2)=(k+1)(k+2)(k3+1)=(k+1)(k+2)k+33=(k+1)(k+2)(k+3)3\frac{k(k+1)(k+2)}{3} + (k+1)(k+2) = (k+1)(k+2)\left(\frac{k}{3}+1\right) = (k+1)(k+2)\cdot\frac{k+3}{3} = \frac{(k+1)(k+2)(k+3)}{3}. ✓


FAQs

Can induction be used to prove something false? If you make an error in the inductive step, you can “prove” false statements. A famous example is the “all horses are the same colour” pseudo-proof, where the inductive step secretly fails at n=2n=2. This is why carefully writing out the proof step-by-step matters.

What’s the difference between proof by induction and proof by contradiction? Induction proves statements about all natural numbers by establishing a chain of implications. Contradiction assumes the statement is false and derives a logical impossibility. Both are valid proof techniques; the right one depends on the problem structure. Induction shines for recursive formulas and divisibility; contradiction works well for irrationality proofs.

What if the base case is n=0n = 0 or n=2n = 2? The base case doesn’t have to be n=1n = 1. If you want to prove P(n)P(n) for all n0n \geq 0, your base case is P(0)P(0). If the statement only holds for n2n \geq 2, start with P(2)P(2) as the base case. The conclusion then reads “true for all n2n \geq 2.”

Does induction prove a formula or discover it? Induction only proves a formula — it cannot discover it. You must already know (or guess) the formula before using induction. Discovery usually comes from pattern observation or other techniques (like the Gauss trick for sum of natural numbers).

Is there a “backward” version of induction? Yes — “downward induction” starts from a large value and proves the statement for smaller values. This is rarely tested in CBSE/JEE but is used in some advanced proofs (like AM-GM for all nn using Cauchy’s forward-backward induction).


Additional Worked Examples

Example 6 — Product formula

Prove: (1+11)(1+12)(1+1n)=n+1\left(1 + \frac{1}{1}\right)\left(1 + \frac{1}{2}\right)\cdots\left(1 + \frac{1}{n}\right) = n + 1 for all nNn \in \mathbb{N}.

Base case (n=1n=1): (1+11)=2=1+1\left(1 + \frac{1}{1}\right) = 2 = 1 + 1. ✓

Inductive hypothesis: Assume the product up to kk equals k+1k + 1.

Inductive step: Multiply both sides by (1+1k+1)\left(1 + \frac{1}{k+1}\right):

(k+1)×(1+1k+1)=(k+1)×k+2k+1=k+2=(k+1)+1(k+1) \times \left(1 + \frac{1}{k+1}\right) = (k+1) \times \frac{k+2}{k+1} = k+2 = (k+1) + 1

This is P(k+1)P(k+1). ✓

Example 7 — Recurrence relation

Prove: If a1=1a_1 = 1 and an+1=2an+1a_{n+1} = 2a_n + 1, then an=2n1a_n = 2^n - 1 for all n1n \geq 1.

Base case: a1=211=1a_1 = 2^1 - 1 = 1. ✓

Inductive hypothesis: ak=2k1a_k = 2^k - 1.

Inductive step: ak+1=2ak+1=2(2k1)+1=2k+12+1=2k+11a_{k+1} = 2a_k + 1 = 2(2^k - 1) + 1 = 2^{k+1} - 2 + 1 = 2^{k+1} - 1. ✓

For recurrence relation proofs, the inductive step always substitutes the hypothesis into the recurrence formula. The pattern: assume the closed form for kk, plug into the recurrence to get the closed form for k+1k+1.

Common Induction Patterns in JEE

PatternExampleKey technique
Sum formulask=n(n+1)/2\sum k = n(n+1)/2Add (k+1)(k+1) to both sides
Divisibility7n17^n - 1 divisible by 6Write 7k=6m+17^k = 6m + 1
Inequalities2n>n2^n > nUse 2kk+12k \geq k+1 for k1k \geq 1
Products(1+1)(1+1/2)=n+1(1+1)(1+1/2)\cdots = n+1Multiply both sides
Recurrencesan+1=2an+1a_{n+1} = 2a_n + 1Substitute closed form

Additional Practice Questions

Q5. Prove: 112+123++1n(n+1)=nn+1\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \cdots + \frac{1}{n(n+1)} = \frac{n}{n+1}.

Base (n=1n=1): 12=12\frac{1}{2} = \frac{1}{2}. ✓

Assume i=1k1i(i+1)=kk+1\sum_{i=1}^{k} \frac{1}{i(i+1)} = \frac{k}{k+1}. Add 1(k+1)(k+2)\frac{1}{(k+1)(k+2)}:

kk+1+1(k+1)(k+2)=k(k+2)+1(k+1)(k+2)=k2+2k+1(k+1)(k+2)=(k+1)2(k+1)(k+2)=k+1k+2\frac{k}{k+1} + \frac{1}{(k+1)(k+2)} = \frac{k(k+2) + 1}{(k+1)(k+2)} = \frac{k^2+2k+1}{(k+1)(k+2)} = \frac{(k+1)^2}{(k+1)(k+2)} = \frac{k+1}{k+2}. ✓

Q6. Prove that n!>2nn! > 2^n for all n4n \geq 4.

Base (n=4n=4): 4!=24>16=244! = 24 > 16 = 2^4. ✓

Assume k!>2kk! > 2^k for some k4k \geq 4.

(k+1)!=(k+1)k!>(k+1)2k22k=2k+1(k+1)! = (k+1) \cdot k! > (k+1) \cdot 2^k \geq 2 \cdot 2^k = 2^{k+1} (since k+15>2k+1 \geq 5 > 2). ✓

Practice Questions