Strong Induction & Well-Ordering

Textbook
Rosen 8e, Section 5.2
Study day
Thursday, Nov 5
Homework
Written HW 6: 1, 3, 5, 7
Progress
Notes not read 0 / 8 problems graded
Work each problem on paper before opening its solution, then mark it Got it or Review. Do the Core problems first if you're short on time.
5.2 #1 Core Strong induction

Use strong induction to show that if you can run one mile or two miles, and if you can always run two more miles once you have run a specified number of miles, then you can run any number of miles.

Show solution
Answer

Two base cases (); build from by running 2 more miles.

Let : "you can run miles." We prove for all .

Basis step. We are told we can run 1 mile and 2 miles, so and are true. Two base cases are needed because the step reaches back 2.

Inductive step. Let and assume is true for all (strong IH). We show .

Since , we have , so by the IH you can run miles. Because you can always run two more miles, you can run miles. So is true.

Conclusion. By strong induction you can run miles for every positive integer . ∎

5.2 #3 Core Postage

Let be the statement that a postage of cents can be formed using just 3-cent stamps and 5-cent stamps. The parts of this exercise outline a strong induction proof that is true for all integers .

a) Show that the statements , , and are true, completing the basis step.
b) What is the inductive hypothesis of a proof by strong induction that is true for all integers ?
c) What do you need to prove in the inductive step?
d) Complete the inductive step for .
e) Explain why these steps show that is true whenever .

Show solution

a) , , . So are true.

b) For an arbitrary integer : is true for all integers with . That is, every amount from 8 up to cents can be formed.

c) Assuming the IH, show : that cents can be formed with 3¢ and 5¢ stamps.

d) Since , , so and the IH says is true: we can form cents. Add one 3-cent stamp to get cents. So holds.

e) We have shown the basis cases , and that for every . By the principle of strong induction, is true for every integer .

Why exactly three base cases?

The step reaches back to , i.e. . The step needs , so it only works for . The cases 8, 9, 10 must be checked by hand.

5.2 #5 Core Postage

a) Determine which amounts of postage can be formed using just 4-cent and 11-cent stamps.
b) Prove your answer to (a) using the principle of mathematical induction. Be sure to state explicitly your inductive hypothesis in the inductive step.
c) Prove your answer to (a) using strong induction. How does the inductive hypothesis in this proof differ from that in the inductive hypothesis for a proof using mathematical induction?

Show solution
Answer

4, 8, 11, 12, 15, 16, 19, 20, 22, 23, 24, 26, 27, 28, and every amount .

a) Amounts are with :

  • : 4, 8, 12, 16, 20, 24, 28, …
  • : 11, 15, 19, 23, 27, …
  • : 22, 26, 30, …

Check 29: and are not multiples of 4, and 29 itself isn't, so 29 is impossible. Then , , , : four in a row. Since the smallest stamp is 4, everything from 30 up works.

Possible amounts: 4, 8, 11, 12, 15, 16, 19, 20, 22, 23, 24, 26, 27, 28, and all .

b) Ordinary induction. Let : " cents can be formed with 4¢ and 11¢ stamps." Prove for .

Basis: .

Inductive step: Assume for some (IH: cents can be formed). Show :

  • If the -cent arrangement uses at least one 11¢ stamp, replace one 11¢ stamp with three 4¢ stamps: . Now we have .
  • If it uses no 11¢ stamps, then it is all 4¢ stamps, and since there are at least of them ( in fact). Replace eight 4¢ stamps (32¢) with three 11¢ stamps (33¢): . Now we have .

Either way holds. ∎

c) Strong induction. Basis: , , , . That's four cases because we step back by 4.

Inductive step: Let and assume for all . Since , , so cents can be formed. Add a 4¢ stamp: cents. ∎

Difference: In (b) the IH is only that is true. In (c) the IH is that is true for every from 30 through , which lets us jump back to .

5.2 #7 Core Strong induction

Which amounts of money can be formed using just two-dollar bills and five-dollar bills? Prove your answer using strong induction.

Show solution
Answer

Every whole-dollar amount except 1 and 3 dollars.

Which amounts? 2, 4, 5, 6, 7 (=2+5), 8, 9 (=4+5), … Amounts 1 and 3 are impossible (3 isn't 2 or 5, and is impossible). From 4 on, 4 and 5 are two consecutive amounts and the smallest bill is 2, so every amount works. Answer: all except and .

Proof (for ; is just one 2-dollar bill). Let : " dollars can be formed using 2- and 5-dollar bills."

Basis: and . We step back by 2, so we need two base cases.

Inductive step: Let and assume for all . Since , , so dollars can be formed. Add a 2-dollar bill to get dollars. So holds.

By strong induction, is true for all . Together with , every amount except 1 and 3 dollars can be formed. ∎

Custom: postage Core Postage Not from HW

Prove using strong induction that every amount of postage of 12 cents or more can be formed using just 3-cent and 7-cent stamps. (Exam-style: be explicit about the base cases and the inductive hypothesis.)

Show solution

Let : " cents of postage can be formed using only 3¢ and 7¢ stamps." We prove for all .

Basis step (3 cases, since we will step back by 3):

Inductive step. Let . Assume (strong IH) is true for all integers with . Since , we have , so by the IH we can form cents. Adding one 3¢ stamp forms cents. So is true.

Conclusion. By strong induction, every amount of postage cents can be formed. ∎

(Side note: 11¢ is impossible, since 11, 8, 5, 2 are not multiples of 3 and isn't either. So 12 is the best starting point.)

Custom: recurrence Core Recurrence Not from HW

Let , , , and for . Prove that for all positive integers .

Show solution

Let : .

Basis step. The recurrence looks back 3 terms, so check three cases: , , .

Inductive step. Let and assume for all . Then since ,

(We used the IH on , , , all of which are because .)

By strong induction, for all . ∎

Custom: well-ordering Core Well-ordering Not from HW

Which of the following sets are well-ordered (every nonempty subset has a least element) under the usual ?

a) b) c) d) the positive rational numbers e) the set of even positive integers

Show solution
Answer

Well-ordered: a, c, e. Not: b, d.

  • a) Yes. This is exactly the well-ordering property.
  • b) No. itself (or e.g. the negative integers) has no least element.
  • c) Yes. Shift by 100: maps this set onto preserving order, so every nonempty subset has a least element.
  • d) No. The subset has no least element (and neither does itself).
  • e) Yes. It's a subset of , and any nonempty subset of it is a nonempty subset of .
Custom: chocolate bar (5.2 #10) Extra Strong induction Not from HW

A chocolate bar consists of squares in a rectangular pattern. The bar, or any smaller rectangular piece, can be broken along a vertical or horizontal line between squares. Only one piece can be broken at a time. How many breaks are needed to break the bar into separate squares? Prove your answer with strong induction.

Show solution
Answer

Exactly breaks, no matter how you do it.

Let : "any rectangular bar with squares needs exactly breaks."

Basis. : a single square needs breaks.

Inductive step. Let and assume for all . Take a bar with squares. The first break splits it into two rectangles with and squares, where . Both pieces have between 1 and squares, so by the IH they need and more breaks. Total:

So holds. By strong induction, holds for all . ∎

This needs strong induction: the pieces can be any size, not just .