Pick's Theorem Applies
to Farey Series
Represent each fraction m/n as a point (n,m) in the Cartesian plane. Draw the grid of lines
For n≠0 and m≠0, a point (n,m) is visible iff gcd(n,m) = 1. On the axes, only the points (±1,0) and (0,±1) are visible.
Imagine now a ray along the positive x-axis. Rotate it counterclockwise and mark all the visible points inside the first octant whose x-coordinate does not exceed, say N. For example, for N = 5, we successively get
which we recognize as the Farey series F5. All other Farey series are obtained in the same manner. First of all, since we are confined to the first octant, all the marked fractions m/n (except of course 1/1) are proper, i.e. m < n. By Lemma, they are also irreducible. Lastly, each fraction equals the slope of the line connecting the corresponding point with the origin. Therefore, they are traversed in the ascending order.
Select any two consecutive points (n1, m1) and (n2, m2) and consider the triangle formed by these points and the origin. Since the two points are visible, the segments connecting them with the origin contain no other lattice points. The segment joining the two can't contain lattice points either because the points were successively traversed by the rotating ray. For the same reason, no lattice point is found inside the triangle. Therefore, by Pick's theorem, the area of the triangle at hand is 1/2.
On the other hand, from Analytic Geometry the area of the triangle is half the absolute value of the determinant
The determinant is positive provided m2/n2 > m1/n1 which is true in our case. Finally, we get ½(m2n1 - m1n2) = ½ which proves the basic property (1) of the Farey series.
- Pick's Theorem
Copyright © 1996-2018 Alexander Bogomolny