Logic & ProofsTopic #5 of 40

Mathematical Induction

Weak induction, strong induction, structural induction, and proving summation formulas.

Principle of Mathematical Induction

To prove P(n)P(n) is true for all positive integers n≥n0n \geq n_0:

  1. Base Case: Prove P(n0)P(n_0) is true
  2. Inductive Step: Prove P(k)→P(k+1)P(k) \rightarrow P(k+1) for all k≥n0k \geq n_0

Why It Works

  • Base case establishes P(n0)P(n_0)
  • Inductive step gives: P(n0)→P(n0+1)→P(n0+2)→⋯P(n_0) \rightarrow P(n_0+1) \rightarrow P(n_0+2) \rightarrow \cdots
  • Like dominoes falling!

Template for Weak Induction

Theorem: For all n≥n0n \geq n_0, P(n)P(n).

Proof by induction:

Base Case: [Verify P(n0)P(n_0)]

Inductive Hypothesis: Assume P(k)P(k) is true for some k≥n0k \geq n_0.

Inductive Step: We must show P(k+1)P(k+1). [Use the hypothesis to prove P(k+1)P(k+1)]

Therefore, by mathematical induction, P(n)P(n) holds for all n≥n0n \geq n_0. □\square

Example 1: Sum Formula

Theorem: For all n≥1n \geq 1:

∑i=1ni=1+2+⋯+n=n(n+1)2\sum_{i=1}^{n} i = 1 + 2 + \cdots + n = \frac{n(n+1)}{2}

Proof:

Base Case (n=1n = 1):

  • Left side: ∑i=11i=1\sum_{i=1}^{1} i = 1
  • Right side: 1(2)2=1\frac{1(2)}{2} = 1 ✓

Inductive Hypothesis: Assume for some k≥1k \geq 1: ∑i=1ki=k(k+1)2\sum_{i=1}^{k} i = \frac{k(k+1)}{2}

Inductive Step: Show it holds for k+1k + 1:

∑i=1k+1i=∑i=1ki+(k+1)\sum_{i=1}^{k+1} i = \sum_{i=1}^{k} i + (k+1) =k(k+1)2+(k+1) (by IH)= \frac{k(k+1)}{2} + (k+1) \text{ (by IH)} =k(k+1)+2(k+1)2= \frac{k(k+1) + 2(k+1)}{2} =(k+1)(k+2)2= \frac{(k+1)(k+2)}{2} =(k+1)((k+1)+1)2= \frac{(k+1)((k+1)+1)}{2} ✓ □\square

Example 2: Inequality

Theorem: For all n≥4n \geq 4: 2n<n!2^n < n!

Proof:

Base Case (n=4n = 4): 24=16<24=4!2^4 = 16 < 24 = 4! ✓

Inductive Hypothesis: Assume 2k<k!2^k < k! for some k≥4k \geq 4.

Inductive Step: 2k+1=2⋅2k<2⋅k! (by IH)2^{k+1} = 2 \cdot 2^k < 2 \cdot k! \text{ (by IH)} <(k+1)⋅k!=(k+1)!< (k+1) \cdot k! = (k+1)! ✓

(Since k≥4k \geq 4, we have k+1>2k + 1 > 2) □\square

Strong Induction

Instead of assuming only P(k)P(k), assume P(n0),P(n0+1),…,P(k)P(n_0), P(n_0+1), \ldots, P(k) are all true.

Template

Base Case: Prove P(n0)P(n_0) (and possibly more base cases)

Inductive Hypothesis: Assume P(j)P(j) is true for all n0≤j≤kn_0 \leq j \leq k.

Inductive Step: Prove P(k+1)P(k+1) using any of P(n0),…,P(k)P(n_0), \ldots, P(k).

Example: Fundamental Theorem of Arithmetic

Theorem: Every integer n>1n > 1 can be written as a product of primes.

Proof (by strong induction):

Base Case (n=2n = 2): 2 is prime, so it's a product of one prime ✓

Inductive Hypothesis: Every integer jj with 2≤j≤k2 \leq j \leq k can be written as a product of primes.

Inductive Step: Consider k+1k + 1.

  • If k+1k + 1 is prime, we're done
  • If k+1k + 1 is composite: k+1=abk + 1 = ab where 2≤a,b<k+12 \leq a, b < k + 1
  • By IH, both aa and bb are products of primes
  • Therefore k+1=abk + 1 = ab is a product of primes □\square

Structural Induction

Used for recursively defined structures (trees, lists, etc.).

Example: Binary Trees

To prove property PP for all binary trees:

  1. Base: Prove PP for empty tree and single-node tree
  2. Inductive: Assume PP for trees T1T_1 and T2T_2, prove for combined tree

Common Summation Formulas

∑i=1ni=n(n+1)2\sum_{i=1}^{n} i = \frac{n(n+1)}{2}

∑i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}

∑i=1ni3=(n(n+1)2)2\sum_{i=1}^{n} i^3 = \left(\frac{n(n+1)}{2}\right)^2

∑i=0nri=rn+1−1r−1 for r≠1\sum_{i=0}^{n} r^i = \frac{r^{n+1} - 1}{r - 1} \text{ for } r \neq 1

∑i=0n2i=2n+1−1\sum_{i=0}^{n} 2^i = 2^{n+1} - 1

Tips for Induction Proofs

  1. Identify what you're proving: P(n)=?P(n) = ?
  2. Determine base case(s)
  3. Write the inductive hypothesis clearly
  4. In the inductive step, look for where to apply the hypothesis
  5. For strong induction, you can use any previous cases