Từ gt => \(\hept{\begin{cases}\left(\frac{1}{\sqrt{2}}-x\right)\left(\frac{1}{\sqrt{2}}-y\right)\ge0\Leftrightarrow\sqrt{x}+\sqrt{y}\le\frac{\sqrt{2}}{2}+\sqrt{2}\sqrt{xy}\left(1\right)\\x\sqrt{x}\le x\cdot\frac{1}{\sqrt{2}};y\sqrt{y}\le y\cdot\frac{1}{\sqrt{2}}\Rightarrow x\sqrt{x}+y\sqrt{y}\le\frac{1}{\sqrt{2}}\left(x+y\right)\left(2\right)\end{cases}}\)
Lại có \(\hept{\begin{cases}\sqrt{xy}\le xy+\frac{1}{4}\\\sqrt{xy}\le\frac{x+y}{2}\end{cases}\Rightarrow\hept{\begin{cases}\frac{2\sqrt{2}}{3}\sqrt{xy}\le\frac{2\sqrt{2}}{3}\left(xy+\frac{1}{4}\right)\left(3\right)\\\frac{\sqrt{2}}{3}\sqrt{xy}\le\frac{\sqrt{2}}{6}\left(x+y\right)\left(4\right)\end{cases}}}\)
Từ (1)(2)(3) và (4) ta có:
\(x\sqrt{x}+y\sqrt{y}+\sqrt{x}+\sqrt{y}\le\frac{\sqrt{2}}{2}\left(x+y\right)+\frac{\sqrt{2}}{2}+\frac{2\sqrt{2}}{3}\left(xy+\frac{1}{4}\right)+\frac{\sqrt{2}}{6}\left(x+y\right)\)
\(\le\frac{2\sqrt{2}}{3}\left(1+x+y+xy\right)\)
=> \(VT=\frac{\sqrt{x}}{1+y}+\frac{\sqrt{y}}{1+x}=\frac{x\sqrt{x}+y\sqrt{y}+\sqrt{x}+\sqrt{y}}{1+x+y+xy}\le\frac{2\sqrt{2}}{3}\)
Dấu "=" xảy ra <=> \(x=y=\frac{1}{2}\)