Vì \(\sqrt{\left(x+y\right)^2}=\left|x+y\right|\ge0\forall x;y\)
\(\sqrt{\left(y-2005\right)^2}=\left|y-2005\right|\ge0\forall y\)
\(\Rightarrow\sqrt{\left(x+y\right)^2}+\sqrt{\left(y-2005\right)^2}\ge0\forall x;y\)
Mà \(\sqrt{\left(x+y\right)^2}+\sqrt{\left(y-2005\right)^2}< 0\Rightarrow x;y\in\varphi\)
Vậy \(x;y\in\varphi\)