Example 1
When proving 1 + 2 + ... + n = n(n+1)/2 for all natural numbers n by mathematical induction, which step must be checked first?
1Induction has two steps: (i) it holds at n=1, and (ii) assuming it holds at n=k, it holds at n=k+1.
(i) check n = 1, (ii) P(k) ⟹ P(k+1)
2First, in the base step n=1, check that the left and right sides are equal.
n=1: left = 1, right = 1×22 = 1
▸ Base step: first verify it holds at n = 1.
Without the starting point (n=1), the whole induction collapses.
Example 2
In induction, after assuming the statement holds at n=k, what must you show using that assumption?
1Assume the statement holds at n=k (inductive hypothesis).
assume: P(k) holds
2Using this as a stepping stone, show it also holds at n=k+1.
to show: P(k+1) holds
▸ Show that it also holds at n = k+1.
You must actually use the hypothesis P(k) to derive P(k+1).
2023 CSAT Math type, adapted
Which two steps of mathematical induction correspond to all the dominoes falling?
①n=1 holds, and P(k) ⟹ P(k+1)
②only n=1 holds
③only P(k) ⟹ P(k+1)
④substitute every n directly
⑤n=2 holds, and P(k) ⟹ P(k−1)
▸ ① n=1 holds, and P(k) ⟹ P(k+1)
1The first domino falls = the base step holds at n=1.
(i) holds at n = 1
2If the k-th falls then the (k+1)-th falls = the inductive step P(k) ⟹ P(k+1).
(ii) P(k) ⟹ P(k+1)