Badly approximable numbers, Kronecker's theorem, and diversity of Sturmian characteristic sequences

We give an optimal version of the classical “three-gap theorem” on the fractional parts of n θ, in the case where θ is an irrational number that is badly approximable. As a consequence, we deduce a version of Kronecker's inhomogeneous approximation theorem in one dimension for badly approximable numbers. We apply these results to obtain an improved measure of sequence diversity for characteristic Sturmian sequences, where the slope is badly approximable.