230 HW 3
230 HW 3
Problem 1. How do − and × interact? For the following exercises I want you to give
Euclidean style proofs using the axioms of Z from the handout. You can also use the results
we proved in class, such as: uniqueness of “−a”, 0a = 0 for all a ∈ Z, and the Cancellation
Lemma (a + b = a + c) ⇒ (b = c).
(a) Recall that −n is the unique integer satisfying n + (−n) = 0. Prove that for all n ∈ Z
we have −(−n) = n.
(b) Prove that for all a, b ∈ Z we have (−a)b = a(−b) = −(ab). [Hint: Use the fact that
0a = 0 for all a ∈ Z, which we proved in class.]
(c) Recall that for all m, n ∈ Z we define m − n := m + (−n). Prove that for all a, b, c ∈ Z
we have a(b − c) = ab − ac. [Hint: Use (b).]
(d) Prove that for all a, b ∈ Z we have (−a)(−b) = ab. [Hint: Show that −(ab) = a(−b).
Then use (a) and (b).]
Problem 4. Greatest Common Divisor. Consider two integers a, b ∈ Z that are not both
zero. Now consider the set of “common divisors”
D = {d ∈ Z : d|a ∧ d|b}.
Show that this set is bounded above, so by Well-Ordering it has a largest element. Call the
largest element gcd(a, b). Now show that 1 ≤ gcd(a, b). [Hint: Use Problem 3(d) from HW1.]