My question concerns potential simultaneous approximations of irrational numbers.
Let $\alpha = \frac{1 + \sqrt{5}}{2}$ be the golden ratio, and $k \in \mathbb{N}$ a positive integer. In what follows, for a real number $x$, $|x|$ is the distance of $x$ to $\mathbb{Z}$.
I'm going to try to find good rational approximations of both $\alpha$ and $k\alpha$ with the same denominator. My precise question is the following.
Fix a positive $\epsilon >0$. I was wondering if it were possible to characterise those integers $k$ as above such that there exists a sequence $(n_m)_{m \in \mathbb{N}}$ such that the two followings things hold
- $|n_m \alpha| \rightarrow 0$
- $|n_m (k\alpha)| \leq \frac{\epsilon}{n}$
A basic remark is that for such a sequence to exist it is necessary that $\epsilon$ be less than $\frac{C}{k}$ for $C$ the constant such that for all $n$ we have $|n \alpha| \geq \frac{C}{n}$.
More precise questions are:
Question 1. Could it be true that for a given $\epsilon$, it is possible to find such a sequence for any $k$ big enough?
Question 2. If the answer to the previous question is no. Given $\epsilon$, can anyone say anything about the density of the set of $k$s such that the property above holds? In particular, does this density tend to zero when $\epsilon$ tend to $0$?