MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.
|
|
- Wilfred Newton
- 6 years ago
- Views:
Transcription
1 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 + ) n 3 (d) Assuming the inductive hypothesis, we aim to show P (n + ): ( ) (n + )(n + ) n 3 + (n + ) 3 (e) Suppose n is such that ( ) n(n + ) n 3 Then by our inductive hypothesis, we have ( ) n(n + ) n 3 + (n + ) 3 + (n + ) 3 Now we compute ( ) n(n + ) + (n + ) 3 n (n + ) + (n + ) 3 n (n + ) + (n + )3 (n + (n + ))(n + ) (n + n + )(n + ) (n + ) (n + ) ( ) (n + )(n + ) This shows ( ) (n + )(n + ) (n + ) 3 (f) We showed P () and ( n)(p (n) P (n + )) by universal generalization It follows by mathematical induction that ( n)p (n) Exercise 0 Proof Notice we have
2 MATH 55 - HOMEWORK 6 SOLUTIONS From this, it seems reasonable to conjecture that for all n, P (n): n(n + ) n n + (b) Let s prove it P () was proven in (a) Now assume P (n) as the inductive hypothesis and let s show P (n + ): Now by the inductive hypothesis, Now we calculate (n + )(n + ) + (n + )(n + ) n + n n(n + ) + (n + )(n + ) n n + + (n + )(n + ) n n + + (n + )(n + ) n(n + ) (n + )(n + ) + (n + )(n + ) n + n + (n + )(n + ) (n + ) (n + )(n + ) (n + ) (n + ) It follows that n(n + ) + (n + )(n + ) n + n +, which establishes P (n + ) Therefore, by mathematical induction, P (n) is true for all positive integers n Exercise 3 9 Proof (a) P () is the statement: (b) P () is true as (c) The inductive hypothesis is P (n): + < + 5 < n < n (d) We need to prove, assuming the inductive hypothesis, that P (n + ): (e) By the inductive hypothesis, we have n + (n + ) < n n + (n + ) < n + (n + ) An inequality we will find useful is that (n + ) + n < n(n + ) To see this, notice that (n + ) + n n n + n n n < n n n(n + ) Using this inequality, we can establish P (n + ), since n + (n + ) (n + ) + n n(n + ) n(n + ) < n(n + ) n + (f) We showed P () and ( n )[P (n) P (n + )] by universal generalization By mathematical induction, this establishes ( n)p (n) Exercise 36 Proof First we will prove this in the case n We need to show And this is true as which is clearly divisible by Next we assume that n is such that n+ + 5 n and we will aim to show n+ + 5 (n+) Notice that n+ + 5 (n+) n n n+ + ( + )5 n ( n+ + 5 n ) + 5 n
3 MATH 55 - HOMEWORK 6 SOLUTIONS 3 Now ( n+ + 5 n ) as ( n+ + 5 n ) by the inductive hypothesis Furthermore, clearly divides 5 n It follows by the equation above that n+ +5 (n+) Therefore, by mathematical induction, n+ +5 n for all positive integers n Exercise 5 9 Proof The problem with this proof is in the inductive step In particular, specializing to the case when k, it is easy to see that the proof is false: suppose you have a set of k + horses Then the set of the first k and the set of the last last k horses - these are each just one horse! Exercise 6 6 Proof First, we make the following observation: if p is a prime, a and b are integers and p ab then p a or p b To see this, consider the prime factorization of a and the prime factorization of b The set of primes occuring in the prime factorization of ab is the union of the primes occuring in the prime factorization of a and the prime factorization of b, thus p must appear in the prime factorization of a or that of b Now we prove the statement by induction The base case is trivial: if p a then p a Now suppose that for any positive integers a,, a n, if p a a n then p a i for some i Then suppose a,, a n+ are positive integers and p a a n+ We can think of the product a a n+ as the product of a a n and a n+ Then by our initial observation, either p a a n or p a n+ In the latter case, we re done In the former case, it follows from the induction hypothesis that p a i for some i,, n This means we ve shown that if p a a n+ then p a i for some i,, n + Exercise Proof (a) To see P (8), P (9), P (0), P (), we just check: Section (b) The inductive hypothesis is that P (k) is true for all k satisfying 8 k n - ie k cent postage can be paid for with only and 7 cent stamps for all k between 8 and n (inclusive) (c) In the inductive step, we need to show that if n is some number with 8 n and k cent postage can be paid for with only and 7 cent stamps for all k between 8 and n (inclusive), then n + cent postage can be paid for using only and 7 cent postage formally, this says P (8) P (9) P (n) P (n + ) (d) Suppose n and P (k) holds for all k satisfying 8 k n We want to show P (n + ) is true As n we know n + It follows that (n + ) 8 and therefore by the inductive hypothesis, (n + ) cent postage can be paid for using only and 7 cent stamps Then adding one more cent stamp gives postage for an n + cent delivery (e) We established that P (8) is true and for all n, if P (k) is true for all k satisfying 8 k n then P (n + ) is true It follows by strong induction that P (n) is true for all integers n 8 Exercise 9 Proof Let P (n) be the statement ( b Z )( n b ) First, we show P (): if b is an arbitrary positive integer then b and hence is not equal to so P () is true Next suppose n is a number so that P (k) is true for all k n Then suppose towards contradiction that P (n + ) is false, ie there is a b Z + so that (n+) b Then (n + ) b so (n + ) is even in other words, there is some positive integer j so that j n + Notice that necessarily j < n + Now we have b (n + ) (j) j, so b j, so b is also even Write b k Now we have ( ) n + b ( ) j k ( ) j k This shows that there is a positive integer b - namely k - so that j b - in other words, P (j) is false This contradicts our assumption that P (k) is true for all k satisfying k n Therefore P (n + ) must be true This completes the induction Now we explain why we may conclude that is irrational If not, p q for some integers p and q Because > 0, we know p and q may be both taken to be positive integers Then p q so P (p) must be false But we proved P (p) so is irrational Exercise 3
4 MATH 55 - HOMEWORK 6 SOLUTIONS Proof Note that P () is true as 0 Next, suppose n is such that P (k) is true for all k n We want to show n + can be written as a sum of powers of If n + is even then n+ is a positive integer n By the inductive hypothesis, there are nonnegative integers i < < i l so that (n + ) i + i + + i l Then n + ( i + i + + i l ) i+ + i+ + + i l+, which shows n + can be written as a sum of distinct powers of If n + is odd, then n is even so if we write (using the inductive hypothesis) n i + i + + i l, then we know that i j for all j (otherwise n would be odd) Hence n + + i + + i l 0 + i + i + + i l, so n + can be written as a sum of distinct powers of Exercise Proof Let P (n) be the predicate which asserts of n that the sum of the products computed after all the splittings is n(n )/ Note that P () is true as if there s pile of, you never split so you tally 0 products, which is expected by the formula ( )/ 0 Now suppose n is such that P (k) is true for all k n Now suppose we re given a pile of n + stones Consider any splitting of n + into two piles of s and t stones respectively So s + t n + This splitting yields the product st Any further splittings will be of the size s pile or the size t pile So the outcome of the tally will be st plus the sum of the splittings of the size s pile and the sum of the splittings of the size t pile By the inductive hypothesis, this yields a tally of st + s(s ) + t(t ) Now using that n + s + t and therefore that s + t n, we compute st + s(s ) + t(t ) st + s(s ) + t(t ) which shows that P (n + ) is true Therefore, by strong induction, P (n) holds for all n st + st + s(s ) + t(t ) s(s + t ) + t(s + t ) (s + t)(s + t ) n(n + ), Exercise 5 36 Proof (a) The set S of positive integers of the form as + bt for integers s, t is non-empty: it contains, for example, a + b (b) S is a non-empty subset of Z + therefore has a least element c (c) Write c as + bt for some integers s, t Then if d is a positive integer so that d a and d b, we can find α and β in Z + so that αd a and βd b Then (sα + tβ)d (sαd + tβd) (sa + tb) c This shows d c (d) We will show c a and c b Suppose c a Then by Euclid s algorithm, we can find an integer q and an integer r with 0 < r < c so that a qc + r Write c sa + tb Then r a qc a qsa qtb ( qs)a + ( qt)b, so r S But c is the least element of S, a contradiction So c a The argument that c b is entirely similar (e) The solutions to (c) and (d) show that c has the property that it is a common divisor of a and b and any other common divisor of a and b must also divide c this shows that c is a greatest common divisor of a and b To see that it is unique, suppose c was another greatest common divisor of a and b Since c divides a and b we know that c c by (c), so 0 < c < c As c is a gcd of a and b, we may, by Bezout s theorem, write c sa + tb for some integers s and t So c S This contradicts our assumption that c is least in S Therefore c is unique with the property that c a and c b and for any common divisor d of a and b, d c
5 MATH 55 - HOMEWORK 6 SOLUTIONS 5 3 Section 53 Exercise 3 Proof (a) f(n + ) f(n) f(n ) So we compute f() f() f(0) 0 f(3) f() f() 0 f() f(3) f() 0 f(5) f() f(3) ( ) 0 (b) f(n + ) f(n)f(n ) So we compute f() f()f(0) f(3) f()f() f() f(3)f() f(5) f()f(3) (c) f(n + ) f(n) + f(n ) 3 So we compute f() f() + f(0) 3 f(3) f() + f() 3 5 f() f(3) + f() 3 33 f(5) f() + f(3) 3 (d) f(n + ) f(n)/f(n ) f(n + ) f(n)f(n ) So we compute f() f()/f(0) f(3) f()/f() f() f(3)/f() f(5) f()/f(3) Exercise 3 6 Proof (a) Valid We ll show f(n) ( ) n This works for n as ( ) 0 Suppose for some fixed n, f(n) ( ) n Then we have f(n + ) f(n) ( )( ) n ( ) n+, which proves, by induction, that f(n) ( ) n for all n (b) Valid We have k if n 3k f(n) 0 if n 3k + k+ if 3k + Notice that, by Euclid s algorithm, every nonnegative integer may be written n 3k + i for i {0,, }, so this defines a function with domain the nonnegative integers Suppose it has been established that f(n) agrees with the above formula for some n Then consider the case of n + Then n + 3 so (n + ) 3 0 If (n + ) 3 3k then we have n + 3k + 3 3(k + ) so we have f(n + ) f(n + 3) k+ which agrees with the formula above If n+ 3 3k + for some k then n+ 3(k +)+ and f(n+) f(n+ 3) 0 0 so agrees with the formula above Finally, if n + 3 3k + for some k, then n + 3(k + ) + and we have f(n + ) f(n + 3) k+ k+ which agrees with the formula above This finishes the argument (c) Not valid The problem states the the function should have domain the set of nonnegative integers and range the integers The recursive definition f(n) f(n + ) is equivalent to the equation f(n) f(n + ) and since f() this implies f() which is not an integer (d) Not valid if f(0) 0 and f(n) f(n ) for n then f() 0 but we re told f() (e) Not valid Consider the case when n 3 Then n is odd and so f(3) f() Then f() f(0) So f(3) But f() f(0) Then f() f() 8 Hence f(5) f() 8 and f(5) f(3) We claim { k+ if x k f(x) k+ if x k +
6 6 MATH 55 - HOMEWORK 6 SOLUTIONS In other words, f(x) x + As f(0) 0, this formula works for n 0 Suppose n is such that f(k) agrees with the above formula for all k n, and we ll prove it for n + If n + is odd, then n+ n so f(n + ) f(n) and this agrees with the above formula Furthermore, if n + then n+ n n+ so + n + f(n ) so if n + then f(n + ) f(n ) and this agrees with the above formula Exercise 33 8 Proof (a) a and a n+ + a n (b) a 0 and a and a n a n for n (c) a and a n+ (n+)an n (d) a and a n+ a n + n + Exercise 3 Proof We want to show that f + + f n f n f n+ where f n denotes the nth Fibonacci number For n, this is true as f f so f f f Now suppose it s been shown for n and we ll prove it for n + By the inductive hypothesis, we have f + f + + f n + f n+ f n f n+ + f n+ Then we note that f n + f n+ f n+ by definition of the Fibonacci sequence This entails which completes the induction step Exercise 35 f n f n+ + f n+ f n+ (f n + f n+ ) f n+ f n+, Proof We want to show f n+ f n f n ( ) n For n this is true as f 3 3 and f f so f 3 f f ( ) Now suppose it has been established for n and we will show it s true for n + Using that f n+ f n+ + f n and f n+ f n + f n, we have f n+ f n f n+ (f n+ + f n )f n f n+ f n + f n f n+ f n+ f n f n+ (f n+ f n ) So by the induction hypothesis, we have This completes the induction step Exercise 36 0 Proof Now we define max(a ) a and max(a, a ) by f n f n+ f n (f n+ f n f n) f n+ f n f n+ (f n+ f n f n) ( )( ) n ( ) n+ { a if a max(a, a ) a otherwise Then we set max(a,, a n+ ) max(max(a,, a n ), a n+ ) Similarly we define min a a and min(a, a ) by a { a if a min(a, a ) a otherwise Then we define min(a,, a n+ ) min(min(a,, a n ), a n+ ) a
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 informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationHomework 7 Solutions, Math 55
Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,
More informationMATH10040: 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 informationMath 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 informationHomework 3 Solutions, Math 55
Homework 3 Solutions, Math 55 1.8.4. There are three cases: that a is minimal, that b is minimal, and that c is minimal. If a is minimal, then a b and a c, so a min{b, c}, so then Also a b, so min{a, b}
More informationDiscrete 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 informationFinal 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 informationMATH 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 informationMATH 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 informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: Rule of Inference Mathematical Induction: Conjecturing and Proving Mathematical Induction:
More informationINTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.
INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b
More informationInduction 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 informationMathematics for Computer Science Exercises for Week 10
Mathematics for Computer Science Exercises for Week 10 Silvio Capobianco Last update: 7 November 2018 Problems from Section 9.1 Problem 9.1. Prove that a linear combination of linear combinations of integers
More informationSolutions 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 informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationWe 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 informationMathematical Induction. Rosen Chapter 4.1,4.2 (6 th edition) Rosen Ch. 5.1, 5.2 (7 th edition)
Mathematical Induction Rosen Chapter 4.1,4.2 (6 th edition) Rosen Ch. 5.1, 5.2 (7 th edition) Motivation Suppose we want to prove that for every value of n: 1 + 2 + + n = n(n + 1)/2. Let P(n) be the predicate
More informationDiscrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University
Discrete Mathematics Logics and Proofs Liangfeng Zhang School of Information Science and Technology ShanghaiTech University Resolution Theorem: p q p r (q r) p q p r q r p q r p q p p r q r T T T T F T
More informationASSIGNMENT 1 SOLUTIONS
MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement
More informationInduction 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 informationClimbing 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 informationMATH 2200 Final LC Review
MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from
More informationChapter 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 informationDiscrete 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 informationCHAPTER 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 informationPUTNAM TRAINING MATHEMATICAL INDUCTION. Exercises
PUTNAM TRAINING MATHEMATICAL INDUCTION (Last updated: December 11, 017) Remark. This is a list of exercises on mathematical induction. Miguel A. Lerma 1. Prove that n! > n for all n 4. Exercises. Prove
More informationINDUCTION 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 informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationMath Circle: Recursion and Induction
Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting
More informationNumber Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some. Notation: b Fact: for all, b, c Z:
Number Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some z Z Notation: b Fact: for all, b, c Z:, 1, and 0 0 = 0 b and b c = c b and c = (b + c) b and b = ±b 1
More informationMATH 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 informationSums 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 informationClimbing 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 informationCS 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 informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationPGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.
PGSS Discrete Math Solutions to Problem Set #4 Note: signifies the end of a problem, and signifies the end of a proof. 1. Prove that for any k N, there are k consecutive composite numbers. (Hint: (k +
More informationProof Techniques (Review of Math 271)
Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil
More informationProblem Set 5 Solutions
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
More informationBasic 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 informationCh 4.2 Divisibility Properties
Ch 4.2 Divisibility Properties - Prime numbers and composite numbers - Procedure for determining whether or not a positive integer is a prime - GCF: procedure for finding gcf (Euclidean Algorithm) - Definition:
More informationNotes on induction proofs and recursive definitions
Notes on induction proofs and recursive definitions James Aspnes December 13, 2010 1 Simple induction Most of the proof techniques we ve talked about so far are only really useful for proving a property
More informationCourse: CS1050c (Fall '03) Homework2 Solutions Instructor: Prasad Tetali TAs: Kim, Woo Young: Deeparnab Chakrabarty:
Course: CS1050c (Fall '03) Homework2 Solutions Instructor: Prasad Tetali TAs: Kim, Woo Young: wooyoung@cc.gatech.edu, Deeparn Chakrarty: deepc@cc.gatech.edu Section 3.7 Problem 10: Prove that 3p 2 is irrational
More informationMAS114: Solutions to Exercises
MAS114: s to Exercises Up to week 8 Note that the challenge problems are intended to be difficult! Doing any of them is an achievement. Please hand them in on a separate piece of paper if you attempt them.
More information2301 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 informationMath 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 informationFall 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 informationLecture Overview. 2 Weak Induction
COMPSCI 30: Discrete Mathematics for Computer Science February 18, 019 Lecturer: Debmalya Panigrahi Lecture 11 Scribe: Kevin Sun 1 Overview In this lecture, we study mathematical induction, which we often
More informationWORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:
WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their
More informationWhat can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
More informationDiscrete Math in Computer Science Solutions to Practice Problems for Midterm 2
Discrete Math in Computer Science Solutions to Practice Problems for Midterm 2 CS 30, Fall 2018 by Professor Prasad Jayanti Problems 1. Let g(0) = 2, g(1) = 1, and g(n) = 2g(n 1) + g(n 2) whenever n 2.
More informationWith 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 informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number
More informationCS2800 Questions selected for fall 2017
Discrete Structures Final exam sample questions Solutions CS2800 Questions selected for fall 2017 1. Determine the prime factorizations, greatest common divisor, and least common multiple of the following
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationIntroduction 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 informationHomework #2 solutions Due: June 15, 2012
All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationMath 3450 Homework Solutions
Math 3450 Homework Solutions I have decided to write up all the solutions to prolems NOT assigned from the textook first. There are three more sets to write up and I am doing those now. Once I get the
More informationDo not open this exam until you are told to begin. You will have 75 minutes for the exam.
Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5
More informationThe Chinese Remainder Theorem
The Chinese Remainder Theorem R. C. Daileda February 19, 2018 1 The Chinese Remainder Theorem We begin with an example. Example 1. Consider the system of simultaneous congruences x 3 (mod 5), x 2 (mod
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More information1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points
Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The
More informationMath 13, Spring 2013, Lecture B: Midterm
Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.
More informationComplete Induction and the Well- Ordering Principle
Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationWORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}
WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not
More informationMathematical 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 informationCSI Mathematical Induction. Many statements assert that a property of the form P(n) is true for all integers n.
CSI 2101- Mathematical Induction Many statements assert that a property of the form P(n) is true for all integers n. Examples: For every positive integer n: n! n n Every set with n elements, has 2 n Subsets.
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs
More informationMathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?
How does discrete math help us Helps create a solution (program) Helps analyze a program How does discrete math help (CS160)? Helps create a solution (program) q Logic helps you understand conditionals
More informationRecitation 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 informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More information(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 informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Define and use the congruence modulo m equivalence relation Perform computations using modular arithmetic
More informationThe 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 informationDiscrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1
CS 70 Discrete Mathematics and Probability Theory Fall 013 Vazirani Note 1 Induction Induction is a basic, powerful and widely used proof technique. It is one of the most common techniques for analyzing
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
More informationCOMP Intro to Logic for Computer Scientists. Lecture 15
COMP 1002 Intro to Logic for Computer Scientists Lecture 15 B 5 2 J Types of proofs Direct proof of x F x Show that F x holds for arbitrary x, then use universal generalization. Often, F x is of the form
More informationA lower bound for X is an element z F such that
Math 316, Intro to Analysis Completeness. Definition 1 (Upper bounds). Let F be an ordered field. For a subset X F an upper bound for X is an element y F such that A lower bound for X is an element z F
More informationSummary: Divisibility and Factorization
Summary: Divisibility and Factorization One of the main subjects considered in this chapter is divisibility of integers, and in particular the definition of the greatest common divisor Recall that we have
More informationHence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n
Appendix A: The Principle of Mathematical Induction We now present an important deductive method widely used in mathematics: the principle of mathematical induction. First, we provide some historical context
More informationProf. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.
1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and
More informationDiscrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 3
CS 70 Discrete Mathematics and Probability Theory Spring 06 ao and Walrand Note 3 Mathematical Induction Introduction. In this note, we introduce the proof technique of mathematical induction. Induction
More informationDiscrete Mathematics & Mathematical Reasoning Induction
Discrete Mathematics & Mathematical Reasoning Induction Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics (Sections 5.1 & 5.2) Today 1 / 12 Another proof method: Mathematical
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright
More informationNOTES ON INTEGERS. 1. Integers
NOTES ON INTEGERS STEVEN DALE CUTKOSKY The integers 1. Integers Z = {, 3, 2, 1, 0, 1, 2, 3, } have addition and multiplication which satisfy familar rules. They are ordered (m < n if m is less than n).
More informationMath 230 Final Exam, Spring 2008
c IIT Dept. Applied Mathematics, May 15, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2008 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part
More informationMathematics 228(Q1), Assignment 2 Solutions
Mathematics 228(Q1), Assignment 2 Solutions Exercise 1.(10 marks) A natural number n > 1 is said to be square free if d N with d 2 n implies d = 1. Show that n is square free if and only if n = p 1 p k
More informationWriting proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases
Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases September 22, 2018 Recall from last week that the purpose of a proof
More informationCS280, Spring 2004: Prelim Solutions
CS280, Spring 2004: Prelim Solutions 1. [3 points] What is the transitive closure of the relation {(1, 2), (2, 3), (3, 1), (3, 4)}? Solution: It is {(1, 2), (2, 3), (3, 1), (3, 4), (1, 1), (2, 2), (3,
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationSection Summary. Proof by Cases Existence Proofs
Section 1.8 1 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Uniqueness Proofs Proving Universally Quantified Assertions Proof Strategies sum up
More information1 The Well Ordering Principle, Induction, and Equivalence Relations
1 The Well Ordering Principle, Induction, and Equivalence Relations The set of natural numbers is the set N = f1; 2; 3; : : :g. (Some authors also include the number 0 in the natural numbers, but number
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More information