The Principle of Mathematical Induction (PMI) is a proof technique used to establish that a statement is true for all natural numbers (or for all integers ).
It is conceptually similar to a chain of falling dominoes: if the first domino falls, and each domino knocks down the next one, then all dominoes will eventually fall.
A complete proof by induction has three parts:
Prove that is true, where is the smallest value in the domain (usually , but sometimes depending on the statement).
Example: If proving , the statement only holds for , so the basis step is checked at .
Assume that is true for some arbitrary natural number . This assumption is called the Inductive Hypothesis.
Using the inductive hypothesis, prove that is also true. That is, show:
Once both steps are complete, by the Principle of Mathematical Induction, is true for all .
To prove :
Example: Prove
Basis (): LHS , RHS . ✓
Inductive Hypothesis: Assume .
Inductive Step: Show it holds for : This is exactly . ✓
To prove :
To prove that an expression is divisible by some integer :
Example: Prove is divisible by for all .
Basis (): , which is divisible by . ✓
Inductive Hypothesis: Assume , i.e., for some integer .
Inductive Step: Since is an integer, . ✓
To prove or :
In the inductive step for summation proofs, the key move is: Substitute the inductive hypothesis for , then factor or simplify to match the formula with replaced by .
| Step | What to Do |
|---|---|
| Basis Step | Verify directly |
| Inductive Hypothesis | Assume is true |
| Inductive Step | Prove |
| Conclusion | is true for all |