有理数逼近实数，亦即实数的有理逼近相关问题。其中有理数一般用分数形式表达，且一律要求分子为整数，分母为正整数，通常要求是既约分数。丢番图逼近的名称源于古希腊数学家丢番图。这是因为有理逼近可以归结为求不等式整数解的问题，而求方程整数解的问题一般称为丢番图方程（或不定方程），故而得名。事实上，丢番图逼近与不定方程的研究确有颇多相关。丢番图逼近的首要问题是寻求实数的最佳（有理）丢番图逼近，简称最佳逼近。具体来说，对于一个实数 "formula_1"，希望找到一个“最优”的有理数 formula_2 作为