Method stop · When and why do we use it?

The First Principle of Induction

In the Chinese book: 第一数学归纳法

Knock over the first domino and make each one topple the next. All of them fall.

📖 Chapter 1 of 《数列与数学归纳法》M3 Mathematical Induction line

One idea, one picturePress “Push!” and watch the whole row fall. Then click a gap to break it, or remove the first push, and push again. Where does the row stop?

Loading figure…

In one sentence

To prove that a whole sequence of statements is all true, you only need two things:

  1. Base case: check that is true. This knocks over the first domino.
  2. 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
Loading figure…
  1. 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?

Choose an answer first; then you can see the result.

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
Loading figure…
  1. 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
  1. 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
  1. 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

“”: base case ✓, every step ✓. Push, then turn on the truth row to compare.

Loading figure…

Practice

Exercise 1Basic

Prove by induction that , then compute .

Exercise 2Basic

Prove that for every positive integer .

Exercise 3Advanced

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.

Exercise 4Challenge

Prove that for every positive integer , .

Mistake Museum · Exhibits from this stop

Before you leave, look at the traps other people fell into here.See every exhibit in the museum →

Exhibit

Proving the step, forgetting the base case

The wrong step: Claim: is even. Proof: suppose is even. Then is even too. By induction, the claim holds for every .
What went wrong? Think first, then open

Diagnosis The inductive step really is fine, but for we get , which is odd. The first domino never falls, so it does not matter that each one “would knock over the next”. In fact is always even, so is always odd: the claim is false for every .

The right step: Induction needs both parts: first check , then prove . Choose “ is even” in the domino chain above: every gap shows ✓, yet not a single domino falls.

“Without the first push, even the strongest chain stays still”

Exhibit

Every step must work, including the smallest one

The wrong step: “Any horses all have the same color.” For it is obvious. Suppose any horses have the same color. Take horses. Remove the first: the remaining have the same color. Remove the last: those have the same color too. The two groups share a horse, so all have the same color.
What went wrong? Think first, then open

Diagnosis “The two groups share a horse” needs . Going from to , removing the first horse leaves and removing the last leaves : the two groups have no element in common, so the argument breaks at the step . One broken gap is enough to stop everything after it.

The right step: When you write the inductive step, check that the argument also works for the smallest . If it only works for , you must check separately (and here is exactly the one that is false).

“Break the chain in one place and nothing after it falls”