Respuesta :
Answer:
[tex]a+b[/tex] is divisible by [tex]c[/tex] since [tex]d[/tex] and [tex]e[/tex] are also whole numbers.
[tex]b-a[/tex] is divisible by [tex]c[/tex] since [tex]d[/tex] and [tex]e[/tex] are also whole numbers.
Step-by-step explanation:
Let [tex]a[/tex], [tex]b[/tex] whole number that are divisible by [tex]c[/tex]. Then, we have that [tex]d = \frac{a}{c}[/tex] and [tex]e = \frac{b}{c}[/tex], which are also whole numbers. We proceed to prove that [tex]a + b[/tex] is divisible by [tex]c[/tex]:
1) [tex]d = \frac{a}{c}[/tex], [tex]e = \frac{b}{c}[/tex], [tex]a[/tex], [tex]b[/tex] , [tex]c[/tex], [tex]d[/tex], [tex]e[/tex] [tex]\in \mathbb{Z}[/tex] Given
2) [tex]d + e = \frac{a}{c}+\frac{b}{c}[/tex] Compatibility with addition
3) [tex]d+e = a\cdot c^{-1}+b\cdot c^{-1}[/tex] Definition of division
4) [tex]d + e = c^{-1}\cdot (a+b)[/tex] Commutative and distributive properties
5) [tex]d+e = (a+b) \cdot c^{-1}[/tex] Commutative properties
6) [tex]d+e = \frac{a+b}{c}[/tex] Definition of division/Result
Therefore, [tex]a+b[/tex] is divisible by [tex]c[/tex] since [tex]d[/tex] and [tex]e[/tex] are also whole numbers.
We proceed to prove that [tex]b-a[/tex] is divisible by [tex]c[/tex]:
1) [tex]d = \frac{a}{c}[/tex], [tex]e = \frac{b}{c}[/tex], [tex]a[/tex], [tex]b[/tex] , [tex]c[/tex], [tex]d[/tex], [tex]e[/tex] [tex]\in \mathbb{Z}[/tex] Given
2) [tex]d\cdot (-1) = \frac{a}{c}\cdot (-1)[/tex] Compatibility with multiplication
3) [tex]e + d\cdot (-1) = \frac{b}{c}+\frac{a}{c}\cdot (-1)[/tex] Compatibility with addition
4) [tex]e + d\cdot (-1) = b\cdot c^{-1}+(a\cdot c^{-1})\cdot (-1)[/tex] Definition of division
5) [tex]e + d\cdot (-1) = b\cdot c^{-1} + [a\cdot (-1)]\cdot c^{-1}[/tex] Associative and commutative properties
6) [tex]e + d\cdot (-1) = c^{-1}\cdot [b+a\cdot (-1)][/tex] Commutative and distributive properties.
7) [tex]e+d\cdot (-1) = [b+a\cdot (-1)]\cdot c^{-1}[/tex] Commutative properties.
8) [tex]e + d\cdot (-1) = \frac{b+a\cdot (-1)}{c}[/tex] Definition of division
9) [tex]e-d = \frac{b-a}{c}[/tex] [tex](-1)\cdot a = -a[/tex]/Definition of subtraction
Therefore, [tex]b-a[/tex] is divisible by [tex]c[/tex] since [tex]d[/tex] and [tex]e[/tex] are also whole numbers.