FindInstance::naqs
Reduce::naqs
An error message is generated because x^2+y^2 in the first argument is not an equation:
Reduce[{x ^ 2 + y ^ 2, x > 0, y > 0}, {x, y}, Integers]This shows valid arguments in Reduce:
Reduce[{x ^ 2 + y ^ 2 == 5, x > 0, y > 0}, {x, y}, Integers]