For a non-empty set denote by the product of all elements of . Does there exist a set of 2021 elements such that for any one has that is an odd integer. Consider two cases:
1. All elements of are irrational numbers?
2. At least one element of is a rational number?
Solution
1. Consider the polynomial
for some then and . Take big enough to get then by the continuous property of , there exists some real number such that . Then take the set as follows
Then and is an odd integer. Since every element in has form with then is an odd integer for all . Finally, take then , suppose on the contrary that . Note that is monic then and , implies that , but this is contradiction since it is easy to check that cannot have odd integer root.
2. We will proof that the answer is negative. Note that for all then is even. Suppose that contains some rational number . Then we can list elements of as follows in which are even.
Put then is odd. Consider polynomial
then and is the rational root of . Note that is monic then . From this we conclude that all the elements in are integers that share the same parity, so does . Thus is even, contradiction.