Watch the natural numbers being born from axioms. Line up dominoes to see induction start.
Induction proves infinitely many statements at once. Check the first case. Then show each case hands truth to the next. The chain never ends, so everything holds.
For example, stand on the first 🪜 stair and know how to climb one more. The first step plus the climbing rule reaches the top. Dominoes fall the same way.
Prove by mathematical induction that it holds for every natural number n.
1+2+⋯+n=2n(n+1)​
n=6 — six dominoes, i.e. the case 1+2+⋯+6=21.Show proof
Base: for n=1 the left side is 1 and the right side is 21⋅2​=1, so P(1) holds. The first domino falls.
Inductive step: assume P(k) holds, i.e. 1+2+⋯+k=2k(k+1)​.
Adding k+1 to both sides gives
1+2+⋯+k+(k+1)=2k(k+1)​+(k+1)=2(k+1)(k+2)​, which is exactly P(k+1). Hence P(k)⇒P(k+1) — each fallen domino knocks over the next.
By the induction principle, P(n) holds for every natural number n. Hence ∑k=1n​k=2n(n+1)​ — the base case plus one inductive step proves infinitely many statements at once.
Prove by mathematical induction that (1+x)n≥1+nx for every real x>−1 and every natural number n (Bernoulli's inequality).
(1+x)n≥1+nx(x>−1)
n=6 — (1+x)6≥1+6x for every x>−1.Show proof
Base: for n=1, (1+x)1=1+x=1+1⋅x, so the inequality holds with equality. The hypothesis x>−1 is not needed yet.
Inductive step: assume (1+x)k≥1+kx. Since x>−1, we have 1+x>0, and multiplying both sides of the inequality by the positive number 1+x preserves its direction:
(1+x)k+1≥(1+kx)(1+x)=1+(k+1)x+kx2. Because kx2≥0, the right side is at least 1+(k+1)x. Hence (1+x)k+1≥1+(k+1)x — that is, P(k)⇒P(k+1).
By the induction principle, (1+x)n≥1+nx holds for every natural number n. The condition 1+x>0 was the key to the inductive step — multiplying an inequality by a non-positive number would flip the inequality sign.
Prove by mathematical induction that 2n>n for every natural number n.
2n>n(n∈N)
n=6 — 26=64>6: the exponential pulls ahead of the linear term.Show proof
Base: for n=1, 21=2>1, so P(1) holds.
Inductive step: assume 2k>k. Multiplying both sides by 2 gives 2k+1=2â‹…2k>2k.
Since k≥1, we have 2k=k+k≥k+1. Hence 2k+1>k+1 — that is, P(k)⇒P(k+1).
By the induction principle, 2n>n for every natural number n. Exponential growth eventually dominates linear growth — this proof just repeats n times the elementary observation that "doubling beats adding one".