8
$\begingroup$

I am a novice in proof writing and have just started a book on analysis. I have no other pure math experience or knowledge of abstract algebra.

I am trying to prove that $(-1)*(-1) = 1$. I will first show my attempt and follow it with the standard technique that I have found online. I would like to understand why the second method is preferred (or perhaps the only valid one).

Method 1 (my attempt): We are given the nine field axioms for $\Bbb R$. Using these, it has been shown (in the text) that $(-1)x = -x$ for all $x \in \Bbb R$. Therefore, $(-1)(-1) = -(-1) = 1$ because we have the identity element of multiplication $1 \in \Bbb R$ and there exists $ -1 \in \Bbb R$ such that $-1$ is the additive inverse of $1$.

Method 2 (found by Google search): We know that $(0)(0) = 0$ because it was shown (in the text) that $0x = 0$ for all $x \in \Bbb R$. Then $$(0)(0) = ((-1) + 1)*((-1) + 1) = (-1)(-1) + (-1)(1) + (1)(-1) + (1)(1) \\= (-1)(-1) - 1 - 1 + 1 = (-1)(-1) - 1 = 0$$ Therefore $(-1)(-1) = 1$ because we see that $(-1)(-1)$ is the additive inverse of $-1$.

Is the second method simply a more precise version of the first method, while the first is overly verbal? Or is the first somehow using circular reasoning?

$\endgroup$
3
  • 2
    $\begingroup$ Nothing's wrong with your method (I assume that $-(-x)=x$ is known). $\endgroup$ Commented May 6, 2014 at 17:09
  • $\begingroup$ $-(-x)$ isn't just notation for the additive inverse of $-x$? $\endgroup$
    – Vale132
    Commented May 6, 2014 at 17:17
  • 2
    $\begingroup$ $-(-x)$ is notation for the additive inverse of $-x$, but it still needs to be shown (this is admittedly very quick) that this is equal to $x$. Hagen is just saying that he presumes that's already been done; otherwise, you need to do that as well. $\endgroup$ Commented May 6, 2014 at 18:04

2 Answers 2

8
$\begingroup$

I'd do it directly as follows:

$$(-1)(-1)+(-1)\stackrel{Dist.}=(-1)\left[(-1)+1\right]\stackrel{\text{additive inv.}}=(-1)\cdot 0\stackrel{text}=0$$

Thus, $\;-1\;$ is the additive inverse of $\;(-1)(-1)\;$ , but also $\;-(-1)=1\;$ is the additive inverse of $\;(-1)\;$, so by uniqueness of the inverses we're done.

$\endgroup$
2
  • $\begingroup$ Thanks! Why do we need to show that (-1)(-1) is the unique inverse? $\endgroup$
    – Vale132
    Commented May 6, 2014 at 17:14
  • $\begingroup$ @Vale132, we showed it is an additive inverse, so by the axiom of uniqueness of additive inverse (this very axiom existsin any abelian group, if you mind), we conclude it has to be equal to $\;1\;$ ... $\endgroup$
    – DonAntonio
    Commented May 6, 2014 at 17:15
0
$\begingroup$

[enter image description here][1]

[1]: https://i.sstatic.net/QhoZS.jpg ans is in the image attached please correct me if I am wrong

$\endgroup$
3

You must log in to answer this question.

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