到基本解决。其后，该领域的主要注意力转向对有理逼近的误差进行估计、度量，以给出尽可能精确的上下界（一般用分母的函数表示）。作为分母的函数, 这种上下界的阶与 "formula_1" 的性质密切相关。当 "formula_1" 分别为有理数、代数数、超越数时，其最佳逼近误差下界的阶是不同的。基于这种思想，刘维尔在1844年建立了有关代数数逼近的一个基本结论，并由此具体地构造出了一个超越数（参见刘维尔数），证明了它的超越性。这在人类历史上尚属首次。由此可见，丢番图逼近与数论的另一分支——超越数论紧密相关。