Research Methods in Mathematics Homework 4 solutions

Similar documents
MATH10040: Numbers and Functions Homework 1: Solutions

Proofs Not Based On POMI

Infinite Continued Fractions

Math 104: Homework 1 solutions

Proofs Not Based On POMI

A lower bound for X is an element z F such that

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Sums of Squares. Bianca Homberg and Minna Liu

Homework 3: Solutions

Homework 5 Solutions

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013

In N we can do addition, but in order to do subtraction we need to extend N to the integers

MATH 2200 Final LC Review

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

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

MATH 271 Summer 2016 Practice problem solutions Week 1

PRACTICE PROBLEMS: SET 1

Homework 5 Solutions

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Solutions to Homework Set 1

DR.RUPNATHJI( DR.RUPAK NATH )

CHAPTER 4 SOME METHODS OF PROOF

Fall 2017 November 10, Written Homework 5

CHAPTER 8: EXPLORING R

Introduction to Basic Proof Techniques Mathew A. Johnson

Climbing an Infinite Ladder

Fall 2017 Test II review problems

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

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

Dirchlet s Function and Limit and Continuity Arguments

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

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

Solutions for Homework Assignment 2

, p 1 < p 2 < < p l primes.

Discrete Mathematics. Spring 2017

(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.

Mathematics 228(Q1), Assignment 2 Solutions

Warm-up Quantifiers and the harmonic series Sets Second warmup Induction Bijections. Writing more proofs. Misha Lavrov

Day 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving.

Number Theory and Graph Theory. Prime numbers and congruences.

SUMS PROBLEM COMPETITION, 2000

CS280, Spring 2004: Prelim Solutions

and problem sheet 1

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

A lower bound for X is an element z F such that

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

1 Continued Fractions

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

Research Methods in Mathematics Extended assignment 1

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

PROBLEM SET 3: PROOF TECHNIQUES

() Chapter 8 November 9, / 1

Problem Set #3 Solutions

Written Homework # 4 Solution

MATH 2200 Final Review

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works.

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

CMSC250 Homework 9 Due: Wednesday, December 3, Question: Total Points: Score:

Calculus (Real Analysis I)

Important Properties of R

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

INTRODUCTORY ANALYSIS I Homework #13 (The lucky one)

Math 378 Spring 2011 Assignment 4 Solutions

MAS114: Solutions to Exercises

Homework 3 Solutions, Math 55

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0:

Math 410 Homework 6 Due Monday, October 26

MATH 152 Problem set 6 solutions

Solutions to Assignment 1

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

Cool Results on Primes

Dirchlet s Function and Limit and Continuity Arguments

PRODUCTS THAT ARE POWERS. A mathematical vignette Ed Barbeau, University of Toronto

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

REAL NUMBERS. Any positive integer a can be divided by another positive integer b in such a way that it leaves a remainder r that is smaller than b.

Discrete Math, Spring Solutions to Problems V

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

Numerical Sequences and Series

Math.3336: Discrete Mathematics. Cardinality of Sets

MATH 104, HOMEWORK #3 SOLUTIONS Due Thursday, February 4

PRIME NUMBERS YANKI LEKILI

The natural numbers. The natural numbers come with an addition +, a multiplication and an order < p < q, q < p, p = q.

CSE 20. Final Review. CSE 20: 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.

EECS 1028 M: Discrete Mathematics for Engineers

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

In case (1) 1 = 0. Then using and from the previous lecture,

Mathematical Induction. Section 5.1

CS1800: Mathematical Induction. Professor Kevin Gold

1 Implication and induction

COMP Intro to Logic for Computer Scientists. Lecture 15

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1

MATH 117 LECTURE NOTES

MI 4 Mathematical Induction Name. Mathematical Induction

Induction and Recursion

Due date: Monday, February 6, 2017.

Algebra Revision Guide

Standard forms for writing numbers

Transcription:

Research Methods in Mathematics Homework 4 solutions T. PERUTZ (1) Solution. (a) Since x 2 = 2, we have (p/q) 2 = 2, so p 2 = 2q 2. By definition, an integer is even if it is twice another integer. Since it is twice q 2, the integer p 2 is even. (b) The square of an odd number is again odd (because any odd integer can be written as (2n + 1) with n an integer, and (2n + 1) 2 = 2(2n 2 + 2n) + 1). We know by (a) that p 2 is even. Therefore p cannot be odd, and so it must be even. (c) Since p is even, we can write p = 2r for some integer r. Then p 2 = (2r) 2 = 4r 2. So 4r 2 = 2q 2, and therefore 2r 2 = q 2, which shows that q 2 is even. (d) Since q 2 is even by (c), q must be even by the same argument as in (b). (e) We want to prove that there is no rational x such that x 2 = 2. To do this, we suppose on the contrary that there is such an x, and show that this leads to an absurdity (a self-contradictory statement). From that we deduce that no such x exists. Now, every non-zero rational number x can be written as p/q where p and q have no common factor > 1. (For the purposes of this question, it s reasonable to take this for granted.) So let s choose p and q so that they have no common factor. We prove in (b) that p is necessarily even. We proved in (d) that q is even. So both are divisible by 2, contradicting our hypothesis that they have no common factor > 1. This is the contradiction. For completeness sake, let s prove that a rational number p/q 0 can be rewritten as p /q where p and q have no common factor > 1. Consider max( p, q ), that is, p or q, whichever is larger. Let P(m) be the statement: every non-zero rational p/q with max( p, q ) m is equal to some p /q where p and q have no common factor > 1. Proof by induction: for P(1), note that if max( p, q ) 1 then it must equal 1 since p/q 0. But then then p/q = ±1/1, and the numbers ±1 and ±1 have no common factor > 1. For the inductive step, assume P(m), and consider P(m + 1). So take a p/q where max( p, q ) m + 1. If p/q have no common factor > 1, there s nothing to prove. If they have a common factor d > 1 then write p = rd and q = sd. Then p/q = r/s, and max( r, s ) m. By P(m), we can write r/s = p /q where p and q have no common factor > 1. This proves P(m + 1) and completes the induction.

2 T. Perutz (2) (a) Refer to your class notes. (b) We wish to find ɛ > 0 such that (x ɛ) 2 > 2. If x 0 then ɛ = 1 will work (since then (x ɛ) 2 > x 2 > 2). So from now on we assume that x > 0. The condition (x ɛ) 2 > 2 is equivalent to Equivalently again, x 2 2ɛx + ɛ 2 > 2. 2ɛx ɛ 2 < x 2 2. This is our target. We know that x 2 > 2 (so x 2 2 > 0). Whatever ɛ we choose, we ll have 2ɛx ɛ 2 < 2ɛx. So it will be sufficient to choose ɛ > 0 such that 2ɛx < x 2 2. So let s take Then ɛ = x2 2. 3x 2ɛx = 2x x2 2 = 2 3x 3 (x2 2) < x 2 2, as required. Notice that this problem is slightly simpler than (a), because the sign of the ɛ 2 term worked in our favor here. (3) Solution. (a) The set of integers-squared has no upper bound. Indeed, if x is an integer then x 2 x. So an upper bound U would be at least as large as any integer. In particular, U n for every natural number n. But there is no such rational number. Indeed, such a U would evidently have to be positive. But if U is a positive rational number then the integer part of U + 1 is a natural number strictly larger than U. (b) The set of reciprocals of natural numbers is bounded above by 1. Indeed, every natural number n satisfies n 1. It follows that every reciprocal 1/n satisfies 1/n 1 (because if 1/n > 1 then, by one of the properties of the ordered field Q, we have n(1/n) > n, i.e. 1 > n). (c) The inequality (1 + x 2 ) 1 3 is equivalent to 1 3 + 3x 2 (here we use the fact that 1 + x 2 > 0), hence to 3x 2 2. But every rational x satisfies 3x 2 0, hence 3x 2 2. Hence this set is Q, which has no upper bound. (d) This inequality rearranges to 3 1 + x 2, hence to 2 x 2. An upper bound U is U = 100. Indeed, if x > 100 then x 2 > 100, so x does not satisfy the inequality. Now for lower bounds: (a) This set has lower bound 0, since the square of an integer is non-negative. (b) This set has has lower bound 0, since the reciprocal of a natural number is positive. (c) This set has no lower bound, since it is Q.

Research Methods in Mathematics Homework 4 solutions 3 (d) This set is bounded below by 100, since if x < 100 then x 2 > 100, so x does not satisfy the defining inequality. (4) Solution. Least upper bounds: (a) has no upper bound, hence no least upper bound. (b) has least upper bound 1. Indeed, 1 is an upper bound; and since 1 is in the set, every upper bound x satisfies x 1. (c) This set has no upper bound, hence no least upper bound. (d) This is the set of rationals x such that x 2 < 2. As shown in class and in q.2, any least upper bound u must satisfy u 2 = 2. But by q.1, no such rational number u exists. Hence there s no least upper bound. Greatest lower bounds: (a) has greatest lower bound 0. Indeed, every member in the set is 0, and 0 is in the set so any lower bound must be 0. (b) The greatest lower bound is 0. Indeed, 0 is a lower bound, and if l were another lower bound and l > 0, we could write l = p/q for natural numbers p and q. But then l = p q 1 q > 1 2q, so 1/(2q) is a member of the set smaller than l, contradicting the assumption that l is a lower bound. (c) This set had no lower bound, hence has no greatest lower bound. (d) This set has no greatest lower bound because if l were a greatest lower bound, we would have l 2 = 2 (same argument as for least upper bounds). There s no such rational l by question 2. (5) Solution. First, the diagram in Figure 1 illustrates the five ways to add four numbers. Each tree picture is read top to bottom. We start with four inputs (branches of the tree). Each Y point represent an addition. We end up with one output. There are 14 ways to add five numbers a, b, c, d, e. In diagrammatic form, they are as in Figure 2. The first five are of the form ( ) + e, where ( ) is some way of adding a, b, c and d. The next two take the form ( ) + (d + e) where now ( ) adds a, b and c; the two after that, (a + b) + ( ); and the last five, a + ( ). We have caught all the possibilities here because in any procedure for adding a, b, c, d and e, the last addition we perform will add the sum of the first k inputs (calculated in some fashion) to the sum of the last n k inputs (also calculated in some fashion). Here k could be 4, 3, 2 or 1. We just described what happens in each of these cases.

4 T. Perutz a b c d ((a+b)+c)+d Figure 1: Four inputs Extra credit. Suppose we are carrying out an addition a 0 + + a n+1. The number C n+1 represents the number of ways of doing this. The first step is to use brackets to divide the summands into two groups: (a 0 + + a j ) + (a j+1 + + a n+1 ). There are C j ways to carry out the addition a 0 + + a j, and for each of those, there are C n j ways to carry out the addition a j+1 + + a n+1. Hence C n+1 = C 0 C n + C 1 C n 1 + + C n C 0. We can also this express this in terms of the tree diagrams. Starting at the base of a tree, the tree branches into two parts, which we can think of as sub-trees. We look at all the possibilities for those sub-trees. You can see this in the picture for C 4, which shows the relation We have C 4 = 1 5 + 1 2 + 2 1 + 5 1. C 5 = 1 14 + 1 5 + 2 2 + 5 1 + 14 1 = 42.

Research Methods in Mathematics Homework 4 solutions 5 Figure 2: Five inputs