Mathematical induction Isaac Fung. Announcement ► Homework 1 released ► Due on 6 Oct 2008 (in class)

Slides:



Advertisements
Similar presentations
Mathematical Induction
Advertisements

Introduction to Proofs
Lesson 10.4: Mathematical Induction
Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
1.1The Principle of Mathematical Induction 1.2Divisibility Chapter Summary Case Study Mathematical Induction 1.
Week 5 - Friday.  What did we talk about last time?  Sequences  Summation and production notation  Proof by induction.
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 Intro to Induction Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
TR1413: INTRO TO DISCRETE MATHEMATICS LECTURE 2: 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.
CSE115/ENGR160 Discrete Mathematics 03/22/12 Ming-Hsuan Yang UC Merced 1.
What is the best way to start? 1.Plug in n = 1. 2.Factor 6n 2 + 5n Let n be an integer. 4.Let n be an odd integer. 5.Let 6n 2 + 5n + 4 be an odd.
Methods of Proof Leo Cheung. A Quick Review Direct proof Proof by contrapositive Proof by contradiction Proof by induction.
Chapter 10 Sequences, Induction, and Probability Copyright © 2014, 2010, 2007 Pearson Education, Inc Mathematical Induction.
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 by: Mohsin tahir (GL) Numan-ul-haq Waqas akram Rao arslan Ali asghar.
Copyright © 2007 Pearson Education, Inc. Slide 8-1.
Induction (chapter of the book and chapter of the notes)
ICS 253 Presents Mathematical Induction Sultan Almuhammadi muhamadi
Mathematical Maxims and Minims, 1988
Lecture 9. Arithmetic and geometric series and mathematical induction
Chapter 6 Mathematical Induction
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!
CSNB143 – Discrete Structure Topic 5 – Induction Part I.
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
9.4 Mathematical Induction
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.
Chapter 1: Introduction
Mathematical Induction
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.
Mathematical Induction I Lecture 5: Sep 20 (chapter of the textbook and chapter of the course notes)
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
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.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Copyright © Zeph Grunschlag, Induction Zeph Grunschlag.
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.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Induction (chapter of the book and chapter of the notes)
Advanced Algorithms Analysis and Design
Induction and recursion
Mathematical Induction
Induction and recursion
Exercise Use mathematical induction to prove the following formula.
Follow me for a walk through...
CSE 373 Data Structures and Algorithms
Mathematical Induction I
Mathematical Induction
Induction (Section 3.3).
Dr. Halimah Alshehri MATH 151 Dr. Halimah Alshehri Dr. Halimah Alshehri.
Follow me for a walk through...
Induction Chapter
Advanced Analysis of Algorithms
Chapter 11: Further Topics in Algebra
Mathematical Induction
(c) Project Maths Development Team 2011
Induction Rosen 5 Lecture 8: Oct 29, 30.
Follow me for a walk through...
From the last time: gcd(a, b) can be characterized in two different ways: It is the least positive value of ax + by where x and y range over integers.
11.4 Mathematical Induction
Presentation transcript:

Mathematical induction Isaac Fung

Announcement ► Homework 1 released ► Due on 6 Oct 2008 (in class)

Overview ► Induction  equation  divisibility  inequality ► Strong induction ► Well ordering principle

Principle of induction ► Last time, we saw how to prove some predicate P(n) is true for all integers n by showing that P(n) is true for arbitrary n e.g. If n is any integer that is not a perfect square, then is irrational ► But this does not always work e.g. ► We may not know how to build a tower with n floors directly, yet knowing how to build the ground floor and how to build one new floor on top of it, we can build a tower with any number of floors as we like ► Advantage of induction:  usually easy to build the ground floor  easy to build a new floor on top of another

Principle of induction ► Suppose the followings are true, for what values of n is P(n) true?  P(1) and P(n)=>P(n+1)  P(3) and P(n)=>P(n+1)  P(1) and P(n)=>P(n+2)  P(1), P(2) and P(n)=>P(n+2)  P(1) and P(n)=>P(2n)  P(1) and P(n)^P(n+1)=>P(n+2)  P(1), P(2) and P(n)^P(n+1)=>P(n+2)  P(1) and P(1)^ … ^P(n)=>P(n+1)  1, 2, 3, 4, 5, …  3, 4, 5, 6, 7, …  1, 3, 5, 7, 9 …  1, 2, 3, 4, 5, …  1, 2, 4, 8, 16, … 1111  1, 2, 3, 4, 5, …

Induction (Proving equation) ► For any integer n>=0, ► Proof: ► We prove by induction on n. ► Let P(n) be the proposition that

► Base case, n=0: So P(n) is true for n=0. ► Inductive step: Suppose that P(n) is true for some n>=0, that is. Can we change some n to all n?

► Then, for n>=0, ► By induction, P(n) is true for all integers n>=0. By the inductive hypothesis

Induction (Proving equation) ► For any integer n>=2, ► Proof: ► We prove by induction on n. ► Let P(n) be the proposition that

► Base case, n=2: So P(2) is true. So P(2) is true. ► Inductive step: Suppose that P(n) is true for some n>=2. So,

► Then, for n>=2, ► By induction, P(n) is true for all integers n>=2. By the inductive hypothesis

Induction (Divisibility) ► For any integer n>=1, is divisible by 6 ► Proof: ► We prove by induction on n. ► Base case, n=1: is divisible by 6. is divisible by 6. So it is true for n=1.

► Inductive step: Suppose that for some n>=1, is divisible by 6 is divisible by 6 ► Then, ► Either n+1 or n+2 is even, so the last term is divisible by 6. Therefore is divisible by 6. ► By induction, is divisible by 6 for all integers n>=1 By the inductive assumption

Induction (Proving inequality) ► For any integer n>=4, ► Proof: ► We prove by induction on n. ► Base case, n=4: So the claim is true for n=4.

► Inductive step: Assume that for some n>=4 ► Then, ► By induction, for all integer n>=4. By the inductive hypothesis By assumption, n>=2 By assumption, n>=1

Induction (Alternative proof of infinitude of primes) ► For any integer n>=1, is divisible by at least n distinct primes ► Proof: ► We prove by induction on n. ► Base case, n=1: is divisible by 3. is divisible by 3. So the claim is true for n=1.

► Inductive step: Assume that for some n>=1, is divisible by n distinct prime numbers. is divisible by n distinct prime numbers. ► Then, ► Let and ► By the inductive assumption, q has n distinct prime factors. ► Also, note that the p, q differ by 2, so they can have no common factors except 2. But both of them are odd, so they are relatively prime. ► Since p has at least 1 prime factor and it is not a factor of q, p*q has at least n distinct prime factors. ► By induction, is divisible by n distinct primes for all n>=1 x 2 -1=(x+1)(x-1)

Strong induction ► If sequence {a n } is defined as follows then a n =1 ► Proof: ► We proceed by strong induction. ► Let P(n) be the proposition that a n <= (7/4) n Can we use weak induction?

► Base case, n=1, 2: By definition, a 1 = 1 <= (7/4) 1, a 2 = 3 <=(7/4) 2 ► Inductive step: Assume that P(k) is true for 1 =2 ► a n+1 = a n + a n-1 <= (7/4) n + (7/4) n-1 <= (7/4) n + (7/4) n-1 = (7/4) n-1 (7/4+1) = (7/4) n-1 (7/4+1) <= (7/4) n-1 (7/4) 2 <= (7/4) n-1 (7/4) 2 = (7/4) n+1 = (7/4) n+1 ► By the principle of strong induction, P(n) is true for all n>=1 by the inductive assumption Can we assume P(n)^P(n+1) and then derive P(n+2)? Why we can’t just check the case n=1?

Strong induction ► If sequence {a n } is defined as follows then for any integer n>=0 ► Proof: ► We proceed by strong induction. ► Let P(n) be the proposition that for n = 0 for n > 0

► Base case, n=0: By definition, a 0 = 1 ► Inductive step: Suppose that P(k) is true for 0 =0 ► Consider a n+1 ► By induction, P(n) is true for all integers n>=0 by the inductive hypothesis GP sum

Strong induction ► Every integer n>=1 can be expressed as the sum of distinct Fibonacci numbers ► Proof: ► We proceed by strong induction ► Let P(n) be the statement that “ n can be written as the sum of distinct Fibonacci numbers ” ► Base case, n=1: 1 is a Fibonacci number, so P(1) is true

► Inductive step: Assume that P(k) holds for 1 =1 ► Consider n+1. If n+1 is a Fibonacci number, then we are done If not, we have, for some m>=1 f m < n+1 < f m+1 ► This gives n+1 = f m + (n+1-f m ) ► Now n+1-f m < n+1, so by the inductive hypothesis, n f m = f j1 + f j2 + f j3 + … for some distinct f j1, f j2, …

► (cont) ► Now n+1-f m < n+1, so by the inductive hypothesis, n f m = f j1 + f j2 + f j3 + … for some distinct f j1, f j2, … ► Moreover, none of these f ji is f m as f m+1 < 2f m. If some f ji =f m, then 2f m <=n+1 and f m cannot be the largest Fibonacci number <=n+1 ► Therefore, n + 1 = f m + f j1 + f j2 + f j3 + … So P(n+1) is true. ► By the principle of strong induction, P(n) is true for all integers n>=1

Strong induction ► ► To divide a chocolate bar with m × n squares into unit squares, we need mn − 1 cuts ► ► Proof: ► ► Let A = m × n ► ► We prove by strong induction on A. ► ► Base case, A=1: 0 cut is needed Should we induct on m or n?

► Inductive step: ► Assume that a chocolate bar of area B needs B-1 cuts for 1 =1 ► Consider a chocolate bar of area A+1 ► We can cut it once and divide it into two pieces of area A 1 and A 2, where A 1 +A 2 = A+1 ► By the inductive hypothesis, we need A 1 -1 and A 2 -1 cuts to divide them. So in total, we need A A = A cuts ► By the principle of strong induction, we ► By the principle of strong induction, we need mn − 1 cuts to divide a chocolate bar with m × n squares

Well ordering principle ► The equation has no non-zero integer solution ► Proof: ► Assume to the contrary that there are non-zero integers u, v, w and z satisfying this equation ► By the well ordering principle, there are non-zero integers u, v, w and z satisfying this equation, such that they do not share any common prime factors

► Since the left hand side is even, x is also even, i.e. x = 2k for some integer k ► This implies w is even, i.e. w = 2l for some integer l ► Repeat the same argument, we can deduce that u and v are also even ► This contradicts our assumption that u, v, x and w do not have common prime factors

Additional references ► ► ► /training-induc.pdf /training-induc.pdf /training-induc.pdf ► Science/6-042JSpring-2005/8C9DC16C DA2-B58E- 850E90431AE1/0/rec5.pdf Science/6-042JSpring-2005/8C9DC16C DA2-B58E- 850E90431AE1/0/rec5.pdf Science/6-042JSpring-2005/8C9DC16C DA2-B58E- 850E90431AE1/0/rec5.pdf ► Science/6-042JSpring-2005/F592ADD6-24E C- A12A545EB2FB/0/rec4.pdf Science/6-042JSpring-2005/F592ADD6-24E C- A12A545EB2FB/0/rec4.pdf Science/6-042JSpring-2005/F592ADD6-24E C- A12A545EB2FB/0/rec4.pdf ►