This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 92.305 Homework 1 Solutions September 18, 2009 Exercise 1.2.1. (a) Prove that 3 is irrational. Proof: Suppose that 3 is rational. Then we can write 3 = ( p/q ) 2 with p, q Z and q negationslash = 0. Without loss of generality, we can arrange this so that p, q share no common factors. We can rewrite the above equation as p 2 /q 2 = 3, or p 2 = 3 q 2 . Thus p 3 is divisible by 3, and so p itself must be divisible by 3. Writing p = 3 t with t Z , we have 9 t 2 = (3 t ) 2 = 3 q 2 , or 3 t 2 = q 2 . This implies that 3 divides q 2 and hence 3 divides q as well. We see that 3 must divide both p and q , contradicting their lack of common factors. Therefore, we cannot write 3 as the square of a rational number. squaresolid (b) Where does the proof of Theorem 1.1.1 break down if we try to use it to prove 4 is irrational? Answer: Let us try to use the method of Theorem 1.1.1 to prove that 4 is irrational. We would suppose 4 is rational, so 4 = ( p/q ) 2 with p, q Z and q negationslash = 0, and p 2 = 4 q 2 . We deduce that q 2 and hence q is even, so that we can write...
View
Full
Document
This note was uploaded on 07/15/2010 for the course MATH 521 taught by Professor Metcalfe during the Spring '10 term at University of North Carolina Wilmington.
 Spring '10
 MetCalfe

Click to edit the document details