Hint for Section 3.2 Question 4

4.  This question can be rewritten as an if--then statement.  If r is a non-zero rational number, then there exists another rational number r', such that
r · r' = 1 = r' · r.  To prove that an if--then statement (p implies.jpg (563 bytes)q) is true, we assume that p is true and use that to show that q must also be true.

Proof  Suppose that  r is a non-zero rational number; hence r = a/b for some integers a and b, where a noteqred.jpg (905 bytes) 0 and b noteqred.jpg (905 bytes)0.

We are trying to conclude that there exists a rational number r' such that r · r' = 1 = r' · r.   To accomplish this you need to find r' (in terms of  a and b).

Back to Section 3.2
Full solution