. Consider 2007 real numbers such that for any of cardinality 7, there exists of cardinality 11 satisfying
Show that all the are equal.
. Consider 2007 real numbers such that for any of cardinality 7, there exists of cardinality 11 satisfying
Show that all the are equal.
First, note that up to a translation, we can assume that .
Suppose first that the are integers. In this case, if is a subset of of cardinality 7, then and thus, since 7 and 11 are coprime, . We deduce that for all , that is, all the are multiples of 7. Of course, the family of is still a solution to the problem. By infinite descent, we finally show that all the are zero, which is what we wanted.
Now let's handle the general case. We proceed by approximation. Take a family of reals. Let be a strictly positive integer and greater than all the inverses of the for non-zero. By applying the pigeonhole principle, we obtain a strictly positive integer and integers such that for all . Let's show that the family of the still satisfies the conditions of the statement. Take a subset of of cardinality 7. Then we can find a subset of of cardinality 11 such that:
Evaluate:
We deduce the expected equality, given that the number on the left-hand side is an integer. By the previous case, all the are zero and thus , which is impossible if by the definition of .