Farey序列（Stern-Brocot tree的衍生）

       早在一百多的年前，人们就发现了Farey序列，它是介于0和1之间满足一定的性质的一个有理数列。但一直到近代才被得到真正的应用，特别是在近代数论中，也逐渐受到人们的重视。这里对于这个序列的性质进行了初步探讨研究，并根据这个性质得到关于有理数和无理数一些有趣的命题。

网上找到的一段描述，学习一下。

Farey序列

Fn = {a/b | gcd(a,b)=1 && 0<=a,b<=n};

即由小于或等于n的整数所组成的不可再约分数的递增序列，并满足分子分母互质。

如：

F1 = {0/1, 1/1}

F2 = {0/1, 1/2, 1/1}

F3 = {0/1, 1/3, 1/2, 2/3, 1/1}

性质

除了F1，其余Farey序列都有奇数个元素，并且中间值是1/2。

Farey序列是一个对称序列，头尾之和为1。

假如序列中有三个连续元素x1/y1, x2/y2, x3/y3，则有x2 = x1+x3; y2 = y1+y3;

<