Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c)2001-2004 Michael P. Frank Modified by (c) 2004-2005 Haluk Bingöl 1/18 Module.

Slides:



Advertisements
Similar presentations
Mathematical Induction
Advertisements

Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
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
Induction Sections 41. and 4.2 of Rosen Fall 2008 CSCE 235 Introduction to Discrete Structures Course web-page: cse.unl.edu/~cse235 Questions:
Induction Sections 4.1 and 4.2 of Rosen Fall 2010
1 Inductive Proofs Rosen 6 th ed., § Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every.
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
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.
Induction and recursion
Methods of Proof & Proof Strategies
Mathematical Maxims and Minims, 1988
Induction and recursion
Chapter 6 Mathematical Induction
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.
Copyright © Peter Cappello Mathematical Induction Goals Explain & illustrate construction of proofs of a variety of theorems using mathematical induction.
10/17/2015 Prepared by Dr.Saad Alabbad1 CS100 : Discrete Structures Proof Techniques(1) Dr.Saad Alabbad Department of Computer Science
Discrete Mathematics Tutorial 11 Chin
1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.
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.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
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.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
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.
ICS 253: Discrete Structures I Induction and Recursion King Fahd University of Petroleum & Minerals Information & Computer Science Department.
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.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
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)
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
1 Mathematical Induction CS 202 Epp, chapter 4. 2.
Module #1 - Logic Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank. Modified By Mingwu Chen 1 Module.
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
CompSci 102 Discrete Math for Computer Science March 13, 2012 Prof. Rodger Slides modified from Rosen.
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.
2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics) 수학적 귀납법 (Mathematical Induction)
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Mathematical Induction
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
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.
CSE15 Discrete Mathematics 03/22/17
COT 3100, Spring 2001 Applications of Discrete Structures
Advanced Algorithms Analysis and Design
Induction and recursion
Module #10: Proof Strategies
Discrete Mathematics and its Applications
Induction and recursion
Follow me for a walk through...
Module #13: Inductive Proofs
Module #10: Proof Strategies
Follow me for a walk through...
Induction Chapter
Advanced Analysis of Algorithms
Mathematical Induction
Follow me for a walk through...
Discrete Mathematics and its Applications
Agenda Proofs (Konsep Pembuktian) Direct Proofs & Counterexamples
Presentation transcript:

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module #15 – Inductive Proofs Bogazici University Department of Computer Engineering CmpE 220 Discrete Mathematics 15. Induction Haluk Bingöl

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 2/18 Module #15 – Inductive Proofs Module #15: Inductive Proofs Rosen 5 th ed., §3.3 ~11 slides, ~1 lecture

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 3/17 Module #15 – Inductive Proofs §3.3: 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. Essentially a “domino effect” principle.Essentially a “domino effect” principle. Based on a predicate-logic inference rule: P(0)  n  0 (P(n)  P(n+1))  n  0 P(n)Based on a predicate-logic inference rule: P(0)  n  0 (P(n)  P(n+1))  n  0 P(n) “The First Principle of Mathematical Induction”

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 4/17 Module #15 – Inductive Proofs The “Domino Effect” … Premise #1: Domino #0 falls. Premise #2: For every n  ℕ, if domino #n falls, then so does domino #n+1. Conclusion: All of the dominoes fall down! Note: this works even if there are infinitely many dominoes!

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 5/17 Module #15 – Inductive Proofs Validity of Induction Proof that  k  0 P(k) is a valid consequent: Given any k  0, the 2 nd antecedent  n  0 (P(n)  P(n+1)) trivially implies that  n  0 (n<k)  (P(n)  P(n+1)), i.e., that (P(0)  P(1))  (P(1)  P(2))  …  (P(k  1)  P(k)). Repeatedly applying the hypothetical syllogism rule to adjacent implications in this list k−1 times then gives us P(0)  P(k); which together with P(0) (antecedent #1) and modus ponens gives us P(k). Thus  k  0 P(k). ■

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 6/17 Module #15 – Inductive Proofs The Well-Ordering Property Another way to prove the validity of the inductive inference rule is by using the well-ordering property, which says that: Axiom. (well-ordering property ) Every non-empty set of non-negative integers has a minimum (smallest) element.   S  ℕ :  m  S :  n  S : m  n This implies that {n|  P(n)} (if non-empty) has a min. element m, but then the assumption that P(m−1)  P((m−1)+1) would be contradicted.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 7/17 Module #15 – Inductive Proofs Outline of an Inductive Proof Let us say we want to prove  n P(n)… –Do the base case (or basis step): Prove P(0). –Do the inductive step: Prove  n P(n)  P(n+1). E.g. you could use a direct proof, as follows: Let n  ℕ, assume P(n). (inductive hypothesis) Now, under this assumption, prove P(n+1). –The inductive inference rule then gives us  n P(n).

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 8/17 Module #15 – Inductive Proofs Generalizing Induction Rule can also be used to prove  n  c P(n) for a given constant c  ℤ, where maybe c  0. In this circumstance, the base case is to prove P(c) rather than P(0), and the inductive step is to prove  n  c (P(n)  P(n+1)). Induction can also be used to prove  n  c P(a n ) for any arbitrary series {a n }. Can reduce these to the form already shown.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 9/17 Module #15 – Inductive Proofs Second Principle of Induction Characterized by another inference rule: P(0)  n  0: (  0  k  n P(k))  P(n+1)  n  0: P(n) The only difference between this and the 1st principle is that: the inductive step here makes use of the stronger hypothesis that P(k) is true for all smaller numbers k<n+1, not just for k=n. P is true in all previous cases A.k.a. “Strong Induction”

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 10/17 Module #15 – Inductive Proofs Induction Example (1st princ.) Prove that the sum of the first n odd positive integers is n 2. That is, prove: 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)

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 11/17 Module #15 – Inductive Proofs Example cont. 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)

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 12/17 Module #15 – Inductive Proofs Another Induction Example Thm.  n>0, n 0, n<2 n. Proof. Let P(n)=(n<2 n ) Base case: P(1)=(1<2 1 )=(1<2)=T. Inductive step: For n>0, prove P(n)  P(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+1 So n + 1 < 2 n+1, and we’re done.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 13/17 Module #15 – Inductive Proofs Example of Second Principle Show that every n>1 can be written as a product  p i = 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. Inductive step: Let n  2. Assume  2  k  n: P(k). Consider n+1. If it’s 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 we have that n+1 = p 1 p 2 …p t q 1 q 2 …q u, a product of s=t+u primes.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 14/17 Module #15 – Inductive Proofs Another 2nd Principle Example Prove that every amount of postage of 12 cents or more can be formed using just 4-cent and 5-cent stamps. P(n)=“n can be…” 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.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 15/17 Module #15 – Inductive Proofs The Method of Infinite Descent A way to prove that P(n) is false for all n  ℕ. Sort of a converse to the principle of induction. Prove first that  P(n):  k<n: P(k). Basically, “For every P there is a smaller P.” But by the well-ordering property of ℕ, we know that  P(m)   P(n):  P(k): n≤k. Basically, “If there is a P, there is a smallest P.” Note that these are contradictory unless ¬  P(m), that is,  m  ℕ : ¬P(m). There is no P.

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 16/17 Module #15 – Inductive Proofs Infinite Descent Example Theorem: 2 1/2 is irrational. Proof: Suppose 2 1/2 is rational, then  m,n  Z + : 2 1/2 =m/n. Let M,N be the m,n with the least n. So  k<N,j: 2 1/2 = j/k (let j=2N−M, k=M−N). ■

Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 17/17 Module #15 – Inductive Proofs References Rosen Discrete Mathematics and its Applications, 5e Mc GrawHill, 2003Rosen Discrete Mathematics and its Applications, 5e Mc GrawHill, 2003