一是刘维尔的一个关于代数数逼近的定理：定理：设无理数formula_1是一个整系数formula_83次多项式的根，则存在常数formula_84，使得对任意两整数 formula_85 恒有刘维尔定理可用于构造超越数。在这之前，数学家们已利用连分数导出关于平方根与其它二次无理数的许多逼近性质。这个结果后来由Axel Thue等人改进，并导致Roth定理：对于代数数formula_1，将刘维尔定理中的指数由其次数formula_83缩至任意的formula_89（其中formula_90）。之后Sc