Let be the set of positive integers that can be written in the form where are integers with . Prove that:
a) All numbers from are not perfect square.
b) The product of an odd number of numbers from is not a perfect square.
Let be the set of positive integers that can be written in the form where are integers with . Prove that:
a) All numbers from are not perfect square.
b) The product of an odd number of numbers from is not a perfect square.
a) Without loss of generality, we can consider this problem for nonnegative integers. We know that a perfect square gives the remainder or when divided by , so all numbers from when divided by give the remainder or .
Assume that there exists a pair such that is a perfect square and such that is minimal. Then this number should be divisible by , so is divisible by . Put where .
Thus is a perfect square. This number is divisible by , so it should be divisible by . So is divisible by . From which we have is divisible by . Put where is an integer.
Putting back in original expression , we have is a perfect square. From which follows that is a perfect square.
However this contradicts the definition of the pair due to (the equality does not hold because at least one of two numbers is positive). Thus, in does not exist a perfect square.
b.
Firstly we will prove that the product of any three numbers from also belongs to . (*)
Indeed, consider numbers , , from . We have
Putting , , we have
Next, we will prove the statement of the problem by induction.
- For , from (*) the statement is true.
- Assume that the statement is true for , i.e., the product of any numbers from also belongs to .
Consider any numbers from . Choose from them numbers. Then, by induction hypothesis, the product of these numbers belongs to . Then this product together with two remaining numbers forms a triple of numbers from . By (*) their product belongs to , which means the product of any numbers from belongs to . Thus, the statement holds for .
By induction principle, we have the required statement.
Now, apply result of part a for the product, we have done.