подводим все под общий знаменатель (x^4 - y^4)
числитель: y*(x+y)^2 + x*(x^2 - y^2) - 1*(x+y)*(x^2 + y^2)
знаменатель: x^4 - y^4
но теперь можно от знаменателя избавиться, и получится:
y*(x+y)^2 + x*(x^2 - y^2) - 1*(x+y)*(x^2 + y^2) = 0
раскрываем скобки.
y*(x^2 + 2xy + y^2) + x^3 - xy^2 - 1*(x^3 + xy^2 + x^2y + y^3) = 0
x^2y + 2xy^2 + y^3 + x^3 - xy^2 - x^3 - xy^2 - x^2y - y^3 = 0
0=0
тождество доказано.
