Proof that (-a)(-b)=ab: Is It Logical?

  • Thread starter Thread starter nickto21
  • Start date Start date
  • Tags Tags
    Proof
AI Thread Summary
The discussion centers on the proof that multiplying two negative numbers results in a positive number, specifically the expression (-a)(-b) = ab. The original poster questions the logic of the proof, arguing that it uses the concept of (-1 * -1) before establishing its validity. Respondents suggest that earlier proofs may have already established the necessary properties of negative numbers, such as (-x) = (-1) * x. Additionally, there is a request for software recommendations to facilitate posting mathematical symbols, with LaTex being mentioned as a viable option. The conversation emphasizes the importance of foundational proofs in understanding mathematical concepts.
nickto21
Messages
17
Reaction score
0
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
 
Mathematics news on Phys.org
nickto21 said:
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 (-x) = (-1) * x, and I bet has also shown that -(-x)=x.
 
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
 
On this board you can use LaTex. Just surround your code with [ tex ] and [ /tex] or [ itex] and [ /itex] (without the spaces):
\int_{-\infty}^\infty} e^{-x^2}dx

Click on that to see the code. There is also a thread about LaTex on this board.
 
Thanks for the info, both of you.
Steve
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Back
Top