Problem Set #3 Solutions

Similar documents
MATH10040: Numbers and Functions Homework 1: Solutions

Solutions to Assignment 1

Proof by Contradiction

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

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.

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


Foundations of Discrete Mathematics

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

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

(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a.

MATH 271 Summer 2016 Practice problem solutions Week 1

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

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

Proofs. Chapter 2 P P Q Q

Numbers. 2.1 Integers. P(n) = n(n 4 5n 2 + 4) = n(n 2 1)(n 2 4) = (n 2)(n 1)n(n + 1)(n + 2); 120 =

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques

Basic Proof Examples

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

Mathematics 228(Q1), Assignment 2 Solutions

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

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

Math 109 HW 9 Solutions

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

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

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4

Discrete Math in Computer Science Solutions to Practice Problems for Midterm 2

Section 1.7 Proof Methods and Strategy. Existence Proofs. xp(x). Constructive existence proof:

Section 3.1: Direct Proof and Counterexample 1

Classify, graph, and compare real numbers. Find and estimate square roots Identify and apply properties of real numbers.

PROBLEM SET 3: PROOF TECHNIQUES

Recitation 7: Existence Proofs and Mathematical Induction

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

3.6. Disproving Quantified Statements Disproving Existential Statements

Research Methods in Mathematics Homework 4 solutions

Equations. Rational Equations. Example. 2 x. a b c 2a. Examine each denominator to find values that would cause the denominator to equal zero

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

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

CmSc 250 Intro to Algorithms. Mathematical Review. 1. Basic Algebra. (a + b) 2 = a 2 + 2ab + b 2 (a - b) 2 = a 2-2ab + b 2 a 2 - b 2 = (a + b)(a - b)

Solutions, 2004 NCS/MAA TEAM COMPETITION

Number Theory and Proof Methods

Proof worksheet solutions

Lesson 3.5 Exercises, pages

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

Midterm Preparation Problems

Lecture 3. Logic Predicates and Quantified Statements Statements with Multiple Quantifiers. Introduction to Proofs. Reading (Epp s textbook)

Proofs. Joe Patten August 10, 2018

MATH CSE20 Homework 5 Due Monday November 4

MATH 2200 Final LC Review

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

CSE 20. Final Review. CSE 20: Final Review

In Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3

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

CHAPTER 4 SOME METHODS OF PROOF

Math 230 Final Exam, Spring 2008

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

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])

DISCRETE MATH: FINAL REVIEW

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.

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Homework #2 solutions Due: June 15, 2012

(4) Using results you have studied, show that if x, y are real numbers,

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

Math 511, Algebraic Systems, Fall 2017 July 20, 2017 Edition. Todd Cochrane

Math1a Set 1 Solutions

STUDY PROBLEMS FOR EXAM I CMSC 203 DISCRETE STRUCTURES. n (n +1)(2n +1), 6. j 2 = 1(1+1)(2 1+1) 6. k (k +1)(2k +1) 6

Number 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:

Climbing an Infinite Ladder

Math 13, Spring 2013, Lecture B: Midterm

Math Homework # 4

REVIEW Chapter 1 The Real Number System

COT 2104 Homework Assignment 1 (Answers)

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

Eighth Homework Solutions

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

IS 709/809: Computational Methods for IS Research. Math Review: Algorithm Analysis

CSC 125 :: Final Exam May 3 & 5, 2010

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

Methods of Proof. Ross Mathematics Program 2016

Recitation 4: Quantifiers and basic proofs

Chapter 3 Basic Number Theory

EECS 1028 M: Discrete Mathematics for Engineers

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

Proofs. Chapter 2 P P Q Q

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

Honors Advanced Mathematics November 4, /2.6 summary and extra problems page 1 Recap: complex numbers

Math Real Analysis

Contribution of Problems

Algebra I Unit Report Summary

Quantifiers. P. Danziger

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

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

For all For every For each For any There exists at least one There exists There is Some

Math /Foundations of Algebra/Fall 2017 Foundations of the Foundations: Proofs

Carmen s Core Concepts (Math 135)

Cool Results on Primes

PP

Some Basic Logic. Henry Liu, 25 October 2010

Transcription:

Page 3.1 Problem Set #3 Solutions 1. Epp #3.1.: a. Yes: 4rs = (rs) and rs is an integer because r and s are integers and products of integers are integers b. Yes: 6r + 4s + 3 = (3r + s + 1) + 1 and 3r + s + 1 is an integer because r and s are integers and the sums and products of integers are integers c. Yes: r + rs + s = (r + s) and r + s is an integer that is greater than or equal to because both r and s are positive integers, and so each is greater than or equal to 1.. Epp #3..3: This incorrect proof begs the question (assumes the hypothesis that it is supposed to prove). The second sentence asserts that a certain conclusion follows if r + s is rational, and the rest of the proof used that conclusion to deduce that r + s is rational. 3. Pseudo-code for the factorization algorithm: Input: n [a positive integer] r [a vector that contains all the primes less than or equal to n in ascending order, so that r(1) =, r() = 3, r(3) = 5, and so on. This vector has length s,] Other Algorithm Variables: p [a vector that contains the factorization primes for n in ascending order. It has length q s n.] e [a vector of length q that indicates how many times each element of p appears in the factorization of n. We note: 1 e(i) < n, 1 i q.] continued on next page

Page 3. Problem 3 continued Algorithm Body: n res := n [the factorization remainder] l := 1 [the counter for the elements in r] i := 0 [the counter for the elements in p and e] i flag := FALSE [A flag that indicates whether a prime in r is a factor of n.] while (n res 1) if n res mod r(l) 0 then do l := l + 1 i flag := FALSE end do else do if i flag = FALSE then do i := i + 1 p(i) := r(l) e(i) := 1 n res := n res /r(l) i flag := TRUE end do else do e(i) := e(i) + 1 n res := n res /r(l) end do end do end while Output: p, e end Algorithm 4. Epp #3.4.15: a. A 69 19 9 q d 1 n 1 p 4 b. A 83 8 8 q 3 d 0 n 1 p 3

Page 3.3 5. Epp #3.5.0 3.5.: 3.5.0 Counterexample: Let x = y = 1.1. Then, x y = (1.1) (1.1) = 1.01 =. On the other hand, we find x y = 1.1 1.1 = = 4. 3.5.1 Proof: Let n be any odd integer, then we must show that n/ = (n + 1)/. By definition, n = k + 1 for some integer k. Substituting into the left-hand side of the equation to be proved gives Similarly, we find n k + 1 = = n + 1 = (k + 1) + 1 k + 1 = k + 1. (1) = k + 1. () The equality that we wish to prove follows from the equality of (1) and (). 3.5. Counterexample: Let x = y = 1.9. Then, we find x y = (1.9) (1.9) = 3.61 = 4. By, contrast, we find 1.9 1.9 = 1 =. 6. Epp #3.6.3 3.6.4: 3.6.3 Suppose the negation. Suppose that there is a greatest negative real number a. In that case, we must have a < 0 and a x for every negative real number x. Let b = a/. We then find that b is real, that b < 0, and b > a. Hence, we have a contradiction, and the original statement is true. 3.6.4 Suppose the negation. Suppose that there is a least positive rational number r. We first note that s = r/ is also rational because if r = a/b, where a and b are integers, then s = a/b and both a and b are integers. We also find that s < r and s > 0. The contradiction follows, and the original statement is proved.

Page 3.4 7. Epp #3.7.14: The answer is no. Proof: Let a, b, and c be any odd integers, and suppose ax +bx+c = 0 has a rational solution. Then, there exist integers r and s with s 0 such that or, equivalently, By the partity theorem, either r is even or r is odd. ( r ) ( r a + b + c = 0, (1) s s) ar + brs + cs = 0. () Case 1, r is even: In this case, we solve () for cs to obtain cs = ar brs = r( ar bs). Since r is even, it equals k, where k is some integer. It follows that cs = k( ar bs), and, since ar bs is an integer, cs equals twice the integer k( ar bs) and cs is even. Since c is odd, it follows that s is even, which implies that s is even. In that case, both r and s have a common factor of two which contradicts the assumption that they have no common factor. Case, r is odd: In this case, we solve () for ar to obtain ar = brs cs. Since both a and r are odd, the combination ar must be odd. To show that, we consider the product of any two odd numbers. This product is expressible as (k + 1)(l + 1), where k and l are integers, which is also expressible as (kl + k + l) + 1, which is twice an integer plus one. By induction, it follows that any number of odd numbers multiplied together produces an odd number. We now consider two subcases of case. Suppose first that s is even. In that case ar = s( br cs), and it follows that ar is even. Suppose next that s is odd. In that brs and cs are both odd. Since the sum of two odd numbers is even, it follows that ar must be even. Thus, we always find that ar must be even, which contradicts our earlier result that ar must be odd. Both case 1 and case produce contradictions. Thus, the hypothesis is false, and if a, b, and c are odd integers, then all solutions to ax + bx + c must be irrational. Q.E.D.

Page 3.5 8. Implementation of algorithm to calculate π: The algorithm is implemented in MatLab. The code and output are below: The MATLAB Script: PI-APPROX This routine calculates an approximation to pi by summing the series for arctan(1), which equals pi/4. INPUTS Nmax = 100; This is the total length of the sum N1 = 10; This is the first value that is printed N = 30; This is the second value that is printed N3 = 100; ALGORITHM BODY k = 1:Nmax; This is the third value that is printed This initializes a vector of length Nmax filled with 1,,...Nmax x = 8.0./((4.0*k - 1).*(4.0*k + 1)); This calculates the vector elements to be summed x = cumsum(x); This calculates the cumulative sum x = 4.0 - x; This calculates the final result OUTPUT ROUTINES fprintf('\n For N = d, ',N1) fprintf('the approximate value of pi is 0.7f\n',x(N1)) fprintf('\n For N = d, ',N) fprintf('the approximate value of pi is 0.7f\n',x(N)) fprintf('\n For N = d, ',N3) fprintf('the approximate value of pi is 0.7f\n\n',x(N3)) The MATLAB output >> PI_APPROX For N = 10, the approximate value of pi is 3.1891848 For N = 30, the approximate value of pi is 3.1579850 For N = 100, the approximate value of pi is 3.1465677