Problem Set 5 Solutions

Size: px
Start display at page:

Download "Problem Set 5 Solutions"

Transcription

1 Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true because 9 > +. We assume that P k) is true, which states that k > + k for some natural number k. We will show P k + ) is true. Now, k+ k > + k ) + k > + k + k+ and hence, k+ > + k+. That is, if P k) is true, then P k + ) is true. Therefore, for all natural numbers n, n > + n. b) For each natural number b with n 6, n > n + ). Let P n) be the statement n > n + ). The base case, P 6), is true because 6 64 > ). Assume P k) is true, which says that k > k + ). We will show that P k + ) is true as well. Consider Now, for k 6, k > k +, so we have k+ k k + ) k + 4k + k + 4k + > k + + 4k + k + 4k + 4 k + ) as desired. So, P k + ) is true wheneverp k) is true. Therefore, by mathematical induction, n > n + ) for all natural numbers n 6. c) For each natural number n with n, + n) n < n. Let P n) be the statement that + n) < n. The base case, P ), is true because + ) 4 ) 64 7 <. If P k) is true, then + ) k k < k. We will show P k + ) is true as well. Consider + ) k+ < k + ) k k k +

2 Notice that k+ < k for k, and so + ) k+ < + ) k+ < k + k + k 4. Thus, if P k) is true, then P k + ) is true. Therefore, for all natural numbers n, + n) n < n. a) Verify that 4) 4 and that ) ) b) Verify that 4) ) ) ) ) 9 ) ) and that 4 ) ) ) ) ) ) ) ) ) ) 9 ) ) ) ) 6 5) ) ) c) For n N with n, make a conjecture for the formula for the product ) ) ) ) n n k ) k n + n d) Based on your work in Parts 4a) and 4b), state a proposition and then use the Extended Principle of Mathematical Induction to prove your proposition. Let P n) be the proposition that for natural numbers n, n i ) i First, for n, we have that P ) is true as i ) i n + n ) 4 4 +

3 Now, suppose for all j k that P k) is true, where k is some natural number greater than. We will show P k + ) is true, which states j k+ j j ) Consider the following: k+ j ) k j ) j k + k + ) ) k + ) ) ) k + k k + ) ) k + k + ) ) k k + ) k + k k + k k + ) k + k + ) So, P k + ) is true whenever P k) is true. Thus, for natural numbers n, n k ) k n + n 9. Can each natural number greater than or equal to 6 be written as the sum of at least two natural numbers, each of which is a or a 5? Justify your conclusion. For example, 6 + +, , and Let P n) be the statement that n can be written as the sum of at least two natural numbers, each of which is a or a 5. For base cases, we have P 6) is true because P 7) is true because P 8) is true because P 9) is true because P 0) is true because Now let k N with k 0. Assume that P 6),..., P k) are true. Since k + k 4) + 5 and 6 k 4 < k, we see that P k 4) is true. So, k 4 is a sum of at least natural numbers, each of which is a or a 5. So, the above equation implies that k + is the sum of at least natural numbers, each of which is a or a 5, and so P k + ) is true. Therefore, for all natural numbers n 6, we can write n as the sum of at least two natural numbers, each of which is a or a 5.

4 0. Use mathematical induction to prove the following proposition: Let x be a real number with x > 0. Then for each natural number n with n, + x) n > + nx. Explain why the assumption x > 0 was used in the proof. Let x be a real number with x > 0. Let P n) be + x) n > + nx. First, P ) is true. For any choice of x > 0, we have + x) > + x x + x + > + x And, since x R +, this last line is always true. x > 0 Let k N with k and assume P k) is true. Then, + x) k > + kx Since x + 0, we see that + x) > 0 as well, so we can multiply both sides of the above inequality by + x). Then, + x) k+ > + kx) + x) + kx + x + kx > + k + )x Hence, if P k) is true, then P k + ) is true. So, for all n N with n, + x) n > + nx when x > 0. In the case where x 0, we have equality in the statement for any choice of n. So by restricting to x > 0, the statement will be true for any choice of x R + and any choice of n N where n.. Prove or disprove each of the following propositions: a) For each n N, nn + ) n n + This is a true statement. We will prove this with mathematical induction. Let n N. Let P n) be the statement P ) is true because +. Assume P k) is true, which says that nn + ) kk + ) n n + k k +

5 for some k N. We will show that P k + ) is true as well. Consider kk + ) + k + )k + ) [ + ] kk + ) k + )k + ) k k + + k + )k + ) kk + ) + k + )k + ) k + k + k + )k + ) k + ) k + )k + ) k + k + as desired. This shows that P k + ) is true whenever P k) is true. So, by mathematical induction, nn + ) n n + for all natural numbers n. b) For each natural number n with n, nn + ) n n + This is a true statement. We will prove this with mathematical induction. Let n N, where n, and let P n) be that Now, P ) is true because that for some k N with k, nn + ) n n + 4 ) kk + ) k k + We will show P k + ) is true as well. Consider. Next, assume P k) is true, which is to say kk + ) + k + )k + ) [ 4 + ] kk + ) k + )k + ) k k + + k + )k + )

6 k )k + ) + k + )k + ) k k + )k + ) k k + 6 as desired. This shows that P k + ) is true whenever P k) is true. So, by mathematical induction, nn + ) n n + for all natural numbers n. c) For each n N, nn + ) nn+)n+). This is a true statement. We will prove this with mathematical induction. Let P n) be that for natural numbers n, nn+) nn+)n+). P ) is true because +)+). Assume P k) is true, which says that kk + ) kk + )k + ) for some natural number n. We will show that P k + ) is true, which says that Now, k + )k + ) k + )k + )k + ) k + )k + ) [ kk + )] + k + )k + ) kk + )k + ) + k + )k + ) kk + )k + ) + k + )k + ) k + )k + )k + ) as desired. This shows that P k + ) is true whenever P k) is true. So, by mathematical induction, nn + )n + ) nn + ) for all n N.

7 Section 4.. Assume that f, f,..., f n,... are the Fibonacci numbers. Prove each of the following: a) For each n N, f 4n is a multiple of. Let P n) be f 4n is a multiple of. Since f 4, P ) is true. Now, if P k) is true, then there exists m N such that f 4k m. Then, f 4k+) f 4k+4 f 4k+ + f 4k+ f 4k+ + f 4k+ + f 4k+ + f 4k f 4k+ + f 4k + f 4k+ + f 4k f 4k+ + f 4k f 4k+ + m) f 4k+ + m) This proves that if P k) is true, then P k + ) is true. So, for all n N, divides f 4n. b) For each n N, f 5n is a multiple of 5. Let P n) be f 5n is divisible by 5 where n is any natural number. Since f 5 5, P ) is true. Now, if P k) is true, then there exists an integer m such that f 5k 5m. Then, f 5k+) 5 5k+5 f 5k+4 + f 5k+ f 5k+ + f 5k+ + f 5k+ + f 5k+ f 5k+ + f 5k+ + f 5k+ f 5k+ + f 5k+ + f 5k+ + f 5k ) + f 5k+ f 5k+ + 4f 5k+ + f 5k 5f 5k+ + f 5k 5f 5k+ + 5m) 5f 5k+ + m) This proves that P k + ) is true whenever P k) is true. So, for all n N, 5 divides f 5n. c) OMIT d) For each n N, f + f f n f n. Let n N and let P n) be the statement f + f f n f n. Since f f, P ) is true. For k N, if P k) is true, then f + f f k f k. Then f + f f k ) + f k+) f + f f k ) + f k+ f k + f k+ f k+ f k+) This proves that if P k) is true, then P k + ) is true. So, for all n N, f + f f n f n.

8 e) For each n N, f + f f n f n+. Let n N and let P n) be f + f f n f n+. P ) is true because f f. For k N, if P k) is true, then f + f f k f k+. Then, f + f f k ) + f k+) f + f f k ) + f k+ f k+ + f k+ f k+ f k+)+ This shows that P k +) is true whenever P k) is true. So, for n N, f +f f n f n+. f) For each n N, f + f f n f n f n+. For n N, let P n) be f + f f n f n f n+. P ) is true because f f f. For k N, if P k) is true, then f + f f k f kf k+. Then, f + f f k ) + f k+ f kf k+ + f k+ f k+ f k + f k+ ) f k+ f k+ This proves that if P k) is true, then P k + ) is true as well. So, for n N, f + f f n f n f n+. g) For each n N such that n 0 mod ), f n is an odd integer. Let P n) be f n+ and f n+ are both odd. Now, P ) is true because f 4 and f 5 5. For k N, if P k) is true, then f k+ and f k+ are both odd. Consider f k+)+ f k+4 f k+ + f k+ Now, by a proposition from the text, Proposition 4.), f k+ is even. And, f k+ is odd by our inductive hypothesis. Therefore, f k+)+ is odd. Also, f k+)+ f k+5 f k+4 + f k+ Again, by proposition 4., f k+ is even. And, we have just proven that f k+4 is odd. Therefore, f k+)+ is odd. This proves that if P k) is true, then P k + ) is true. So, by mathematical induction, if n is a natural number such that n 0 mod ), f n is an odd integer. 4. The quadratic formula can be used to show that α + 5 and β 5 are the two real number solutions to the quadratic equation x x 0. Notice that this implies α α+ and β β +. It may be surprising to find out that these two irrational numbers are closely related to the Fibonacci numbers

9 a) Verify that f α β α β and that f α β α β. f f + 5 ) ) b) Work with the relation f f + f and substitute the expressions for f and f from part a). Rewrite the expression as a single fraction and then in the numerator use α + α αα + ) and a similar equation involving β. Now prove that f α β α β f f + f + α + α) β + β) αα + ) ββ + ) αα ) ββ) α β c) Use induction to prove that for each natural number n, if α + 5 and β 5, then f n αn β n α β. Let P n) be f n αn β n α β. We have previously shown that P ) and P ) are true. Now, f k+ f k + f k αk β k + αk β k

10 αk + α k β k + β k ) ak α + ) β k β + ) ak α ) β k β ) αk+ β k+ This shows that P k + ) is true whenever P k) is true. So, for n N, f n αn β n α β, where α + 5 and β For the sequence a, a,..., a n,..., assume that a and that for each n N, a n+ a n + 5. a) Calculate a through a 6. a a a a + 5 a 4 a a 5 a a 6 a b) Make a conjecture for a formula for a n for each n N. Conjecture: For n N, a n + 5n ). c) Prove your conjecture in Exercise 9b) is correct. Let P n) be a n + 5n ) for n N. P ) is true because a + 5 ). Now, if P k) is true then a k + 5k ). Consider a k+ a k k ) k This shows that P k+) is true whenever P k) is true. So, for all n N, a n +5n ).. For each sequence a, a,..., a n,..., assume that a, a, and that for each n N, a n+ a n+ a n. a) Calculate a through a 6. a a a ) ) 7 a 4 a a 7) ) 5 a 5 a 4 a 5) 7) a 6 a 5 a 4 ) 5) 6 b) Make a conjecture for a formula for a n for each n N. Conjecture: For all natural numbers n, a n n.

11 c) Prove your conjecture in Exercise b) is correct. Let P n) be a n n for n N. P ) is true because a. If P k) is true, then a k k for some natural number k. We want to show that a k+ k+. Consider a k+ a k a k k ) k ) k k + k k k k+ This proves that P k + ) is true whenever P k) is true. So, for all natural numbers n, a n n. 6. For each sequence a, a,..., a n,..., assume that a and that for each natural number n, a n+ a n + n n! a) Compute n! for the first 0 natural numbers.!!! 6 4! 4 5! 0 6! 70 7! ! ! b) Compute a n for the first 0 natural numbers. a a +! a +! 6 a 4 6 +! 4 a ! 0 a ! 70 a ! 5040 a ! 400 a ! 6880 a ! 68800

12 c) Make a conjecture about a formula for a n in terms of n that does not involve a summation or a recursion. Conjecture: for all natural numbers n, a n n!. d) Prove your conjecture in Part c). Let P n) be the statement that a n n! for any natural number n. P is true because a. Now, if P k) is true, then a k k! for some natural number k. Then, a k+ a k + k k! k! + k k! k! + k) k + )! as desired. So, P k + ) is true whenever P k) is true. Therefore, by mathematical induction, a n n! for all natural numbers n.

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

Mathematical Induction Assignments

Mathematical Induction Assignments 1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +

More information

MTH 3318 Solutions to Induction Problems Fall 2009

MTH 3318 Solutions to Induction Problems Fall 2009 Pat Rossi Instructions. MTH 338 Solutions to Induction Problems Fall 009 Name Prove the following by mathematical induction. Set (): ++3+...+ n n(n+) i n(n+) Step #: Show that the proposition is true for

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

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

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4 Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Discrete Math, Spring Solutions to Problems V

Discrete Math, Spring Solutions to Problems V Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose

More information

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

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Sums of Squares. Bianca Homberg and Minna Liu

Sums of Squares. Bianca Homberg and Minna Liu Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares

More information

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

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018 The principle of mathematical induction is a useful tool for proving that a certain predicate is true for all natural numbers. It cannot be used to discover theorems, but only to prove them. If we have

More information

Mathematical Induction

Mathematical Induction Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)

More information

Midterm Preparation Problems

Midterm Preparation Problems Midterm Preparation Problems The following are practice problems for the Math 1200 Midterm Exam. Some of these may appear on the exam version for your section. To use them well, solve the problems, then

More information

Mathematical Induction

Mathematical Induction Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical

More information

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.

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. Proof by mathematical induction using a strong hypothesis Occasionally a proof by mathematical induction is made easier by using a strong hypothesis: To show P(n) [a statement form that depends on variable

More information

Chapter 5.1: Induction

Chapter 5.1: Induction Chapter.1: Induction Monday, July 1 Fermat s Little Theorem Evaluate the following: 1. 1 (mod ) 1 ( ) 1 1 (mod ). (mod 7) ( ) 8 ) 1 8 1 (mod ). 77 (mod 19). 18 (mod 1) 77 ( 18 ) 1 1 (mod 19) 18 1 (mod

More information

201-1A5-MT - Mathematics Summer 2015 HOMEWORK 2 Deadline : Sunday, August 30, 2015 at 12 :30.

201-1A5-MT - Mathematics Summer 2015 HOMEWORK 2 Deadline : Sunday, August 30, 2015 at 12 :30. 01-1A5-MT - Mathematics Summer 015 HOMEWORK Deadline : Sunday, August 30, 015 at 1 :30. Instructions : The assignment consists of five questions, each worth 0 points. Only hardcopy submissions of your

More information

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

MATH 215 Final. M4. For all a, b in Z, a b = b a. MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on

More information

Solutions to Assignment 1

Solutions to Assignment 1 Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive

More information

MATH 271 Summer 2016 Practice problem solutions Week 1

MATH 271 Summer 2016 Practice problem solutions Week 1 Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction 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

More information

Consider an infinite row of dominoes, labeled by 1, 2, 3,, where each domino is standing up. What should one do to knock over all dominoes?

Consider an infinite row of dominoes, labeled by 1, 2, 3,, where each domino is standing up. What should one do to knock over all dominoes? 1 Section 4.1 Mathematical Induction Consider an infinite row of dominoes, labeled by 1,, 3,, where each domino is standing up. What should one do to knock over all dominoes? Principle of Mathematical

More information

Mathematical Induction

Mathematical Induction Mathematical Induction Let s motivate our discussion by considering an example first. What happens when we add the first n positive odd integers? The table below shows what results for the first few values

More information

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

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 1 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 2 Section 5.1 3 Section Summary Mathematical Induction Examples of

More information

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION Predrag Terzic Podgorica, Montenegro pedja.terzic@hotmail.com Abstract. We present deterministic primality test for Fermat numbers, F

More information

Basic Proof Examples

Basic Proof Examples Basic Proof Examples Lisa Oberbroeckling Loyola University Maryland Fall 2015 Note. In this document, we use the symbol as the negation symbol. Thus p means not p. There are four basic proof techniques

More information

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

THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM Eng. Huda M. THE ISLAMIC UNIVERSITY OF GAZA ENGINEERING FACULTY DEPARTMENT OF COMPUTER ENGINEERING DISCRETE MATHMATICS DISCUSSION ECOM 2011 Eng. Huda M. Dawoud December, 2015 Section 1: Mathematical Induction 3. Let

More information

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 3000 Section 003 Intro to Abstract Math Homework 6 Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are

More information

MATH CSE20 Homework 5 Due Monday November 4

MATH CSE20 Homework 5 Due Monday November 4 MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

1.1 Inductive Reasoning filled in.notebook August 20, 2015

1.1 Inductive Reasoning filled in.notebook August 20, 2015 1.1 Inductive Reasoning 1 Vocabulary Natural or Counting Numbers Ellipsis Scientific Method Hypothesis or Conjecture Counterexample 2 Vocabulary Natural or Counting Numbers 1, 2, 3, 4, 5... positive whole

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

PRINCIPLE OF MATHEMATICAL INDUCTION

PRINCIPLE OF MATHEMATICAL INDUCTION Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION Analysis and natural philosopy owe their most important discoveries to this fruitful means, which is called induction Newton was indebted to it for his theorem

More information

Lesson 3.5 Exercises, pages

Lesson 3.5 Exercises, pages Lesson 3.5 Exercises, pages 232 238 A 4. Calculate the value of the discriminant for each quadratic equation. a) 5x 2-9x + 4 = 0 b) 3x 2 + 7x - 2 = 0 In b 2 4ac, substitute: In b 2 4ac, substitute: a 5,

More information

Mathematical Induction. Section 5.1

Mathematical Induction. Section 5.1 Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction

More information

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of

More information

PRINCIPLE OF MATHEMATICAL INDUCTION

PRINCIPLE OF MATHEMATICAL INDUCTION Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION 4.1 Overview Mathematical induction is one of the techniques which can be used to prove variety of mathematical statements which are formulated in terms of

More information

Mathematical Fundamentals

Mathematical Fundamentals Mathematical Fundamentals Sets Factorials, Logarithms Recursion Summations, Recurrences Proof Techniques: By Contradiction, Induction Estimation Techniques Data Structures 1 Mathematical Fundamentals Sets

More information

n(n 1) = (n + 1)n(n 1)/ ( 1) n(n 1)(n 2) = (n + 1)n(n 1)(n 2)/4

n(n 1) = (n + 1)n(n 1)/ ( 1) n(n 1)(n 2) = (n + 1)n(n 1)(n 2)/4 NOTES FROM THE FIRST TWO CLASSES MIKE ZABROCKI - SEPTEMBER 6 &, 202 main idea of this class + 2 + 3 + + n = n(n + )/2 to r + 2 r + + n r =??? Just to show what we are up against: + 2 + 3 + + n = n(n +

More information

Sequences, their sums and Induction

Sequences, their sums and Induction Sequences, their sums and Induction Example (1) Calculate the 15th term of arithmetic progression, whose initial term is 2 and common differnce is 5. And its n-th term? Find the sum of this sequence from

More information

(3,1) Methods of Proof

(3,1) Methods of Proof King Saud University College of Sciences Department of Mathematics 151 Math Exercises (3,1) Methods of Proof 1-Direct Proof 2- Proof by Contraposition 3- Proof by Contradiction 4- Proof by Cases By: Malek

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Mathematical Induction Again

Mathematical Induction Again Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Mathematical Induction Simple POMI Examples

More information

1 Examples of Weak Induction

1 Examples of Weak Induction More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of

More information

2301 Assignment 1 Due Friday 19th March, 2 pm

2301 Assignment 1 Due Friday 19th March, 2 pm Show all your work. Justify your solutions. Answers without justification will not receive full marks. Only hand in the problems on page 2. Practice Problems Question 1. Prove that if a b and a 3c then

More information

Mathematical Induction Again

Mathematical Induction Again 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

More information

Exercises. Template for Proofs by Mathematical Induction

Exercises. Template for Proofs by Mathematical Induction 5. Mathematical Induction 329 Template for Proofs by Mathematical Induction. Express the statement that is to be proved in the form for all n b, P (n) forafixed integer b. 2. Write out the words Basis

More information

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2. MATH 55 - HOMEWORK 6 SOLUTIONS Exercise Section 5 Proof (a) P () is the statement ( ) 3 (b) P () is true since ( ) 3 (c) The inductive hypothesis is P (n): ( ) n(n + ) 3 + 3 + + n 3 (d) Assuming the inductive

More information

Recitation 7: Existence Proofs and Mathematical Induction

Recitation 7: Existence Proofs and Mathematical Induction Math 299 Recitation 7: Existence Proofs and Mathematical Induction Existence proofs: To prove a statement of the form x S, P (x), we give either a constructive or a non-contructive proof. In a constructive

More information

Appendix G: Mathematical Induction

Appendix G: Mathematical Induction Appendix G: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

More information

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs. Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs

More information

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False. Math 20 Exam 2 - Practice Problems. For each of the following, determine whether the statement is True or False. (a) {a,b,c,d} TRE (b) {a,b,c,d} FLSE (c) {a,b, } TRE (d) {a,b, } TRE (e) {a,b} {a,b} FLSE

More information

Discrete Structures - CM0246 Mathematical Induction

Discrete Structures - CM0246 Mathematical Induction Discrete Structures - CM0246 Mathematical Induction Andrés Sicard-Ramírez EAFIT University Semester 2014-2 Motivation Example Conjecture a formula for the sum of the first n positive odd integers. Discrete

More information

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2 MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

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

21 Induction. Tom Lewis. Fall Term Tom Lewis () 21 Induction Fall Term / 14 21 Induction Tom Lewis Fall Term 2010 Tom Lewis () 21 Induction Fall Term 2010 1 / 14 Outline 1 The method of induction 2 Strong mathematical induction Tom Lewis () 21 Induction Fall Term 2010 2 / 14 Pessimists

More information

Intro to Algebra Today. We will learn names for the properties of real numbers. Homework Next Week. Due Tuesday 45-47/ 15-20, 32-35, 40-41, *28,29,38

Intro to Algebra Today. We will learn names for the properties of real numbers. Homework Next Week. Due Tuesday 45-47/ 15-20, 32-35, 40-41, *28,29,38 Intro to Algebra Today We will learn names for the properties of real numbers. Homework Next Week Due Tuesday 45-47/ 15-20, 32-35, 40-41, *28,29,38 Due Thursday Pages 51-53/ 19-24, 29-36, *48-50, 60-65

More information

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof: Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a

More information

Generating Functions (Revised Edition)

Generating Functions (Revised Edition) Math 700 Fall 06 Notes Generating Functions (Revised Edition What is a generating function? An ordinary generating function for a sequence (a n n 0 is the power series A(x = a nx n. The exponential generating

More information

C241 Homework Assignment 7

C241 Homework Assignment 7 C24 Homework Assignment 7. Prove that for all whole numbers n, n i 2 = n(n + (2n + The proof is by induction on k with hypothesis H(k i 2 = k(k + (2k + base case: To prove H(, i 2 = = = 2 3 = ( + (2 +

More information

Chapter 5: Sequences, Mathematic Induction, and Recursion

Chapter 5: Sequences, Mathematic Induction, and Recursion Chapter 5: Sequences, Mathematic Induction, and Recursion Hao Zheng Department of Computer Science and Engineering University of South Florida Tampa, FL 33620 Email: zheng@cse.usf.edu Phone: (813)974-4757

More information

Math 283 Spring 2013 Presentation Problems 4 Solutions

Math 283 Spring 2013 Presentation Problems 4 Solutions Math 83 Spring 013 Presentation Problems 4 Solutions 1. Prove that for all n, n (1 1k ) k n + 1 n. Note that n means (1 1 ) 3 4 + 1 (). n 1 Now, assume that (1 1k ) n n. Consider k n (1 1k ) (1 1n ) n

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

Definition: A sequence is a function from a subset of the integers (usually either the set

Definition: A sequence is a function from a subset of the integers (usually either the set Math 3336 Section 2.4 Sequences and Summations Sequences Geometric Progression Arithmetic Progression Recurrence Relation Fibonacci Sequence Summations Definition: A sequence is a function from a subset

More information

CS1802 Week 11: Algorithms, Sums, Series, Induction

CS1802 Week 11: Algorithms, Sums, Series, Induction CS180 Discrete Structures Recitation Fall 017 Nov 11 - November 17, 017 CS180 Week 11: Algorithms, Sums, Series, Induction 1 Markov chain i. Boston has days which are either sunny or rainy and can be modeled

More information

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.

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. Solutions Quiz 9 Nov. 8, 2010 1. Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m

More information

1.2 The Well-Ordering Principle

1.2 The Well-Ordering Principle 36 Chapter 1. The Integers Exercises 1.1 1. Prove the following theorem: Theorem. Let m and a be integers. If m a and a m, thenm = ±a. 2. Prove the following theorem: Theorem. For all integers a, b and

More information

Legendre s Equation. PHYS Southern Illinois University. October 18, 2016

Legendre s Equation. PHYS Southern Illinois University. October 18, 2016 Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying

More information

Induction and recursion. Chapter 5

Induction and recursion. Chapter 5 Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1

More information

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

We want to show P (n) is true for all integers Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to

More information

Introduction to Abstract Mathematics

Introduction to Abstract Mathematics Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of

More information

MATH10040: Numbers and Functions Homework 1: Solutions

MATH10040: Numbers and Functions Homework 1: Solutions MATH10040: Numbers and Functions Homework 1: Solutions 1. Prove that a Z and if 3 divides into a then 3 divides a. Solution: The statement to be proved is equivalent to the statement: For any a N, if 3

More information

Infinite Continued Fractions

Infinite Continued Fractions Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with

More information

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

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition

More information

CHAPTER 4 SOME METHODS OF PROOF

CHAPTER 4 SOME METHODS OF PROOF CHAPTER 4 SOME METHODS OF PROOF In all sciences, general theories usually arise from a number of observations. In the experimental sciences, the validity of the theories can only be tested by carefully

More information

Induction and Recursion

Induction and Recursion . All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion

More information

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

Sum of Squares. Defining Functions. Closed-Form Expression for SQ(n) CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims Lecture 22: Induction Overview Recursion A programming strategy that solves a problem by reducing it to simpler

More information

Systems Simulation Chapter 7: Random-Number Generation

Systems Simulation Chapter 7: Random-Number Generation Systems Simulation Chapter 7: Random-Number Generation Fatih Cavdur fatihcavdur@uludag.edu.tr April 22, 2014 Introduction Introduction Random Numbers (RNs) are a necessary basic ingredient in the simulation

More information

With Question/Answer Animations

With Question/Answer Animations Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary

More information

A Level. A Level Mathematics. Proof by Contradiction (Answers) AQA, Edexcel, OCR. Name: Total Marks:

A Level. A Level Mathematics. Proof by Contradiction (Answers) AQA, Edexcel, OCR. Name: Total Marks: AQA, Edexcel, OCR A Level A Level Mathematics Proof by Contradiction (Answers) Name: Total Marks: A1 Proof Answers AQA, Edexcel, OCR 1) Prove that there is an infinite amount of prime numbers. Assume there

More information

IB Mathematics HL Year 2 Unit 11: Completion of Algebra (Core Topic 1)

IB Mathematics HL Year 2 Unit 11: Completion of Algebra (Core Topic 1) IB Mathematics HL Year Unit : Completion of Algebra (Core Topic ) Homewor for Unit Ex C:, 3, 4, 7; Ex D: 5, 8, 4; Ex E.: 4, 5, 9, 0, Ex E.3: (a), (b), 3, 7. Now consider these: Lesson 73 Sequences and

More information

Review of Power Series

Review of Power Series Review of Power Series MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Introduction In addition to the techniques we have studied so far, we may use power

More information

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n). MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

Name CMSC203 Fall2008 Exam 2 Solution Key Show All Work!!! Page (16 points) Circle T if the corresponding statement is True or F if it is False.

Name CMSC203 Fall2008 Exam 2 Solution Key Show All Work!!! Page (16 points) Circle T if the corresponding statement is True or F if it is False. Name CMSC203 Fall2008 Exam 2 Solution Key Show All Work!!! Page ( points) Circle T if the corresponding statement is True or F if it is False T F GCD(,0) = 0 T F For every recursive algorithm, there is

More information

Mathematics 228(Q1), Assignment 3 Solutions

Mathematics 228(Q1), Assignment 3 Solutions Mathematics 228(Q1), Assignment 3 Solutions Exercise 1.(10 marks)(a) If m is an odd integer, show m 2 1 mod 8. (b) Let m be an odd integer. Show m 2n 1 mod 2 n+2 for all positive natural numbers n. Solution.(a)

More information

1 Direct Proofs Technique Outlines Example Implication Proofs Technique Outlines Examples...

1 Direct Proofs Technique Outlines Example Implication Proofs Technique Outlines Examples... CSE 311: Foundations of Computing I Proof Techniques What Is This? Each of the following is as close as we can get to giving you a template (and a completely worked out example) for every proof technique

More information

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

CS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks CS 220: Discrete Structures and their Applications Mathematical Induction 6.4 6.6 in zybooks Why induction? Prove algorithm correctness (CS320 is full of it) The inductive proof will sometimes point out

More information

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c]) Solution Set Problem 1 (1) Z/nZ is the set of equivalence classes of Z mod n. Equivalence is determined by the following rule: [a] = [b] if and only if b a = k n for some k Z. The operations + and are

More information

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r ) MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems take from the extra practice sets presented in random order. The challenge problems have not been included.

More information

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

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction Outline We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction Induction P(1) ( n 2)[P(n 1) P(n)] ( n 1)[P(n)] Why Does This Work? I P(1) ( n 2)[P(n

More information

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

Use mathematical induction in Exercises 3 17 to prove summation formulae. Be sure to identify where you use the inductive hypothesis. Exercises Exercises 1. There are infinitely many stations on a train route. Suppose that the train stops at the first station and suppose that if the train stops at a station, then it stops at the next

More information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.RUPNATHJI( DR.RUPAK NATH ) Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology

More information

Solutions for Homework Assignment 2

Solutions for Homework Assignment 2 Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove

More information

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z. Math 3, Fall 010 Assignment 3 Solutions Exercise 1. Find all the integral solutions of the following linear diophantine equations. Be sure to justify your answers. (i) 3x + y = 7. (ii) 1x + 18y = 50. (iii)

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic

Math 11 Foundations: Unit 1 - Logic. Unit 1: Logic Unit 1: Logic 1.4 Deductive Reasoning Inductive reasoning is not a of anything except for possibilities that you tested. There could always be a just around the corner. In order to prove that something

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4 INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!

More information

Mathematical Induction

Mathematical Induction Chapter 6 Mathematical Induction 6.1 The Process of Mathematical Induction 6.1.1 Motivating Mathematical Induction Consider the sum of the first several odd integers. produce the following: 1 = 1 1 + 3

More information

Seunghee Ye Ma 8: Week 2 Oct 6

Seunghee Ye Ma 8: Week 2 Oct 6 Week 2 Summary This week, we will learn about sequences and real numbers. We first define what we mean by a sequence and discuss several properties of sequences. Then, we will talk about what it means

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information