6
$\begingroup$

Fix $\alpha \in \mathbf{R}$. The classical Dirichlet's approximation theorem states there exist infinitely many rationals $p/q$ such that $$ \left|\alpha-\frac{p}{q}\right|<\frac{1}{q^2}. $$

Question. Fix $\alpha \in \mathbf{R}$. Is it true that there exist infinitely many rationals $p/q$ such that $$ 0\le \alpha- \frac{p}{q}\ll\frac{1}{q^2}\,\,? $$

$\endgroup$
  • $\begingroup$ What does the $\ll$ mean in this context? $\endgroup$ – Vincent Jan 22 at 12:18
  • 1
    $\begingroup$ "There exists an absolute constant $c>0$ such that the inequality $0\le \alpha-p/q \le c/q^2$ holds for infinitely many rationals $p/q$" $\endgroup$ – Paolo Leonetti Jan 22 at 12:20
10
$\begingroup$

Yes, this follows from considering the continued fraction of $\alpha$. If $p_n/q_n$ is the $n$th convergent to $\alpha$ and $n$ is odd then

$$ 0\leq \alpha - \frac{p_n}{q_n} \leq \frac{1}{q_n^2}.$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.