IMO 1988 LL USS87

Origin: USS

Problem

All the irreducible positive rational numbers such that the prod- uct of the numerator and the denominator is less than 1988 are written in increasing order. Prove that any two adjacent fractions a/b and c/d, a/b < c/d, satisfy the equation bc −ad = 1.