In number theory, specifically in Diophantine approximation theory, the Markov constant M ( α ) {\displaystyle M(\alpha )} of an irrational number α {\displaystyle \alpha } is the factor for which Dirichlet's approximation theorem can be improved for α {\displaystyle \alpha } .
History and motivation Certain numbers can be approximated well by certain rationals; specifically, the convergents of the continued fraction are the best approximations by rational numbers having denominators less than a certain bound. For example, the approximation π ≈ 22 7 {\displaystyle \pi \approx {\frac {22}{7}}} is the best rational approximation among rational numbers with denominator up to 56. Also, some numbers can be approximated more readily than others. Dirichlet proved in 1840 that the least readily approximable numbers are the rational numbers, in the sense that for every irrational number there exists infinitely many rational numbers approximating it to a certain degree of accuracy that only finitely many such rational approximations exist for rational numbers. Specifically, he proved that for any number α {\displaystyle \alpha } there are infinitely many pairs of relatively prime numbers ( p , q ) {\displaystyle (p,q)} such that | α − p q | < 1 q 2 {\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}} if and only if α {\displaystyle \alpha } is irrational. 51 years later, Hurwitz further improved Dirichlet's approximation theorem by a factor of √5, improving the right-hand side from 1 / q 2 {\displaystyle 1/q^{2}} to 1 / 5 q 2 {\displaystyle 1/{\sqrt {5}}q^{2}} for irrational numbers:
| α − p q | < 1 5 q 2 . {\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{{\sqrt {5}}q^{2}}}.}
The above result is best possible since the golden ratio ϕ {\displaystyle \phi } is irrational but if we replace √5 by any larger number in the above expression then we will only be able to find finitely many rational numbers that satisfy the inequality for α = ϕ {\displaystyle \alpha =\phi } . Furthermore, he showed that among the irrational numbers, the least readily approximable numbers are those of the form a ϕ + b c ϕ + d {\displaystyle {\frac {a\phi +b}{c\phi +d}}} where ϕ {\displaystyle \phi } is the golden ratio, a , b , c , d ∈ Z {\displaystyle a,b,c,d\in \mathbb {Z} } and a d − b c = ± 1 {\displaystyle ad-bc=\pm 1} . (These numbers are said to be equivalent to ϕ {\displaystyle \phi } .) If we omit these numbers, just as we omitted the rational numbers in Dirichlet's theorem, then we can increase the number √5 to 2√2. Again this new bound is best possible in the new setting, but this time the number √2, and numbers equivalent to it, limits the bound. If we don't allow those numbers then we can again increase the number on the right hand side of the inequality from 2√2 to √221/5, for which the numbers equivalent to 1 + 221 10 {\displaystyle {\frac {1+{\sqrt {221}}}{10}}} limit the bound. The numbers generated show how well these numbers can be approximated; this can be seen as a property of the real numbers. However, instead of considering Hurwitz's theorem (and the extensions mentioned above) as a property of the real numbers except certain special numbers, we can consider it as a property of each excluded number. Thus, the theorem can be interpreted as "numbers equivalent to ϕ {\displaystyle \phi } , √2 or 1 + 221 10 {\displaystyle {\frac {1+{\sqrt {221}}}{10}}} are among the least readily approximable irrational numbers." This leads us to consider how accurately each number can be approximated by rationals - specifically, by how much can the factor in Dirichlet's approximation theorem be increased to from 1 for that specific number.
… excerpt ends here. Continue reading the full article.
