I'm not sure I used the proper terminology in the title of the question, but here goes. We know that :
How do we prove that :
I tried solving for $x^2$ in the first equation and then plugging it into the second equation. However, that brings $y^4$ and $y^2$ terms. I tried completing the square and ended up with this huge square root looking nothing like the solutions above.