Lecture 4-Mathematical Induction
Lecture 4-Mathematical Induction
Mathematical Induction
Recurrence Relations
n=1 1 2
How could we prove n! > 2n? The idea is to use
n=2 2 4 Proof by Induction.
n=3 6 8
At this stage, n! seems to be streaking ahead of
n=4 24 16 2n at a great rate.
n=5 120 32
𝐿𝐻𝑆
= 1
𝑅𝐻𝑆
1
= ×1×2
2
=1
∴ 𝑃 𝑛 𝑖𝑠 𝑡𝑟𝑢𝑒 𝑤ℎ𝑒𝑛 𝑛 = 1.
Conclusion:
The statement
1
1 + 2 + 3 + …+ 𝑛 = 𝑛(𝑛 + 1)
2
𝐿𝐻𝑆
=𝑎
𝑅𝐻𝑆
𝑎(𝑟 0+1 − 1)
=
𝑟−1
𝑎 (𝑟−1)
= 𝑟−1
=𝑎
∴ 𝑃 0 𝑖𝑠 𝑡𝑟𝑢𝑒 𝑤ℎ𝑒𝑛 𝑛 = 0.
UWE - Taylor's University
Example 3:
𝑎(𝑟 𝑛+1 −1)
Prove that a + 𝑎𝑟 + 𝑎𝑟 2 + …+ 𝑎𝑟 𝑛 = for every integer
𝑟−1
𝑛 = 0, 1, ….
Inductive step:
𝑎(𝑟 𝑘+1 −1)
Suppose P(k): a + 𝑎𝑟 + 𝑎𝑟 2 + … + 𝑎𝑟 𝑘 = is true for all 𝑘 ≥ 0.
𝑟−1
Prove that P(k + 1) is also true.
LHS
= 𝑎 + 𝑎𝑟 + 𝑎𝑟 2 + 𝑎𝑟 3 + ⋯ + 𝑎𝑟 𝑘 + 𝑎𝑟 𝑘+1
𝑎(𝑟 𝑘+1 −1) 𝑘+1
= 𝑟−1
+ 𝑎𝑟
𝑎(𝑟 𝑘+1 − 1) 𝑎𝑟 𝑘+1 (𝑟
− 1)
= +
𝑟−1 𝑟−1
𝑘+1 𝑘+2
𝑎𝑟 − 𝑎 𝑎𝑟 − 𝑎𝑟 𝑘+1
= +
𝑟−1 𝑟−1
𝑎𝑟 𝑘+2 −𝑎
=
𝑟−1
LHS=RHS
∴ 𝑃 𝑘 + 1 𝑖𝑠 𝑡𝑟𝑢𝑒
Solution
𝑆𝑛 = 2𝑆𝑛−1
𝑆𝑛 = 2(2𝑆𝑛−2 )
𝑆𝑛 = 22 𝑆𝑛−2
𝑆𝑛 = 22 (2𝑆𝑛−3 )
𝑆𝑛 = 23 (𝑆𝑛−3 )
𝑆𝑛 = 23 (2𝑆𝑛−4 )
𝑆𝑛 = 24 (𝑆𝑛−4 )
𝑆𝑛 = 2𝑛 𝑆𝑛−𝑛
𝑆𝑛 = 2𝑛 𝑆0
𝑆𝑛 = 2𝑛 (1)
𝑆𝑛 = 2𝑛 UWE - Taylor's University
UWE - Taylor's University
Example 3:
Solve the recurrence relation 𝐶𝑛 = 2𝐶𝑛−1 + 1 subject to the
initial condition 𝐶1 = 1.
Solution
𝐶𝑛 = 2𝐶𝑛−1 + 1
𝐶𝑛 = 2 2𝐶𝑛−2 + 1 + 1
𝐶𝑛 = 22 𝐶𝑛−2 + 2 + 1
𝐶𝑛 = 22 2𝐶𝑛−3 + 1 + 2 + 1
𝐶𝑛 = 23 𝐶𝑛−3 + 22 + 2 + 1
𝐶𝑛 = 2𝑛−1 𝐶𝑛−(𝑛−1) + 2𝑛−2 + 2𝑛−3 + ⋯ + 22 + 2 + 1
𝐶𝑛 = 2𝑛−1 𝐶1 + 2𝑛−2 + 2𝑛−3 + ⋯ + 22 + 2 + 1
𝐶𝑛 = 2𝑛−1 + 2𝑛−2 + 2𝑛−3 + ⋯ + 22 + 2 + 1
𝑎(𝑟 𝑛 − 1)
𝐶𝑛 =
𝑟−1
1(2𝑛 − 1)
𝐶𝑛 =
2−1
𝐶𝑛 = 2𝑛 − 1
We need to move all n discs to Pole C. But we can only move 1 disc at a
time, and a disc must never be placed on a smaller disc.
Prove that this can be done for all any value of 𝑛.
So f1 = 1. (That is, if we only have 1 disc then a single move takes it to Pole C.)
Let’s look at the inductive proof that the puzzle can always be solved. When
n = k-1, f k-1 moves are needed.
So what happens when n = k ? The number of moves needed is f k, but this can
be expressed in terms of f k-1.
f k-1 1 f k-1
f k = f k-1 + 1 + f k-1
n fn
1 1
2 3 f2 = 2f1 + 1 = 2 + 1 =3
3 7 f3 = 2f2 + 1 = 6 + 1 = 7
4 15
5 31
6 63
3 7 8=23
4 15 16 Specifically, fn + 1 = 2n.
5 31 32
6 63 64 Subtracting 1 from both sides gives fn = 2n – 1.
7 127 128
8 255 256 It can be formally proved that this formula gives the
9 511 512 correct answer. (We omit the details.)
10 1023 1024