xy(x2 + y2) + 2 = (x + y)2
=> xy(x + y)2 - 2x2y2 + 2 - (x + y)2 = 0
=> (x + y)2(xy - 1) - 2(x2y2 - 1) = 0
=> (x + y)2(xy - 1) - 2[(xy)2 - 12] = 0
=> (x + y)2(xy - 1) - 2(xy - 1)(xy + 1) = 0
=> (xy - 1)[(x + y)2 - 2(xy + 1)] = 0
=> (xy - 1)(x2 + y2 - 2) = 0
Vậy...