设A是两个整数平方差的集合,即A{X |X=m^2-n^2,m,n∈z}证明;若S,t∈A,则st∈A
问题描述：
设A是两个整数平方差的集合,即A{X |X=m^2-n^2,m,n∈z}证明;若S,t∈A,则st∈A
答
设s=a^2-b^2,t=c^2-d^2其中a,b,c,d均为整数.
则st=(a^2-b^2)(c^2-d^2)
=(ac)^2+(bd)^2-(ad)^2-(bc)^2
=(ac+bd)^2-(ad+bc)^2
ac+bd,ad+bc为整数,故命题成立.