1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A-(-b)=a+b How to prove

  1. Nov 15, 2012 #1
    Well as the subject states... How does one prove that a-(-a)=a+b ?

    If "a" is any number
    "b" is a positive number, being "-b" its corresponding negative








     
  2. jcsd
  3. Nov 15, 2012 #2

    haruspex

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    2016 Award

    With these seemingly trivial questions about the fundamentals of algebra, it is essential to use only the axioms and already established deductions. So you'll need to post those as "relevant equations".
     
  4. Nov 16, 2012 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    As haruspex says, how you would prove this depends upon what axioms you have to use. If this is a general group, you are asking to prove that "the additive inverse of the additive inverse of a is a".

    b is the "additive inverse of a" if and only if a+ b= 0 and b+ a= 0. c is the additive inverse of b if and only if b+ c= c+ b= 0. Play around with those equation to arrive at "a= c". You might need the easily proved result that 0 is its own additive inverse.

    But you use the term "number: so perhaps this is to be for a specific set of numbers. In that case, how you would prove this depends upon which set and which axioms you are using. For example are you to use Peano's axioms for the integers?
     
  5. Nov 18, 2012 #4
    Hello, I followed your advice, and use some axioms and deductions that had already established. I do not know if it is correct



    Demostracion
    I have a group G, which has an internal composition law ∘, satisfies the following axioms.
    1. a+(b+c)=(a+b)+c, ∀a,b,c∈G
    2. ∃e∈G : e+a=a-e=a
    3. ∀a∈G ∃a⁻¹∈G : a+a⁻¹=e

    .I'm going to try to prove that if a is an element of G and its corresponding opposite is -a
    .Then -(-a)=a (ie, the opposite of the opposite, leaves unaltered the element)
    .Indeed, by definition
    a+(-a)=0
    .Therefore it is evident that the corresponding opposite of -a is a (Since the sum of them results in zero)

    .Therefore, we can write -(-a)=a

    .Then
    a-(-b)=a+[-(-b)]=a+b
    Q.E.D?

    ---------------------------------------------------
    if you want, I can write complete axioms and deductions.
    -----------------------------------------------------
     
  6. Nov 19, 2012 #5
    Hello, I followed your advice, and use some axioms and deductions that had already established. I do not know if it is correct



    Demostracion
    I have a group G, which has an internal composition law ∘, satisfies the following axioms.
    1. a+(b+c)=(a+b)+c, ∀a,b,c∈G
    2. ∃e∈G : e+a=a-e=a
    3. ∀a∈G ∃a⁻¹∈G : a+a⁻¹=e

    .I'm going to try to prove that if a is an element of G and its corresponding opposite is -a
    .Then -(-a)=a (ie, the opposite of the opposite, leaves unaltered the element)
    .Indeed, by definition
    a+(-a)=0
    .Therefore it is evident that the corresponding opposite of -a is a (Since the sum of them results in zero)

    .Therefore, we can write -(-a)=a

    .Then
    a-(-b)=a+[-(-b)]=a+b
    Q.E.D?

    ---------------------------------------------------
    if you want, I can write complete axioms and deductions.
    -----------------------------------------------------
     
  7. Nov 19, 2012 #6

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Yes. Your axiom 3 is is using multiplicative notation instead additive. I'd write it as ∀a∈G ∃(-a)∈G : a+(-a)=0. And for 2 substitute 0 for e. So sure, since a+(-a)=0, an inverse -(-a) of (-a) is a. That's almost Q.E.D. If you want to go whole hog on this your axioms don't explicitly state that the identity or inverses are unique. I'm not sure if you are expected to prove that or not.
     
  8. Nov 21, 2012 #7
    Hello, I made the corrections you mentioned, and based on the theory of abelian group, I try to prove that the identity element and inverse element are unique. I think that maybe i got it.
    -------------------------------------------------------------------------------------
    I have a group G, which has an internal composition law ∘, satisfies the following Axioms.
    A1 a+(b+c)=(a+b)+c, ∀a,b,c∈G
    A2 ∃0∈G : 0+a=a+0=a
    A3 ∀a∈G, ∃(-a)∈G : a+(-a)=(-a)+a=0

    ..Theorem 1 - Identity element, in G, is unique.
    Proof: If 0 and f are two identity elements of G. Then:
    0=0+f (A2)
    0=f (A2)

    ..Theorem 2 - Inverse element, in G, are unique
    Proof: If (-a) and (-a)′ are two inverses of an element a of G. Then:
    (-a)=(-a)+0 (A2)
    (-a)=(-a)+[a+(-a)′] (A3)
    (-a)=[(-a)+a]+(-a)′ (A1)
    (-a)=0+(-a)′ (A3)
    (-a)=(-a)′ (A2)
    --------------------------------------------
    Now i'm going to try to prove that if a is an element of G and its corresponding opposite is (-a)
    Then: -(-a)=a (ie, the opposite of the opposite, leaves unaltered the element)
    .Indeed, by definition
    a+(-a)=0
    .Therefore it is evident that the corresponding opposite of (-a) is a (Since the sum of them results in zero)

    Therefore, we can write -(-a)=a
    .Then
    a-(-b)=a+[-(-b)]=a+b
    Q.E.D?
     
  9. Nov 21, 2012 #8

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Q.E.D. Looks fine to me. BTW you didn't use that the group is abelian. I think you meant 'additive group'.
     
    Last edited: Nov 21, 2012
  10. Nov 21, 2012 #9
    Finally -"Q.E.D"-. Thanks for the feedback & help!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: A-(-b)=a+b How to prove
  1. How to prove this. (Replies: 4)

  2. How to prove? (Replies: 1)

  3. How to prove? (Replies: 3)

Loading...