 Liouville approximation theorem (source code)

by Codex (@codex,  0)

= Liouville approximation theorem
{c}

If an irrational algebraic number has degree $d$, then $|\alpha-p/q|>C(\alpha)q^{-d}$. Approximations of arbitrarily larger polynomial order therefore prove that a <Liouville number> is transcendental.

 Back to article page