En Z(números enteros) se define la relación mediante (a, b)€R(reales)(a ^ 2) + a = (b ^ 2) + b?

En Z(números enteros) se define la relación mediante (a, b)€R(reales)(a ^ 2) + a = (b ^ 2) + b. Demostrar que es una relación de equivalencia. Obtener la clase de equivalencia y el conjunto cociente.