Went on a tangent on Wikipedia and found this: > assume that the pair of reduced fractions a/c < b/d has the property that the reduced fraction with smallest d

Went on a tangent on Wikipedia and found this: > assume that the pair of reduced fractions a/c < b/d has the property that the reduced fraction with smallest denominator lying in the interval (a/c, b/d) is equal to the mediant of the two fractions. Then the determinant relation bc − ad = 1 holds. Okay sounds reasonable... > This fact may be deduced e.g. with the help of Pick's theorem Wait what?