Professional Documents
Culture Documents
4. ( a − b ) + ( c − d ) = ( a + c ) − ( b + d )
(a−b)+(c−d) = a−b+c−d by associativity
= a+c−b−d by commutativity
= ( a + c ) − ( b + d ) by associativity and N5
5. ( a − b ) + ( c − d ) = ( a − d ) + ( c − b )
(a−b)+(c−d) = a−b+c−d by associativity
= a−d+c−b by commutativity
= ( a − d ) + ( c − b ) by associativity
6. ( a − b ) + ( c − d ) = − ( b + d ) + ( a + c )
(a−b)+(c−d) = a−b+c−d by associativity
= −b+a+c−d by commutativity
= −b+a−d+c by commutativity
= −b−d+a+c by commutativity
= − ( b + d ) + ( a + c ) by associativity and N5
7. ( a − b ) + ( c − d ) = − ( b + d ) − ( − a − c )
(a−b)+(c−d) = a−b+c−d by associativity
= −b+a+c−d by commutativity
= −b+a−d+c by commutativity
= −b−d+a+c by commutativity
= − ( b + d ) − ( − a − c ) by associativity and N5
8. ( ( x + y ) + z ) + w = ( x + z ) + ( y + w )
((x+y)+z)+w = x+y+z+w by associativity
= x+z+y+w by commutativity
= ( x + z ) + ( y + w ) by associativity
9. ( x − y ) − ( z − w ) = ( x + w ) − y − z
(x−y)−(z−w) = x−y−z+w by associativity and N5
= x+w−y−z by commutativity
= ( x + w ) − y − z by associativity
10. ( x − y ) − ( z − w ) = ( x − z ) + ( w − y )
(x−y)−(z−w) = x−y−z+w by associativity and N5
= x−z+w−y by commutativity
= ( x − z ) + ( w − y ) by associativity
11. Show that − ( a + b + c ) = − a + ( − b ) + ( − c ).
It suffices to show that ( a + b + c ) + ( − a ) + ( − b ) + ( − c ) = 0.
But ( a + b + c ) + ( − a ) + ( − b ) + ( − c ) =
= 0+0+0=0.
= 0+0+0=0.
14. − 2 + x = 4 ⇔ x = 4 + 2 ⇔ x = 6
15. 2 − x = 5 ⇔ − x = 5 − 2 ⇔ x = − 3
16. x − 3 = 7 ⇔ x = 7 + 3 ⇔ x = 10
17. − x + 4 = − 1 ⇔ − x = − 1 − 4 ⇔ x = 5
18. 4 − x = 8 ⇔ − x = 8 − 4 ⇔ x = − 4
19. − 5 − x = − 2 ⇔ − x = − 2 + 5 ⇔ x = − 3
20. − 7 + x = − 10 ⇔ x = − 10 + 7 ⇔ x = − 3
21. − 3 + x = 4 ⇔ x = 4 + 3 ⇔ x = 7
If a + b = a + c , then b = c .