Citat:
Ursprungligen postat av
MrHolst
Undrar varför -(-x)=x samt (-x)^2=x^2 , 0*0=0
Man får bara använda räknelagar
x + y = y + x (kommutativitet);
(x + y) + z = x + (y + z) (associativitet);
x + 0M = x (0M är ett neutralt element för additionen);
Det finns ett element -x i M, sådant att x + (-x) = 0M (existens av additiv invers);
a(bx) = (ab)x (associativitet);
1A·x = x ("neutral verkan", ringens etta verkar genom identitetsavbildningen);
(a + b)x = ax + bx (multiplikationen distribuerar ringadditionen);
a(x + y) = ax + ay (multiplikationen distribuerar moduladditionen)
Man kan först visa att kancelleringslagen för addition som säger att a+b=a+c => b=c
a+b=a+c
(-a)+(a+b)=(-a)+(a+c)
((-a)+a)+b=((-a)+a)+c
0+b=0+c
b=c
Om både b och c är additiva inverser till a så är a+b=a+c. Då är b=c, så varje element har en unik invers.
Uttrycket x+(-x)=0 kan nu skrivas
(-x)+x=0
Samtidigt är (-x)+(-(-x))=0.
(-x)+x=(-x)+(-(-x)) => -(-x)=x