设m,n是正整数,且m>n,x=2mn,y=m^2-n^2,z=m^2+n^2,求证:x^2+y^2=z^2