Proving using patterns. It is technically a form of Proof By Direct Proof.
- Uses only a few base cases compared to PCI
- Assumption is weaker for Induction Hypothesis compared to PCI
Form
Base Case
- Write out represents …
- Let
- Proof of
Induction Step
- Let
- Suppose Induction Hypothesis
- Proof of
- Therefore, by induction holds for all
Analogies
Dominoes
If a domino falls, it will collapse the next one, which will collapse the next one. The reason why all of them fall is because any domino falling will collapse another one.
Examples
: the sum of the first odd positive integers is Prove: Proving base case:
- by definition:
- Then
- Then by definition of Proving induction step:
- Let be arbitrary
- Assume
- by definition:
- Then,
- Then,
- Then,
- Then, by 6, definition of
- Then, by 2, 7 implies
- Then, by 2, 7 implies
- Then, by 1, 9 universal gen