Skip to main content
1 of 3
Vesselin Dimitrov
  • 13.8k
  • 3
  • 56
  • 95

With the constant $1$, this is Minkowski's higher dimensional extension of Dirichlet's approximation theorem:

If $\alpha_1, \ldots,\alpha_n$ are real numbers, then there are rationals $p_i/q$ with $|\alpha_i - p_i/q| < q^{1+1/n}$. If one at least among the $\alpha_i$ is irrational, there are infinitely many such $n$-tuples $(p_1/q,\ldots,p_n/q)$.

The proof is a simple pigeonholing. With an integer parameter $Q$, consider the $Q^n+1$ points $(1,\ldots,1)$ and $(\{\alpha_1 x\}, \ldots,\{\alpha_n x\})$, $0 \leq x < Q^n$, of the unit cube $[0,1]^n$. Some two such points must be contained by a common cube of side $1/Q$. Taking their difference produces a positive integer $q < Q^n$ and integers $p_1, \ldots, p_n \in \mathbb{Z}$ (arising as the appropriate integer parts) with $|q\alpha_i - p_i| \leq 1/Q$ for all $i = 1,\ldots,n$. We have $1/Q < q^{1/n}$, giving the inequality. Moreover, we may by clearing the common factor assume $(p,q_1,\ldots,q_n) = 1$ for the tuple thus produced, and if say $\alpha_1$ is irrational it is clear that for a fixed tuple $|q\alpha_1 - p_1| \leq 1/Q$ can hold only for finitely many $Q$; hence, letting $Q \to \infty$, infinitely many tuples $(q;p_1,\ldots,p_n)$ are thus obtained.


Better constants can be obtained. For $n = 1$ the optimal constant is $1/\sqrt{5}$ as you know (and then you have the Lagrange-Markov spectrum). For $n = 2$ the optimal constant is unknown as far as I am concerned; this is stated on page 41 of Wolfgang Schmidt's book "Diophantine Approximation" (LNM 785), to which I can refer you for an improvement of the constant $1$ in the general case. There, in particular, the value $2/3$ is shown to work for $n = 2$ (which however is slightly bigger than the constant you cite from Minkowski book), and a reference is given to the literature proving that the optimal constant lies between the values $\sqrt{2/7} \approx 0.53$ and $0.615 < 0.649 \approx \sqrt{8/19}$.

So no, the constant $\sqrt{8/19}$ is not optimal in this result.

Vesselin Dimitrov
  • 13.8k
  • 3
  • 56
  • 95