Lecture 3.1: Mathematical Induction

Slides:



Advertisements
Similar presentations
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Advertisements

1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
ICS 253 Presents Mathematical Induction Sultan Almuhammadi muhamadi
Lecture 9. Arithmetic and geometric series and mathematical induction
9/8/2011Lecture Functions1 Lecture 2.4: Functions CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda.
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
Lecture 3.1: Mathematical Induction CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
Discrete Mathematics Tutorial 11 Chin
Lecture 3.4: Recursive Algorithms CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Zeph Grunschlag.
1 Lecture 3.3: Recursion CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Section 3.3: Mathematical Induction Mathematical induction is a proof technique that can be used to prove theorems of the form:  n  Z +,P(n) We have.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
Lecture 4.2: Relations Basics CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
Lecture 4.2: Relations CS 250, Discrete Structures, Fall 2013 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
Lecture 2.5: Sequences CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Zeph Grunschlag.
Lecture 1.4: Rules of Inference, and Proof Techniques* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren.
9/13/2011Lecture Sequences1 Lecture 2.5: Sequences* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Zeph.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
CS Discrete Mathematical Structures Mehdi Ghayoumi MSB rm 132 Ofc hr: Thur, 9:30-11:30a.
Lecture 1.5: Proof Techniques CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren 1.
Mathematical Induction 1. 2 Suppose we have a sequence of propositions which we would like to prove: P (0), P (1), P (2), P (3), P (4), … P (n), … We.
Section 5.1. 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.
9/29/2011Lecture Strong Induction1 Lecture 3.2: Strong Induction CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures.
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
9/27/2011 Lecture Mathematical Induction1 Lecture 3.1: Mathematical Induction* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from.
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
Lecture 3.4: Recursive Algorithms CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Zeph Grunschlag.
Lecture 1.5: Proof Techniques
CSE15 Discrete Mathematics 03/22/17
Advanced Algorithms Analysis and Design
Lecture 1.5: Proof Techniques
Lecture 4.3: Closures and Equivalence Relations
CSE 311: Foundations of Computing
Lecture 3.2: Induction and Strong Induction (contd.)
Discrete Mathematics and its Applications
Lecture 3.2: Induction, and Strong Induction
CS 250, Discrete Structures, Fall 2015
CS 250, Discrete Structures, Fall 2011 Nitesh Saxena
Lecture 3.2: Induction and Strong Induction (contd.)
CS 250, Discrete Structures, Fall 2014
Lecture 3.2: Induction, and Strong Induction
CS 250, Discrete Structures, Fall 2014
CS 250, Discrete Structures, Fall 2013
CS 250, Discrete Structures, Fall 2015
CS 250, Discrete Structures, Fall 2015
Lecture 4.3: Closures and Equivalence Relations
Lecture 3.2: Induction, and Strong Induction
Lecture 1.6: Proof Techniques (contd)
Lecture 1.3: Predicate Logic
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
CS 250, Discrete Structures, Fall 2013
CS 250, Discrete Structures, Fall 2013
Module #13: Inductive Proofs
Lecture 3.1: Mathematical Induction
Induction (Section 3.3).
CS 250, Discrete Structures, Fall 2014 Nitesh Saxena
CS 250, Discrete Structures, Fall 2014 Nitesh Saxena
Lecture 1.6: Proof Techniques (contd)
Lecture 5.3: Graph Isomorphism and Paths
Advanced Analysis of Algorithms
Mathematical Induction
Mathematical Induction
Discrete Mathematics and its Applications
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
Lecture 1.3: Predicate Logic
CS 250, Discrete Structures, Fall 2012
Presentation transcript:

Lecture 3.1: Mathematical Induction CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag

Lecture 3.1 -- Mathematical Induction Course Admin Mid-Term 1 Hope it went well! Thanks for your cooperation running it smoothly We are grading them now, and should have the results by next class Solution was provided (emailed) Questions? 7/24/2019 Lecture 3.1 -- Mathematical Induction

Lecture 3.1 -- Mathematical Induction Course Admin HW2 Was due just now Will provide solution soon Will start grading soon Any questions? 7/24/2019 Lecture 3.1 -- Mathematical Induction

Lecture 3.1 -- Mathematical Induction Outline Mathematical Induction Principle Examples Why it all works 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Suppose we have a sequence of propositions which we would like to prove: P (0), P (1), P (2), P (3), P (4), … P (n), … EG: P (n) = “The sum of the first n positive odd numbers is equal to n2” We can picture each proposition as a domino: Book typically starts with n=1 instead of n=0. Starting point is arbitrary. P (n) 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction So sequence of propositions is a sequence of dominos. P (0) P (1) P (2) P (n) P (n+1) … … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction When the domino falls, the corresponding proposition is considered true: P (n) 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction When the domino falls (to right), the corresponding proposition is considered true: P (n) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Suppose that the dominos satisfy two constraints. Well-positioned: If any domino falls (to right), next domino (to right) must fall also. First domino has fallen to right P (n) P (n+1) P (0) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Suppose that the dominos satisfy two constraints. Well-positioned: If any domino falls to right, the next domino to right must fall also. First domino has fallen to right P (n) P (n+1) P (0) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Suppose that the dominos satisfy two constraints. Well-positioned: If any domino falls to right, the next domino to right must fall also. First domino has fallen to right P (n) true P (n+1) true P (0) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (0) P (1) P (2) P (n) P (n+1) … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (0) P (1) P (2) P (n) P (n+1) … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (1) P (2) P (n) P (n+1) P (0) true … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (2) P (n) P (n+1) P (0) true P (1) true … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (n) P (n+1) P (0) true P (1) true P (2) true … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (n) P (n+1) P (0) true P (1) true P (2) true … 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (n+1) P (0) true P (1) true P (2) true … P (n) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Then can conclude that all the dominos fall! P (0) true P (1) true P (2) true … P (n) true P (n+1) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction Principle of Mathematical Induction: If: [basis] P (0) is true [induction] k P(k)P(k+1) is true Then: n P(n) is true This formalizes what occurred to dominos. P (0) true P (1) true P (2) true … P (n) true P (n+1) true 7/24/2019 Lecture 3.1 -- Mathematical Induction

Lecture 3.1 -- Mathematical Induction Exercise 1 Use induction to prove that the sum of the first n odd integers is n2. Prove a base case (n=1) Prove P(k)P(k+1) Base case (n=1): the sum of the first 1 odd integer is 12. Yup, 1 = 12. Assume P(k): the sum of the first k odd ints is k2. 1 + 3 + … + (2k - 1) = k2 Prove that 1 + 3 + … + (2k - 1) + (2k + 1) = (k+1)2 1 + 3 + … + (2k-1) + (2k+1) = k2 + (2k + 1) = (k+1)2 By arithmetic 7/24/2019 Lecture 3.1 -- Mathematical Induction

Lecture 3.1 -- Mathematical Induction Exercise 2 Prove that 11! + 22! + … + nn! = (n+1)! - 1, n Base case (n=1): 11! = (1+1)! - 1? Yup, 11! = 1, 2! - 1 = 1 Assume P(k): 11! + 22! + … + kk! = (k+1)! - 1 Prove that 11! + … + kk! + (k+1)(k+1)! = (k+2)! - 1 11! + … + kk! + (k+1)(k+1)! = (k+1)! - 1 + (k+1)(k+1)! = (1 + (k+1))(k+1)! - 1 = (k+2)(k+1)! - 1 = (k+2)! - 1 7/24/2019 Lecture 3.1 -- Mathematical Induction

Exercises 3 and 4 (have seen before?) Recall sum of arithmetic sequence: Recall sum of geometric sequence: 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction - why does it work? Proof of Mathematical Induction: We prove that (P(0)  (k P(k)  P(k+1)))  (n P(n)) Assume P(0) k P(k)  P(k+1) n P(n) Proof by contradiction. n P(n) 7/24/2019 Lecture 3.1 -- Mathematical Induction

Mathematical Induction - why does it work? Assume P(0) k P(k)  P(k+1) n P(n) n P(n) Since N is well ordered, S has a least element. Call it k. Let S = { n : P(n) } What do we know? P(k) is false because it’s in S. k  0 because P(0) is true. P(k-1) is true because P(k) is the least element in S. But by (2), P(k-1)  P(k). Contradicts P(k-1) true, P(k) false. Done. 7/24/2019 Lecture 3.1 -- Mathematical Induction

Lecture 3.1 -- Mathematical Induction Today’s Reading Rosen 5.1 7/24/2019 Lecture 3.1 -- Mathematical Induction