Field proof

1. Dec 12, 2011

Dansuer

1. The problem statement, all variables and given/known data

Prove that if a,b,c are elements of a field.

than a+b = a+c implies b=c

2. Relevant equations

a + (-a) = 0

0 + a = a

3. The attempt at a solution
The solution i found is:

a+b = a+c
a+b+(-a) = a+c+(-a)
0+b = 0+c
b=c

what i'm not sure about is that since i don't know that a+b = a+c is the same as b=c, in other words, that i can subtract from both sides of an equation. can i assume that i can add to both sides of the equation?

2. Dec 12, 2011

mtayab1994

Yes because when you have something implies something else: you assume the first and you show the implication. In your case you have a+b=a+c implies b=c.

You assume a+b=a+c and you prove b=c:

You were given that 0+a=a so therefore: a+b=a+c implies a+b-(a)=c which then implies b=c

And that is correct.

3. Dec 12, 2011

Dansuer

but how do i know that a+b = a+c implies a+b+(-a) = a+c+(-a) ?

4. Dec 12, 2011

mtayab1994

Well weren't you given 0+a=a?

5. Dec 12, 2011

mtayab1994

or you can use proof by contradiction: a≠b implies a+b≠a+c

6. Dec 12, 2011

Dansuer

i don't see the connection

7. Dec 12, 2011

mtayab1994

If you were given 0+a=a then you have to use it in your proof .

8. Dec 12, 2011

mtayab1994

ok to make it simpler for you: 0+a=0 means that 0+a-(a)=a-(a) then you get 0=0 which is true. now: a+b=a+c

a+b-(a)=a+c-(a) (because of what you reached ^) and when you subtract a from both sides you don't change anything. This is really simple proof, nothing too complicated.

9. Dec 12, 2011

mallesh.koram

a+b+(-a-b)=0 [from a+(-a)=0]
a+c+(-a-b)=0 [from a+b=a+c]
a+c-a-b=0
c-b=0
c=b.

10. Dec 12, 2011

Dansuer

you added -(a) on the left and a+(-a) on the right.

11. Dec 12, 2011

mallesh.koram

am adding in the right side only, am not gettin , where i take on left?

12. Dec 12, 2011

Dansuer

i was not talking to you :)

i like your proof but still

c-b = 0
c = b

is not obvious

13. Dec 12, 2011

Fredrik

Staff Emeritus
The answer is actually extremely trivial. The equality sign in a+b=a+c means that a+b and a+c represent exactly the same thing, i.e. the same member of the field. So what you're asking is equivalent to asking if x=x implies x+y=x+y. Yes, it's that simple.

This doesn't mean that I think it was a bad question. A lot of people don't see this right away. So you shouldn't feel bad about not seeing it. Instead you should try to remember that you would have seen it if you had only asked yourself what the notation you're looking at really means. You will encounter many problems in the future that will seem difficult at first, but will be really easy (or at least significantly easier) if you just ask yourself that same question.

By the way, the solution will be slightly simpler if you add -a from the left instead of from the right. a+b=a+c implies -a+(a+b)=-a+(a+c). Now use that addition is associative. Then use that -x+x=0 for all x. And finally, use that 0+x=x for all x. (If you start by adding -a from the right, then there are two extra steps: Use that addition is commutative and use that addition is associative one more time: (a+c)+(-a)=a+(c+(-a))=a+((-a)+c)=(a+(-a))+c=0+c=c).

Edit: Another "by the way": I think that until you have gotten really used to doing these proofs, it's a good idea to write out exactly what you're doing at each step, as I did for another problem here: (I avoided the term "field" because that guy was clearly not familiar with it).

Last edited: Dec 12, 2011
14. Dec 12, 2011

Dansuer

I probably explained myself not clearly, English is not my main language so please forgive me :)

x = x implies x+y = x+y that's exactly what i want to know if it's true.

i know it's true for real numbers, i learned it in elementary school. I know it's true even for complex numbers. But now I'm starting to deal with abstract objects where the operations are not the usual ones.
They asked me to prove that a+b = a+c implies b=c which in words is the old "subtract 'a' from both sides". That means that nothing can be taken for granted in those abstract stuff, not even a rule that even 12 years old children had master. Now i'm asking myself if i can "add a to both sides" namely x=x implies x+y = x+y. can it be proven? or it's an axiom? or...?

15. Dec 12, 2011

Fredrik

Staff Emeritus
It follows from the meaning of the equality sign. An implication "A implies B" is false if and only if A is true and B is false. So the statement "for all x and y, x=x implies x+y=x+y" can only be false if there's a choice of x and y such that x+y≠x+y, and how can anything not be equal to itself?

16. Dec 12, 2011

Dansuer

awesome! thanks a lot!!