Lagrange number

In mathematics, the Lagrange numbers (A382098 and A382099 in the OEIS) are a sequence of numbers that appear in bounds relating to the approximation of irrational numbers by rational numbers. They are linked to Hurwitz's theorem.

Definition

Hurwitz improved Peter Gustav Lejeune Dirichlet's criterion on irrationality to the statement that a real number ${\displaystyle \alpha }$ is irrational if and only if there are infinitely many rational numbers ${\displaystyle {\tfrac {p}{q}}}$ , written in lowest terms, such that

${\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{{\sqrt {5}}q^{2}}}.}$

This was an improvement on Dirichlet's result which had ${\displaystyle {\tfrac {1}{q^{2}}}}$ on the right-hand side. The above result is best possible, since the golden ratio ${\displaystyle \varphi }$ is irrational. If we replace ${\displaystyle {\sqrt {5}}}$ with any larger number in the above expression, we will only be able to find finitely many rational numbers that satisfy the inequality for ${\displaystyle \alpha =\varphi }$ .

Hurwitz also showed that if we omit ${\displaystyle \varphi }$ (and numbers derived therefrom), we can increase the ${\displaystyle {\sqrt {5}}}$ to ${\displaystyle 2{\sqrt {2}}}$ . Again this new bound is best possible, this time with ${\displaystyle {\sqrt {2}}}$ being the problem. If we omit ${\displaystyle {\sqrt {2}}}$ , we can further increase the ${\displaystyle 2{\sqrt {2}}}$ to ${\displaystyle {\tfrac {\sqrt {221}}{5}}}$ . Repeating this process we get the infinite series ${\displaystyle {\sqrt {5}},\;2{\sqrt {2}},\;{\tfrac {\sqrt {221}}{5}},\;{\tfrac {\sqrt {1517}}{13}},\;\ldots }$ which converges to 3.^[1] These are the Lagrange numbers,^[2] named after Joseph Louis Lagrange.^[why?]

Relation to Markov numbers

The ${\displaystyle n}$ th Lagrange number ${\displaystyle L_{n}}$ is given by^[why?]

${\displaystyle L_{n}={\sqrt {9-{\frac {4}{{M_{n}}^{2}}}}}}$

where ${\displaystyle M_{n}}$ is the ${\displaystyle n}$ th Markov number^[3]—the ${\displaystyle n}$ th-smallest integer ${\displaystyle m}$ such that the equation

${\displaystyle m^{2}+x^{2}+y^{2}=3mxy\,}$

has a solution in positive integers ${\displaystyle x}$ and ${\displaystyle y}$ .

References

1. Cassels (1957) p.14
2. Conway&Guy (1996) pp.187-189
3. Cassels (1957) p.41

• Cassels, J.W.S. (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics. Vol. 45. Cambridge University Press. Zbl 0077.04801.
• Conway, J.H.; Guy, R.K. (1996). The Book of Numbers. New York: Springer-Verlag. ISBN 0-387-97993-X.

External links

• Lagrange number. From MathWorld at Wolfram Research.
• Introduction to Diophantine methods irrationality and transcendence Archived 2012-02-09 at the Wayback Machine - Online lecture notes by Michel Waldschmidt, Lagrange Numbers on pp. 24–26.