Use the distinct reduced fractions with , and , regarded in . The fraction zero appears as ; one is the same circle point and is not added a second time. For two distinct such points, the ordinary difference and its possible wrapped complement are nonzero integer multiples of . Hence
This proves the required separation of the Farey fractions.

Articles by others on the same topic (0)

There are currently no matching articles.