MathipediaThe free math encyclopedia

Induction

Read first

Induction is a technique used to prove statements, where you need to prove a base case and the base+1 case. It can be thought of like a ladder or staircase, where you need to prove the first step and then prove how to get to the next step.

One way of showing the idea of induction is this:

1. Prove the base case P(1)2. nN:P(n)    P(n+1)\begin{align} & 1.\ \text{Prove the base case } P(1) \\ & 2.\ \forall n \in \Bbb N : P(n) \implies P(n+1) \end{align}

If we can prove the base case and that P(n)    P(n+1)P(n) \implies P(n+1) then we can show that we can get on the ladder and that each step will lead to the next.

Theorem

The set of natural numbers N={1,2,3,}\Bbb N = \{ 1,2,3,\dots \} has an ordering, meaning that each subsequent element is larger than the prior.

Axiom: Well ordering property of N\Bbb N.

 If SN and Sϕ then S has a smallest element.xS, yS:xy\begin{align} & \text{ If } S \subset \Bbb N \text{ and } S \neq \phi \text{ then } S \text{ has a smallest element.} \\ & \exists x\in S,\ \forall y\in S: x\leq y \end{align}

Let P(n)P(n) be a statement depending on nNn\in \Bbb N. Assume the following:

  1. Base case: P(1)P(1) is true
  2. Inductive step: If P(m)P(m) is true then P(m+1)P(m+1) is true Then P(n)P(n) is true for all nNn \in \Bbb N.

Example Proof

Prove the following:

1+2+3++n=x=1nx=n(n+1)21+2+3+\dots+n=\sum_{x=1}^nx=\frac{n(n+1)}{2}

We proceed by induction. The base case of n=1n=1:

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

We use the inductive step to show the (n+1)(n+1)-th case. Assume P(n)P(n) holds, then:

1+2+3++n+(n+1)=n(n+1)2+(n+1)inductive hypothesis=n(n+1)+2(n+1)2common denominator=(n+1)(n+2)2factor out (n+1)=(n+1)((n+1)+1)2=P(n+1)\begin{align} 1+2+3+\dots+n+(n+1) &= \frac{n(n+1)}{2}+(n+1) &&\quad \text{inductive hypothesis} \\[4pt] &= \frac{n(n+1)+2(n+1)}{2} &&\quad \text{common denominator} \\[4pt] &= \frac{(n+1)(n+2)}{2} &&\quad \text{factor out } (n+1) \\[4pt] &= \frac{(n+1)\big((n+1)+1\big)}{2} &&\quad = P(n+1) \end{align}

Therefore x=1nx=n(n+1)2\sum_{x=1}^nx=\frac{n(n+1)}{2}.