Ответ:
Раскроем скобки в левой части:
\[(xy-1)^2+(x+y)^2=x^2y^2-2xy+1+x^2+2xy+y^2.\]
Сложим подобные слагаемые:
\[x^2y^2-2xy+1+x^2+2xy+y^2=x^2y^2+x^2+y^2+1.\]
Сгруппируем слагаемые:
\[x^2y^2+x^2+y^2+1=x^2y^2+x^2+y^2+1=(x^2+1)(y^2+1).\]
Ответ: равенство доказано.
