In one sentence
To prove that a whole sequence of statements is all true, you only need two things:
- Base case: check that is true. This knocks over the first domino.
- Inductive step: assume is true (the induction hypothesis) and use it to prove . This shows that every falling domino knocks over the next one.
Do both and holds for every positive integer . This is the first principle of mathematical induction. It rests on a basic property of the positive integers (the axiom of induction): a set of positive integers that contains , and that contains whenever it contains , is the set of all positive integers.
Notice that step 2 proves an implication, “if , then ”, not itself. We do not need to know whether domino has fallen yet. We only need to be sure that if it falls, the next one falls too.
Example: 1 + 3 + 5 + … + (2n − 1) = n²
Step 1 / 5- What we want to prove
Each domino is a statement: domino stands for , “the sum of the first odd numbers is ”. The readout below actually computes every for you.
Predict first
Consider the claim “”. Which statement is correct?
. But , and all fail. From on we have , and it stays true from then on.
So the starting point must be , and the inductive step only makes sense for : , where the last inequality is equivalent to , that is, . Drag the starting point to different places below, push, and turn on “Check each P(n)”.
Induction does not have to start at . A base case at and an inductive step for give the conclusion “true for every ”.
Stop 1 · Divisibility
For every positive integer , .
Example: 3 divides n³ + 2n
Step 1 / 4- Base case
: , which is divisible by .
Stop 2 · Counting
A set with elements has exactly subsets. Here the inductive step is a construction: going from elements to , how do the subsets multiply?
Example: the number of subsets of an n-element set
Step 1 / 3- Base case
The subsets of are and : of them.
“Add one new element and see what it adds” is the most common kind of inductive step in combinatorics.
Stop 3 · Inequalities: match the base case to the step
Bernoulli's inequality: if , then for every positive integer .
Example: Bernoulli's inequality
Step 1 / 3- Base case
For both sides are : equality holds.
Without , the second step might multiply by a negative number and flip the inequality: the chain breaks right there. Take . For : and , still equal. For : , also fine. But for , : , and the inequality is false.
If the first domino is not pushed
Break it
Counterexample lab: remove one condition
Conclusion: Every is true ← still true?
“”: base case ✓, every step ✓. Push, then turn on the truth row to compare.
Switch to “ is even”. Every gap shows ✓, because is exactly more than , so the parity is passed along. But push and see what happens.
If the first domino does not fall, nothing happens at all. Turn on the truth row: every is false. The inductive step only passes things along, and what it passes can be true or false. Only the base case makes sure that what gets passed along is true.
Practice
Prove by induction that , then compute .
Prove that for every positive integer .
The inequality is not true for every positive integer. Find the smallest positive integer such that it holds for all , and prove it by induction.
Prove that for every positive integer , .