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

Slides:



Advertisements
Similar presentations
Mathematical Induction
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.
1 Section 3.3 Mathematical Induction. 2 Technique used extensively to prove results about large variety of discrete objects Can only be used to prove.
1 Strong Mathematical Induction. Principle of Strong Mathematical Induction Let P(n) be a predicate defined for integers n; a and b be fixed integers.
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!
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.
Lecture 2.2: Set Theory* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren.
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.
Lecture 4.3: Closures and Equivalence Relations CS 250, Discrete Structures, Fall 2013 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
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.
Methods of Proof Dr. Yasir Ali. Proof A (logical) proof of a statement is a finite sequence of statements (called the steps of the proof) leading from.
Lecture 1.3: Predicate Logic CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
Lecture 5.4: Paths and Connectivity CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Zeph Grunschlag.
Lecture 4.1: Relations Basics CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
Lecture 4.2: Relations Basics CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
Lecture 2.2: Set Theory CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren.
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
Lecture 1.5: Proof Techniques
Lecture 4.3: Closures and Equivalence Relations
Lecture 3.2: Induction and Strong Induction (contd.)
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)
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
CS 250, Discrete Structures, Fall 2013
CS 250, Discrete Structures, Fall 2013
Lecture 3.1: Mathematical Induction
Induction (Section 3.3).
CS 250, Discrete Structures, Fall 2014 Nitesh Saxena
Lecture 1.6: Proof Techniques (contd)
Advanced Analysis of Algorithms
Mathematical Induction
Mathematical Induction
Lecture 3.1: Mathematical Induction
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
CS 250, Discrete Structures, Fall 2015 Nitesh Saxena
CS 250, Discrete Structures, Fall 2012
Presentation transcript:

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

10/2/2015 Lecture 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 no less than two weeks Solution will be provided soon Questions?

10/2/2015 Lecture Mathematical Induction Course Admin HW2 (don’t forget) Due Oct 14 (Tues)

10/2/2015 Lecture Mathematical Induction Outline Mathematical Induction Principle Examples Why it all works

10/2/2015 Lecture 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 n 2 ” We can picture each proposition as a domino: P (n)

10/2/2015 Lecture Mathematical Induction Mathematical Induction So sequence of propositions is a sequence of dominos. … P (n+1)P (n) P (2)P (1)P (0) …

10/2/2015 Lecture Mathematical Induction Mathematical Induction When the domino falls, the corresponding proposition is considered true: P (n)

10/2/2015 Lecture Mathematical Induction Mathematical Induction When the domino falls (to right), the corresponding proposition is considered true: P (n) true

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

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

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

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! … P (n+1)P (n) P (2)P (1)P (0)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! … P (n+1)P (n) P (2)P (1)P (0)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! …P (0) true P (n+1)P (n) P (2)P (1)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! …P (0) true P (1) true P (n+1)P (n) P (2)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! P (2) true …P (0) true P (1) true P (n+1)P (n)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! P (2) true …P (0) true P (1) true P (n+1)P (n)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! P (2) true …P (0) true P (1) true P (n) true P (n+1)

10/2/2015 Lecture Mathematical Induction Mathematical Induction Then can conclude that all the dominos fall! P (2) true …P (0) true P (1) true P (n) true P (n+1) true

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

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

10/2/2015 Lecture 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! + … + k  k! + (k+1)(k+1)! =(k+1)! (k+1)(k+1)! = (1 + (k+1))(k+1)! - 1 = (k+2)(k+1)! - 1 = (k+2)! - 1

10/2/2015 Lecture Mathematical Induction Exercises 3 and 4 (have seen before?) 1. Recall sum of arithmetic sequence: 2. Recall sum of geometric sequence:

10/2/2015 Lecture 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)) Proof by contradiction. Assume 1. P(0) 2.  k P(k)  P(k+1) 3.  n P(n)  n  P(n)

10/2/2015 Lecture Mathematical Induction Mathematical Induction - why does it work? Assume 1. P(0) 2.  k P(k)  P(k+1) 3.  n P(n)  n  P(n) Let S = { n :  P(n) } Since N is well ordered, S has a least element. Call it k. 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.

10/2/2015 Lecture Mathematical Induction Today’s Reading Rosen 5.1