问题
证明题
集合X={x|x=2n-1,n∈Z},Y={y|y=4k±1,k∈Z},试证明X=Y。
答案
证明:(1)设x0∈X,则x0=2n0-1,n0∈Z,
①若n0是偶数,可设n0=2m,m∈Z,
则x0=4m-1,∴x0∈y;
②若n0是奇数,可设n0=2m-1,m∈Z,
则x0=2(2m-1)-1=4m-3=4(m-1)+1,x0∈Y,
∴不论n0是偶数还是奇数,都有x0∈Y,
∴XY;
(2)又设y0∈Y,则y0=4k0+1或y0=4k0-1,
∵y0=4k0+1=2(2k0+1)-1,y0=4k0-1=2(2k0)-1,
而2k0+1∈Z,2k0∈Z,
∴y0∈X,
∴YX;
由(1)(2)可知,X=Y。