Mathematical Induction Again

Similar documents
Mathematical Induction Again

Mathematical Induction

Discrete Mathematics. Spring 2017

Mathematical Induction Assignments

Proofs Not Based On POMI

Proofs Not Based On POMI

Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories

Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories

Project One: C Bump functions

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

General Power Series

Geometric Series and the Ratio and Root Test

The Existence of the Riemann Integral

Convergence of Sequences

Problem Set 5 Solutions

Mathematical Induction

Differentiating Series of Functions

Consequences of Continuity

Climbing an Infinite Ladder

More On Exponential Functions, Inverse Functions and Derivative Consequences

Convergence of Sequences

MTH 3318 Solutions to Induction Problems Fall 2009

Sequences of Real Numbers

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

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

Taylor Polynomials. James K. Peterson. Department of Biological Sciences and Department of Mathematical Sciences Clemson University

CS173 Strong Induction and Functions. Tandy Warnow

Climbing an Infinite Ladder

Bolzano Weierstrass Theorems I

Uniform Convergence Examples

Riemann Integration Theory

Consequences of Continuity

What can you prove by induction?

Mathematical Induction

The Derivative of a Function

Upper and Lower Bounds

Riemann Sums. Outline. James K. Peterson. September 15, Riemann Sums. Riemann Sums In MatLab

Geometric Series and the Ratio and Root Test

Mathematical Induction

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

6.2 Deeper Properties of Continuous Functions

Uniform Convergence Examples

Convergence of Fourier Series

Riemann Integration. James K. Peterson. February 2, Department of Biological Sciences and Department of Mathematical Sciences Clemson University

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

Matrix Solutions to Linear Systems of ODEs

Matrices and Vectors

Section 4.2: Mathematical Induction 1

Riemann Integration. Outline. James K. Peterson. February 2, Riemann Sums. Riemann Sums In MatLab. Graphing Riemann Sums

Fourier Sin and Cos Series and Least Squares Convergence

Integration by Parts Logarithms and More Riemann Sums!

1 Antiderivatives graphically and numerically

MA131 - Analysis 1. Workbook 4 Sequences III

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

More Protein Synthesis and a Model for Protein Transcription Error Rates

The Inclusion Exclusion Principle

Antiderivatives! Outline. James K. Peterson. January 28, Antiderivatives. Simple Fractional Power Antiderivatives

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

5.5 Deeper Properties of Continuous Functions

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

MAT137 - Term 2, Week 2

A proof of a partition conjecture of Bateman and Erdős

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

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

Antiderivatives! James K. Peterson. January 28, Department of Biological Sciences and Department of Mathematical Sciences Clemson University

Hölder s and Minkowski s Inequality

The Limit Inferior and Limit Superior of a Sequence

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

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

Mathematical Induction. Section 5.1

Function Composition and Chain Rules

MATH FINAL EXAM REVIEW HINTS

Cable Convergence. James K. Peterson. May 7, Department of Biological Sciences and Department of Mathematical Sciences Clemson University

Hölder s and Minkowski s Inequality

1 The Well Ordering Principle, Induction, and Equivalence Relations

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

PROBABILITY VITTORIA SILVESTRI

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.

Dirchlet s Function and Limit and Continuity Arguments

Predator - Prey Model Trajectories are periodic

Predator - Prey Model Trajectories and the nonlinear conservation law

Carmen s Core Concepts (Math 135)

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Proving simple set properties...

. As the binomial coefficients are integers we have that. 2 n(n 1).

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

Solutions for Homework Assignment 2

Integration and Differentiation Limit Interchange Theorems

Lower semicontinuous and Convex Functions

Math 115 Spring 11 Written Homework 10 Solutions

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES

Written Homework # 2 Solution

Predator - Prey Model Trajectories are periodic

Lecture 5b: Starting Matlab

FINAL REVIEW FOR MATH The limit. a n. This definition is useful is when evaluating the limits; for instance, to show

The First Derivative and Second Derivative Test

Exercises. Template for Proofs by Mathematical Induction

The First Derivative and Second Derivative Test

Math 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions

Transcription:

Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 2, 207

Outline Mathematical Induction 2 Simple POMI Examples 3 More Abstract and Tricky POMI Arguments 4 Homework

Mathematical Induction Mathematical Induction Theorem The Principle of Mathematical Induction For each natural number n, let P(n) be a statement or proposition about the numbers n. P() is true: This is called the BASIS STEP P(k + ) is true when P(k) is true: This is called the INDUCTIVE STEP then we can conclude P(n) is true for all natural numbers n.

Mathematical Induction There are many alternative versions of this. Theorem The Principle of Mathematical Induction For each natural number n, let P(n) be a statement or proposition about the numbers n. If If there is a number n 0 so that P(n 0 ) is true: BASIS STEP P(k + ) is true when P(k) is true for all k n 0 : INDUCTIVE STEP then we can conclude P(n) is true for all natural numbers n n 0.

Mathematical Induction The POMI Template So in outline, we have Proposition Statement Body Proof: BASIS Verification INDUCTIVE Body of Argument Finishing Phrase Comment QED or Note we try to use pleasing indentation strategies and white space to improve readability and understanding.

Simple POMI Examples + 2 + 3 + + n = 2n(n + ), n Proof BASIS : P() is the statement = 2 ()(2) = which is true. So the basis step is verified. INDUCTIVE : We assume P(k) is true for an arbitrary k >. Hence, we know + 2 + 3 + + k = k(k + ) 2 Now look at P(k + ). We note + 2 + 3 + + (k + ) = { + 2 + 3 + + k} + (k + )

Simple POMI Examples Proof Now apply the induction hypothesis and let + 2 + 3 + + k = 2k(k + ) We find + 2 + 3 + + (k + ) = k(k + ) + (k + ) 2 { } = (k + ) 2 k + = (k + )(k + 2) 2 This is precisely the statement P(k + ). Thus P(k + ) is true and we have verifed the inductive step. Hence, by the POMI, P(n) holds for all n.

Simple POMI Examples Recall the when you first encountered Riemann integration, you probably looked at taking the limit of Riemann sums using right side partitions. So for example, for f (x) = 2 + x on the interval [0, ] using a partition width of n, the Riemann sum is n f i= ( 0 + i ) n n n ( = 2 + i ) n n i= = 2 n + n n n 2 i. i= i=

Simple POMI Examples Recall the when you first encountered Riemann integration, you probably looked at taking the limit of Riemann sums using right side partitions. So for example, for f (x) = 2 + x on the interval [0, ] using a partition width of n, the Riemann sum is n f i= ( 0 + i ) n n n ( = 2 + i ) n n i= = 2 n + n n n 2 i. The first sum, n i= = n and so the first term is 2 n n = 2. To evaluate the second term, we use our formula from above: n i= i = n(n+) 2n(n + ) and so the second term becomes 2 n n which simplifies to 2 ( + n ). i= i=

Simple POMI Examples So the Riemann sum here is 2 + ( 2 + n) which as n gets large clearly approaches the value 2.5. The terms 2.5 + 2n form what is called a sequence and the limit of this sequence is 2.5. We will talk about this a lot more later.

Simple POMI Examples So the Riemann sum here is 2 + ( 2 + n) which as n gets large clearly approaches the value 2.5. The terms 2.5 + 2n form what is called a sequence and the limit of this sequence is 2.5. We will talk about this a lot more later. From your earlier calculus courses, you know 0 (2 + x)dx = (2x + 2 ) x 2 = 2 + 0 2. which matches what we found with the Riemann sum limit. In MATH 4540, we discuss the theory of Riemann integration much more carefully, so consider this just a taste of that kind of theory!

Simple POMI Examples 2 + 2 2 + 3 2 + + n 2 = 6n(n + )(2n + ) n Proof BASIS : P() is the statement = 6 ()(2)(3) = which is true. So the basis step is verified. INDUCTIVE : We assume P(k) is true for an arbitrary k >. Hence, we know 2 + 2 2 + 3 2 + + k 2 = k(k + )(2k + ) 6 Now look at P(k + ). We note 2 + 2 2 + 3 2 + + (k + ) 2 = { 2 + 2 2 + 3 2 + + k 2 } +(k + ) 2

Simple POMI Examples Proof Now apply the induction hypothesis and let 2 + 2 2 + 3 2 + + k 2 = 6k(k + )(2k + ) We find 2 + 2 2 + 3 2 + + (k + ) 2 = k(k + )(2k + ) + (k + )2 6 { } = (k + ) k(2k + ) + (k + ) 6 = (k + ) {k(2k + ) + 6(k + )} 6 = 6 (k + ) { 2k 2 + 7k + 6) } = (k + )(k + 2)(2k + 3) 6 This is precisely the statement P(k + ). Thus P(k + ) is true and we have verifed the inductive step. Hence, by the POMI, P(n) holds for all n.

Simple POMI Examples Now look at for f (x) = 2 + x 2 on the interval [0, ] using a partition width of n, the Riemann sum is ( n f i= ( 0 + i ) n n = = 2 n n i= 2 + ( ) ) i 2 n n n + n n 3 i 2. i= i=

Simple POMI Examples Now look at for f (x) = 2 + x 2 on the interval [0, ] using a partition width of n, the Riemann sum is ( n f i= ( 0 + i ) n n = = 2 n n i= 2 + ( ) ) i 2 n n n + n n 3 i 2. The first sum, n i= = n and so the first term is again 2 n n = 2. To evaluate the second term, we use our formula from above: n i= i 2 = 6n(n + )(2n + ) and so the second term ( becomes ) ( n(n+)(2n+) 6 n n n which simplifies to 6 + n 2 + n). i= i=

Simple POMI Examples So the Riemann sum here is 2 + ( ) ( 6 + n 2 + n) which as n gets large clearly approaches the value 2 + 3. The terms 2 + ( ) ( 6 + n 2 + n) form a sequence and the limit of this sequence is 7/3.

Simple POMI Examples So the Riemann sum here is 2 + ( ) ( 6 + n 2 + n) which as n gets large clearly approaches the value 2 + 3. The terms 2 + ( ) ( 6 + n 2 + n) form a sequence and the limit of this sequence is 7/3. From your earlier calculus courses, you know 0 (2 + x 2 )dx = (2x + 3 ) x 3 = 2 + 0 3. which matches what we found with the Riemann sum limit.

More Abstract and Tricky POMI Arguments 2 n n 2, n 4 Proof BASIS : P(4) is the statement 2 4 = 6 4 2 = 6 which is true. So the basis step is verified. INDUCTIVE : We assume P(k) is true for an arbitrary k > 4. Hence, we know 2 k k 2. Now look at P(k + ). We note 2 k+ = 2 2 k 2 k 2. We need to show 2 k+ (k + ) 2 so we must show 2 k 2 (k + ) 2. We can simplify this by multiplying both sides out to get 2k 2? k 2 + 2k + k 2? 2k +.

More Abstract and Tricky POMI Arguments Proof As discussed in the text, we can answer this question by doing another POMI inside this one or we can figure it out graphically. Draw the graph of x 2 and 2x + together and you can clearly see k 2 > 2k + when k > 3. You can look up the drawings in the notes. Thus P(k + ) is true and we have verifed the inductive step. Hence, by the POMI, P(n) holds for all n 4.

More Abstract and Tricky POMI Arguments The number of objects in a set S is denoted by S. You can look up examples in the text. We call this the cardinality of the set S. For example, the cardinality of the set {Jim, Pauli, Qait, Quinn} is 4

More Abstract and Tricky POMI Arguments The number of objects in a set S is denoted by S. You can look up examples in the text. We call this the cardinality of the set S. For example, the cardinality of the set {Jim, Pauli, Qait, Quinn} is 4 Given a set S, S can have many subsets. For example, {Jim, Pauli} is a subset of the original S defined above. Since the original set has just 4 objects in it, there are 4 subsets with just one object, There are ( ( 4 2) ways to choose subsets of 2 objects. Recall 4 2) is 4! 2! 2! = 24 4 = 6. There are then ( 4 3) ways to choose 3 objects which 4! gives 3!! = 24 6 = 4. Finally there is just one way to choose 4 objects. So the total number of subsets is + 4 + 6 + 4 = 5. We always also add in the empty set = { } to get the total number of subsets is 6. Note this is the same as 2 4. Hence, we might conjecture that if S had only a finite number of objects in it, the number of subset of S is 2 S.

More Abstract and Tricky POMI Arguments The number of objects in a set S is denoted by S. You can look up examples in the text. We call this the cardinality of the set S. For example, the cardinality of the set {Jim, Pauli, Qait, Quinn} is 4 Given a set S, S can have many subsets. For example, {Jim, Pauli} is a subset of the original S defined above. Since the original set has just 4 objects in it, there are 4 subsets with just one object, There are ( ( 4 2) ways to choose subsets of 2 objects. Recall 4 2) is 4! 2! 2! = 24 4 = 6. There are then ( 4 3) ways to choose 3 objects which 4! gives 3!! = 24 6 = 4. Finally there is just one way to choose 4 objects. So the total number of subsets is + 4 + 6 + 4 = 5. We always also add in the empty set = { } to get the total number of subsets is 6. Note this is the same as 2 4. Hence, we might conjecture that if S had only a finite number of objects in it, the number of subset of S is 2 S. The collection of all subsets of a set S is denoted by 2 S for this reason and the cardinality of 2 S is thus 2 S.

More Abstract and Tricky POMI Arguments 2 S = 2 S, S Proof BASIS : When S is, there is only one element in S and so the number of subsets is just S itself and the empty set. So 2 S is 2 = 2. This shows the proposition is true for S =. So the basis step is verified. INDUCTIVE : We assume the proposition is true for an arbitrary S = k for any k >. We can thus label the objects in S as S = {a, a 2,..., a k }. Now consider a new set which has one more object in it. Call this set S. We see S = {S,, a k+ } and we can easily count or enumerate how many new subsets we can get. We can add or adjoin the object a k+ to each of the 2 S subsets of S to get 2 S additional subsets. Thus, the total number of subsets is 2 S + 2 S = 2 S +. But S + = S. Thus P( S = k + ) is true and we have verifed the inductive step. Hence, by the POMI, P( S = n) holds for all n.

More Abstract and Tricky POMI Arguments ( + x) n + nx, n N, x Proof BASIS : When n =, we are asking if + x + x when x which is actually true for all x. So the basis step is verified. INDUCTIVE : We assume the proposition is true for any x and for any k >. Thus, we assume ( + x) k + kx. Now look at the proposition at k +. We have ( + x) k+ = ( + x) ( + x) k ( + x) ( + kx). We must show ( + x) ( + kx) ( + (k + )x) for x. We have to show + (k + )x + kx 2? + (k + )x. We can cancel the + (k + )x on both sides which tells us we must check if kx 2 0 when x. This is true. Thus P(k + ) is true and we have verifed the inductive step. Hence, by the POMI, P(n) holds for all n.

Homework Homework 2 Use the POMI to prove the following propositions. 2. 2 + 2 3 + + n (n+) = n n+. 2.2 d dx x n = nx n, x, n N. You can assume you know the powers f (x) = x n are differentiable and that you know the product rule: if f and g are differentiable, then (fg) = f g + f g. 2.3 + x + + x n = xn+ x, x, n N. 2.4 x n dx = n+ x n+, n N. You can assume you know integration by parts. The basis step is xdx = x 2 /2 which you can assume you know. After that it is integration by parts.