1 Inductive Proofs Rosen 6 th ed., §4.1-4.3. 2 Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every.

Slides:



Advertisements
Similar presentations
Mathematical Induction
Advertisements

Mathematical Induction
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Week 5 - Friday.  What did we talk about last time?  Sequences  Summation and production notation  Proof by induction.
Induction and Recursion. Odd Powers Are Odd Fact: If m is odd and n is odd, then nm is odd. Proposition: for an odd number m, m k is odd for all non-negative.
Induction Lecture 5: Sep 21 (chapter of the book and chapter of the notes)
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and recursion
1.  The set N = {1,2,3,4,……..} is known as natural numbers or the set of positive integers  The natural numbers are used mainly for :  counting  ordering.
Induction Sections 41. and 4.2 of Rosen Fall 2008 CSCE 235 Introduction to Discrete Structures Course web-page: cse.unl.edu/~cse235 Questions:
Recursive Definitions Rosen, 3.4. Recursive (or inductive) Definitions Sometimes easier to define an object in terms of itself. This process is called.
Induction Sections 4.1 and 4.2 of Rosen Fall 2010
1 Intro to Induction Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
CSE115/ENGR160 Discrete Mathematics 03/22/12 Ming-Hsuan Yang UC Merced 1.
CSE115/ENGR160 Discrete Mathematics 03/31/11
Inductive Proofs Must Have Base Case (value): –where you prove it is true about the base case Inductive Hypothesis (value): –where you state what will.
Module #1 - Logic 1 Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank. Modified By Mingwu Chen Induction.
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.
CSE115/ENGR160 Discrete Mathematics 03/29/11 Ming-Hsuan Yang UC Merced 1.
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.
Mathematical Induction
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Mathematical Maxims and Minims, 1988
Induction and recursion
Chapter 6 Mathematical Induction
Discrete Mathematics, 1st Edition Kevin Ferland
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!
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
Induction and Recursion §4.1 Mathematical Induction §4.2 Strong Induction and Well-Ordering §4.3 Recursive Definitions and Structural Inductions §4.4 Recursive.
Discrete Mathematics Tutorial 11 Chin
Module #13: Inductive Proofs Rosen 5 th ed., § inference of a generalized conclusion from particular instances 2. mathematical demonstration of the.
Inductive Proofs. Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every natural number n, no matter.
Chap 3 –A theorem is a statement that can be shown to be true –A proof is a sequence of statements to show that a theorem is true –Axioms: statements which.
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.
1 Inductive Proofs Rosen 6 th ed., § Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every.
Module #15 – Inductive Proofs 12/6/2015(c) , Michael P. Frank1 Inductive Proofs: a brief introduction Rosen 5 th ed., §3.3 ~35 slides, ~1.5 lecture.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
Foundations of Discrete Mathematics Chapters 5 By Dr. Dalia M. Gil, Ph.D.
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
1 Mathematical Induction CS 202 Epp, chapter 4. 2.
Mathematical Induction 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.
Mathematical Induction
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
Chapter 5. 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.
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics) 수학적 귀납법 (Mathematical Induction)
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Mathematical Induction
3.3 Mathematical Induction 1 Follow me for a walk through...
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
CS151: Mathematical Foundations of Computing Mathematical Induction.
Advanced Algorithms Analysis and Design
Chapter 3 The Real Numbers.
Induction and recursion
Chapter 5 Induction and Recursion
Proofs, Recursion and Analysis of Algorithms
Discrete Mathematics and its Applications
Induction and recursion
Follow me for a walk through...
CSE 373 Data Structures and Algorithms
Module #13: Inductive Proofs
Induction Chapter
Advanced Analysis of Algorithms
Mathematical Induction
Discrete Mathematics and its Applications
Agenda Proofs (Konsep Pembuktian) Direct Proofs & Counterexamples
Presentation transcript:

1 Inductive Proofs Rosen 6 th ed., §

2 Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every natural number n, no matter how large.A powerful, rigorous technique for proving that a predicate P(n) is true for every natural number n, no matter how large. Based on a predicate-logic inference rule:Based on a predicate-logic inference rule: P(0)  n  0 (P(n)  P(n+1))  n  0 P(n)P(0)  n  0 (P(n)  P(n+1))  n  0 P(n)

3 Outline of an Inductive Proof Want to prove  n P(n) …Want to prove  n P(n) … Base case (or basis step): Prove P(0).Base case (or basis step): Prove P(0). Inductive step: Prove  n P(n)  P(n+1).Inductive step: Prove  n P(n)  P(n+1). –e.g. use a direct proof: Let n  N, assume P(n). (inductive hypothesis)Let n  N, assume P(n). (inductive hypothesis) Under this assumption, prove P(n+1).Under this assumption, prove P(n+1). Inductive inference rule then gives  n P(n).Inductive inference rule then gives  n P(n).

4 Induction Example Prove thatProve that

5 Another Induction Example Prove that , n<2 n. Let P(n)=(n<2 n )Prove that , n<2 n. Let P(n)=(n<2 n ) –Base case: P(0)=(0<2 0 )=(0<1)=T. –Inductive step: For prove P(n)  P(n+1). Assuming n<2 n, prove n+1 < 2 n+1.Assuming n<2 n, prove n+1 < 2 n+1. Note n + 1 < 2 n + 1 (by inductive hypothesis) < 2 n + 2 n (because 1<2=2  2   2  2 n-1 = 2 n ) = 2 n+1Note n + 1 < 2 n + 1 (by inductive hypothesis) < 2 n + 2 n (because 1<2=2  2   2  2 n-1 = 2 n ) = 2 n+1 So n + 1 < 2 n+1, and we’re done.So n + 1 < 2 n+1, and we’re done.

6 Validity of Induction Prove: if  n  0 (P(n)  P(n+1)), then  k  0 P(k) Prove: if  n  0 (P(n)  P(n+1)), then  k  0 P(k) (a) Given any k  0,  n  0 (P(n)  P(n+1)) implies (P(0)  P(1))  (P(1)  P(2))  …  (P(k  1)  P(k)) (P(0)  P(1))  (P(1)  P(2))  …  (P(k  1)  P(k)) Using hypothetical syllogism k-1 times we have (b) Using hypothetical syllogism k-1 times we have P(0)  P(k) P(0)  P(k) (c) P(0) and modus ponens gives P(k). Thus  k  0 P(k). Thus  k  0 P(k).

7 The Well-Ordering Property The validity of the inductive inference rule can also be proved using the well-ordering property, which says:The validity of the inductive inference rule can also be proved using the well-ordering property, which says: –Every non-empty set of non-negative integers has a minimum (smallest) element. –  S  N :  m  S :  n  S : m  n

8 Use Well-Ordering Property and Proof by Contradiction Suppose P(0) is true and that P(k)  P(k+1) is true for all positive k.Suppose P(0) is true and that P(k)  P(k+1) is true for all positive k..Assume P(n) is false for some positive n. Implies S={n|  P(n)} is non-empty and has a minimum element m (i.e., P(m)=false)Implies S={n|  P(n)} is non-empty and has a minimum element m (i.e., P(m)=false) But then, P(m-1)  P((m-1)+1)=P(m) which is a contradiction!But then, P(m-1)  P((m-1)+1)=P(m) which is a contradiction!

9 Generalizing Induction Can also be used to prove  n  c P(n) for a given constant c  Z, where maybe c  0, then:Can also be used to prove  n  c P(n) for a given constant c  Z, where maybe c  0, then: –Base case: prove P(c) rather than P(0) –The inductive step is to prove:  n  c (P(n)  P(n+1)).  n  c (P(n)  P(n+1)).

10 Induction Example Prove that the sum of the first n odd positive integers is n 2. That is, prove:Prove that the sum of the first n odd positive integers is n 2. That is, prove: Proof by induction.Proof by induction. –Base case: Let n=1. The sum of the first 1 odd positive integer is 1 which equals 1 2. (Cont…) P(n)P(n)

11 Example cont. Inductive step: Prove  n  1: P(n)  P(n+1).Inductive step: Prove  n  1: P(n)  P(n+1). –Let n  1, assume P(n), and prove P(n+1). By inductive hypothesis P(n)

12 Strong Induction Characterized by another inference rule: P(0)  n  0: (  0  k  n P(k))  P(n+1)  n  0: P(n)Characterized by another inference rule: P(0)  n  0: (  0  k  n P(k))  P(n+1)  n  0: P(n) Difference with previous version is that the inductive step uses the fact that P(k) is true for all smaller, not just for k=n.Difference with previous version is that the inductive step uses the fact that P(k) is true for all smaller, not just for k=n. P is true in all previous cases

13 Example 1 Show that every n>1 can be written as a product p 1 p 2 …p s of some series of s prime numbers. Let P(n)=“n has that property”Show that every n>1 can be written as a product p 1 p 2 …p s of some series of s prime numbers. Let P(n)=“n has that property” Base case: n=2, let s=1, p 1 =2.Base case: n=2, let s=1, p 1 =2. Inductive step: Let n  2. Assume  2  k  n: P(k). Consider n+1. If prime, let s=1, p 1 =n+1. Else n+1=ab, where 1  a  n and 1  b  n. Then a=p 1 p 2 …p t and b=q 1 q 2 …q u. Then n+1= p 1 p 2 …p t q 1 q 2 …q u, a product of s=t+u primes.Inductive step: Let n  2. Assume  2  k  n: P(k). Consider n+1. If prime, let s=1, p 1 =n+1. Else n+1=ab, where 1  a  n and 1  b  n. Then a=p 1 p 2 …p t and b=q 1 q 2 …q u. Then n+1= p 1 p 2 …p t q 1 q 2 …q u, a product of s=t+u primes.

14 Example 2 Prove that every amount of postage of 12 cents or more can be formed using just 4- cent and 5-cent stamps.Prove that every amount of postage of 12 cents or more can be formed using just 4- cent and 5-cent stamps. Base case: 12=3  4), 13=2  4)+1(5), 14=1(4)+2(5), 15=3(5), so  12  n  15, P(n).Base case: 12=3  4), 13=2  4)+1(5), 14=1(4)+2(5), 15=3(5), so  12  n  15, P(n). Inductive step: Let n  15, assume  12  k  n P(k). Note 12  n  3  n, so P(n  3), so add a 4-cent stamp to get postage for n+1.Inductive step: Let n  15, assume  12  k  n P(k). Note 12  n  3  n, so P(n  3), so add a 4-cent stamp to get postage for n+1.

15 Example 3 Suppose a 0, a 1, a 2, … is defined as follows: a 0 =1, a 1 =2, a 2 =3, a 0 =1, a 1 =2, a 2 =3, a k = a k-1 +a k-2 +a k-3 for all integers k≥3. a k = a k-1 +a k-2 +a k-3 for all integers k≥3. Then a n ≤ 2 n for all integers n≥0.P(n)  Proof (by strong induction): 1) Basis step: The statement is true for n=0: a 0 =1 ≤1=2 0 P(0) for n=1: a 1 =2 ≤2=2 1 P(1) for n=1: a 1 =2 ≤2=2 1 P(1) for n=2: a 2 =3 ≤4=2 2 P(2) for n=2: a 2 =3 ≤4=2 2 P(2)

16 Example 3 (cont’d) 2) Inductive hypothesis: For any k>2, Assume P(i) is true for all i with 0≤i<k: a i ≤ 2 i for all 0≤i<k. a i ≤ 2 i for all 0≤i<k. 3) Inductive step: Show that P(k) is true: a k ≤ 2 k a k = a k-1 +a k-2 +a k-3 ≤ 2 k-1 +2 k-2 +2 k-3 (using inductive hypothesis) ≤ 2 k-1 +2 k-2 +2 k-3 (using inductive hypothesis) ≤ …+2 k-3 +2 k-2 +2 k-1 ≤ …+2 k-3 +2 k-2 +2 k-1 = 2 k -1 (as a sum of geometric sequence) = 2 k -1 (as a sum of geometric sequence) ≤ 2 k ≤ 2 k Thus, P(n) is true by strong induction.