令根号（1+y^2）=z
则x^2+(1/2)z^2=3/2 x^2+(1/2)z^2>=2*(x)*(z/根号2)=根号2*x*z
x*z