假设s=m2+n2,t=a2+b2
st=(m2+n2)(a2+b2)
=m2a2+n2a2+m2b2+n2b2
=m2a2+n2a2+2mnab+m2b2+n2b2-2mnab
=(ma+na)2+(nb-nb)2
所以,st也属于S