Problem:
Determine if it is possible to color each of the rational numbers either red or blue such that the following three conditions are all satisfied:
(i) and are opposite colors, for all rational ;
(ii) and are opposite colors, for all rational ;
(iii) and are opposite colors, for all rational .
Solution
Solution:
The answer is yes.
We will prove the following statement by induction: It is possible to color the rational numbers with denominator at most red and blue such that the conditions (i)-(iii) hold whenever the two rational numbers in question both have denominator at most , and such that no number reverses color at any step. (The last condition ensures that, when the induction is complete, every number will have a well-defined color.)
We make two base cases. For , color all the positive integers red and all the nonpositive integers blue. Then, for , color the number (for integer ) blue if and red if . It is easy to see that conditions (i)-(iii) are satisfied so far.
Assume that all rational numbers with denominator less than () have been colored. We must color the fractions , where is an integer coprime to . First, when , color the opposite of (which has already been colored). Then color the same color as for each coprime to . Finally, color the opposite of . Condition (i) is obviously satisfied. Condition (iii), that and are opposite colors, is relevant only if ; it is satisfied by definition if , and otherwise it is enough to note that the row of numbers
has been colored alternately red and blue, implying that the two end terms have opposite colors. It remains to verify condition (ii). If or , this follows from (i) and the fact that and have been colored alike for . So we are left with the case , that is, proving that and are the same color when . The six numbers
have been colored alternately red and blue by (ii) and (iii), so the two end terms have opposite colors.