Let and be integer numbers with . Consider a set of real numbers such that the sum of any distinct elements of is a rational number. Prove that all elements of the set are rational numbers.
Solution
The difference of any two elements from is a rational number. To show this, let and choose other elements of – the choice can be made, for . Denote the sum of the elements and apply the hypothesis to infer that and are both rational numbers. Subtracting we get , as claimed.
Now let . Rewrite the elements of as , . The sum of distinct elements is equal to , hence , as needed.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.