We prove that for any real number ξ≠0ξ=0 and any coprime integers p>q≥1p>q≥1 such that ξξ is irrational or q>1q>1, the image in R/ZR/Z of the sequence (ξ(−p/q)n)n≥0(ξ(−p/q)n)n≥0 is not contained in any interval of length less than (1+q/p−q2/p2)/p(1+q/p−q2/p2)/p.
生成讲解博客的中文版本
生成AI智能校验的中文版本