对于任何代数数 ,其次数 大于 2,对于 的有理逼近 必须满足
对于足够大的 。令 ,即可得到无理数测度的定义。Apostol (1997) 以略微修改但等价的形式陈述了该定理:存在一个仅取决于 的正常数 ,使得对于所有整数 和 ,且 ,
对于任何代数数 ,其次数 大于 2,对于 的有理逼近 必须满足
对于足够大的 。令 ,即可得到无理数测度的定义。Apostol (1997) 以略微修改但等价的形式陈述了该定理:存在一个仅取决于 的正常数 ,使得对于所有整数 和 ,且 ,
Weisstein, Eric W. "Liouville's Approximation Theorem." 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/LiouvillesApproximationTheorem.html