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.

Size: px
Start display at page:

Download "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."

Transcription

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. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m + 1 and b < 2m + 1. Then a 3m and b 2m. Therefore 2a 6m and 3b 6m. Adding these inequalities, 2a + 3b 12m. It follows that 2a + 3b < 12m + 1. We assumed a < 3m + 1 and b < 2m + 1, and deduced 2a + 3b < 12m + 1. This proves the contrapositive: If 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Remarks. This is not true for a, b, m real numbers instead of integers. For eample, take m = 0, a = 1/2, b = 1/3. Then 2a + 3b = 2 and 12m + 1 = 1, so 2a + 3b 12m + 1, yet a < 3m + 1 and b < 2m + 1. So the hypothesis that a, b, m are integers can not be ignored. Also note that the negation of a 3m + 1 or b 2m + 1 is a < 3m + 1 and b < 2m + 1. The original conclusion (a 3m + 1 or b 2m + 1) is true if either condition is true, or both; it is false if both conditions are false, i.e., a < 3m + 1 and b < 2m + 1. Here is a different way to understand it. Assume that it is NOT true that a 3m + 1 or b 2m + 1. In other words we are assuming NOT(a 3m + 1 or b 2m + 1). Then neither one of them can be true, so both a < 3m + 1 and b < 2m Prove: If is a nonzero real number such that + 1 < 2, then < 0. Answer 1. (contrapositive) We prove the contrapositive: If is a nonzero real number such that 0, then Since 0 and 0, we have > 0. Now, we know that ( 1) 2 0. This holds for any real number; we have not yet used the assumption > 0. (Eercise: Why is ( 1) 2 0?) Multiplying this out, Hence Because > 0, we can divide each side of the inequality by without reversing the direction of the inequality, giving us + 1 2, which is what we wanted to show. Answer 2. (contradiction) Let be a nonzero real number such that + 1 < 2. Suppose by way of contradiction 0. Since 0, we have > 0. Then we can multiply both

2 sides of the inequality by without changing the direction of the inequality, giving us < 2, hence < 0. Factoring gives us ( 1) 2 < 0. But this is impossible: for any real number y, y 2 0; so for y = 1, it is impossible that y 2 < 0. (If we allowed comple numbers we could have y 2 < 0, but we are only allowing real numbers.) This means our original assumption, 0, is impossible. Therefore < 0. Answer 3. (direct) Let be a nonzero real number such that + 1 < 2. Subtracting 2 from each side of the inequality and putting all terms on a common denominator gives < 0 which we may rewrite as ( 1) 2 < 0. It follows that 1 0: For if 1 = 0, we would have ( 1) 2 / = 0/ = 0, whereas we have ( 1) 2 / < 0. Thus ( 1) 2 > 0. Dividing each side of the inequality by ( 1) 2 gives 1 < 0. Finally, 2 > 0 as well. (For any real number, 2 0, and we were given 0, so 2 0.) Multiplying each side of this inequality by 2 gives as claimed. < 0, 3. Consider the following relation R on the integers Z: Ry if and only if y. a. Is 4R4? Eplain. b. Is 6R8? Is 8R6? Eplain. c. Prove or disprove: R is an equivalence relation. Answer. a. We have = = 20, and 5 divides 20. Therefore 4R4. b. We have = = 36, which is not divisible by 5. Therefore 6 R 8. Similarly, = = 34, which is also not divisible by 5. Therefore 8 R 6. c. We prove that R is an equivalence relation. First, we prove R is refleive. Let be any integer. Then 5 is divisible by 5, by the definition of divisibility. Therefore 5 divides By the definition of R, we have R. This proves R is refleive.

3 Net we will prove R is symmetric. Suppose Ry. Then 2 + 3y is divisible by 5, so there is some integer k such that 2 + 3y = 5k. Let us subtract each side of this equation from 5 + 5y: (5 + 5y) (2 + 3y) = (5 + 5y) (5k). Since we are subtracting equal quantities, the results will be equal. This gives us 3 + 2y = 5( + y k). Therefore 2y + 3 is divisible by 5. By the definition of R we have yr. We have shown Ry = yr, so R is symmetric. Finally we show R is transitive. Suppose Ry and yrz. Then 2 + 3y is divisible by 5 and so is 2y + 3z. It follows that their sum, 2 + 5y + 3z, is also divisible by 5. We also have that 5y is divisible by 5. Since 2 + 5y + 3z and 5y are both divisible by 5, so is their difference, 2 + 3z. Therefore Rz. This shows R is transitive. Remark. Here is an alternative approach, which is much trickier. (I wouldn t epect you to come up with this on your own, but it can be helpful to see a different approach.) We begin with two lemmas: Lemma. An integer a is divisible by 5 if and only if 3 is divisible by 5. Proof. If 5 a, say a = 5k, then 3a = 15k = 5 (3k), so 5 3a. Conversely, suppose 5 3a, say 3a = 5k. Then 6a = 10k, so a = 10k 5a = 5(2k a). Since 2k a is an integer, we get 5 a. Lemma. For any integers a and b, 5 a if and only if 5 a 5b. Proof. Eercise. Now, the first lemma shows us that Ry y y. We can apply the second lemma by subtracting y to get But we can recognize the right-hand side: Ry 5 y. Ry y (mod 5). So this relation R is really just a tricky rewriting of congruence modulo 5. It is proved in the tetbook that congruence modulo 5 is an equivalence relation. 4. The Fibonacci numbers are the sequence defined by F 0 = 1, F 1 = 1, and for n 2, F n = F n 1 + F n 2. Prove that for all n 1, F 2 n F n F n 1 F 2 n 1 = ( 1)n. Answer. We prove this by induction. Our basis step is n = 1. For n = 1 the statement claims that F 2 1 F 1F 0 F 2 0 = ( 1)1.

4 Since F 1 = F 0 = 1, we have F 2 1 F 1F 0 F 2 0 = 1 2 = 1 and this is indeed equal to ( 1)1. So the statement is true for n = 0. Now, suppose by induction that for some n 1 we have F 2 n F n F n 1 F 2 n 1 = ( 1)n. The Fibonacci number F n+1 is given by F n+1 = F n + F n 1. Therefore F 2 n+1 F n+1f n F 2 n = (F n + F n 1 ) 2 (F n + F n 1 )F n F 2 n. Multiplying this out and collecting like terms gives us F 2 n+1 F n+1f n F 2 n = F 2 n + F n F n 1 + F 2 n 1. Pulling out a factor ( 1) from the right hand side, F 2 n+1 F n+1f n F 2 n = (F 2 n + F n F n 1 + F 2 n 1 ) = ( 1)n = ( 1) n+1, where we used the induction hypothesis for the second equality. This proves that F 2 n+1 F n+1 F n F 2 n = ( 1) n+1, and completes the proof by induction. 5. For all n 1, n n. a. Write out what this statement says for n = 1, 2, 3, 4 and verify that it is true for these values of n. b. Prove the statement for all n 1. (Optional: What happens if you just try to prove by induction?) n2 Answer. We have n LHS = value RHS = value 1 1 = = = = = = = = In each case the left hand side (LHS) has a smaller value than the right hand side (RHS). For eample, can be checked by cross-multiplication: Now, we prove the statement for all n 1. We have already proved it for n = 1. Suppose by induction that we have n n for some n. Adding 1/(n + 1) 2 to each side of this gives us n (n + 1) n + 1 (n + 1) 2.

5 The right hand side is 2 1 n + 1 (n + 1) = 2 (n + 1)2 n = 2 n2 + n n(n + 1) 2 (n 2 + n)(n + 1) = 2 n2 + n n 2 + n n + 1. We have n 2 + n + 1 > n 2 + n, so and n 2 + n + 1 n 2 + n n 2 + n n 2 + n n + 1 > 1 n + 1, hence 2 n2 + n n 2 + n n + 1 < 2 1 n + 1. At this point we have shown that n (n + 1) n + 1 (n + 1) = 2 n2 + n n 2 + n n + 1 < 2 1 n + 1. This proves that n (n + 1) < n + 1, which completes the proof by induction. > 1 Remark. One upshot of this result is that for all n, < 2. Therefore the infinite 4 n 2 series is convergent, and its value is at most 2. This can also be proved using the 4 Integral Test for Convergence, as you may have seen in Math 175 (Calculus 2). You may be interested to know that the value of the infinite seres is in fact 4 π 2 /6 = It was a famous problem to find the value of this series, unsolved for nearly one hundred years, until Leonhard Euler earned his fame by solving it at the age of 28. See for more information. Remark. If we just assume 1 + 1/ /n 2 2, then we get (n + 1) (n + 1) 2. It s impossible to get this to be 2. The problem is that our hypothesis didn t give us enough to work with. The original statement had a harder conclusion ( 2 1/n instead of easier 2) but also a stronger induction hypothesis, which gave us more to work with. 6. Consider the function of real numbers f : R R given by f () = Prove f is bijective. Answer. We need to prove f is injective and surjective. First we show f is injective. We must show that if f ( 1 ) = f ( 2 ), then 1 = 2. Thus, suppose 1 and 2 are real numbers such that f ( 1 ) = f ( 2 ). That is, =

6 Subtracting 5 from each side, Dividing each side by 3 gives 3 1 = = 2, and we have shown that f is indeed injective. Net we show f is surjective. We must show that Image( f ) = R. Since the output values y = f () are real numbers, we have Image( f ) R by definition. So we only need to show that R Image( f ). Thus, suppose y R is an arbitrary real number. Let = (y 5)/3. Since y is a real number, y 5 is also a real number; and since 3 0 we can divide by it, so = (y 5)/3 is also a real number. We have ( ) y 5 f () = = = (y 5) + 5 = y, 3 which shows that y Image( f ). This completes the proof that f is surjective. Remark. To find the epression for, we could work backward from the conclusion f () = y, i.e., = y, and solve for. 7. Let f : R R be the function defined by f () = a. Show that f is not injective. b. Show that f is not surjective. c. Find the image of f. (Hint: For which r is there a solution = r? By the Quadratic Formula, an equation 2 + b + c = 0 has a real-number solution if and only if b 2 4c 0.) Answer. We have f (0) = 4 and f ( 3) = ( 3) 2 + 3( 3) + 4 = = 4. So f (0) = f ( 3), yet 0 3. This shows f is not injective. We also have that f is not surjective; indeed, there is no such that f () = 0. By the Quadratic Formula, = 0 for the values = 3 ± 9 16 = 3 ± 7, 2 2 which are not in R. (These are comple values such that f () = 0; but there are no real values that work.) Finally we must find the image of f. A value y is in the image of f if and only if the equation = y has a solution with R. By the Quadratic Formula, this equation has a solution in R if and only if 3 2 4(4 y) 0,

7 in other words, 4y 7 0. So the image of f is the set {y R : y 7/4} or in other words the interval [7/4, ). So, we have found: Let us prove that this is the case. Image( f ) = [7/4, ). Claim. For f : R R given by f () = , the image is given by Image( f ) = [7/4, ). Proof. First, we show that Image( f ) [7/4, ). Let y Image( f ). By the definition of image, there is an 1 R such that f ( 1 ) = y, i.e., = y. That means the equation (4 y) = 0 has a solution ( = 1 is a solution). By the Quadratic Formula, therefore 3 2 4(4 y) 0, therefore 4y 7 0, so y 7/4. Therefore y [7/4, ). This shows Image( f ) [7/4, ). Now we will show that [7/4, ) Image( f ). Let y [7/4, ), i.e., y 7/4. Let 1 = 3 + 4y 7. 2 By the Quadratic Formula, 1 is a solution to the equation 2 +3+(4 y) = 0, i.e., f ( 1 ) = y. (There is another solution with. We only need one solution, so I just chose to use +. The other solution would have worked equally well.) This shows there eists an such that f () = y, i.e., = 1. Therefore y Image( f ).

Math 109 HW 9 Solutions

Math 109 HW 9 Solutions Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we

More information

Functions If (x, y 1 ), (x, y 2 ) S, then y 1 = y 2

Functions If (x, y 1 ), (x, y 2 ) S, then y 1 = y 2 Functions 4-3-2008 Definition. A function f from a set X to a set Y is a subset S of the product X Y such that if (, y 1 ), (, y 2 ) S, then y 1 = y 2. Instead of writing (, y) S, you usually write f()

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

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

A summary of factoring methods

A summary of factoring methods Roberto s Notes on Prerequisites for Calculus Chapter 1: Algebra Section 1 A summary of factoring methods What you need to know already: Basic algebra notation and facts. What you can learn here: What

More information

Some Review Problems for Exam 1: Solutions

Some Review Problems for Exam 1: Solutions Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x

More information

Homework 12; Due Monday, 4/9/2018

Homework 12; Due Monday, 4/9/2018 Homework 2; Due Monday, 4/9/28 Answer-Only Questions Credit based solely on the answer Question For each of the following relations, determine whether each one is symmetric, transitive, or refleive If

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

Homework #2 solutions Due: June 15, 2012

Homework #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 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

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

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

Math 154 :: Elementary Algebra

Math 154 :: Elementary Algebra Math 4 :: Elementary Algebra Section. Additive Property of Equality Section. Multiplicative Property of Equality Section.3 Linear Equations in One-Variable Section.4 Linear Equations in One-Variable with

More information

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

Sample Problems. Lecture Notes Proof by Induction page 1. Prove each of the following statements by induction. Lecture Notes Proof by Induction page Sample Problems Prove each of the following statements by induction.. For all natural numbers n; n (n + ) a) + + 3 + ::: + n. b) + + 3 + ::: + n n (n + ) (n + ). c)

More information

Epsilon Delta proofs

Epsilon Delta proofs Epsilon Delta proofs Before reading this guide, please go over inequalities (if needed). Eample Prove lim(4 3) = 5 2 First we have to know what the definition of a limit is: i.e rigorous way of saying

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

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

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

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1

More information

Math 319 Problem Set #2 Solution 14 February 2002

Math 319 Problem Set #2 Solution 14 February 2002 Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust

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

MATH 13 FINAL EXAM SOLUTIONS

MATH 13 FINAL EXAM SOLUTIONS MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F

More information

Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page.

Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page. Formal Methods Midterm 1, Spring, 2007 Name Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page. 1. Use truth

More information

Math 109 September 1, 2016

Math 109 September 1, 2016 Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,

More information

MATH 2200 Final LC Review

MATH 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 information

Basic methods to solve equations

Basic methods to solve equations Roberto s Notes on Prerequisites for Calculus Chapter 1: Algebra Section 1 Basic methods to solve equations What you need to know already: How to factor an algebraic epression. What you can learn here:

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

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then

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

MATH FINAL EXAM REVIEW HINTS

MATH 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 information

Math 13, Spring 2013, Lecture B: Midterm

Math 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 information

1 Take-home exam and final exam study guide

1 Take-home exam and final exam study guide Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

More information

ASSIGNMENT 1 SOLUTIONS

ASSIGNMENT 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 information

ACCUPLACER MATH 0311 OR MATH 0120

ACCUPLACER MATH 0311 OR MATH 0120 The University of Teas at El Paso Tutoring and Learning Center ACCUPLACER MATH 0 OR MATH 00 http://www.academics.utep.edu/tlc MATH 0 OR MATH 00 Page Factoring Factoring Eercises 8 Factoring Answer to Eercises

More information

Problem Set 5 Solutions

Problem 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 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

Basic ALGEBRA 2 SUMMER PACKET

Basic ALGEBRA 2 SUMMER PACKET Name Basic ALGEBRA SUMMER PACKET This packet contains Algebra I topics that you have learned before and should be familiar with coming into Algebra II. We will use these concepts on a regular basis throughout

More information

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations B. Sury Stat-Math Unit Indian Statistical Institute 8th Mile Mysore Road Bangalore - 560 059 India. sury@isibang.ac.in Introduction

More information

Solutions to Problem Sheet for Week 6

Solutions to Problem Sheet for Week 6 THE UNIVERSITY OF SYDNEY SCHOOL OF MATHEMATICS AND STATISTICS Solutions to Problem Sheet for Week 6 MATH90: Differential Calculus (Advanced) Semester, 07 Web Page: sydney.edu.au/science/maths/u/ug/jm/math90/

More information

1. Propositions: Contrapositives and Converses

1. Propositions: Contrapositives and Converses Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

More information

ACCUPLACER MATH 0310

ACCUPLACER MATH 0310 The University of Teas at El Paso Tutoring and Learning Center ACCUPLACER MATH 00 http://www.academics.utep.edu/tlc MATH 00 Page Linear Equations Linear Equations Eercises 5 Linear Equations Answer to

More information

4.3 Division of Polynomials

4.3 Division of Polynomials 4.3 Division of Polynomials Learning Objectives Divide a polynomials by a monomial. Divide a polynomial by a binomial. Rewrite and graph rational functions. Introduction A rational epression is formed

More information

Writing proofs. Tim Hsu, San José State University. May 31, Definitions and theorems 3. 2 What is a proof? 3. 3 A word about definitions 4

Writing proofs. Tim Hsu, San José State University. May 31, Definitions and theorems 3. 2 What is a proof? 3. 3 A word about definitions 4 Writing proofs Tim Hsu, San José State University May 31, 2006 Contents I Fundamentals 3 1 Definitions and theorems 3 2 What is a proof? 3 3 A word about definitions 4 II The structure of proofs 6 4 Assumptions

More information

PRACTICE PROBLEMS: SET 1

PRACTICE 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 information

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B. 1. (4.46) Let A and B be sets. Prove that A B = A B if and only if A = B. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B. Proof of (1): Suppose

More information

Introduction. x 7. Partial fraction decomposition x 7 of. x 7. x 3 1. x 2. Decomposition of N x /D x into Partial Fractions. N x. D x polynomial N 1 x

Introduction. x 7. Partial fraction decomposition x 7 of. x 7. x 3 1. x 2. Decomposition of N x /D x into Partial Fractions. N x. D x polynomial N 1 x 333202_0704.qd 2/5/05 9:43 M Page 533 Section 7.4 Partial Fractions 533 7.4 Partial Fractions What you should learn Recognize partial fraction decompositions of rational epressions. Find partial fraction

More information

Math Analysis/Honors Math Analysis Summer Assignment

Math Analysis/Honors Math Analysis Summer Assignment Math Analysis/Honors Math Analysis Summer Assignment To be successful in Math Analysis or Honors Math Analysis, a full understanding of the topics listed below is required prior to the school year. To

More information

What can I tell from a survey?

What can I tell from a survey? CCA Ch 10: Solving Comple Equations Name Team # 10.1.1 What can I tell from a survey? Association in Two-Way Tables 10-1. a. c. d. d. 10-. a. Complete the following two-way table: Laptop No Laptop TOTAL

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

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

Section 4.3: Quadratic Formula

Section 4.3: Quadratic Formula Objective: Solve quadratic equations using the quadratic formula. In this section we will develop a formula to solve any quadratic equation ab c 0 where a b and c are real numbers and a 0. Solve for this

More information

In last semester, we have seen some examples about it (See Tutorial Note #13). Try to have a look on that. Here we try to show more technique.

In last semester, we have seen some examples about it (See Tutorial Note #13). Try to have a look on that. Here we try to show more technique. MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #4 Part I: Cauchy Sequence Definition (Cauchy Sequence): A sequence of real number { n } is Cauchy if and only if for any ε >

More information

Math Theory of Number Homework 1

Math Theory of Number Homework 1 Math 4050 Theory of Number Homework 1 Due Wednesday, 015-09-09, in class Do 5 of the following 7 problems. Please only attempt 5 because I will only grade 5. 1. Find all rational numbers and y satisfying

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

More information

Proof by Contradiction

Proof by Contradiction Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving

More information

Section 2.6 Limits at infinity and infinite limits 2 Lectures. Dr. Abdulla Eid. College of Science. MATHS 101: Calculus I

Section 2.6 Limits at infinity and infinite limits 2 Lectures. Dr. Abdulla Eid. College of Science. MATHS 101: Calculus I Section 2.6 Limits at infinity and infinite its 2 Lectures College of Science MATHS 0: Calculus I (University of Bahrain) Infinite Limits / 29 Finite its as ±. 2 Horizontal Asympotes. 3 Infinite its. 4

More information

Solutions to Homework Set 1

Solutions 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 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

9.4 Power Series II: Geometric Series

9.4 Power Series II: Geometric Series 9.4 Power Series II: Geometric Series A particularly important skill to develop for the AP eam, other than checking that you re in RADIAN mode, is to represent certain types of rational functions as a

More information

LESSON 6.1 EXPONENTS LESSON 6.1 EXPONENTS 253

LESSON 6.1 EXPONENTS LESSON 6.1 EXPONENTS 253 LESSON 6.1 EXPONENTS LESSON 6.1 EXPONENTS 5 OVERVIEW Here's what you'll learn in this lesson: Properties of Exponents Definition of exponent, power, and base b. Multiplication Property c. Division Property

More information

MATH 250 TOPIC 11 LIMITS. A. Basic Idea of a Limit and Limit Laws. Answers to Exercises and Problems

MATH 250 TOPIC 11 LIMITS. A. Basic Idea of a Limit and Limit Laws. Answers to Exercises and Problems Math 5 T-Limits Page MATH 5 TOPIC LIMITS A. Basic Idea of a Limit and Limit Laws B. Limits of the form,, C. Limits as or as D. Summary for Evaluating Limits Answers to Eercises and Problems Math 5 T-Limits

More information

MATH 301 INTRO TO ANALYSIS FALL 2016

MATH 301 INTRO TO ANALYSIS FALL 2016 MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing

More information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

Definition 8.1 Two inequalities are equivalent if they have the same solution set. Add or Subtract the same value on both sides of the inequality.

Definition 8.1 Two inequalities are equivalent if they have the same solution set. Add or Subtract the same value on both sides of the inequality. 8 Inequalities Concepts: Equivalent Inequalities Linear and Nonlinear Inequalities Absolute Value Inequalities (Sections.6 and.) 8. Equivalent Inequalities Definition 8. Two inequalities are equivalent

More information

Equations and Inequalities

Equations and Inequalities Equations and Inequalities Figure 1 CHAPTER OUTLINE 1 The Rectangular Coordinate Systems and Graphs Linear Equations in One Variable Models and Applications Comple Numbers Quadratic Equations 6 Other Types

More information

Math 24 Spring 2012 Questions (mostly) from the Textbook

Math 24 Spring 2012 Questions (mostly) from the Textbook Math 24 Spring 2012 Questions (mostly) from the Textbook 1. TRUE OR FALSE? (a) The zero vector space has no basis. (F) (b) Every vector space that is generated by a finite set has a basis. (c) Every vector

More information

A. Incorrect! Apply the rational root test to determine if any rational roots exist.

A. Incorrect! Apply the rational root test to determine if any rational roots exist. College Algebra - Problem Drill 13: Zeros of Polynomial Functions No. 1 of 10 1. Determine which statement is true given f() = 3 + 4. A. f() is irreducible. B. f() has no real roots. C. There is a root

More information

Chapter 3 Basic Number Theory

Chapter 3 Basic Number Theory Chapter 3 Basic Number Theory What is Number Theory? Well... What is Number Theory? Well... Number Theory The study of the natural numbers (Z + ), especially the relationship between different sorts of

More information

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed

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

Name: Mathematics 1C03

Name: Mathematics 1C03 Name: Student ID Number: Mathematics 1C03 Day Class Instructor: M. Harada Duration: 2.5 hours April 2018 McMaster University PRACTICE Final Examination This is a PRACTICE final exam. The actual final exam

More information

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017 Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a

More information

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

PUTNAM 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 information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Explain the steps in a proof by (strong) mathematical induction Use (strong) mathematical induction

More information

QUADRATIC EQUATIONS. + 6 = 0 This is a quadratic equation written in standard form. x x = 0 (standard form with c=0). 2 = 9

QUADRATIC EQUATIONS. + 6 = 0 This is a quadratic equation written in standard form. x x = 0 (standard form with c=0). 2 = 9 QUADRATIC EQUATIONS A quadratic equation is always written in the form of: a + b + c = where a The form a + b + c = is called the standard form of a quadratic equation. Eamples: 5 + 6 = This is a quadratic

More information

REVIEW PROBLEMS FOR SECOND 3200 MIDTERM

REVIEW PROBLEMS FOR SECOND 3200 MIDTERM REVIEW PROBLEMS FOR SECOND 3200 MIDTERM PETE L. CLARK 1)a) State Euclid s Lemma (the one involving prime numbers and divisibility). b) Use Euclid s Lemma to show that 3 1/5 and 5 1/3 are both irrational.

More information

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler Chapter VI Relations Assumptions are the termites of relationships. Henry Winkler Studying relationships between objects can yield important information about the objects themselves. In the real numbers,

More information

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive

More information

LESSON 8.3 EQUATIONS WITH FRACTIONS

LESSON 8.3 EQUATIONS WITH FRACTIONS LESSON 8. EQUATIONS WITH FRACTIONS LESSON 8. EQUATIONS WITH FRACTIONS OVERVIEW Here is what you'll learn in this lesson: Solving Equations a. Solving equations with rational epressions b. Solving for an

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions MATH 11/CSCI 11, Discrete Structures I Winter 007 Toby Kenney Homework Sheet 5 Hints & Model Solutions Sheet 4 5 Define the repeat of a positive integer as the number obtained by writing it twice in a

More information

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false. MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.

More information

3 The language of proof

3 The language of proof 3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;

More information

a 2 = ab a 2 b 2 = ab b 2 (a + b)(a b) = b(a b) a + b = b

a 2 = ab a 2 b 2 = ab b 2 (a + b)(a b) = b(a b) a + b = b Discrete Structures CS2800 Fall 204 Final Solutions. Briefly and clearly identify the errors in each of the following proofs: (a) Proof that is the largest natural number: Let n be the largest natural

More information

Math Analysis Chapter 2 Notes: Polynomial and Rational Functions

Math Analysis Chapter 2 Notes: Polynomial and Rational Functions Math Analysis Chapter Notes: Polynomial and Rational Functions Day 13: Section -1 Comple Numbers; Sections - Quadratic Functions -1: Comple Numbers After completing section -1 you should be able to do

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

EXAMPLES OF MORDELL S EQUATION

EXAMPLES OF MORDELL S EQUATION EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural

More information

Midterm 2 Sample Introduction to Higher Math Fall 2018 Instructor: Linh Truong

Midterm 2 Sample Introduction to Higher Math Fall 2018 Instructor: Linh Truong Midterm Sample Introduction to Higher Math Fall 018 Instructor: Linh Truong Name: Instructions: Print your name in the space above. Show your reasoning. Write complete proofs. You have 75 minutes. No notes,

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

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which Review Problems for Midterm Exam II MTH 99 Spring 014 1. Use induction to prove that for all n N. 1 + 3 + + + n(n + 1) = n(n + 1)(n + ) Solution: This statement is obviously true for n = 1 since 1()(3)

More information

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

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

More information

Ch 3.2: Direct proofs

Ch 3.2: Direct proofs Math 299 Lectures 8 and 9: Chapter 3 0. Ch3.1 A trivial proof and a vacuous proof (Reading assignment) 1. Ch3.2 Direct proofs 2. Ch3.3 Proof by contrapositive 3. Ch3.4 Proof by cases 4. Ch3.5 Proof evaluations

More information

INTRODUCTION TO RATIONAL EXPRESSIONS EXAMPLE:

INTRODUCTION TO RATIONAL EXPRESSIONS EXAMPLE: INTRODUCTION TO RATIONAL EXPRESSIONS EXAMPLE: You decide to open a small business making gluten-free cakes. Your start-up costs were $, 000. In addition, it costs $ 0 to produce each cake. What is the

More information

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals of Pure Mathematics - Problem Sheet Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

MATHS 315 Mathematical Logic

MATHS 315 Mathematical Logic MATHS 315 Mathematical Logic Second Semester, 2007 Contents 1 Informal Statement Logic 1 1.1 Statements and truth tables............................... 1 1.2 Tautologies, logical equivalence and logical

More information

Divisibility Rules Algebra 9.0

Divisibility Rules Algebra 9.0 Name Period Divisibility Rules Algebra 9.0 A Prime Number is a whole number whose only factors are 1 and itself. To find all of the prime numbers between 1 and 100, complete the following eercise: 1. Cross

More information