Browse · MathNet
PrintBelarusian Mathematical Olympiad
Belarus algebra
Problem
Find all integers and () such that
Solution
Answer: , .
It is clear that there are no solutions for . Hence consider the case . Let , . Then and hence . Taking into account that is a nonnegative integer, we obtain from these inequalities that and , i.e. or .
We shall now show that cannot hold. Suppose it does hold, then among the numbers we can find two elements — if this were not true, then either there is some , implying or in view of , we would have for at least indices , implying Hence, we have for some and we shall prove that .
Expanding, gathering similar terms and simplifying we get that this inequality is equivalent to the inequality , which is true since . So, replacing and by and , we decrease the sum and after a finite number of such steps either one of the elements becomes equal to 50 or we have for at least 33 indices , yielding a contradiction in both cases as it is shown above.
Therefore, we have . Since is odd, we have is also odd because and have the same parity. So and .
If we easily get the solution .
Suppose now that . Then for any we have and (since the sum of squares is less than the square of the sum), implying and . Therefore, all elements are not greater than 3. But then we have , a contradiction.
It is clear that there are no solutions for . Hence consider the case . Let , . Then and hence . Taking into account that is a nonnegative integer, we obtain from these inequalities that and , i.e. or .
We shall now show that cannot hold. Suppose it does hold, then among the numbers we can find two elements — if this were not true, then either there is some , implying or in view of , we would have for at least indices , implying Hence, we have for some and we shall prove that .
Expanding, gathering similar terms and simplifying we get that this inequality is equivalent to the inequality , which is true since . So, replacing and by and , we decrease the sum and after a finite number of such steps either one of the elements becomes equal to 50 or we have for at least 33 indices , yielding a contradiction in both cases as it is shown above.
Therefore, we have . Since is odd, we have is also odd because and have the same parity. So and .
If we easily get the solution .
Suppose now that . Then for any we have and (since the sum of squares is less than the square of the sum), implying and . Therefore, all elements are not greater than 3. But then we have , a contradiction.
Final answer
n = 2; {x1, x2} = {4, 13}
Techniques
Jensen / smoothingLinear and quadratic inequalitiesIntegersInvariants / monovariants