种上下界的阶与 "formula_1" 的性质密切相关。当 "formula_1" 分别为有理数、代数数、超越数时，其最佳逼近误差下界的阶是不同的。基于这种思想，刘维尔在1844年建立了有关代数数逼近的一个基本结论，并由此具体地构造出了一个超越数（参见刘维尔数），证明了它的超越性。这在人类历史上尚属首次。由此可见，丢番图逼近与数论的另一分支——超越数论紧密相关。除了上述最经典的单个实数的有理逼近问题，该领域还包括多个实数的联立逼近，非齐次逼近，实数的代数数逼近，一致分布（均匀分布）等方面。甚至连p进数上