ON THE INTEGER TRANSFINITE DIAMETER OF INTERVALS OF THE FORM [r/s, u] OR [0, (root a - root b)(2)] AND OF FAREY INTERVALS

摘要

We consider intervals of the form [r/s, u], where r, s are positive integers with gcd (r, s) = 1 and u is a real number, or of the form [0, (root a - root b)(2)], where a, b are positive integers. Thanks to a lemma of Chudnovsky, we give first a lower bound of the integer trans finite diameter of such intervals. Then, using the method of explicit auxiliary functions and our recursive algorithm, we explain how to get an upper bound for this quantity. We finish with some numerical examples. Secondly, we prove inequalities on the integer trans finite diameter of Farey intervals, i.e., intervals of the type [a/q, b/s], where vertical bar as - bq vertical bar = 1.