Expand[{( x + a)^2 - ( y + b)^2 == a^2 - b^2, ( x + a) (y + b) == a b}]