设集合M={a|a=x^2-y^2,x,y∈z}求证：（1）一切奇数属于集合M（2）偶数4k-2(k∈Z)不属于集合M（3）属于M的两个整数,其乘积仍属于M

Question

设集合M={a|a=x^2-y^2,x,y∈z}求证：
（1）一切奇数属于集合M
（2）偶数4k-2(k∈Z)不属于集合M
（3）属于M的两个整数,其乘积仍属于M

Answer 1

1:设奇数是2k＋1,k为整数
则：2k+1=(k+1)^2-k^2
m=k+1 n=k
所以是M的元素
2:假设4K-2属于A
那么4K-2=m^2-n^2
整理得m^2-n^2/4+1/2=k
(m-n)(m+n)/4+1/2=k
因为K属于Z,所以（m-n)(m+n)=2p*(2t+1),p;t属于z
因为(m+n)(m-n)不可能是一奇一偶的乘积
这与"（m-n)(m+n)=2p*(2t+1),p;t属于z"相矛盾
所以偶数4K-2(K∈Z)不属于M
3:设a=m1^2-n1^2,b=m2^2-n2^2
ab=(m1^2-n1^2)(m2^2-n2^2)
=(m1m2)^2+(n1n2)^2-(m1n2)^2-(m2n1)^2
=(m1m2+n1n2)^2-(m1n2+m2n1)^2∈M
得证