MathNet 2013 Question 95

Prove that there is exactly one way to color every positive rational red or blue such that:
- x and x+1 have different colors;
- x and 1/x have the same color;
- 1 is red.