先证明是单射
设f(a,b)=f(c,d),则a+b=c+d,a-b=c-d,解得a=c,b=d,所以是单射.
下面证明是满射
对任意的(a,b),x+y=a,x-y=b,有解 x=(a+b)/2,y=(a-b)/2,即平面内的每一个点都有原像存在.Z是整数集，ZxZ是指什么？