problem
Eyes down
The symbol [ ] means 'the integer part of'. Can the numbers [2x];
2[x]; [x + 1/2] + [x - 1/2] ever be equal? Can they ever take three
different values?
Farey sequences are lists of fractions in ascending order of magnitude. Can you prove that in every Farey sequence there is a special relationship between Farey neighbours?