Ta có: \(\left(x+\sqrt{x^2+2007}\right)\left(-x+\sqrt{x^2+2007}\right)=2007\) (1)
\(\left(y+\sqrt{y^2+2007}\right)\left(-y+\sqrt{y^2+2007}\right)=2007\) (2)
Nhân theo vế của (1) và (2) ta được và ta kết hợp với giả thiết ta được:
\(2007\left(-x+\sqrt{x^2+2007}\right)\left(-y+\sqrt{y^2+2007}\right)=2007^2\)
\(\Rightarrow\left(-x+\sqrt{x^2+2007}\right)\left(-y+\sqrt{y^2+2007}\right)=2007\)
\(\Rightarrow xy-x\sqrt{y^2+2007}-y\sqrt{x^2+2007}+\sqrt{\left(x^2+2007\right)\left(y^2+2007\right)}=2007\) (3)
Giả thiết
\(xy+x\sqrt{y^2+2007}+y\sqrt{x^2+2007}+\sqrt{\left(x^2+2007\right)\left(y^2+2007\right)}\) (4)
Cộng theo vế (3) và (4) ta được:
\(xy+\sqrt{\left(x^2+2007\right)\left(y^2+2007\right)}=2007\)
\(\Leftrightarrow\sqrt{\left(x^2+2007\right)\left(y^2+2007\right)}=2007-xy\)
\(\Rightarrow x^2y^2+2007\left(x^2 +y^2\right)+2007^2=2007^2-2.2007xy+x^2y^2\)
\(\Rightarrow x^2+y^2=-2xy\)
\(\Rightarrow\left(x+y\right)^2=0\)
\(\Rightarrow S^2=0\Rightarrow S=0\)
