4.1 整数
习题
4.1.1
自反 a−b=a−b<=a+b=a+b
对称 a−b=a′−b′=>a+b′=a′+b=>a′+b=a+b′=>a′−b′=a−b
4.1.2
a−b=a′−b′=>a+b′=a′+b=>b−a=b′−a′=>−(a−b)=−(a′−b′)
4.1.3
(−1)xa=(0−1)x(a−0)=0xa+1x0−1xa−0x0=0−1xa=0−a=−a
4.1.4 x=a−b,y=c−d,z=e−f
x+y=y+x
x+y=a+c−(b+d)=c+a−(d+b)=y+x
(x+y)+z=x+(y+z)
(x+y)+