From (i) and (ii) follows x≥0 and y≥0. Moreover, x=0 if and only if y=0. This points to the solution (0,0) and the other solutions (x,y) have x>0 and y>0.
Let (x,y) be a solution with x>0 and y>0.
From (i) and (ii) follows x≥2y2≥8x4, therefore x(8x3−1)≤0 and, since x>0, this leads to 8x3≤1, hence 0<x≤21. In the same way, 0<y≤21.
It is enough to look at the case x≥y. We have 0≤8(x−y)<8x≤4 and, from (iii), follows 8(x−y)∈{0,1,2,3}, therefore x−y∈{0,81,41,83} and the following situations may rise.
* If x−y=0, that is x=y, all the conditions from the statement are fulfilled. So, the pairs (a,a), with a∈(0,21], are solutions.
* If x−y=81, that is y=x−81, we get: y≥2x2⟺x−81≥2x2⟺(4x−1)2≤0⟺x=41. This yields y=81, and the pair (41,81) also fulfills (i), therefore it is a solution.
* If x−y=41, that is y=x−41, we get: y≥2x2⟺x−41≥2x2⟺8x2−4x+1≤0⟺4x2+(2x−1)2≤0, impossible.
* If x−y=83, that is y=x−83, we get: y≥2x2⟺x−83≥2x2⟺16x2−8x+3≤0⟺(4x−1)2+2≤0, impossible.
The solutions are the pairs (41,81), (81,41) and (a,a), with a∈[0,21].