Mathematical Induction Notes
Mathematical Induction
Introduction
The core idea revolves around proving a statement is true for all nonnegative integers .
It's based on two key conditions:
Base Case: is true.
Inductive Step: For every nonnegative integer , if is true, then is true ().
Domino Analogy
Each domino represents a proposition .
Domino 0 corresponds to , Domino 1 to , and so on.
Knocking over a domino is akin to proving that the corresponding proposition holds true.
Examples
Sum of first n integers:
for each .
Sum of the first n odd integers:
for all .
Divisibility by 7:
is divisible by 7 for all .
Proof by Contradiction
Assume that both conditions of mathematical induction hold.
Suppose is not true for every nonnegative integer .
Then, there must exist an n such that P(n) is false.
Let be the smallest such integer (a "minimal criminal").
P(n)is false, butP(n-1) is true, which contradicts condition 2.
Detailed Example 1: Sum of First n Integers
Proposition:
Base Case
When , the left-hand side (LHS) is 0.
The right-hand side (RHS) is also 0.
Since LHS = RHS, the base case holds.
Inductive Case
Induction Hypothesis: Assume is true, i.e., .
Goal: Show that is true.
LHS of : .
Using the induction hypothesis:
This is the RHS of , so the inductive step holds.
Conditions for Mathematical Induction
Both conditions (base case and inductive step) are necessary.
If the base case fails (e.g., domino 0 is nailed to the floor), we cannot start the chain reaction.
If the inductive step fails (e.g., a large gap between dominos), the chain reaction will break.
Detailed Example 2: Sum of First n Odd Integers
Proposition: The sum of the first odd integers is for all .
Base Case
For , the sum of the first odd integer is 1, which is equal to .
Inductive Case
Let be some positive integer, and assume holds. That is:
We want to show that the sum of the first odd integers is .
Therefore, holds.
Detailed Example 3: Divisibility by 7
Proposition: is divisible by 7 for all .
Base Case
When , , which is divisible by 7. Thus, is true.
Inductive Case
Assume holds (i.e., is divisible by 7 for some ).
This means for some integer .
Now consider :
Since is an integer, is divisible by 7. Therefore, holds.