Theo Cauche ta có:
\(\left(x+y\right)^2+\left(\frac{1+xy}{x+y}\right)^2\ge2\left(x+y\right).\frac{1+xy}{x+y}=2\left(1+xy\right)=2+2xy\)
<=> \(x^2+y^2+2xy+\left(\frac{1+xy}{x+y}\right)^2\ge2+2xy\)
<=> \(x^2+y^2+\left(\frac{1+xy}{x+y}\right)^2\ge2+2xy-2xy=2\)=> ĐPCM