1
$\begingroup$

I'm supposed to prove this. The answer key doesn't tell me anything more than to add zero:

$(a+(-a))$

to:

$(-1)\cdot a$

and use that:

$a=a\cdot 1$

I have these axioms to my disposal:

(A1) for all $x,y$ we have $+y=y+x$

(A2) for all $x,y,z$ we have $(x+y)+z=x+(x+z)$

(A3) there exists a number $0$ so that for all $x$ we have $x+0=x$

(A4) for all $x$ there exists a number $a$ so that $x+a=0$

(M1) for all $x,y$we have $x*y=y*x$

(M2) for all $x,y,z$ we have $(x*y)*z=x*(y*z)$

(M3) there exists a number $1=/=0$ so that for all $x$ we have $x(1/x)=1$

(M4) for all $x=/=0$ there exists a number $b$ so that $x(1/x)=1$

(AM) for all $x,y,z$ we have $z*(x+y)=z*x+z*y)$

$a ∈ R$

$\endgroup$
18
  • 3
    $\begingroup$ What is $\cdot$? What is $a$? What is $-a$? With no defintions or context, proofs become impossible. $\endgroup$
    – ajotatxe
    Commented Jan 19, 2018 at 18:06
  • $\begingroup$ I have the most basic axioms to my disposal. I'll edit my post. $\endgroup$
    – Chisq
    Commented Jan 19, 2018 at 18:07
  • 1
    $\begingroup$ What kind of structure is $a$ in? Is it a group? Is it a monoid? Is it a field? etc. $\endgroup$ Commented Jan 19, 2018 at 18:08
  • $\begingroup$ HInt. Think about $(1 + (-1))a$ several ways, using the axioms and definitions you have. $\endgroup$ Commented Jan 19, 2018 at 18:08
  • $\begingroup$ This is quite literally my second day in university mathematics, I have no idea. $\endgroup$
    – Chisq
    Commented Jan 19, 2018 at 18:09

2 Answers 2

2
$\begingroup$
  1. To prove: $(-1)\cdot a = (-a)$. In other words, that $-a$ (the opposite of $a$) is equal to the product of $-1$ (the opposite of the multiplicative unit) and $a$ itself.

  2. Let's start with the expression $(a + (-a)) + (-1)\cdot a$

  3. Because $a$ and $-a$ are opposites, by definition their sum is zero. Therefore, one way of evaluating this expression yields: $$(a + (-a)) + (-1)\cdot a = 0 + (-1)\cdot a = (-1)\cdot a$$ where we've used the fact that adding 0 to something doesn't change it.

  4. But we can evaluate this expression another way, too. Because addition is commutative, we can change the order of terms that are added together. Because addition is associative, we can drop parentheses on things that are added together [as in $(a+b)+c = a+b+c$]. This allows us to write: $$(a + (-a)) + (-1)\cdot a = (-a) + a + (-1)\cdot a$$

  5. We can use the fact that multiplying by 1 doesn't change anything. Therefore, $a = 1\cdot a$: $$(-a) + a + (-1)\cdot a = (-a) + (1 \cdot a) + (-1)\cdot a$$

  6. Another important property that addition has is distribution over multiplication. This means that $(a+b)\cdot c = a\cdot c + b\cdot c$. We can apply that rule here to change $1\cdot a + (-1)\cdot a$ into $[1 + (-1)]\cdot a$.

    $$(-a) + (1 \cdot a) + (-1)\cdot a = (-a) + [1 + (-1)] \cdot a$$

  7. What is $1 + (-1)$, and how can we prove it? Well, 1 is the multiplicative unit, and $(-1)$ by definition is its opposite. The sum of any number and its opposite is zero. Also, multiplying anything by zero yields zero itself, and adding zero to anything doesn't change it. Therefore, we can write: $$(-a) + [1 + (-1)] \cdot a = (-a) + 0\cdot a = (-a)+ 0 = -a$$

  8. Therefore, another way of evaluating this expression yields $-a$.

  9. Because one way of evaluating yields $(-1)\cdot a$ and another way yields $-a$, it follows that $(-1)\cdot a = a$.

$\endgroup$
1
  • $\begingroup$ Fantastic answer. Now I understand why they referred to the previous excercise where I was supposed to prove that $a*0=0$ $\endgroup$
    – Chisq
    Commented Jan 19, 2018 at 18:40
1
$\begingroup$

$(-1).a+a+(-a)=((-1).a+a)+(-a)=((-1).a+1.a)+(-a)=((-1+1).a+(-a)=0.a+(-a)=(-a)$

you also have $(-1).a+a+(-a)=(-1).a+(a+(-a))=(-1).a+0=(-1).a$.

$\endgroup$
16
  • $\begingroup$ Hmm. I think I can understand that one. Wondering why you're getting downvotes though. $\endgroup$
    – Chisq
    Commented Jan 19, 2018 at 18:14
  • $\begingroup$ me too I am wondering, what are the motivations, hope they will explain why $\endgroup$ Commented Jan 19, 2018 at 18:15
  • $\begingroup$ I guess the crusader of 'this is too trivial to be discussed in this ivory tower' are crusading again. +1 to make up for ignorant downvotes. $\endgroup$
    – Thomas
    Commented Jan 19, 2018 at 18:20
  • 1
    $\begingroup$ @Thomas I think it is rather probably because this user is known to answer lots of questions which are known to be frequent questions which already have answers on the site. This probably does not sit well with those who perceive that as reputation farming. It could also be that the person thinks that a solution which is many lines of symbols and only three English words is not good quality. $\endgroup$
    – rschwieb
    Commented Jan 19, 2018 at 18:29
  • 1
    $\begingroup$ @rschwieb I upvoted a correct answer. The habit of downvoting answers because people intend to punish the person who asked the question is something I particularly dislike on this site. The same applies to downvotes which punish the member who provides a correct answer because they don't want to see it posted. $\endgroup$
    – Thomas
    Commented Jan 19, 2018 at 18:35

Not the answer you're looking for? Browse other questions tagged .