(-a)(-b)=(ab) proof

**nickto21** · Jun26-09, 09:12 PM

Hey All,
I found this proof on the internet, but its logic seems flawed.
Let x = (-a)(-b)
=(-1 * a)(-1 * b)
=-1 * a * -1 * b
=-1 * -1 * a * b
=(-1 * -1)(a * b)
= ab
So it's saying that (-a)(-b) = ab. This doesn't seem like a logical proof, or at least a satisfying one. Using what you're trying to prove in the proof itself seems wrong. It's trying to prove that two negatives multiplied together equal a positive, but it's using (-1 * -1) in the proof before it's been proven.
I'm trying to learn proofs, and this just seemed wrong, and I wanted clarification.
I appreciate any feedback.
Steve

**Hurkyl** · Jun26-09, 09:23 PM

Originally Posted by nickto21

but it's using (-1 * -1) in the proof before it's been proven.

Read further back in whatever source you're using -- this was probably proven earlier. Specifically, it seems to have already proven/assumed that

, and I bet has also shown that

.

**nickto21** · Jun26-09, 09:31 PM

Thanks for the reply. I"ll check on what you suggested.
BTW, Is there a software program that makes posting math symbols easier?
Maybe a graphics program where I can just post an image?
Thanks,
Steve

**HallsofIvy** · Jun27-09, 06:26 AM

On this board you can use LaTex. Just surround your code with [ tex ] and [ /tex] or [ itex] and [ /itex] (without the spaces):
$LaTeX Code: \\int_{-\\infty}^\\infty} e^{-x^2}dx$

Click on that to see the code. There is also a thread about LaTex on this board.

**nickto21** · Jun27-09, 01:47 PM

Thanks for the info, both of you.
Steve