>>720
>y(x^2+1)^(1/2)=x-y
(x^2+1)^1/2>0に注意すれば、y(x-y)>0のもとで2乗すればいいだけだのことだが。