1 基本定义
有理数是指能够写成两个整数之比的数，通常记作 \(a/b\)，其中 \(a\) 和 \(b\) 为整数，且 \(b \neq 0\)。这一类数可以用来统一描述整数、分数以及若干常见的小数形式，是初等数学和数论中的基础概念之一。
1.1 分数表示
从定义上看，有理数最直接的表达方式就是分数。分子表示取了多少份，分母表示整体被平均分成多少份。只要分母不为零，这种表示都对应一个确定的有理数。比如 \(3/4\)、\(-7/2\)、\(5/1\) 都属于有理数。
1.2 整数与有理数的关系
每个整数都可以看作分母为 1 的分数，因此整数是有理数的特例。例如，\(8=8/1\)，\(-3=-3/1\)。这意味着有理数并不是一个与整数并列、完全独立的体系，而是对整数范围的自然扩展。
1.3 有理数的符号约定
有理数的正负通常由分子和分母的符号共同决定。若分子分母同号，则值为正；若异号，则值为负。为了书写简洁，通常会把负号统一放在分子前面，例如 \(-3/5\) 而不是 \(3/(-5)\)。约定分母为正，也有助于比较和标准化表示。
1.4 有理数的等价表示
同一个有理数可以有不同的写法。比如 \(1/2\)、\(2/4\)、\(3/6\) 表示的是同一数值。这是因为分子和分母同时乘以或除以同一个非零整数，分数的值不会改变。由此可见，有理数的表示并不唯一，但其数值是确定的。
2 表示与性质
有理数既可以写成分数，也可以写成小数。不同表示之间可以相互转换，这也是它在计算与理论分析中都很常用的原因之一。
2.1 分数形式
分数形式是有理数最典型的书写方式。它在比较大小、进行约分以及处理比例问题时非常方便。分数的结构清楚地保留了“部分与整体”的关系，因此在日常计算和代数推导中都很常见。
2.1.1 最简分数
如果一个分数的分子和分母除了 1 以外没有其他公因数，则称其为最简分数。最简分数能够把一个有理数的表示压缩到最基本的形式，例如 \(6/8\) 可约成 \(3/4\)，后者就是最简分数。
2.1.2 带分数与假分数
带分数由整数部分和真分数组成，如 \(2\frac{1}{3}\)。假分数则是分子大于或等于分母的分数，如 \(7/3\)。二者可以互相转换，前者更便于直观理解，后者更适合代数运算。
2.2 小数形式
有理数也可以写成十进制小数。根据分数的结构不同，小数可能终止，也可能进入循环。这种特征使有理数在十进制系统中具有可识别的规律。
2.2.1 有限小数
有限小数是指小数部分在有限位后结束的数，如 0.5、2.75。它们都对应某些有理数，例如 0.5=1/2，2.75=11/4。有限小数通常与分母只含 2 和 5 的因子有关。
2.2.2 无限循环小数
若小数部分在某一位之后开始重复出现固定的数字序列，就称为无限循环小数，如 0.333…、0.142857142857…。这类小数同样属于有理数，是分数除法在十进制下的自然结果。
2.3 唯一性与非唯一性
有理数的数值是唯一的，但其分数表示不一定唯一。同一个数可以对应多种等价分数，也可以在不同书写规则下呈现出不同外观。
2.3.1 等价分数
如果两个分数的值相等，它们就互为等价分数。例如 \(1/2=2/4=5/10\)。判断等价分数的常用方法是交叉相乘，或将二者都化为最简形式后比较。
2.3.2 约分规则
约分是把分子和分母同时除以它们的公因数，以得到更简洁的表示。重复约分直到不能再约，就得到最简分数。约分不仅用于整理结果，也常用于避免计算中数字过大。
3 代数性质
有理数在四则运算下具有良好的代数结构，因此能够形成一套完整而稳定的计算系统。
3.1 加法与减法
两个有理数相加或相减，结果仍然是有理数。分数加减时通常需要通分，然后按照分子进行运算。例如 \(1/3+1/6=1/2\)。减法可视为加上相反数，因此与加法密切相关。
3.2 乘法与除法
有理数相乘时，分子与分母分别相乘即可；除法则等于乘以除数的倒数，只要除数不为零。例如 \((2/3)\div(5/7)=(2/3)\times(7/5)=14/15\)。这些规则使有理数运算具有较强的统一性。
3.3 运算封闭性
有理数对加法、减法、乘法以及除以非零数都满足封闭性，即运算结果仍属于有理数。这一性质保证了在有理数范围内进行计算时，不会轻易“跳出”该数系。
3.4 交换律、结合律与分配律
有理数的加法和乘法都满足交换律与结合律，乘法还对加法满足分配律。例如 \(a+b=b+a\)，\((a+b)+c=a+(b+c)\)，以及 \(a(b+c)=ab+ac\)。这些基本法则构成了代数运算的稳定框架。
3.5 逆元与零元
每个有理数都有加法逆元，即与之相加得零的数；每个非零有理数还有乘法逆元，即与之相乘得 1 的数。零本身在加法中起单位作用，但没有乘法逆元。这些元素分别支撑了加减法与乘除法的对称结构。
4 数论中的有理数
在数论中，有理数常被用来研究分数化简、整数除法、分母结构以及小数展开的规律。它们与整除性质联系紧密，常作为更深入理论的起点。
4.1 整除与分数化简
一个分数能否化到最简，取决于分子和分母是否存在公因数。整除关系直接影响分数的简化程度，因此分数化简实际上是对整数因子结构的整理。
4.2 约分与最大公约数
最大公约数是约分中的核心工具。若分子和分母的最大公约数为 \(d\)，则二者同时除以 \(d\) 后即可得到最简分数。这个过程体现了整数理论在有理数表示中的基础作用。
4.3 质因数分解与分母结构
分母的质因数分解决定了有理数在十进制中的表现。若分母化简后只含 2 和 5 的因子，则对应有限小数；若含有其他质因子，则通常会出现循环小数。因而，分母结构是判断小数类型的重要依据。
4.4 连分数表示
有理数可以写成有限连分数形式。连分数把一个数逐步拆解为整数部分与若干倒数结构，在逼近计算、分数简化和数论分析中都有价值。对于有理数而言，连分数最终会在有限步后结束。
4.5 有理数的十进制展开
有理数除以分母后，在十进制下会形成有限或循环的展开。这种展开规律是有理数最直观的外部特征之一。
4.5.1 循环节长度
循环小数的重复部分称为循环节。循环节长度与分母有关，通常与某些模运算性质相关。不同有理数的循环节长度差异很大，有的很短，有的则较长。
4.5.2 循环小数判定
判断一个十进制小数是否为循环小数，常可借助分母因数分解来完成。若一个最简分数的分母含有除 2 和 5 以外的质因子，则它对应的小数通常是无限循环的；反之则可能是有限小数。
5 有理数与实数体系
有理数是实数的重要组成部分，但并不覆盖全部实数。它与无理数共同构成实数集，二者在性质上既相关又有明显差异。
5.1 有理数集的稠密性
在任意两个不同的实数之间，都可以找到有理数。这说明有理数在数轴上分布得非常密集，不论区间多么狭小，总能插入一个有理数，甚至无穷多个有理数。
5.2 有理数与无理数
不能表示成整数之比的实数称为无理数，如 \(\sqrt{2}\) 和 \(\pi\)。有理数与无理数共同组成实数集。二者的区别不在于是否能用小数表示，而在于小数是否终止或循环。
5.3 有理数的完备性问题
有理数体系本身并不完备。某些由有理数构成的数列虽然逐渐“逼近”某个极限，但极限可能不是有理数。例如，逼近 \(\sqrt{2}\) 的有理数序列在有理数内部没有极限值。正因为如此，实数被引入以补足这一缺口。
5.4 在数轴上的表示
在数轴上，有理数可以对应为一个个确定的点。整数点最容易标出，分数点则分布在整数之间以及更细的区间中。借助数轴，可以直观比较大小，也能更清楚地理解有理数的稠密性。
6 比较与序结构
有理数除了可以运算，还可以比较大小。其序结构与整数类似，但由于分数形式更丰富，比较方法也更灵活。
6.1 大小比较方法
比较两个分数大小时，常用通分、交叉相乘或转化为小数的方法。例如比较 \(3/5\) 与 \(2/3\)，可通过交叉相乘得到 9 与 10，从而判断 \(3/5<2/3\)。选择哪种方法，取决于计算便利性。
6.2 正有理数与负有理数
正有理数大于零，负有理数小于零，零则居于两者之间。符号决定了它们在数轴上的位置，也影响运算结果的正负变化。正负数的区分是有理数序结构的基础。
6.3 有理数的顺序性质
有理数的大小关系满足自反性、反对称性与传递性，并与加法、乘法保持一定兼容性。例如若 \(a<b\)，则 \(a+c<b+c\)。这些性质使有理数能够形成严格而稳定的线性顺序。
6.4 区间中的有理数
任意两个不同有理数之间，都存在另一个有理数。这一事实说明有理数在区间内没有“相邻的最小间隔”。因此，不论区间多小，都能继续找到更多有理数填充其中。
7 历史与发展
有理数的观念并非一开始就以现代形式存在，而是在分数计算、商业记账和几何测量的需求中逐步形成。
7.1 古代分数的产生
最早的分数概念来自对长度、重量和粮食份额的分配需要。古代文明中已经出现了各种分数记法，用于处理剩余、平均分配与比例关系。这些早期实践为有理数概念奠定了基础。
7.2 代数记号的演变
随着数学书写方式的发展，分数和方程中的记号逐渐规范化。分子、分母以及运算符号的表达越来越简洁，使有理数的计算从口算和文字叙述转向更系统的符号运算。
7.3 近代数系观念的形成
进入近代以后，数学家开始从整体上理解数系之间的关系，将整数、分数、小数以及无理数纳入统一框架。有理数因此被明确视为实数系统中的一个重要子集，而不再只是“可以被分开的数”的经验概念。
8 应用
有理数在现实和理论中都具有广泛用途，尤其适合处理比例、精确分割和可计算的数量关系。
8.1 日常测量与比例计算
在长度、面积、时间和配比等问题中，有理数经常直接出现。例如烹饪中的配方、工程中的比例换算、地图上的缩放关系，都常依赖分数与小数的表达。
8.2 计算机与数值表示
计算机处理有理数时，通常要依赖有限位数的存储形式。由于某些有理数的小数展开是无限循环的，实际系统中往往只能进行近似表示。这也是浮点数设计与误差分析的重要背景之一。
8.3 数学证明中的构造工具
在数学证明中，有理数经常用于构造反例、逼近无理数或建立递推关系。它们由于结构清晰、可操作性强，常被作为论证中的中间对象，帮助连接离散与连续的思想。
8.4 密码学与算法中的相关问题
在某些算法设计中，有理数与整数运算、模运算和分数逼近等问题有关。虽然现代密码学的核心多依赖更复杂的结构，但有理数相关的计算思想仍常见于算法分析、约束求解和数值近似之中。