Hint for Section 3.4 Question 5a

5a) The statement we are required to prove is:  If  u equiv.jpg (592 bytes) v (mod d)   and  w equiv.jpg (592 bytes) x (mod d), then  u + w equiv.jpg (592 bytes) v + x (mod d).
To prove that an if--then statement (p implies.jpg (563 bytes)q) is true, we assume that p is true and show that q is also true.

Recall that to say that  a equiv.jpg (592 bytes)b (mod d)  is equivalent to saying:
1.  a mod d = r   and  b mod d = r,  
2.  a - b = kd  for some integer k, or
3.  d | (a - b). 

Use the second point from the list above to rewrite u equiv.jpg (592 bytes) v (mod d)  and  w equiv.jpg (592 bytes) x (mod d), as equations.

Proof Suppose that u, v, w, x and d are integers such that u equiv.jpg (592 bytes) v (mod d)  and  w equiv.jpg (592 bytes) x (mod d).

By the definition of congruence this is equivalent to saying that    u - v = sd   and   w - x = td,  for some integers s and t.

We want to prove that u + w equiv.jpg (592 bytes) v + x (mod d) (or equivalently:   (u + w) - (v + x) = md, for some integer m).  How can you use the equations above to achieve this?

Back to Section 3.4
Full solution