1 基本概念
1.1 定义
真分式通常指分子次数低于分母次数的分式。若一个分式的分子、分母都是多项式，并且分子多项式的次数小于分母多项式的次数，则可称为真分式。它是代数运算中常见的基本对象，尤其在有理式处理、函数分析和积分分解中经常出现。
需要注意的是，真分式的判断标准侧重于“次数”关系，而不是分子、分母的具体形式是否简单。只要满足次数低于分母次数，哪怕分子、分母内部都较为复杂，仍可归入真分式。
1.2 相关术语
真分式的理解通常要结合分子、分母和次数这几个基本概念。它们共同决定一个分式是否属于真分式，也影响后续的约分、通分与化简过程。
1.2.1 分子
分子是分式中位于分数线上的部分，通常写在上方。在代数分式里，分子一般是一个多项式，也可以是经过整理后的代数式。分子的结构决定了分式的部分性质，例如能否继续因式分解、是否存在可约因子等。
1.2.2 分母
分母是分式中位于分数线下方的部分，通常承担限制条件的作用。在代数分式中，分母一般也是多项式。分母不能为零，因此其取值会直接影响分式的定义域。对于真分式而言，分母的次数高于分子，这是其最核心的特征之一。
1.2.3 次数
次数是判断多项式复杂程度的重要指标。对单变量多项式而言，次数通常指最高幂次；对多变量情形，则往往依据约定的总次数或特定排序规则来判断。在真分式的判定中，次数比较是最常用的标准。
1.3 判定方法
真分式的判定一般较为直接，但在具体运算中，必须先将式子整理到合适的多项式形式，再进行比较。若分子、分母尚未化简，可能会出现表面上判断错误的情况。
1.3.1 通过次数比较判定
最常见的方法是先分别确定分子与分母的次数，再进行比较。如果分子次数小于分母次数，则该分式为真分式；若分子次数大于或等于分母次数，则通常不属于真分式。
例如，\(\frac{x+1}{x^2-3}\) 的分子次数为 1，分母次数为 2，因此属于真分式。相反，\(\frac{x^2+1}{x+2}\) 的分子次数为 2，分母次数为 1，不属于真分式。
1.3.2 与整式分式的区别
整式分式一般指分子、分母都为整式形式的分式，强调的是表达式类型；而真分式强调的是次数关系。换言之，真分式可以看作整式分式中的一种特殊情形，但并非所有整式分式都是真分式。
因此，判断时不能只看“是不是分式”，还要看分子与分母的次数关系。经过整理以后，一些原本看似复杂的式子可能会变成真分式，也可能暴露出其实属于假分式的事实。
2 分类与相关概念
2.1 与假分式的区别
真分式与假分式是一组常见的对立概念，二者的划分依据就是分子次数与分母次数的比较结果。前者便于直接用于某些分析和分解，后者通常需要先通过多项式除法转化。
2.1.1 真分式
真分式是分子次数低于分母次数的分式，具有较强的标准化特征。它在进行部分分式分解、积分计算时往往是更适合处理的形式，因为其“分子较低阶”的结构更便于拆分。
2.1.2 假分式
假分式是指分子次数大于或等于分母次数的分式。它并不意味着“错误”，而只是说明该分式尚未处于最适合处理的形式。通常，假分式可以通过多项式除法改写为一个整式与一个真分式之和。
2.2 与整式的关系
真分式虽然本身不是整式，但它与整式之间常通过化简、约分和除法联系在一起。很多代数问题中，真分式恰恰是从假分式中分离出来的“余下部分”。
2.2.1 作为有理式的一种
从结构上看，真分式属于有理式的范围。有理式是由多项式通过加减乘除构成的代数表达式，而真分式是其中一类较为规范的分式表达。它既保留了分式的基本形式，又满足次数上的限制。
2.2.2 约分后的表达形式
在约分之后，原本较复杂的分式可能变成更简洁的真分式。例如，若分子和分母含有公共因式，约去后分子次数可能下降，从而使表达式符合真分式的条件。此时，真分式常表现为约分后的标准结果之一。
2.3 与有理函数的联系
真分式在有理函数研究中占据基础位置。很多有理函数在局部分析、渐近行为判断和积分处理中，都会先被整理为真分式形式。
2.3.1 代数表达中的对应关系
有理函数可以看作两个多项式之比。当这个比式满足分子次数低于分母次数时，它对应的代数表达就是一个真分式型有理式。若不满足，则通常先进行除法分解，再将其真分式部分单独提取出来。
2.3.2 函数图像中的表现
在函数图像中，真分式对应的有理函数常表现出较明显的分母主导特征。其图像往往在某些点附近出现竖直渐近线，而在无穷远处的表现则与次数差密切相关。真分式由于分子次数较低，通常更容易出现趋近于零或趋近于某条水平线的现象。
3 化简与运算
3.1 约分
约分是处理真分式最基础的操作之一。通过约去分子与分母的公因式，可以得到更简洁的等价表达式。
3.1.1 公因式提取
先将分子与分母分别提取公因式，是约分的常规起点。若二者存在相同的因子，则可在满足定义条件的前提下进行约去。例如，分子和分母都含有 \((x-1)\) 时，通常可先提取出来，再进行简化。
3.1.2 因式分解后约去
很多真分式并不能直接看出公共因子，需要先对分子、分母进行因式分解。分解完成后，若出现相同因式，就可以约去。这个步骤在多项式处理里十分常见，也是后续通分和积分分解的重要前置工作。
3.2 通分
通分是将多个分式转化为相同分母的过程，便于进行加减运算。对于真分式来说，通分后常能形成统一的代数结构，利于继续化简。
3.2.1 最小公分母
最小公分母是通分时优先选择的共同分母。它通常由各分母的因式按最高次幂组合而成。采用最小公分母可以避免引入不必要的额外因子，使运算尽量简洁。
3.2.2 多个真分式的通分
当涉及多个真分式时，通分的关键在于先找出共同分母，再将每个分式的分子同步扩展。通分后，原本分散的表达式可以统一成同一分母下的和或差，便于继续合并同类项。
3.3 四则运算
真分式可以参与加、减、乘、除四种基本运算，但每一步都要注意定义域和化简顺序。对于分式运算而言，先整理结构再计算，通常比直接硬算更稳妥。
3.3.1 加法
加法通常先通分，再将分子相加。若两个真分式分母不同，则必须先找到公共分母，否则无法直接合并。通分之后，分子可以按代数式规则处理，最终得到一个新的分式表达。
3.3.2 减法
减法与加法类似，本质上也是通分后的分子相减。应特别注意括号的处理，尤其当后一个分式整体前带负号时，分子符号容易出错。减法完成后，也常需要再次检查是否还能约分。
3.3.3 乘法
乘法一般直接将分子相乘、分母相乘。若乘法前能先约分，往往可以减少计算量。对于多个真分式相乘的情形，先交叉约去公共因子，再进行乘法，通常更高效。
3.3.4 除法
除法实质上是乘以倒数。真分式相除时，应先将除式翻转，再改写为乘法运算。此时必须确保倒数存在，即除式不能为零表达式。处理完成后，还需结合定义域进行检查。
4 典型处理方法
4.1 部分分式分解
部分分式分解是研究真分式的重要方法之一，尤其在积分、求和与函数分析中应用广泛。它的目标是将一个较复杂的真分式拆成若干个更简单的分式之和。
4.1.1 分解前提
进行部分分式分解前，通常要求原式已经是真分式。若是假分式，应先通过多项式除法处理，得到整式加真分式的形式后，再对真分式部分分解。此外，分母一般需要先尽可能分解成不可约因式。
4.1.2 分解步骤
标准步骤通常包括：先分解分母因式，再设定待定系数形式，接着通分比较系数，最后解出各项系数。整个过程的关键在于把复杂分式拆解为若干易于积分或运算的基本单位。
4.1.3 常见分解类型
常见类型包括线性因式对应的简单分式、重复因式对应的幂次分式，以及不可约二次因式对应的线性分子分式。不同分母结构对应不同的设元方式，这也是部分分式分解的核心规则之一。
4.2 多项式除法与真分式化
当一个分式不是真分式时，常通过多项式除法将其转化为真分式。这一步在代数运算和积分计算中都很常见。
4.2.1 将假分式化为真分式
若分子次数不小于分母次数，可以用多项式除法进行整除或带余除法。结果会写成“商 + 真分式”的形式，从而把原来的假分式拆开。这个过程也可理解为将高次部分剥离出来，只保留低次余项。
4.2.2 余式表达
带余除法的核心形式是：被除式 = 除式 × 商 + 余式。余式的次数总是低于除式，因此余式与除式组成的分式往往是真分式。这个性质使得“余式表达”成为真分式化的重要依据。
4.3 代换与整理
代换和整理常用于把某些不易直接处理的真分式改写为更规整的形式，尤其在积分、方程变形和恒等化简中比较常见。
4.3.1 常见代数变形
常用变形包括提取公因式、补全平方、拆项合并、分子分母同乘适当表达式等。通过这些手段，真分式可以被改写成更容易观察结构的形式，从而为后续运算创造条件。
4.3.2 适用场景
当分式结构比较复杂、直接通分成本较高，或者需要匹配某种标准积分形式时，代换与整理就显得尤为重要。它也常用于发现隐藏的可约因子，或把表达式改写成标准部分分式结构。
5 性质与应用
5.1 代数性质
真分式的代数性质主要由其次数结构决定，这种结构使其在多种计算场景中具有稳定的处理方式。
5.1.1 次数限制带来的结构特点
由于分子次数低于分母次数，真分式通常不会包含“多余的高次部分”。这意味着它在做除法时不会再产生整式商，从而更适合直接进入分解或极限分析。其结构也使得表达式的增长速度相对受限。
5.1.2 约分后的等价性
真分式在约分后仍保持与原式等价，只要约去的因子不导致定义域变化被忽略。严格来说，约分后的表达式与原式在共同定义域内相等，但原式中因分母为零而被排除的点仍应单独说明。
5.2 在方程中的应用
真分式常出现在分式方程中，尤其是需要将方程统一化并转化为多项式方程的场合。
5.2.1 分式方程
在分式方程中，若各项都是真分式，通常可以先找最小公分母，再整体乘去分母，将问题转化为整式方程。这样做能显著降低运算难度，但必须保证每一步都不引入非法解。
5.2.2 解的检验
分式方程求解后，必须代回原式检验。因为在通分、同乘分母或约分过程中，可能会引入不满足原分母非零条件的“增根”。检验是分式方程处理中不可省略的一步。
5.3 在函数中的应用
真分式在有理函数研究里非常常见，是初步分析函数形态的重要材料。
5.3.1 有理函数分析
对于有理函数，若其表达本身是真分式，则分析常从分母零点、定义域、对称性和局部变化入手。由于次数较低，真分式常更容易观察其局部行为，并用于构造分段讨论或图像草图。
5.3.2 渐近行为初步判断
真分式在无穷远处的渐近行为常可由次数关系快速判断。若分子次数明显低于分母次数，函数往往在远离原点时趋近于零；若分母次数仅略高，也可能趋近于某条水平渐近线。这样的判断在函数图像分析中很实用。
5.4 在积分中的应用
真分式在积分计算中占有重要位置，特别是在有理函数积分里，常作为标准化处理对象出现。
5.4.1 部分分式积分
许多有理函数积分会先化为真分式，再进行部分分式分解。分解后的各个简单分式往往对应标准积分公式，因而更容易积出对数、反三角函数或有理函数形式的结果。
5.4.2 变量代换辅助计算
在某些积分中，仅靠部分分式分解还不够，还需配合变量代换。例如通过令某个因式为新变量，或对分母进行配方整理，可以把真分式转化为更熟悉的积分结构。代换与分解配合使用时，往往能显著降低计算复杂度。
6 常见错误与注意事项
6.1 次数判断错误
最常见的错误之一是没有先把式子整理为标准多项式形式，就匆忙判断次数。特别是分子分母含有括号、幂次展开或可约因式时，若未化简便直接比较，容易得出错误结论。
6.2 约分中的条件遗漏
约分并不意味着可以忽略所有限制条件。若被约去的因子在某些取值下为零，那么这些取值原本就不在定义域内，不能因为约分而“恢复”有效性。处理真分式时，应始终保留对定义域的判断。
6.3 分母为零的情况
任何分式只要分母为零就没有意义。真分式也不例外。在求值、解方程或分析函数图像时，都要先排除使分母为零的点。若忽略这一点，常会导致无意义结果或错误的解集。
6.4 真假分式混淆
真假分式的混淆常发生在未进行多项式除法或次数比较之前。一个表达式看起来可能像真分式，但经整理后其实属于假分式；反之，一些假分式在化简或约分后又可能变成真分式。区分二者时，必须以整理后的标准形式为准。