基准分数
jī zhǔn fēn shù
基准分数是像0、1/4、1/2、3/4和1这样常用的参照分数，用来估算和比较其他分数。
Definition
基准分数是一些友好、常见的分数，通常是$0$、$1/4$、$1/2$、$3/4$和$1$，它们能帮助你在不做精确运算的情况下估算和比较其他分数。将分数$a/b$与$1/2$比较，只需检验$2a < b$（小于一半）、$2a = b$（等于一半），还是$2a > b$（大于一半），这种方法完全不需要求公分母。更广泛地说，基准分数将有理数用一个固定的有限集合中的元素来近似这一想法形式化，是对$[0,1]$的一种离散化；斯特恩-布罗科树和法里数列为寻找"最佳有理数近似"提供了系统化的框架。
Example
$5/8$更接近$1/2$还是$1$？由于$4/8 = 1/2$，$8/8 = 1$，而$5/8$仅比$1/2$多$1/8$，所以它更接近$1/2$，这是一种无需精确计算就完成的基准比较。用$1/2$检验法比较$7/12$和$11/20$：$2 \times 7 = 14 > 12$，所以$7/12 > 1/2$；$2 \times 11 = 22 > 20$，所以$11/20$也大于$1/2$；若要精确，把两者都转化为六十分之几：$7/12 = 35/60$，$11/20 = 33/60$，确认$7/12 > 11/20$。法里数列$F_4 = \{0/1, 1/4, 1/3, 1/2, 2/3, 3/4, 1/1\}$按顺序列出了所有分母不超过$4$的分数，任何不在$F_4$中的分数都可以被限定在两个相邻的法里分数之间，从而进行精确的基准比较。
Key Insight
基准分数是一种心算捷径：与其精确计算每一次比较，不如问"这个分数比$1/2$小还是比$1/2$大？"从而快速缩小范围，就像知道地标能帮你在城市中导航一样。法里数列的中位数性质，即如果$a/b$和$c/d$在$F_n$中相邻，那么$(a+c)/(b+d)$就是接下来会出现在它们之间的分数，被用于斯特恩-布罗科树，也是连分数理论和最佳有理数近似理论的基础。