Mathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring

Similar documents
Climbing an Infinite Ladder

Mathematical Induction. Section 5.1

Discrete Mathematics. Spring 2017

Climbing an Infinite Ladder

CSE 311: Foundations of Computing. Lecture 14: Induction

CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction. Linda Shapiro Spring 2016

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CS173 Strong Induction and Functions. Tandy Warnow

Induction and recursion. Chapter 5

PRINCIPLE OF MATHEMATICAL INDUCTION

With Question/Answer Animations

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

6.042/18.062J Mathematics for Computer Science. Induction I

Lecture 6 : Induction DRAFT

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

Divisibility = 16, = 9, = 2, = 5. (Negative!)

Use mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis.

Mathematical Induction. Rosen Chapter 4.1,4.2 (6 th edition) Rosen Ch. 5.1, 5.2 (7 th edition)

Discrete Mathematics. Spring 2017

Mathematical Induction

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument.

THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM Eng. Huda M.

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms

Homework 3 Solutions, Math 55

Sec$on Summary. Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs

Discrete Mathematics for CS Spring 2008 David Wagner Note 4

PGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?

Induction and Recursion

Inference and Proofs (1.6 & 1.7)

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1

At the start of the term, we saw the following formula for computing the sum of the first n integers:

Mathematical Induction

Exercises. Template for Proofs by Mathematical Induction

Assignment 3 Logic and Reasoning KEY

Discrete Math, Spring Solutions to Problems V

Proof Techniques (Review of Math 271)

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

Section 4.2: Mathematical Induction 1

Lecture Overview. 2 Weak Induction

Introduction to Induction (LAMC, 10/14/07)

Mathematical Induction

Integer-Valued Polynomials

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Groups. s t or s t or even st rather than f(s,t).

CSE373: Data Structures and Algorithms Lecture 2: Proof by Nicki Dell Spring 2014

Strong Mathematical Induction

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Line Integrals and Path Independence

Proof by Induction. Andreas Klappenecker

Math 231E, Lecture 25. Integral Test and Estimating Sums

CS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks

Math Lecture 23 Notes

Math Lecture 3 Notes

CS 124 Math Review Section January 29, 2018

At least one of us is a knave. What are A and B?

Ch 3.2: Direct proofs

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

6.042/18.062J Mathematics for Computer Science September 12, 2006 Tom Leighton and Ronitt Rubinfeld. Induction, I.

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Quick Sort Notes , Spring 2010

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

Fall 2015 Lecture 14: Modular congruences. cse 311: foundations of computing

Computer Science Foundation Exam

Math 13, Spring 2013, Lecture B: Midterm

CSE373: Data Structures and Algorithms Lecture 2: Math Review; Algorithm Analysis. Hunter Zahn Summer 2016

Sequences and infinite series

PROBLEM SET 3: PROOF TECHNIQUES

Math 112 Section 10 Lecture notes, 1/7/04

COM S 330 Lecture Notes Week of Feb 9 13

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Chapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures

Mathematical Induction. Defining Functions. Overview. Notation for recursive functions. Base case Sn(0) = 0 S(n) = S(n 1) + n for n > 0

Lecture 8 : Structural Induction DRAFT

Mathematical Induction Assignments

No Solution Equations Let s look at the following equation: 2 +3=2 +7

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018

Predicate Logic & Quantification

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

CHAPTER2 PROOFS, RECURSION, AND ANALYSIS OF ALGORITHMS CHAPTER OBJECTIVES. Question: Is the contractor s estimate correct?

The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Lecture 7 Feb 4, 14. Sections 1.7 and 1.8 Some problems from Sec 1.8

Reading 5 : Induction

Sum of Squares. Defining Functions. Closed-Form Expression for SQ(n)

Proving logical equivalencies (1.3)

Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Note 7

CSE 20 DISCRETE MATH SPRING

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

CSCE 222 Discrete Structures for Computing. Proof by Induction. Dr. Hyunyoung Lee. !!!!!! Based on slides by Andreas Klappenecker

9.4 Radical Expressions

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Now, with all the definitions we ve made, we re ready see where all the math stuff we took for granted, like numbers, come from.

CS280, Spring 2004: Final

Note that r = 0 gives the simple principle of induction. Also it can be shown that the principle of strong induction follows from simple induction.

5: The Integers (An introduction to Number Theory)

Transcription:

Mathematical Induction EECS 203: Discrete Mathematics Lecture 11 Spring 2016 1

Climbing the Ladder We want to show that n 1 P(n) is true. Think of the positive integers as a ladder. 1, 2, 3, 4, 5, 6,... You can reach the bottom of the ladder: P(1) From each ladder step, you can reach the next. P(1) P(2), P(2) P(3),... k 1 P(k) P(k+1) Then, by mathematical induction: n 1 P(n) 2

Mathematical Induction How do we prove a universal statement about the positive integers: n 1 P(n) Mathematical induction is an inference rule Base case: P(1) Inductive step: k 1 P(k) P(k+1) Conclusion: n 1 P(n) The inductive step requires proving an implication. 3

Simple Math Induction Example Prove, for all n N, Proof: We use induction. Let P(n) be: Base case: P(0), because 0 = 0. 4

Simple Math Induction Example Inductive step: Assume that P(k) is true, where k is an arbitrary natural number. 5

Simple Math Induction Example Inductive step: Assume that P(k) is true, where k is an arbitrary natural number. The first equality follows from P(k), and the second by simplification. Thus, P(k+1) is true. By induction, P(n) is true for all natural numbers n. QED This shows how to write a clear inductive proof. 6

Question Did you understand the proof by induction? (A) Yes, that s really clever! (B) How can you start with P(0) instead of P(1)? (C) When do you use P(k) and when P(n)? (D) Isn t it circular to assume P(k), when you are trying to prove P(n)? (E) I just don t get it. 7

Divisibility Example (1) Let s try to prove n N 3 n 3 n. First, we ll work through the mathematics. Then we ll structure a clear proof. Base case: P(0) is easy: 3 (0 3 0) Everything divides zero, so it s true. 8

Divisibility Example (2) Inductive step: k N P(k) P(k+1) Assume P(k): 3 (k 3 k) (for arbitrary k) Can we prove P(k+1): 3 ((k+1) 3 (k+1))? Try multiplying it out: We know that 3 (k 3 k) and 3 (3k 2 +3k). Conclude that 3 ((k+1) 3 (k+1)), so P(k) P(k+1). 9

A Clear Divisibility Proof Theorem: n N 3 (n 3 n) Proof: Use induction on P(n): 3 (n 3 n). Base case: P(0) is true because 3 (0 3 0). Inductive step: Assume P(k), for arbitrary natural number k. Then: The final statement is P(k+1), so we have proved that P(k) P(k+1) for all natural numbers k. By mathematical induction, P(n) is true for all n N. QED 10

Notice: we had to go back and start by assuming P(k) and then showing it implied P(k+1). That first step isn t at all clear unless you ve done the math first! 11

Use induction to show that n 2n 1 = n 2 k=1 Theorem: Proof: Base case: Inductive step: 12

A False Proof Theorem : All horses are the same color. Proof: By induction, where P(n) is the proposition that in every set of n horses, all horses are the same color. Base case: P(1) is true, because in every set of 1 horse, all horses are the same color. Inductive step: Assume P(k) is true, for arbitrary positive integer k: In any set of k horses, all have the same color. This is called the inductive hypothesis. 13

False Proof (2) Inductive hypothesis P(k): In any set of k horses, all have the same color. Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Thus, k N P(k) P(k+1) So, n N P(n). What s wrong? 14

Question What s wrong with that proof by induction? (A) Mathematical induction doesn t apply to horses. (B) The Base Case is incorrect. (C) The Inductive Step is incorrect. (D) The Base Case and Inductive Step are correct, but you ve put them together wrong. (E) It s completely correct: all horses are the same color! 15

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Start with k = 1 Then for k = 2 A set of one horse with the same color Another set of one horse with the same color 16

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color The link P(1) P(2) is false. So, this proof by mathematical induction is invalid. However, the inductive step for k 2 is actually correct! 17

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Assume true for k = 2 Then for k = 3 18

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Assume true for k = 2 Then for k = 3 A group of two 19

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Assume true for k = 2 Then for k = 3 Another group of two 20

The Problem with the Horses Inductive step: k N P(k) P(k+1) Now consider a set of k+1 horses h 1, h 2,... h k, h k+1 By P(k), the first k horses are all the same color h 1, h 2,... h k, Likewise, the last k horses are also the same color h 2,... h k, h k+1 Therefore, all k+1 horses must have the same color Assume true for k = 2 Then for k = 3 But base step wasn t true! 21

Tiling a Checkerboard (1) For n 1, consider a 2 n 2 n checkerboard. Can we cover it with 3-square L-shaped tiles? No. Remove any one of the squares. Can we tile it now? Prove by induction: Let P(n) be the proposition: A 2 n 2 n checkerboard, minus any one of the squares, can be tiled with these L-shaped tiles. 22

Tiling a Checkerboard (2) Consider a 2 k+1 2 k+1 checkerboard, minus any one square. Divide the checkerboard into four 2 k 2 k quadrants. The missing square is in one quadrant. From the other three quadrants, remove the square closest to the center of the checkerboard. 23

Tiling a Checkerboard (3) P(k) says that each quadrant (minus one square) can be tiled. One tile covers the three central squares. Thus, P(k) P(k+1), for arbitrary k 1. By mathematical induction, n 1 P(n). 24

The Harmonic Series (1) The Harmonic Numbers are the partial sums of the Harmonic Series: We want to prove that: This implies an important property of the Harmonic Series: 25

Theorem: The Harmonic Series (2) Proof: By induction, with P(n) being Base case: P(0) is true because Inductive step: The inductive hypothesis P(k) is From that assumption, we want to prove P(k+1). 26

The Harmonic Series (3) The inductive hypothesis P(k) is This demonstrates P(k+1). 27

The Harmonic Series (4) This proves that P(k) P(k+1) for arbitrary k. Therefore, by mathematical induction, P(n) is true for all n N. QED. Theorem: Let j = 2 n be some integer. Then n = log j. Therefore, the Harmonic series diverges, because But it diverges very slowly. 28

Prove that 6 divides n 3 n whenever n is a nonnegative integer. 29