Substituting x=0 and y=0 in turn, having regard to the restriction
x> =y> = 0, we obtain:
(x, y) = (1, 0); (0, 0)
Now, let us consider the case x=y(=m, say).
Then, by the problem:
2*m^4 = (2m)*(1 + m^2)
Or, m(m^3 - m^2 - 1) = 0
Either: m=0, giving x=y=0;
Or: m^3 - m^2 - 1 = 0, which do not yield any integer solutions.
For x> y> = 1; substituting (u, v) = (x+y, x-y); we obtain:
u> v> = 1, and:
x^4 - y^4< x^4 + y^4 = (x+y)(1+xy); giving:
v(u^2+v^2)/2< 1 + (u^2 -v^2)/4
or, 4+u^2-v^2> 2v(u^2+v^2)> = 2(u^2+v^2)
Or, u^2 + 3*v^2 < 4.
The above relationship cannot be satisfied for integers u and v with the restriction u> v> = 1.
This leads to a contradiction.
Consequently, (x, y) = (0, 0) and (1, 0) are the only possible solutions to the given problem.
Edited on July 4, 2007, 2:51 pm