Skip to content
Part IA Michaelmas, Lent Term

Principles of Induction

Simple Induction

Principle

To prove nN.P(n)\forall n \in \mathbb{N}. P(n):

  1. Base case: Prove P(0)P(0)
  2. Inductive step: Prove that for arbitrary nNn \in \mathbb{N}, P(n)P(n+1)P(n) \Rightarrow P(n+1)

If both hold, then by the principle of mathematical induction, P(n)P(n) is true for all nNn \in \mathbb{N}.

Why It Works

Induction is justified by the well-ordering of N\mathbb{N}.

Suppose P(0)P(0) holds and P(n)P(n+1)P(n) \Rightarrow P(n+1) for all nn, but some kk fails P(k)P(k).

Let S={nN:¬P(n)}S = \{n \in \mathbb{N} : \neg P(n)\}. By assumption, SS \neq \emptyset.

By well-ordering, SS has a least element mm.

Since P(0)P(0) holds, m>0m > 0.

Thus m1Nm - 1 \in \mathbb{N} and m1Sm - 1 \notin S, so P(m1)P(m-1) holds.

By the inductive step, P(m)P(m) holds. Contradiction.

Example: Sum Formula

Statement: i=0n1i=n(n1)2\displaystyle\sum_{i=0}^{n-1} i = \frac{n(n-1)}{2} for all nNn \in \mathbb{N}.

Base case (n=0n = 0): Empty sum = 0. And 0(1)2=0\frac{0 \cdot (-1)}{2} = 0.

Inductive step: Assume i=0n1i=n(n1)2\displaystyle\sum_{i=0}^{n-1} i = \frac{n(n-1)}{2}.

Then: i=0ni=n(n1)2+n=n(n1)+2n2=n(n+1)2\sum_{i=0}^{n} i = \frac{n(n-1)}{2} + n = \frac{n(n-1) + 2n}{2} = \frac{n(n+1)}{2}

This is (n+1)(n)2\frac{(n+1)(n)}{2}, establishing P(n+1)P(n+1).

Induction from a Basis

Principle

To prove nk.P(n)\forall n \geq k. P(n) for some fixed kk:

  1. Base case: Prove P(k)P(k)
  2. Inductive step: Prove P(n)P(n+1)P(n) \Rightarrow P(n+1) for arbitrary nkn \geq k

When to Use

When the property P(n)P(n) is only meaningful or true for nkn \geq k.

Example

Statement: 2n>n22^n > n^2 for all n5n \geq 5.

Base case (n=5n = 5): 25=32>25=522^5 = 32 > 25 = 5^2.

Inductive step: Assume 2n>n22^n > n^2 for n5n \geq 5.

Then 2n+1=22n>2n22^{n+1} = 2 \cdot 2^n > 2n^2.

For n5n \geq 5: 2n2(n+1)2=2n2n22n1=n22n125101=14>02n^2 - (n+1)^2 = 2n^2 - n^2 - 2n - 1 = n^2 - 2n - 1 \geq 25 - 10 - 1 = 14 > 0.

So 2n2>(n+1)22n^2 > (n+1)^2, giving 2n+1>(n+1)22^{n+1} > (n+1)^2.

Strong Induction

Principle

To prove nN.P(n)\forall n \in \mathbb{N}. P(n):

  1. Inductive step: Prove that for arbitrary nn: (m<n.P(m))P(n)\left(\forall m < n. P(m)\right) \Rightarrow P(n)

No explicit base case needed: when n=0n = 0, the hypothesis "m<0.P(m)\forall m < 0. P(m)" is vacuously true.

When to Use

When proving P(n)P(n) requires multiple previous cases, not just P(n1)P(n-1).

Example: Fibonacci

The Fibonacci sequence: F0=0F_0 = 0, F1=1F_1 = 1, Fn+1=Fn+Fn1F_{n+1} = F_n + F_{n-1}.

Statement: Fn<2nF_n < 2^n for all nNn \in \mathbb{N}.

Strong induction:

Assume m<n.Fm<2m\forall m < n. F_m < 2^m.

If n1n \leq 1: F0=0<1=20F_0 = 0 < 1 = 2^0 and F1=1<2=21F_1 = 1 < 2 = 2^1.

For n2n \geq 2: Fn=Fn1+Fn2<2n1+2n2=342n<2nF_n = F_{n-1} + F_{n-2} < 2^{n-1} + 2^{n-2} = \frac{3}{4} \cdot 2^n < 2^n

Common Pitfalls

Wrong Inductive Hypothesis

Trap: Assuming P(n1)P(n-1) when P(n2)P(n-2) is also needed.

This happens in Fibonacci-style recurrences. Use strong induction instead.

Forgetting the Base Case

Trap: Proving P(n)P(n+1)P(n) \Rightarrow P(n+1) without checking PP holds somewhere.

Assuming What You Prove

Trap: The inductive step must assume P(n)P(n) and derive P(n+1)P(n+1).

Do not assume P(n+1)P(n+1).

Inductive Step Fails for Small nn

Trap: Check the inductive step works for the transition from base case.

Example of Failure

False claim: All horses are the same colour.

“Proof” by induction on herd size nn:

  • Base (n=1n = 1): Trivial.
  • Inductive step: If all horses in a herd of nn have the same colour, then in a herd of n+1n+1:
    • First nn horses have same colour (by IH)
    • Last nn horses have same colour (by IH)
    • Therefore all n+1n+1 horses have same colour.

Error: When n=1n = 1, there is no overlap between “first nn” and “last nn” (both are single horses). The argument fails.


Summary

  • Simple induction: prove P(0)P(0), then P(n)P(n+1)P(n) \Rightarrow P(n+1)
  • Induction from basis: P(k)P(k), then P(n)P(n+1)P(n) \Rightarrow P(n+1) for nkn \geq k
  • Strong induction: (m<n.P(m))P(n)(\forall m < n. P(m)) \Rightarrow P(n)
  • Strong induction needed for recurrences depending on multiple predecessors