MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld...
Transcript of MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld...
![Page 1: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/1.jpg)
MTH314: Discrete Mathematics for EngineersLecture 5: Mathematical Principles
Dr Ewa Infeld
Ryerson University
25 January 2017
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 2: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/2.jpg)
Review: Pigeonhole Principle
1 2 3 4 5 6 7 8 9
Each of 26 people is given a set of 9 balls numbered from 1 to 9 aspictured. Each of them can choose at least one and most three ofthem. Show that there must be two people with the same sum ofnumbers on the balls they chose.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 3: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/3.jpg)
Review: Pigeonhole Principle
1 2 3 4 5 6 7 8 9
Each of 26 people is given a set of 9 balls numbered from 1 to 9 aspictured. Each of them can choose at most three of them. Showthat there must be two people with the same sum of numbers onthe balls they chose.
Solution: The possible sums are integers. The smallest possiblesum is either 0 or 1, depending on if we’re allowing the people tonot choose any balls. The largest is 9+8+7=24. Therefore, thereare either 24 or 25 possible sums and 26 people, so there must besome two people with the same sum. �
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 4: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/4.jpg)
Review: Induction
For the Fibonacci Sequence {an | n ∈ N}, defined by:a0 = 0a1 = 1an = an−1 + an−2 for n ≥ 2,show that:
∀n ∈ N, a0 + a1 + · · ·+ an = an+2 − 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 5: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/5.jpg)
Review: Induction
For the Fibonacci Sequence {an | n ∈ N}, defined by:a0 = 0a1 = 1an = an−1 + an−2 for n ≥ 2,show that:
∀n ∈ N, a0 + a1 + · · ·+ an = an+2 − 1
Base case: for n = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 6: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/6.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 7: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/7.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0 + a1 + · · ·+ an + an+1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 8: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/8.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0 + a1 + · · ·+ an + an+1 = an+2 − 1 + an+1 =
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 9: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/9.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0 + a1 + · · ·+ an + an+1 = an+2 − 1 + an+1 = an+3 − 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 10: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/10.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0+a1+· · ·+an+an+1 = an+2−1+an+1 = an+3−1 = RHS
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 11: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/11.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0+a1+· · ·+an+an+1 = an+2−1+an+1 = an+3−1 = RHS
By the principle of mathematical induction,∀n ∈ N, a0 + a1 + · · ·+ an = an+2 − 1.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 12: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/12.jpg)
Review: Induction
Base case: for n = 0,LHS=a0 = 0 andRHS=an+2 − 1 = 1− 1 = 0
Inductive step: assume that a0 + a1 + · · ·+ an = an+2 − 1(“inductive hypothesis”)
Show that a0 + a1 + · · ·+ an + an+1 = an+3 − 1
LHS=a0+a1+· · ·+an+an+1 = an+2−1+an+1 = an+3−1 = RHS
By the principle of mathematical induction,∀n ∈ N, a0 + a1 + · · ·+ an = an+2 − 1.
This is an example of how we prove a property of a recurrencerelation.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 13: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/13.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 14: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/14.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
∀k ≥ 0, sk+1 − 3sk + 1 = 0
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 15: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/15.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
∀k ≥ 0, sk+1 − 3sk + 1 = 0
Einstein’s field equation:
Rµν −1
2Rgµν + Λgµν =
8πG
c4Tµν
Rµν −1
2Rgµν =
8πG
c4Tµν−Λgµν
If the cosmological constant term is on the left, we think of it asdark matter. If it’s on the right, we think of it as dark energy.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 16: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/16.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
∀k ≥ 0, sk+1 − 3sk + 1 = 0
In math they do. (Because math is about properties of things, notontology. Then again, that’s up for a philosophical debate.)
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 17: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/17.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
∀k ≥ 0, sk+1 − 3sk + 1 = 0
In math they do. (Because math is about properties of things, notontology. Then again, that’s up for a philosophical debate.)
∀k ≥ 1, sk+1 = 3sk − 1
∀k ≥ 1, sk+1 − 3sk + 1 = 0
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 18: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/18.jpg)
Recurrence Relations
(From now on we may implicitly assume n or k is a naturalnumber.)
Do these things mean the same thing?
∀k ≥ 0, sk+1 = 3sk − 1
∀k ≥ 0, sk+1 − 3sk + 1 = 0
In math they do. (Because math is about properties of things, notontology. Then again, that’s up for a philosophical debate.)
∀k ≥ 1, sk+1 = 3sk − 1
∀k ≥ 1, sk+1 − 3sk + 1 = 0
Clearly NOT the same thing as the ones above.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 19: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/19.jpg)
Closed formula
A closed formula of a recurrence relation is an expression for thenth term in terms of the index n, not the previous terms.
Example:
a0 = 0 Recursive forman = an−1 + 1, ∀n ≥ 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 20: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/20.jpg)
Closed formula
A closed formula of a recurrence relation is an expression for thenth term in terms of the index n, not the previous terms.
Example:
a0 = 0 Recursive forman = an−1 + 1, ∀n ≥ 1
an = n, ∀n ∈ N Closed formula
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 21: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/21.jpg)
Closed formula
A closed formula of a recurrence relation is an expression for thenth term in terms of the index n, not the previous terms.
Example:
a0 = 0 Recursive forman = an−1 + 1, ∀n ≥ 1
an = n, ∀n ∈ N Closed formula
a0 = r Recursive forman = an−1 + s, ∀n ≥ 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 22: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/22.jpg)
Closed formula
A closed formula of a recurrence relation is an expression for thenth term in terms of the index n, not the previous terms.
Example:
a0 = 0 Recursive forman = an−1 + 1, ∀n ≥ 1
an = n, ∀n ∈ N Closed formula
a0 = r Recursive forman = an−1 + s, ∀n ≥ 1
r , r + s, r + 2s, r + 3s, . . .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 23: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/23.jpg)
Closed formula
A closed formula of a recurrence relation is an expression for thenth term in terms of the index n, not the previous terms.
Example:
a0 = 0 Recursive forman = an−1 + 1, ∀n ≥ 1
an = n, ∀n ∈ N Closed formula
a0 = r Recursive forman = an−1 + s, ∀n ≥ 1
r , r + s, r + 2s, r + 3s, . . .
Guess: an = r + ns. Let’s prove it.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 24: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/24.jpg)
Closed formula
a0 = r Recursive forman = an−1 + s, ∀n ≥ 1
r , r + s, r + 2s, r + 3s, . . .
Guess: an = r + ns.
Proof: base case: a0 = r = r + 0rSuppose that an = r + ns. Then:an+1 = an + s = r + ns + s = r + (n + 1)s
an = r + ns Closed formula
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 25: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/25.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 26: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/26.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 27: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/27.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1. Let’s prove it!
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 28: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/28.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1.
Proof: for n = 1, a1 = 1 = 2− 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 29: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/29.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1.
Proof: for n = 1, a1 = 1 = 2− 1
Suppose that an = 2n − 1. Want: an+1 = 2n+1 − 1.
an+1 = 2an + 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 30: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/30.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1.
Proof: for n = 1, a1 = 1 = 2− 1
Suppose that an = 2n − 1. Want: an+1 = 2n+1 − 1.
an+1 = 2an + 1 = 2(2n − 1) + 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 31: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/31.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1.
Proof: for n = 1, a1 = 1 = 2− 1
Suppose that an = 2n − 1. Want: an+1 = 2n+1 − 1.
an+1 = 2an + 1 = 2(2n − 1) + 1 = 2n+1− 2 + 1 = 2n+1− 1
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 32: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/32.jpg)
Closed formula
a1 = 1 Recursive forman = 2an−1 + 1, ∀n ≥ 2
1, 3, 7, 15, 31, 63, . . .
Guess: an = 2n − 1.
Proof: for n = 1, a1 = 1 = 2− 1
Suppose that an = 2n − 1. Want: an+1 = 2n+1 − 1.
an+1 = 2an + 1 = 2(2n − 1) + 1 = 2n+1− 2 + 1 = 2n+1− 1
an = 2n − 1 Closed formula
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 33: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/33.jpg)
LHRR
An equation of the form
ak = Aak−1 + Bak−2,
where A, B are any reals (not depending on k), is called a linear,homogeneous, recurrence relation with constant coefficients, ofdegree 2. We’ll call it a “degree-2 LHRR.”
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 34: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/34.jpg)
LHRR
An equation of the form
ak = Aak−1 + Bak−2,
where A, B are any reals (not depending on k), is called a linear,homogeneous, recurrence relation with constant coefficients, ofdegree 2. We’ll call it a “degree-2 LHRR.”
Example:
ak = −5ak−1 +1
2ak−2
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 35: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/35.jpg)
LHRR
An equation of the form
ak = Aak−1 + Bak−2,
where A, B are any reals (not depending on k), is called a linear,homogeneous, recurrence relation with constant coefficients, ofdegree 2. We’ll call it a “degree-2 LHRR.”
Example:
ak = −5ak−1 +1
2ak−2
The following are NOT LHRR:
5an−1 + nan−2
5√
an−1 + an−2
5an−1 − 2an−1 + 7
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 36: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/36.jpg)
LHRR
An equation of the form
ak = Aak−1 + Bak−2,
where A, B are any reals (not depending on k), is called a linear,homogeneous, recurrence relation with constant coefficients, ofdegree 2. We’ll call it a “degree-2 LHRR.”
Example:
ak = −5ak−1 +1
2ak−2
The following are NOT LHRR:
5an−1 + nan−2 NOT CONSTANT COEFFICIENTS
5√
an−1 + an−2 NOT LINEAR
5an−1 − 2an−1+7 NOT HOMOGENEOUS
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 37: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/37.jpg)
Characteristic equation (of an LHRR)
A recurrence relation of the form
ak = Aak−1 + Bak−2
has a characteristic equation
t2 = At + B.
We can find the closed formula of these sequences by finding theroots of this equation.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 38: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/38.jpg)
Characteristic equation (of an LHRR)
A recurrence relation of the form
ak = Aak−1 + Bak−2
has a characteristic equation
t2 = At + B.
We can find the closed formula of these sequences by finding theroots of this equation. Suppose that a0 = α0, a1 = α1 where α0,1
are some real numbers. Then we want to find constants C , Dsuch that:
α0 = C + D
α1 = Cs + Dr
Where r , s are the roots of t2 = At + B.Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 39: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/39.jpg)
Characteristic equation (of an LHRR)
If the roots of t2 = At + B are two distinct real numbers r and s,then the closed form of ak is:
ak = Crk + Dsk
.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 40: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/40.jpg)
Characteristic equation (of an LHRR)
If the roots of t2 = At + B are two distinct real numbers r and s,then the closed form of ak is:
ak = Crk + Dsk
. Example: the Fibonacci Sequence.
Write down the characteristic equation of the FibonacciSequence.Find the roots r , s of this equation.Find constants C , D such that:
a0 = C + D
a1 = Cs + Dr
Where r , s are the roots of t2 = At + B.The closed formula is:
ak = Crk + DskDr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 41: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/41.jpg)
Closed formula of the Fibonacci Sequence
Characteristic equation of ak = ak−1 + ak−2:
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 42: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/42.jpg)
Closed formula of the Fibonacci Sequence
Characteristic equation of ak = ak−1 + ak−2:
t2 = t + 1
has roots r = 1+√5
2 and s = 1−√5
2 .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 43: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/43.jpg)
Closed formula of the Fibonacci Sequence
Characteristic equation of ak = ak−1 + ak−2:
t2 = t + 1
has roots r = 1+√5
2 and s = 1−√5
2 .
Find constants C , D:
0 = C + D
1 = C1 +√
5
2+ D
1−√
5
2
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 44: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/44.jpg)
Closed formula of the Fibonacci Sequence
Characteristic equation of ak = ak−1 + ak−2:
t2 = t + 1
has roots r = 1+√5
2 and s = 1−√5
2 .
Find constants C , D:
0 = C + D
1 = C1 +√
5
2+ D
1−√
5
2From the first equation we get D = −C . Substitute that intothe second equation:
1 = C
(2√
5
2
)= C√
5, so C =1√5
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 45: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/45.jpg)
Closed formula of the Fibonacci Sequence
We know that r = 1+√5
2 and s = 1−√5
2 ,and that C = 1√
5and D = −1√
5. So the closed formula for the
Fibonacci sequence is:
ak = Crk + Dsk =1√5
(1 +√
5
2
)k
+−1√
5
(1−√
5
2
)k
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 46: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/46.jpg)
Closed formula of the Fibonacci Sequence
We know that r = 1+√5
2 and s = 1−√5
2 ,and that C = 1√
5and D = −1√
5. So the closed formula for the
Fibonacci sequence is:
ak = Crk + Dsk =1√5
(1 +√
5
2
)k
+−1√
5
(1−√
5
2
)k
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 47: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/47.jpg)
Closed formula of the Fibonacci Sequence
We know that r = 1+√5
2 and s = 1−√5
2 ,and that C = 1√
5and D = −1√
5. So the closed formula for the
Fibonacci sequence is:
ak = Crk + Dsk =1√5
(1 +√
5
2
)k
+−1√
5
(1−√
5
2
)k
a0a11√5
(1+√5
2
)2+ −1√
5
(1−√5
2
)2
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 48: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/48.jpg)
Closed formula of the Fibonacci Sequence
We know that r = 1+√5
2 and s = 1−√5
2 ,and that C = 1√
5and D = −1√
5. So the closed formula for the
Fibonacci sequence is:
ak = Crk + Dsk =1√5
(1 +√
5
2
)k
+−1√
5
(1−√
5
2
)k
a0a11√5
(1+√5
2
)2+ −1√
5
(1−√5
2
)2= 1√
51+2√5+5
4 + −1√51−2√5+5
4
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 49: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/49.jpg)
Closed formula of the Fibonacci Sequence
We know that r = 1+√5
2 and s = 1−√5
2 ,and that C = 1√
5and D = −1√
5. So the closed formula for the
Fibonacci sequence is:
ak = Crk + Dsk =1√5
(1 +√
5
2
)k
+−1√
5
(1−√
5
2
)k
a0a11√5
(1+√5
2
)2+ −1√
5
(1−√5
2
)2= 1√
51+2√5+5
4 + −1√51−2√5+5
4
= 14√5
(4√
5) = 1 = a2
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 50: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/50.jpg)
Closed formula of the Fibonacci Sequence
1√5
(1 +√
5
2
)3
+−1√
5
(1−√
5
2
)3
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 51: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/51.jpg)
Closed formula of the Fibonacci Sequence
1√5
(1 +√
5
2
)3
+−1√
5
(1−√
5
2
)3
=1√5
1 + 3√
5 + 3× 5 + 5√
5
8+−1√
5
1− 3√
5 + 3× 5− 5√
5
8
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 52: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/52.jpg)
Closed formula of the Fibonacci Sequence
1√5
(1 +√
5
2
)3
+−1√
5
(1−√
5
2
)3
=1√5
1 + 3√
5 + 3× 5 + 5√
5
8+−1√
5
1− 3√
5 + 3× 5− 5√
5
8
=1
8√
5
[(1 + 3
√5 + 3× 5 + 5
√5)− (1− 3
√5 + 3× 5− 5
√5)]
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 53: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/53.jpg)
Closed formula of the Fibonacci Sequence
1√5
(1 +√
5
2
)3
+−1√
5
(1−√
5
2
)3
=1√5
1 + 3√
5 + 3× 5 + 5√
5
8+−1√
5
1− 3√
5 + 3× 5− 5√
5
8
=1
8√
5
[(1 + 3
√5 + 3× 5 + 5
√5)− (1− 3
√5 + 3× 5− 5
√5)]
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 54: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/54.jpg)
Closed formula of the Fibonacci Sequence
1√5
(1 +√
5
2
)3
+−1√
5
(1−√
5
2
)3
=1√5
1 + 3√
5 + 3× 5 + 5√
5
8+−1√
5
1− 3√
5 + 3× 5− 5√
5
8
=1
8√
5
[(1 + 3
√5 + 3× 5 + 5
√5)− (1− 3
√5 + 3× 5− 5
√5)]
=1
8√
5(16√
5) = 2 = a3
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 55: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/55.jpg)
Golden Ratio
ϕ =1 +√
5
2is called the golden ratio. It’s the number such that:
IfA + B
A=
B
A, then
B
A= ϕ
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 56: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/56.jpg)
Distinct Roots vs Single Root
We’ve assumed that t2 = At + B has 2 distinct real roots r , s.What if it has a double root r , like t2 = 4t − 4?
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 57: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/57.jpg)
Distinct Roots vs Single Root
We’ve assumed that t2 = At + B has 2 distinct real roots r , s.What if it has a double root r , like t2 = 4t − 4? (In which caser = 2.)
Then the closed form of ak is:
ak = (Ck + D)rk
So we need to find C , D that satisfy
D = a0
(C + D)r = a1
Since a0 = (C × 0 + D)r0 = D,a1 = (C × 1 + D)r1 = (C + D)r .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 58: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/58.jpg)
Distinct Roots vs Single Root: Example
If t2 = At + B has a double root r , the closed form of ak is:
ak = (Ck + D)rk
So we need to find C , D that satisfy
D = a0
(C + D)r = a1
Let’s try this for ak = 4ak−1 − 4ak−2, with a0 = 0 and a1 = 1.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 59: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/59.jpg)
Distinct Roots vs Single Root: Example
If t2 = At + B has a double root r , the closed form of ak is:
ak = (Ck + D)rk
So we need to find C , D that satisfy
D = a0
(C + D)r = a1
Let’s try this for ak = 4ak−1 − 4ak−2, with a0 = 0 and a1 = 1.
t2 + 4t − 4 has a double root r = 2.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 60: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/60.jpg)
Distinct Roots vs Single Root: Example
If t2 = At + B has a double root r , the closed form of ak is:
ak = (Ck + D)rk
So we need to find C , D that satisfy
D = a0
(C + D)r = a1
Let’s try this for ak = 4ak−1 − 4ak−2, with a0 = 0 and a1 = 1.
t2 + 4t − 4 has a double root r = 2.
D = 0, (C + D)2 = 2C = 1, so C = 12 . Then ak =
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 61: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/61.jpg)
Distinct Roots vs Single Root: Example
If t2 = At + B has a double root r , the closed form of ak is:
ak = (Ck + D)rk
So we need to find C , D that satisfy
D = a0
(C + D)r = a1
Let’s try this for ak = 4ak−1 − 4ak−2, with a0 = 0 and a1 = 1.
t2 + 4t − 4 has a double root r = 2.
D = 0, (C + D)2 = 2C = 1, so C = 12 . Then ak = k
22k = 2k−1k .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 62: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/62.jpg)
Distinct Roots vs Single Root
Theorem (Distinct Roots Theorem)
Let a0 = α0, a1 = α1 and ak = Aak−1 + Bak−2 for all k ≥ 2 definea recursive sequence. Then if t2 = At + B has two distinct realroots r , s, then
ak = Crk + Dsk , ∀k ∈ N
for some real constants C , D.
We find C , D by solving this equation for a0 and a1.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 63: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/63.jpg)
Distinct Roots vs Single Root
Theorem (Single Root Theorem)
Let a0 = α0, a1 = α1 and ak = Aak−1 + Bak−2 for all k ≥ 2 definea recursive sequence. Then if t2 = At + B has a double root r ,then
ak = (Ck + D)rk , ∀k ∈ N
for some real constants C , D.
We find C , D by solving this equation for a0 and a1.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 64: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/64.jpg)
Structural Induction (Recursion)
For some sets, we can define the membership in the set recursively.
Example: the set of natural numbers N can be defined as follows:
0 ∈ N
n ∈ N→ n + 1 ∈ N
N contains nothing else.
Then every element is in the set if and only if it is added to the setat some point by this procedure.
If you run this program, it will never finish no matter how long youleave it running for. But for every particular number, that numberwill be added in a finite time!
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 65: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/65.jpg)
Structural Induction/Recursively Defined Sets
For some sets, we can define the membership in the set recursively.
Example: the set of natural numbers N can be defined as follows:
0 ∈ N
n ∈ N→ n + 1 ∈ N
N contains nothing else.
Then every element is in the set if and only if it is added to the setat some point by this procedure.
If you run this program, it will never finish no matter how long youleave it running for. But for every particular number, that numberwill be added in a finite time!↑ THINK ABOUT THIS FOR A BIT
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 66: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/66.jpg)
Structural Induction/Recursively Defined Sets
Example:Define a set A of binary strings in a following way.
The empty string ∅ and 0 are both in A.
If a binary string s is in A, then the string s1 obtained from sby attaching 1 at the end is in A, and the string s10 obtainedfrom s by attaching 10 at the end.
No other strings are in A.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 67: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/67.jpg)
Structural Induction/Recursively Defined Sets
Example:Define a set A of binary strings in a following way.
The empty string ∅ and 0 are both in A.
If a binary string s is in A, then the string s1 obtained from sby attaching 1 at the end is in A, and the string s10 obtainedfrom s by attaching 10 at the end.
No other strings are in A.
Strings in A:∅, 0
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 68: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/68.jpg)
Structural Induction/Recursively Defined Sets
Example:Define a set A of binary strings in a following way.
The empty string ∅ and 0 are both in A.
If a binary string s is in A, then the string s1 obtained from sby attaching 1 at the end is in A, and the string s10 obtainedfrom s by attaching 10 at the end.
No other strings are in A.
Strings in A:∅, 0, 01, 010
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 69: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/69.jpg)
Structural Induction/Recursively Defined Sets
Example:Define a set A of binary strings in a following way.
The empty string ∅ and 0 are both in A.
If a binary string s is in A, then the string s1 obtained from sby attaching 1 at the end is in A, and the string s10 obtainedfrom s by attaching 10 at the end.
No other strings are in A.
Strings in A:∅, 0, 01, 010, 011, 0110, 0101, 01010, . . .
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 70: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/70.jpg)
Structural Induction/Recursively Defined Sets
Example:Define a set A of binary strings in a following way.
The empty string ∅ and 0 are both in A.
If a binary string s is in A, then the string s1 obtained from sby attaching 1 at the end is in A, and the string s10 obtainedfrom s by attaching 10 at the end.
No other strings are in A.
Strings in A:∅, 0, 01, 010, 011, 0110, 0101, 01010, . . .
We can think about the set as having the strings added to it insteps. First, at step 1 ∅, 0. Then at each step, what we createfrom those created in the previous step by attaching either 1 or 10to each. So at kth step we add 2k strings.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 71: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/71.jpg)
Structural Induction/Recursively Defined Sets
∅ 0
01 0101 10
011 0110 0101 0101011 110 101 1010
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers
![Page 72: MTH314: Discrete Mathematics for Engineers - EVA INFELD · 2019-12-02 · Einstein’s eld equation: R 1 2 Rg + g = 8ˇG c4 T R 1 2 Rg = 8ˇG c4 T g If the cosmological constant term](https://reader033.fdocuments.in/reader033/viewer/2022042116/5e941330b8896f14ad0a3260/html5/thumbnails/72.jpg)
Structural Induction/Recursively Defined Sets
Want to prove that the set A of strings built up from {∅, 0} byadding “1” and “10” pieces is the same as the set B of stringsthat have no “00.”
Proof outline. Part 1: A ⊆ B. We want to show that no string inA has a “00.”
Part 2: B ⊆ A. We want to show that any string that has no “00”can be built up from {∅, 0} by adding “1” and “10” pieces.
Dr Ewa Infeld Ryerson University
MTH314: Discrete Mathematics for Engineers