and problem sheet 1

Similar documents
Some Review Problems for Exam 1: Solutions

MATH 271 Summer 2016 Practice problem solutions Week 1

Assignment 3 Logic and Reasoning KEY

Chapter 1 Review of Equations and Inequalities

Solutions to Assignment 1

PROBLEM SET 3: PROOF TECHNIQUES

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

MATH 135 Fall 2006 Proofs, Part IV

Chapter 2: The Logic of Quantified Statements. January 22, 2010

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

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.

Argument. whenever all the assumptions are true, then the conclusion is true. If today is Wednesday, then yesterday is Tuesday. Today is Wednesday.

Contribution of Problems

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

Cool Results on Primes

CHAPTER 1. REVIEW: NUMBERS

Proofs. 29th January 2014

Computer Science Section 1.6

Math 10850, fall 2017, University of Notre Dame

CS 124 Math Review Section January 29, 2018

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

All About Numbers Definitions and Properties

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

Proof Techniques (Review of Math 271)

REVIEW Chapter 1 The Real Number System

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

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

DR.RUPNATHJI( DR.RUPAK NATH )

Modular Arithmetic Instructor: Marizza Bailey Name:

Homework 3: Solutions

Lesson 21 Not So Dramatic Quadratics

Solution to Proof Questions from September 1st

Proof by contrapositive, contradiction

1 Implication and induction

MATH 2200 Final LC Review

CHAPTER 4 SOME METHODS OF PROOF

4.1 Real-valued functions of a real variable

PROBLEMS OF MARRIAGE Eugene Mukhin

Summer HSSP Lecture Notes Week 1. Lane Gunderman, Victor Lopez, James Rowan

What can you prove by induction?

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

Chapter 1: Inductive and Deductive Reasoning

Prob. 1 Prob. 2 Prob. 3 Total

A Guide to Proof-Writing

Numbers. The aim of this lesson is to enable you to: describe and use the number system. use positive and negative numbers

Writing Mathematical Proofs

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

How to prove it (or not) Gerry Leversha MA Conference, Royal Holloway April 2017

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

Some Basic Logic. Henry Liu, 25 October 2010

Section Summary. Proof by Cases Existence Proofs

1.1 Statements and Compound Statements

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

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

Research Methods in Mathematics Homework 4 solutions

Proof worksheet solutions

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

Note that Todd can only move north or west. After this point, Allison executes the following strategy based on Todd s turn.

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Mathematical induction

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

Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Midterm 1

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

1. Introduction to commutative rings and fields

Park School Mathematics Curriculum Book 1, Lesson 1: Defining New Symbols

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham

Discrete Mathematics and Probability Theory Summer 2015 Chung-Wei Lin Midterm 1

The Process of Mathematical Proof

1. Introduction to commutative rings and fields

Probability (Devore Chapter Two)

Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Note 2

Ch 3.2: Direct proofs

One-to-one functions and onto functions

Midterm Preparation Problems

Quadratic Equations Part I

Predicates, Quantifiers and Nested Quantifiers

Checkpoint Questions Due Monday, October 1 at 2:15 PM Remaining Questions Due Friday, October 5 at 2:15 PM

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

Cosets and Lagrange s theorem

Disproof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Disproof Fall / 16

UAB MATH TALENT SEARCH

QUADRATICS 3.2 Breaking Symmetry: Factoring


MATH CSE20 Homework 5 Due Monday November 4

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Chapter 9: Roots and Irrational Numbers

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

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

Introduction to Abstract Mathematics MA 103. Exercises 1. 1 Consider the following (false) statement:

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative

Math From Scratch Lesson 24: The Rational Numbers

Tutorial on Mathematical Induction

Mathematical Statements

Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information

Mathematical Olympiad for Girls

Introduction to Karnaugh Maps

RANDOM WALKS IN ONE DIMENSION

MA554 Assessment 1 Cosets and Lagrange s theorem

Transcription:

21-128 and 15-151 problem sheet 1 Solutions to the following seven exercises and optional bonus problem are to be submitted through gradescope by 11:30PM on Wednesday 5th September 2018. Problem 1 Suppose that a and b are positive integers such that a divides b. Prove that a divides a + b. Solution. Let a and b be integers (they needn t be positive) such that a divides b. By definition, there exists some integer k such that b = ka. Thus, we may write a + b = a + ka = a(k + 1) and by the definition of divisibility (since k + 1 is an integer), a divides a + b. Problem 2 Find, with proof, all solutions in real numbers to the equation 5 = 2 x + 10 x. Solution. We claim that x = 1 is the only real number that solves the equation. Suppose that x R is a solution to the equation. Then squaring both sides yields or, after rearranging, Squaring both sides again yields 4x + (10 x) + 4 10x x 2 = 25, 4 10x x 2 = 15 3x. 160x x 2 = (15 3x) 2 = 225 90x + 9x 2, and now rearranging both sides and dividing out a common factor of 25 (!!) yields 0 = x 2 10x + 9 = (x 1)(x 9). So, if x R is a solution of the original equation, then x is a solution of 0 = (x 1)(x 9). The only real solutions to this are x = 1 and x = 9. We need to determine whether these are solutions of the original equation. x = 1 is a solution, since 2 1 + 10 1 = 2 1 + 3 = 5. However, x = 9 is not a solution, since 2 9 + 10 9 = 2 3 + 1 = 7 5. Thus, the only real number that solves the original equation is x = 1. Remark. This is an interesting case in which the extra solution is not obviously due to a domain restriction. Can you see exactly where the implications fail to be reversible?

Problem 3 For each statement below, decide whether it is true or false. Prove your claim using only properties of the natural numbers. (a) If n N and n 2 + (n + 1) 2 = (n + 2) 2, then n = 3. (b) For all n N, it is false that (n 1) 3 + n 3 = (n + 1) 3. Solution. (a) This statement is true. To prove this, let n N, and assume that n 2 + (n + 1) 2 = (n + 2) 2. By algebraic simplification, and then using the fact that the product of two real numbers being equal to zero implies that at least one of them is zero, we have n 2 + (n + 1) 2 = (n + 2) 2 (n 3)(n + 1) = 0 n 3 = 0 or n + 1 = 0 n = 3 or n = 1. Since n N, n = 3 or n = 1 n = 3, as desired. (b) This statement is true. Notice that for any n N (n 1) 3 + n 3 = (n + 1) 3 (n 3 3n 2 + 3n 1) + n 3 = n 3 + 3n 2 + 3n + 1 n 3 6n 2 = 2 n 2 (n 6) = 2 Now let n N. In light of the above simplification, we must show that n 2 (n 6) 2. If n is even, then 4 n 2 (n 6) but 4 2 so n 2 (n 6) 2. If n is odd, then n 2 (n 6) is odd, but 2 is even, so n 2 (n 6) 2. Since statement (b) is true in either possible case for n, statement (b) is true. Problem 4 Let n and b be positive integers. Find the number of digits of the base b representation of n in terms of b and n. Solution. Suppose that n has m digits in its base b representation. Using the notation from 1.1.9, this means that n = d m 1 d m 2... d 0 (b) = d m 1 b m 1 + + d 0, where the d i are integers between zero and b 1 and d m 1 1. Since all terms in the sum are non-negative, we have n d m 1 b m 1 b m 1. Using b m 1 = (b 1)(b m 1 + b m 2 + + 1), we see that n b m 1 < b m. Putting these two inequalities together yields b m 1 n < b m. Applying logs to all sides of the inequality yields m 1 log b (n) < m, so log b (n) = m 1. Hence, the number of digits of n in base b, namely m, is log b (n) + 1. 2

Problem 5 A census taker interviews a woman in a house. Who lives here? he asks. My husband and I and my three daughters, she replies. What are the ages of your daughters? The product of their ages is 36 and the sum of their ages is the house number. The census taker looks at the house number, thinks, and says, You haven t given me enough information to determine the ages. Oh, you re right, she replies, Let me also say that my eldest daughter is asleep upstairs. Ah! Thank you very much! What are the ages of the daughters? (The problem requires reasonable mathematical interpretations of its words.) Solution. Knowing that the product of the daughters ages is 36 (and assuming ages are represented as natural numbers, not with fractions) then we can write the following list of triplets of numbers and know that these are the only possibilities for their ages: Ages Sum of Ages 1, 1, 36 38 1, 2, 18 21 1, 3, 12 16 1, 4, 9 14 1, 6, 6 13 2, 2, 9 13 2, 3, 6 11 3, 3, 4 10 The census-taker says that knowing the product is 36 and the sum is the house number (whatever it is) is not enough information, so there must still be some ambiguity. The only two possibilities in the list above that share a sum are 1 + 6 + 6 = 13 and 2 + 2 + 9 = 13, so the house number must be 13 (otherwise, the census-taker would be able to answer the riddle already). The last clue makes reference to the eldest daughter, which means that one daughter must be older than the others. Therefore, 1, 6, 6 is not a possibility (there is no eldest daughter), so it must be that the daughters ages are 2, 2, 9. Problem 6 Prove that if n is a positive integer, then there is an integer x such that n x 2 2n. Solution. The statement is true for n = 1, 2, 3, 4 by taking x = 1, 2, 2, 2, so we will assume that n 5 in the remainder of this proof. Let y be the largest integer such that y 2 < n. Then n (y + 1) 2, and we claim that (y + 1) 2 = y 2 + 2y + 1 2n. Since y 2 < n, it suffices to show 2y + 1 n + 1 in order to prove our claim. Observe that since n 5, we must have y 2. Hence, 2y y 2 < n and 2y + 1 n + 1, as desired. 3

Problem 7 Let r be a rational number and let a and b be irrational numbers. Which of the following numbers is necessarily irrational? a + r a + b ar ab a r r a a b Prove your claims, either by proving that the number is irrational or by providing a counterexample. If you claim that a number is irrational, then you should prove it. Solution. We know from class that 2 is irrational. It follows that 2 is irrational, since if 2 = m n for integers m and n then 2 = m n, which is the ratio of two integers (and this i s impossible). All of the following will only use the irrationality of 2 or 2. If a is irrational and r is rational, then a + r is irrational. To see this, suppose there exist irrational a an d rational r such that a + r is rational. Write r = m n and a + r = s t, where m, n, s, t are integers and n and t are nonzero. Then a = (a + r) r = s t m n = sn tm tn which is the ratio of two integers. Hence a is rational, contradicting the assumption that a is irrational. Given irrational numbers a, b, it is possible that a + b is rational. To see this, note that 2 + ( 2) = 0, which is rational. Given an irrational number a and a rational number r, it is possible that ar is rational. To see this, note that 2 0 = 0, which is rational. Given irrational numbers a, b, it is possible that ab is rational. 2 2 = 2, which is rational. To see this, note that Given an irrational number a and a rational number r, it is possible that a r is rational. To see this, note that ( 2) 2 = 2, which is rational. Given an irrational number a and a rational number r, it is possible that r a is rational. To see this, note that 1 2 = 1, which is rational. Given irrational numbers a, b, it is possible that a b is rational. either... To see this, note that... ( 2) 2 is rational, in which case we ve proved the claim; or... ( 2) 2 is irrational, in which case 2 = ( 2) 2 = ( 2 2 2) = (( 2 2) ) 2 is rational and of the form a b where a and b are irrational. 4

Bonus Problem (2 points) Three brilliant, flawless logicians - A, B, and C were blindfolded and each had a hat with a positive integer (possibly different for each) written on it placed on their heads. Their blindfolds were then removed; they faced each other in a circle and each could see the hats the others were wearing, but not their own hat. They were told that two of the numbers added up to the third. In order to be generously rewarded they needed to figure out what number was written on their hats. Here is the conversation that took place: Logician A: I don t know what my number is. Logician B: I don t know what my number is. Logician C: I don t know what my number is. Logician A: Now I know what my number is. It is 50. (a) What are the other numbers? (b) What combination(s) of numbers would allow C to solve the problem in round 1? 5

Solution. a) First, we note that no matter what numbers are on B s and C s hats, A knows that their number is one of at most two options (specifically B C, B + C ), because of the summation rule. Now, we consider the following scenario. Let x be a positive integer. If Person A sees the numbers x and x on Person B s and Person C s hats, respectively, then Person A will know that the number on their hat is 2x, because the only other possibility, 0 (to satisfy the summing condition), is ruled out by the fact that every number on a hat is a positive integer. We will be making use of this fact to solve this problem. Suppose A s number is either m or n. Now, we make the observation that for A to be sure that their number is m, they need to rule out the possibility that their number is n, and the only way of doing that is if, given the perfectness of A, B and C s logic, and the fact that n was A s number, the sequence of events that actually transpired (A,B,C all taking turns to say I don t know ) was impossible. That is, if n was indeed A s number, then someone else would have guessed their number before A s second guess (or if n = 0, which is also impossible). Suppose that the numbers on the hats of A, B, and C are 10, 20, and 30, respectively. At the very beginning, Person A does not know whether the number on their hat is 10 or 50, so they say I don t know. Next, Person B, looking at the numbers 10 and 30, also doesn t know whether their number is 20 or 40, so they also say I don t know. Now, Person C is looking at the numbers 10 and 20. They know that their number is either 10 or 30. However, if their number were indeed 10, then B would have been looking at the numbers 10 and 10 on A s and C s hats, respectively, and from the argument above we know that B would have declared their own number to be 20. Since they (as a perfect logician) failed to do so, C can conclude that B in fact did not see the numbers 10 and 10, which would lead them to the conclusion that their number was 30. Now, we have concluded that if the numbers on the hats were 10, 20 and 30, respectively, then C would be able to deduce their hat s number. Now suppose that the numbers on the hats of A, B, and C are 50, 20, and 30, respectively. Similar to the reasoning above, A says I don t know, not knowing whether their number is 10 or 50. B echoes because they can t tell if their number is 20 or 80. C says they don t know as well, unable to figure out if their number is 30 or 70. Using the logic we made earlier, A can deduce from C s inability to discern C s number that the number on A s hat 6 is not 10! Therefore, they can conclude that the number on their hat must be 50. Note that this solution does not prove uniqueness. We will do so in part b).

b) As per the solution in a), the only way for person C to be sure of their number is if the other possible value for their number results in someone else guessing their number before them, or that number is zero. Since C is guessing third, we can exhaustively list all the wrong cases. In all cases, we let x Z +. Case 1: C s other number is zero. Then the actual value of (A, B, C) was (x, x, 0). However, since C won, this did not happen, so a possible set of values would instead feature C s other possible value, ie. (A, B, C) = (x, x, 2x). Case 2: A would have guessed their number first. The only way for A to know their number by just looking at B s and C s hats is if the other two numbers are equal. That is, the actual value of (A, B, C) was (2x, x, x). However, since C won, this did not happen, so a possible set of values would instead feature C s other possible value, ie. (A, B, C) = (x, x, 2x). Case 3a: B would have guessed their number first, but not because A did not guess their number. This case would occur if B could conclude on their own what their number was. (Identical to case 2). That is, the actual value of (A, B, C) was (x, 2x, x). However, since C won, this did not happen, so a possible set of values would instead feature C s other possible value, ie. (A, B, C) = (x, x, 2x). Case 3b: B would have guessed their number first because A did not guess their number. In this case, B knows that A s silence meant that B did not have the same number as C. Thus B s number must be the sum of A s and C s number, that is, the actual value of (A, B, C) = (2x, 3x, x). (recall that we are trying to create a situation in which C did NOT win because B won!) However, since C won, this did not happen, so a possible set of values would instead feature C s other possible value, ie. (A, B, C) = (2x, 3x, 5x). Thus, if C were to win, the following sets of values are all the possible ways they could do so: (A, B, C) : (x, x, 2x), (x, 2x, 3x), (2x, x, 3x), (2x, 3x, 5x). This ends the proof of part b). Now, we prove the uniqueness of part a). Note that for A to have won on their second guess, C must not have won with their first guess! (We don t care about B or A winning with their first guesses, because those have already been accounted for in our above analysis). Therefore, to figure out all the possible cases in which A wins on their second guess, it suffices to flip A s numbers in each of the 4 cases. Doing so results in the following sets: (A, B, C) = (3x, x, 2x), (5x, 2x, 3x), (4x, x, 3x), (8x, 3x, 5x). In each of these cases, A s number = 3x, 5x, 4x or 8x. But 50 is divisible by only 5, and not 3, 4 or 8. Thus the solution provided in part a) is unique. 7