检举
设a为任意有理数.
1.+a=a
2.+(+a)=a -(-a)=a
3.+(-a)=-a -(+a)=-a
设b为任意有理数.
4.a+(+b)=a+b a-(-b)=a+b
5.a+(-b)=a-b a-(+b)=a-b
6.-(a-b)=-a+b=b+(-a)=b-a
设c、d为任意不为0的有理数.
7.cd=(-c)(-d)
8.c(-d)=(-c)d=-(cd)
9.c/d=-c/-d
10.c/-d=-c/d=-(c/d)
设e为任意非负有理数.
11.|e|=e |-e|=e
设f为任意非正有理数.
12.|e|=-e
设g、h为任意正有理数(g>h).
13.|g+h|=g+h |(-g)+(-h)|=g+h
