Lecture#11 DS Fall23
Lecture#11 DS Fall23
DISCRETE STRUCTURES
LECTURE # 11
Mathematical Induction
By,
Dr. Mehwish Manzur
NUTECH
Layout of Today’s Lecture
• Mathematical Induction
• Solved Problem
Mathematical Induction
Introduction
Solution
Let P (n) be the proposition that the sum of the first n positive integers,
n(n + 1)
1 + 2 +··· + 𝑛 =
Basic Step: 2
Inductive Step:
For the inductive hypothesis we assume that P (k) holds for an arbitrary positive integer k. That
is, we assume that
Under this assumption, it must be shown that P (k + 1) is true, namely, that
is also true. When we add k + 1 to both sides of the equation in P (k), we obtain
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that 1 + 2 +···+ n = n(n + 1)/2 for all positive integers n.
Question:
Use mathematical induction to show that the sum of the first 𝑛 odd
positive integers is 𝑛2 .
Solution
Basic Step:
P (1) states that the sum of the first one odd positive integer is 12. This is true because the sum of the
first odd positive integer is 1. The basis step is complete.
Inductive Step:
For the inductive hypothesis we assume that P (k) holds for an arbitrary positive integer k. That
is, we assume that
Under this assumption, it must be shown that P (k + 1) is true, namely, that
is also true. When we add 2k + 1 to both sides of the equation in P (k), we obtain
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that 1 + 3 + 5 +··· + (2𝑛 − 1) = 𝑛2 for all positive integers 𝑛.
Question: Use mathematical induction to show that:
Basic Step:
Inductive Step:
For the inductive hypothesis we assume that P(k) holds for an arbitrary positive integer k. That is,
we assume that
Under this assumption, it must be shown that P (k + 1) is true, namely, that
is also true. When we add 2𝑘+1 to both sides of the equation in P (k), we obtain
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that 1 + 2 +··· + 2𝑛 = 2𝑛+1 − 1 for all nonnegative integers n.
Question: Sums of Geometric Progressions
Inductive Step:
For the inductive hypothesis we assume that 𝑃(𝑘) holds for an arbitrary positive integer
k. That is, we assume that
Under this assumption, it must be shown that 𝑃 (𝑘 + 1) is true, namely, that
is also true. When we add 𝑎𝑟 𝑘+1 to both sides of the equation in 𝑃 (𝑘), we obtain
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that the formula for the sum of the terms of a geometric series is
correct.
Question: PROVING INEQUALITIES
Use mathematical induction to prove the inequality
Solution
Basic Step:
Inductive Step:
For the inductive hypothesis we assume that P(k) holds for an arbitrary positive integer
k. That is, we assume that
Under this assumption, it must be shown that P (k + 1) is true, namely, that
is also true.
Note that: 1 ≤ 2k
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that the n < 2n is true for all positive integers n.
Question: PROVING INEQUALITIES
Use mathematical induction to prove the inequality
Solution
Basic Step:
To prove the inequality for n ≥ 4 requires that the basis step be P (4).
Note that P (4) is true, because 24 = 16 < 24 = 4!
Inductive Step:
For the inductive hypothesis we assume that P(k) holds for an arbitrary positive integer
k. That is, we assume that
Under this assumption, it must be shown that P (k + 1) is true, namely, that for k ≥ 4
is also true.
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that 2n < n! is true for all integers n with n ≥ 4.
Question: PROVING DIVISIBILITY RESULTS
Solution
Basic Step:
The statement P (1) is true because 13 − 1 = 0 is divisible by 3. This completes
the basis step.
Inductive Step:
For the inductive hypothesis we assume that P(k) holds for an arbitrary positive integer
k. That is, we assume that
Under this assumption, it must be shown that P (k + 1) is true,
Using the inductive hypothesis, we conclude that the first term k3 − k is divisible by 3. The
second term is divisible by 3 because it is 3 times an integer.
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
Basic Step:
To complete the basis step, we must show that P (0) is true, because we want to prove that P (n) is
true for every nonnegative integer. We see that P (0) is true because
Inductive Step:
For the inductive hypothesis we assume that P(k) holds for an arbitrary positive integer
k. That is, we assume that
Under this assumption, it must be shown that P (k + 1) is true,
Using the inductive hypothesis, we conclude that the first term k3 − k is divisible by
57. The second term is divisible by 57 because it is 57 times an integer.
This last equation shows that P (k + 1) is true under the assumption that P (k) is true. This
completes the inductive step.
We have completed the basis step and the inductive step, so by mathematical induction we
know that P (n) is true for all positive integers n.
That is, we have proven that 7𝑛+2 + 82𝑛+1 is divisible by 57 for every nonnegative integer n.