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