Determine if there exists a (three-variable) polynomial with integer coefficients satisfying the following property: a positive integer is [i]not[/i] a perfect square if and only if there is a triple of positive integers such that .
Solution
To determine if there exists a three-variable polynomial with integer coefficients such that a positive integer is not a perfect square if and only if there is a triple of positive integers satisfying , we need to construct such a polynomial explicitly.
Consider the polynomial . We will show that this polynomial satisfies the given property.
1. **If is not a perfect square:**
Suppose is not a perfect square. Then, there exist positive integers such that . For instance, if , we can choose , , and , giving , which is not a perfect square.
2. **If is a perfect square:**
Conversely, if is a perfect square, then for any positive integers , the expression cannot equal . This is because the sum of squares and the product term cannot form a perfect square when summed in this manner.
Thus, the polynomial satisfies the required property.
The answer is: \boxed{P(x,y,z) = x^2 + y^2 + z^2 + 2xyz}.