Lagrange number

Template:Short description 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 $\alpha$ is irrational if and only if there are infinitely many rational numbers Template:Nobr written in simplest terms, such that

Template:Nobr

This was an improvement on Dirichlet's result which had $\frac{1}{q^2}$ on the right-hand side. The above result is best possible, since the golden ratio $\phi$ is irrational. If we replace $\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 Template:Nobr

Hurwitz also showed that if we omit $\phi$ (and numbers derived therefrom), we can increase the $\sqrt{5}$ to Template:Nobr Again this new bound is best possible, this time with $\sqrt{2}$ being the problem. If we omitTemplate:Nobr we can further increase the $2\sqrt{2}$ to Template:Nobr Repeating this process we get the infinite series $\sqrt{5},2\sqrt{2},\frac{\sqrt{221}}{5},\frac{\sqrt{1517}}{13},\dots$ which converges to 3. These are the Lagrange numbers, named after Joseph Louis Lagrange.Template:Why

Relation to Markov numbers

The $n$th Lagrange number $L_n$ is given byTemplate:Why

$L_n=\sqrt{9-\frac{4}{M_n^2}}$

where $M_n$ is the $n$th Markov number—the $n$th-smallest integer $m$ such that the equation

$m^2+x^2+y^2=3mxy$

has a solution in positive integers $x$ and Template:Nobr

References

• Template:Cite book
• Template:Cite book

External links

• Lagrange number. From MathWorld at Wolfram Research.
• Introduction to Diophantine methods irrationality and transcendence Template:Webarchive - Online lecture notes by Michel Waldschmidt, Lagrange Numbers on pp. 24–26.