# Can mathematica resolve this equation?

Obviously，the equation $x^2-3 y^2=2 z^2$ doesn't have positive integer solutions.

I tried

Exists[{x, y, z}, x > 0 && y > 0 && z > 0 && x^2 - 3 y^2 == 2 z^2]
Resolve[%, Integers]


and

Exists[{x, y, z}, Element[{x, y, z}, Integers],
x > 0 && y > 0 && z > 0 && x^2 - 3 y^2 == 2 z^2]
Resolve[%]


but I don't get any useful result. Am I using these functions incorrectly?

-

Why obviously? In principle, if you want to solve diophantine equations, FindInstance with option Integers is what you need but (as the warning message below says) it can be insufficient in proving such solutions don't exist which seems to be what you want.
FindInstance[x^2 - 3 y^2 == 2 z^2 && z > 0, {x, y, z}, Integers]

The lack of any solution might not be "obvious," but Fermat's method of descent works well here. If we start with a primitive solution $(x,y,z)$ and reduce it mod $3$, we see easily that $x$ and $z$ are multiples of $3$: Solve[x^2 - 3 y^2 == 2 z^2, {x, y, z}, Modulus -> 3]. Dividing out by $3$ and reducing the new equation mod $3$ shows that $y$ also is a multiple of $3$: Solve[3 xp^2 - y^2 == 6 zp^2, {xp, y, zp}, Modulus -> 3]. This contradicts the assumption that we had a primitive solution, whence there can be no solutions. –  whuber Mar 4 '13 at 17:20
I don't believe my comment answers the question stated, which is whether Exists and Resolve have been "incorrectly" used. The question does explicitly presume the lack of all solutions, and your answer does challenge the basis of that presumption--which I think is a valid thing to do--so I commented only in order to address that tangential issue. –  whuber Mar 4 '13 at 17:58