证明:如果正整数a,b,c满足c^2=a^2+b^2,则必然存在正整数x,y使得c=x^2+y^2