My question is more general, but it is illustrated in this example:
I was trying to answer this question, which asks to solve for $xy$ in the equation $x^2 + xy + y^2 + \sqrt3 y + 1 = 0$. One idea that I had was to set $xy = c$, substitute $x = \dfrac cy$, and then solve for $y$ to get $y = ($some expression in terms of $c)$. Then I was going to substitute $y = \dfrac cx$ to get $x = ($ another expression in terms of $c)$. Lastly, I was going to set up the equation
$($some expression in terms of $c) \cdot ($another expression in terms of $c) = c$
How do I know if my last equation will just reduce to $c = c$ and all my work will have been for nothing?
More generally, how do I know when making substitutions will give me a new equation with new information, or just an identity?