CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

Similar documents
Discrete Mathematics. Spring 2017

A guide to Proof by Induction

Mathematical Induction Assignments

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

Climbing an Infinite Ladder

Climbing an Infinite Ladder

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

We want to show P (n) is true for all integers

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

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

EECS 1028 M: Discrete Mathematics for Engineers

Mathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring

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.

Mathematical Induction. Section 5.1

Section 4.2: Mathematical Induction 1

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

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

Mathematical Induction

Conjectures and proof. Book page 24-30

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

M381 Number Theory 2004 Page 1

PRINCIPLE OF MATHEMATICAL INDUCTION

Problem Set 5 Solutions

Course: CS1050c (Fall '03) Homework2 Solutions Instructor: Prasad Tetali TAs: Kim, Woo Young: Deeparnab Chakrabarty:

Discrete Mathematics & Mathematical Reasoning Induction

Induction. Announcements. Overview. Defining Functions. Sum of Squares. Closed-form expression for SQ(n) There have been some corrections to A1

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

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

C.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series

Proofs Not Based On POMI

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

CSE 311: Foundations of Computing. Lecture 14: Induction

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

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

Mathematical Induction

Example: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple

Mathematical Induction

21 Induction. Tom Lewis. Fall Term Tom Lewis () 21 Induction Fall Term / 14

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.

1 Recursive Algorithms

Complete Induction and the Well- Ordering Principle

Mathematical Induction

Introduction to Decision Sciences Lecture 10

Proofs Not Based On POMI

Fermat's Little Theorem

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

CHAPTER 4 SOME METHODS OF PROOF

Strategies for Proofs

Sequences & Mathematical Induction

Induction and Recursion

Carmen s Core Concepts (Math 135)

Discrete Mathematics & Mathematical Reasoning Induction

CSE 20 DISCRETE MATH. Fall

AQA Level 2 Further mathematics Further algebra. Section 4: Proof and sequences

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

MATHEMATICAL INDUCTION

1. (16 points) Circle T if the corresponding statement is True or F if it is False.

MATH10040: Numbers and Functions Homework 1: Solutions

Mathematical Induction Again

CSE 20 DISCRETE MATH. Winter

Strong Mathematical Induction

Sample Problems. Lecture Notes Proof by Induction page 1. Prove each of the following statements by induction.

Because of the special form of an alternating series, there is an simple way to determine that many such series converge:

Lecture 4: Probability, Proof Techniques, Method of Induction Lecturer: Lale Özkahya

CS173 Lecture B, September 10, 2015

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

Mathematical Induction Again

Mathematical Induction

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

1 Examples of Weak Induction

Research Methods in Mathematics Homework 4 solutions

CSE 20. Final Review. CSE 20: Final Review

PRODUCTS THAT ARE POWERS. A mathematical vignette Ed Barbeau, University of Toronto

Discrete Mathematics for CS Spring 2008 David Wagner Note 4

Proof by Induction. Andreas Klappenecker

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

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

Math 13, Spring 2013, Lecture B: Midterm

Proof by induction ME 8

PUTNAM TRAINING MATHEMATICAL INDUCTION. Exercises

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

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

Sequences, their sums and Induction

Chapter 5: The Integers

MTH 3318 Solutions to Induction Problems Fall 2009

COMP232 - Mathematics for Computer Science


Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Day 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving.

Discrete Mathematics and Probability Theory Summer 2015 Chung-Wei Lin Midterm 1

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

Summer HSSP Lecture Notes Week 1. Lane Gunderman, Victor Lopez, James Rowan

CHAPTER 8: EXPLORING R

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

Exercises. Template for Proofs by Mathematical Induction

Fall 2017 Test II review problems

Proof by Contradiction

Discrete Mathematics

Transcription:

CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results could be checked for a specific value of n (e.g., 1, 2, 3,..) but it would be impossible to check every possible case. For example, let Sn represent the statement that the sum of the first n positive integers is

Proof by Mathematical Induction, (continued) Let S n represent the statement that the sum of the first n positive integers is n(n+1)/2 If n = 1, then S 1 is 1= 11+ ( 1), 2 which is true. If n = 2, then S 2 is 1+ 2 = 2( 2 + 2 1), which is true. 3 + If n = 3, then S 3 is 1+ 2 + = ( 3 3 1), which is true. 2 4( 4 + 1) 1+ 2 + 3 + 4 =, If n = 4, then S 4 is 2 which is true.

Proof by Mathematical Induction, (continued) Continuing in this way for any amount of time would still not prove that Sn is true for every positive integer value of n. To prove that such statements are true for every positive integer value of n, the principle shown on the following slide is often used. Principle of Mathematical Induction Let S n be a statement concerning the positive integer n. Suppose that 1. S 1 is true; 2. for any positive integer k, k n, if S k is true, then S k + 1 is also true. Then S n is true for every positive integer value of n.

Principle of Mathematical Induction (continued) By assumption (1), the statement is true when n = 1. By assumption (2), the fact that the statement is true for n = 1 implies that it is true for n = 1 + 1 = 2. Using (2) again, the statement is thus true for 2 + 1 = 3, for 3 + 1 = 4, for 4 + 1 = 5, etc. Continuing in this way shows that the statement must be true for every positive integer. How Does Mathematical Induction Work?

Step 1 How To Prove by Mathematical Induction Prove that the statement is true for n = 1. Step 2 Show that, for any positive integer k, k n, if S k is true, then S k + 1 is also true. Example 1 - Proving An Equality Statement

Example 1 - Proving An Equality Statement Example 1 - Proving An Equality Statement

Example 1 - Proving An Equality Statement Example 1 - Proving An Equality Statement This final result is the statement for n = k + 1; it has been shown that if S k is true, then S k + 1 is also true. The two steps required for a proof by mathematical induction have been completed, so the statement S n is true for every positive integer value of n.

Prove By Mathematical Induction Please note that the left side of the statement S n always includes all the terms up to the nth term, as well as the nth term. Example 2 - Proving An Inequality Statement

Example 2 - Proving An Inequality Statement Example 2 - Proving An Inequality Statement

Generalized Principle of Mathematical Induction Some statements S n are not true for the first few values of n, but are true for all values of n that are greater than or equal to some fixed integer j. The following slightly generalized form of the principle of mathematical induction takes care of these cases. Generalized Principle of Mathematical Induction Let S n be a statement concerning the positive integer n. Let j be a fixed positive integer. Suppose that Step 1 S j is true; Step 2 for any positive integer k, k j, S k implies S k +1. Then S n is true for all positive integers n, where n j.

Example 3 - Using The Generalized Principle Example 3 - Using The Generalized Principle

Example 3 - Using The Generalized Principle Example 3 - Using The Generalized Principle

Example 3 - Using The Generalized Principle Example 4 - Sum of Odd Integers Proposition: 1 + 3 + + (2n-1) = n2 for all integers n 1. Proof (by induction): 1. Basis step: The statement is true for n=1: 1=12. 2. Inductive step: Assume the statement is true for some k 1 (inductive hypothesis) show that it is true for k+1.

Example 4 - Sum of Odd Integers (continued) The statement is true for k: 1+3+ +(2k-1) = k 2 (1) We need to show it for k+1: 1+3+ +(2(k+1)-1) = (k+1) 2 (2) Showing (2): 1+3+ +(2(k+1)-1) = 1+3+ +(2k+1) = 1+3+ +(2k-1)+(2k+1) = k 2 +(2k+1) = (k+1) 2 We proved the basis and inductive steps, so we conclude that the given statement true. Example 5 - The Geometric Series Any sum of the form: 1 + r + r 2 + r 3 +... + r n is called a Geometric Series. Thus, 1 + 2 + 4 + 8 + 16 +...+ 2 n is a geometric series. To find the sum of this series, consider: S = 1 + r + r 2 + r 3 +...+ r n. So rs = r r 2 r 3... r (n+ 1) and (1 r)s = 1 r (n+ 1) Therefore, 1 + r+ r 2 +...+ r n = 1 r n+ 1 1 r

Proof of the Geometric Series Prove: 1 + r + r 2 +...+ r n = [r (n + 1) 1] / (r 1) Proof: (by Induction) Basis: Show true for n = 0: LHS = 1 RHS = r (0+1) 1 = r 1 = 1 r 1 r 1 Therefore LHS = RHS Proof of the Geometric Series (continued) Induction: Assume 1 + r + r 2 +... + r k = r k+1 1 r 1 Show: 1+ r + r 2 +... + r k + r k+1 = r k + 2 1 r 1 Now: 1 + r + r 2 +... + r k + r k+1 = r k+1 1 + r k+1 r 1

Proof of the Geometric Series (continued) QED 1 + r + r 2 +... + r k + r k+1 = r k+1 1 + r k+1 r 1 = r k+1 1 + (r 1)r k+1 r 1 = r k+1 1 + r r k+1 r k+1 r 1 = r k+2 1 r 1 Divisibility Property Proposition: For any integer n 1, 7 n - 2 n is divisible by 5. (P(n)) Proof (by induction): 1. Basis: The statement is true for n = 1: (P(1)) 7 1 2 1 = 7-2 = 5 is divisible by 5.

Divisibility Property (continued) We are given that P(k): 7 k - 2 k is divisible by 5. (1) Then 7 k - 2 k = 5a for some a Z. (by definition) (2) Divisibility Property (continued) We need to show: P(k+1): 7 k+1-2 k+1 is divisible by 5. (3) 7 k+1-2 k+1 = 7 7 k - 2 2 k = 5 7 k + 2 7 k - 2 2 k = 5 7 k + 2 (7 k - 2 k ) = 5 7 k + 2 5a (by (2)) = 5 (7 k + 2a) which is divisible by 5. (by def.) Thus, P(n) is true by induction.

Two Proofs to Try = ( +1) 4 (2 +1) = ( +1)(2 +1)(2 +3) 3