【转】【数论】法雷数列

             实数包含有理数和无理数，任何有理数都可以表示为p/q(p,q是整数，q!=0)的形 式，如果指定一个分数的分母不超过某个值，对于一般的有理数或者无理数，是不可以用一个分数来准确地表示的。我们这里主要讨论，如何找出一对分数 p1/q1和p2/q2,使得q1 和q2 小于给定的值n，而p1/q1和p2/q2尽可能接近一个给定的实数.。

        先给出一些定义和一个定理：

定义一： 最简分数（也称既约分数或不可约分数）。若p,q的最大公约数是1，我们称分数p/q

              是最简分数。

定义二： 真分数，若p,q是正整数，0<p/q<1, 我们说p/q是真分数

定理：