04/09/09 20:43
aが零元であるとすると、a=a+0=0
a,cがbの負元であるとすると、a=a+0=a+b+c=0+c=c
また、負元の定義から、1は-1の負元である。
(-1)*(-1)=(-1)*(-1)+0=(-1)*(-1)+((-1)*1-((-1)*1))=((-1)*(-1)+(-1)*1)-((-1)*1)
=(-1)*(-1+1)-((-1)*1)=(-1)*0-((-1)*1)=((-1)*0+0)-((-1)*1)=((-1)*0+((-1)*0-((-1)*0)))-((-1)*1)
=(((-1)*0+(-1)*0)-((-1)*0))-((-1)*1)=((-1)*(0+0)-((-1)*0))-((-1)*1)=((-1)*0-((-1)*0))-((-1)*1)
=0-((-1)*1)=-((-1)*1)=-((-1)*1+0)=-((-1)*1+(1*1-(1*1)))=-(((-1)*1+1*1)-(1*1))
=-((-1+1)*1-(1*1))=-(0*1-(1*1))=-((0*1+0)-(1*1))=-((0*1+(0*1-(0*1)))-(1*1))
=-(((0*1+0*1)-(0*1))-(1*1))=-(((0+0)*1-(0*1))-(1*1))=-((0*1-(0*1))-(1*1))=-(0-(1*1))
=-(-(1*1))=-(-1)=1