Redbelly98 said:
Sorry, there is an error in this step. There should be terms 9y2, 4y2, and 16y2.
At the risk of repeating myself ...
Expand the expressions in the original equation, and collect terms to get a 4th degree polynomial. Then use the Rational Roots theorem to find potential rational solutions. I found there are 3 distinct ones, with one of them a repeated root. I have verified my three rational (actually integer) distinct roots in the original equation.
This is basic high school algebra. While the proposed solution tricks may be slick or elegant, the "brute force" method of factoring a polynomial is rather simple in this particular problem.
Lol. Of course. So, what does it become after this correction:
<br />
^{4} + 6 x^{2} y + 9 y^{2} + x^{4} + 4 x^{2} y + 4 y^{2} = x^{4} + 8 x^{2} y + 16 y^{2}<br />
<br />
3 y^{2} - 2 x^{2} y - x^{4} = 0<br />
This discriminant of this quadratic equation (with respect to
y) is:
<br />
(-x^{2})^{2} - 3 \cdot (-x^{4}) = x^{4} + 3 x^{4} = 4 x^{4}<br />
is a complete square, so the equation has rational roots:
<br />
\frac{x^{2} \pm 2 \, x^{2}}{3} = \left\{ \begin{array}{l} x^{2} \\ -\frac{x^{3}}{3} \end{array}\right.<br />
and can be factorized as:
<br />
3 (y - x^{2}) \, (y + \frac{x^{2}}{3}) = 0<br />
<br />
(x^{2} - y) \, (x^{2} + 3 y) = 0<br />
So, your equation breaks down to two quadratic equations:
<br />
x^{2} - 2 x - 3 =0<br />
<br />
x^{2} + 6 x + 9 = 0<br />
These have integer roots (the second one is a perfect square and has a double root).