Find all integers with the following property: for all real numbers and satisfying for , there exist , each of which is either -1 or 1 , such that
Answer. can be any odd integer greater than or equal to 3.
Solution
For any even integer , we consider the case
The condition is satisfied for each . No matter how we choose each , both sums and are odd integers. This implies and , which shows (1) cannot hold.
For any odd integer , we may assume without loss of generality for (this can be done by flipping the pair to and to if necessary) and . We claim that the choice for will work. Define
Note that
by the assumption (when is odd, there is a single term at the end, which is also positive). Next, we have
Similarly,
and
From the condition, we have for and for . It follows that and . Hence it remains to prove
under the constraint . By symmetry, we may assume . If , then we have
If , then we have
Hence, the inequality is true in both cases. These show can be any odd integer greater than or equal to 3.