Proofs by Induction
๐ฑ What Is Proof by Induction?
Imagine you set up a long line of dominoes on the floor.
If:
- You push the first domino and it falls, and
- Each domino is placed so that whenever one falls, it knocks down the next,
then the entire chain will fall โ no matter how long it is.
Proof by induction works exactly the same way.
It has two parts: the base case and the induction step.
๐งฉ 1. Base Case
Here you show that the statement is true for the smallest value of n โ often n = 0 or n = 1.
This is like saying:
โLet me check that the first domino does indeed fall.โ
If the first step holds, youโre ready for the second part.
๐งฉ 2. Induction Step
Now you assume the statement is true for some value n = k.
This assumption is called the induction hypothesis.
Then you prove that the same statement must also be true for n = k + 1.
This part is like saying:
โIf the domino at position k falls, I can guarantee that it will push the next one.โ
Once you show this relationship, all steps become true automatically.
๐จ Simple Diagram (Original ASCII)
PROOF BY INDUCTION
------------------------------------------------
Step 1: Base Case
n = 1
|
v
+------------------+
| Statement True |
+------------------+
|
| Step 2: Induction Step
v
Assume true for n=k (Induction Hypothesis)
|
v
+------------------+ +-------------------+
| Statement True | ---> | Statement True |
| for n=k | | for n=k+1 |
+------------------+ +-------------------+
|
v
Therefore, true for all natural n!
This picture shows the โchain reactionโ idea behind induction.
๐ A Friendly Example (Very Easy and Intuitive)
Letโs look at something simple from computation:
Claim
A string made of n copies of the letter โaโ (like โaaaโฆaโ) has length n.
Base Case: n = 1
The string โaโ clearly has length 1.
โ Base case holds.
Induction Step
Assume a string with k copies of โaโ has length k.
(This is our induction hypothesis.)
Now take a string with k + 1 copies of โaโ.
Thatโs just the string of length k plus one more โaโ.
So its length is:
k + 1.
โ Induction step holds.
Therefore, by induction, the statement is true for all n.
๐ง Why Induction Matters in Theory of Computation
Induction becomes essential whenever we deal with:
- Recursive definitions of languages
- Grammar derivations
- Structural proofs about automata
- Behavior of loops or repeated transitions
- Proofs about string lengths or pattern growth
Computers operate step by step, and induction mirrors this structure perfectly.
