DM Set06 Induction
DM Set06 Induction
Tassos Dimitriou
CpE-203
Discrete Structures
Set 6
Tassos Dimitriou
Outline
Induction
Definition
Examples
Wrong applications
1
1/17/2019
Tassos Dimitriou
Induction
The principle of mathematical
induction is a useful tool for proving
that a certain predicate is true for all
natural numbers.
Example:
Suppose that we have an infinite
ladder.
What does it take to make sure that we
can reach every step on this ladder?
Tassos Dimitriou
Induction
If we have a propositional function P(n), and we want to prove
that P(n) is true for any natural number n, we do the following:
• Show that P(0) is true.
(Basis step)
• Show that if P(k) then P(k + 1) for any kN.
(Inductive step)
• Then P(n) must be true for any nN.
(Conclusion)
2
1/17/2019
Tassos Dimitriou
Induction
Let P(n) be the proposition that
domino n is knocked over.
If the first domino is knocked over—
i.e., if P(1) is true—and
if, whenever the kth domino is
knocked over, it also knocks the
(k + 1)st domino over—i.e., if
P(k) → P(k + 1) is true for all
positive integers k—
then all the dominoes are
knocked over.
Tassos Dimitriou
Good or bad?
The good thing about mathematical induction is that it can be
used to prove a conjecture once it is has been made (and is
true).
3
1/17/2019
Tassos Dimitriou
Example 1
Show that n < 2n for all positive integers n.
Tassos Dimitriou
Example 1 (cont.)
2. Show that if P(k) is true, then P(k + 1) is true.
(Inductive step)
We will use our assumption that k < 2k to get the inequality for
k + 1 as follows:
k + 1 < 2k + 1 2k + 2k = 2k+1
4
1/17/2019
Tassos Dimitriou
Example 2
“Gauss” formula: 1 + 2 + … + n = n(n + 1)/2
Tassos Dimitriou
Example 2 (cont.)
2. Show that if P(k) then P(k + 1) for any nN. (Inductive
step)
1 + 2 + … + k + (k + 1) = k(k + 1)/2 + (k + 1)
= (k + 1) (k/2 + 1)
= (k + 1) (k + 2)/2
= (k + 1) ((k + 1) + 1)/2
5
1/17/2019
Tassos Dimitriou
More examples
Use mathematical induction to show that
1 + 2 + 22 +· · ·+2n = 2n+1 − 1
Tassos Dimitriou
6
1/17/2019
Tassos Dimitriou
Tassos Dimitriou
and
7
1/17/2019
Tassos Dimitriou
Recursive Definitions
Recursion is a principle closely related to mathematical
induction.
Tassos Dimitriou
a0 = 1
an+1 = 2an for n = 0, 1, 2, …
8
1/17/2019
Tassos Dimitriou
Tassos Dimitriou
f(0) = 3
f(n + 1) = 2f(n) + 3
f(0) = 3
f(1) = 2f(0) + 3 = 23 + 3 = 9
f(2) = 2f(1) + 3 = 29 + 3 = 21
f(3) = 2f(2) + 3 = 221 + 3 = 45
f(4) = 2f(3) + 3 = 245 + 3 = 93
9
1/17/2019
Tassos Dimitriou
Tassos Dimitriou
10