Chap4 Sec1
Chap4 Sec1
Chapter 4
Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education.
Chapter Summary
● Mathematical Induction
● Recursive Definitions
Mathematical Induction
Section 4.1
Section Summary
● Mathematical Induction
● Examples of Proof by Mathematical Induction
● Mistaken Proofs by Mathematical Induction
● Guidelines for Proofs by Mathematical Induction
Climbing an
Infinite Ladder
Suppose we have an infinite ladder:
1. We can reach the first rung of the ladder.
2. If we can reach a particular rung of the ladder, then we can
reach the next rung.
< (k + 1)k!
= (k + 1)!
Therefore, 2n < n! holds, for every integer n ≥ 4.
Note that here the basis step is P(4), since P(0), P(1), P(2), and P(3) are all false.
Proving Divisibility Results
Example: Use mathematical induction to prove that n3 − n is
divisible by 3, for every positive integer n.
Solution: Let P(n) be the proposition that n3 − n is divisible by 3.
● BASIS STEP: P(1) is true since 13 − 1 = 0, which is divisible by 3.
● INDUCTIVE STEP: Assume P(k) holds, i.e., k3 − k is divisible by 3, for
an arbitrary positive integer k. To show that P(k + 1) follows:
(k + 1)3 − (k + 1) = (k3 + 3k2 + 3k + 1) − (k + 1)
= (k3 − k) + 3(k2 + k)
By the inductive hypothesis, the first term (k3 − k) is divisible by 3 and
the second term is divisible by 3 since it is an integer multiplied by 3. So
by part (i) of Theorem 1 in Section 4.1 , (k + 1)3 − (k + 1) is divisible by 3.
Therefore, n3 − n is divisible by 3, for every integer positive integer n.
Number of Subsets of a Finite Set
Example: Use mathematical induction to show that if S
is a finite set with n elements, where n is a nonnegative
integer, then S has 2n subsets.
(Chapter 6 uses combinatorial methods to prove this result.)
Solution: Let P(n) be the proposition that a set with n
elements has 2n subsets.
● Basis Step: P(0) is true, because the empty set has only
itself as a subset and 20 = 1.
● Inductive Step: Assume P(k) is true for an arbitrary
nonnegative integer k.
continued →
Number of Subsets of a Finite Set
Inductive Hypothesis: For an arbitrary nonnegative integer k,
every set with k elements has 2k subsets.
● Let T be a set with k + 1 elements. Then T = S ∪ {a}, where a ∈ T and S =
T − {a}. Hence |S| = k.
● For each subset X of S, there are exactly two subsets of T, i.e., X and
X ∪ {a}.
● By the inductive hypothesis S has 2k subsets. Since there are two subsets
of T for each subset of S, the number of subsets of T is 2 ∙2k = 2k+1 .
Tiling Checkerboards
Example: Show that every 2n ×2n checkerboard with one square removed can be tiled
using right triominoes.
● INDUCTIVE STEP: Assume that P(k) is true for every 2k ×2k checkerboard, for some
positive integer k.
continued →
Tiling Checkerboards
Inductive Hypothesis: Every 2k ×2k checkerboard, for some
positive integer k, with one square removed can be tiled using
right triominoes.
● Consider a 2k+1 ×2k+1 checkerboard with one square removed. Split this checkerboard into four
checkerboards of size 2k ×2k,by dividing it in half in both directions.
● Remove a square from one of the four 2k ×2k checkerboards. By the inductive hypothesis, this board can
be tiled. Also by the inductive hypothesis, the other three boards can be tiled with the square from the
corner of the center of the original board removed. We can then cover the three adjacent squares with a
triominoe.
● Hence, the entire 2k+1 ×2k+1 checkerboard with one square removed can be tiled using right triominoes.
An Incorrect “Proof” by Mathematical
Induction
Example: Let P(n) be the statement that every set of n lines in the
plane, no two of which are parallel, meet in a common point.
Here is a “proof” that P(n) is true for all positive integers n ≥ 2.
● BASIS STEP: The statement P(2) is true because any two lines in the
plane that are not parallel meet in a common point.
● INDUCTIVE STEP: The inductive hypothesis is the statement that
P(k) is true for the positive integer k ≥ 2, i.e., every set of k lines in
the plane, no two of which are parallel, meet in a common point.
● We must show that if P(k) holds, then P(k + 1) holds, i.e., if every
set of k lines in the plane, no two of which are parallel, k ≥ 2, meet
in a common point, then every set of k + 1 lines in the plane, no two
of which are parallel, meet in a common point.
continued →
An Incorrect “Proof” by Mathematical
Induction
Inductive Hypothesis: Every set of k lines in the plane, where k
≥ 2, no two of which are parallel, meet in a common point.
● Consider a set of k + 1 distinct lines in the plane, no two parallel. By the inductive
hypothesis, the first k of these lines must meet in a common point p1. By the inductive
hypothesis, the last k of these lines meet in a common point p2.
● If p and p are different points, all lines containing both of them must be the same
1 2
line since two points determine a line. This contradicts the assumption that the lines
are distinct. Hence, p1 = p2 lies on all k + 1 distinct lines, and therefore P(k + 1) holds.
Assuming that k ≥2, distinct lines meet in a common point, then every k + 1 lines
meet in a common point.
● There must be an error in this proof since the conclusion is absurd. But where is the
error?
● Answer: P(k)→ P(k + 1) only holds for k ≥3. It is not the case that P(2) implies P(3). The first
two lines must meet in a common point p1 and the second two must meet in a common point
p2. They do not have to be the same point since only the second line is common to both sets of
lines.
Guidelines:
Mathematical Induction Proofs
Terminology
● Mathematical Induction : Quy nạp toán học
● Inductive hypothesis : Giả thuyết quy nạp
● Well-ordering property : Tính sắp thứ tự tốt
● Divisibility: Tính chia hết
● Inequalitie: Bất đẳng thức
● Conjecturing: Việc đặt giả thuyết
● Summation Formula: Công thức tính tổng
● Tiling Checkerboards: Lát bàn cờ
● Parallel: Song song
Terminology
● Line: Đường thẳng
● Plane: Mặt phẳng
● Common point: Điểm chung
● Distinct lines: Các đường thẳng phân biệt
● Contradict: Mâu thuẫn