部分分式分解定理证明-分式分解证法

：部分分式分解定理

部分分式分解定理，也称为部分分式展开，是初等代数与微积分学中一个极为重要且实用的工具性定理。其核心思想在于，将一个复杂的有理函数（即两个多项式相除所得的商）表示为若干个简单分式之和的形式。这些简单的分式，其分母通常是原分母多项式因式分解后得到的不可约因式或其幂次，而分子则是次数低于对应分母因式次数的多项式（通常为常数或一次式）。这一定理在数学分析、信号处理、控制系统理论以及微分方程求解等诸多领域有着广泛而深刻的应用。

从理论层面看，部分分式分解定理的成立，深刻依赖于多项式环的代数性质，特别是多项式因式分解的唯一性定理。它本质上揭示了有理函数域的结构特性。在实际操作中，该定理将复杂的积分运算、逆拉普拉斯变换等难题，系统性地转化为对一系列标准形式的简单处理，从而极大地简化了计算流程。掌握其证明过程，不仅是为了验证定理的正确性，更是为了深入理解有理函数的内在构成，并能在面对各种分解需求时，灵活、准确地设定待定系数形式，避免遗漏。尤其对于分母含有重根或复根（在实数域上对应二次不可约因式）的情形，定理给出了明确的分解结构，这是应用中的关键与难点。易搜职考网提醒各位备考数学相关专业的考生，对此定理的证明与应用必须给予足够重视，它是连接代数理论与分析计算的重要桥梁。

一、定理的完整表述与预备知识

在深入证明之前，我们首先给出部分分式分解定理在实数域上的完整表述。设(P(x))和(Q(x))是实数域上的多项式，且(Q(x) neq 0)。进一步假设(frac{P(x)}{Q(x)})是一个真分式，即多项式(P(x))的次数小于分母多项式(Q(x))的次数（若非真分式，可通过多项式除法化为一个多项式与一个真分式之和）。

设(Q(x))在实数域上的标准因式分解为：

[ Q(x) = a (x - alpha_1)^{m_1} (x - alpha_2)^{m_2} cdots (x - alpha_r)^{m_r} (x^2 + beta_1 x + gamma_1)^{n_1} cdots (x^2 + beta_s x + gamma_s)^{n_s} ]

其中，(a)是首项系数，(alpha_i)是互不相同的实根，对应的重数为(m_i)；二次式(x^2 + beta_j x + gamma_j)在实数域上不可约（即其判别式(Delta_j = beta_j^2 - 4gamma_j < 0)），对应重数为(n_j)，且它们之间也互不相同。

那么，存在唯一的实数集合({A_{ik}}, {B_{jk}, C_{jk}})，使得以下部分分式分解成立：

[ frac{P(x)}{Q(x)} = sum_{i=1}^{r} sum_{k=1}^{m_i} frac{A_{ik}}{(x - alpha_i)^k} + sum_{j=1}^{s} sum_{k=1}^{n_j} frac{B_{jk}x + C_{jk}}{(x^2 + beta_j x + gamma_j)^k} ]

其中，对于每个分母因式：

• 对于实根因子((x - alpha_i)^{m_i})，分解后产生(m_i)个形如(frac{A_{ik}}{(x - alpha_i)^k})的分式，(k)从1取到(m_i)，分子(A_{ik})为常数。
• 对于二次不可约因子((x^2 + beta_j x + gamma_j)^{n_j})，分解后产生(n_j)个形如(frac{B_{jk}x + C_{jk}}{(x^2 + beta_j x + gamma_j)^k})的分式，(k)从1取到(n_j)，分子为一次多项式(B_{jk}x + C_{jk})。

证明这一定理，需要以下关键的预备知识：

• 多项式环的代数基本定理：任何一个非常数的复系数多项式至少有一个复根。由此可推知，实系数多项式在实数域上的不可约因式只能是一次式或判别式为负的二次式。
• 多项式因式分解唯一性定理：在实数域上，一个非零多项式可以唯一地分解为一个常数与一些首一不可约多项式的幂的乘积（不计因式顺序）。
• 多项式的带余除法：对于任意多项式(f(x))和(g(x) neq 0)，存在唯一的多项式(q(x))和(r(x))，使得(f(x) = q(x)g(x) + r(x))，其中(r(x))的次数小于(g(x))的次数或(r(x)=0)。
• 多项式互素与贝祖定理：若两个多项式(u(x))和(v(x))的最大公因式为1（即互素），则存在多项式(s(x))和(t(x))，使得(s(x)u(x) + t(x)v(x) = 1)。

二、定理证明的核心思路与存在性证明

部分分式分解定理的证明通常分为两个部分：存在性和唯一性。存在性证明是核心，其基本思路是数学归纳法与代数恒等式的构造相结合。

第一步：处理分母中一个不可约因式的幂。

设(Q(x) = (x - alpha)^m cdot R(x))，其中多项式(R(x))与((x - alpha)^m)互素（即(R(alpha) neq 0)）。根据多项式互素的性质（贝祖定理），存在多项式(s(x))和(t(x))，使得： [ s(x)(x - alpha)^m + t(x)R(x) = 1 ] 将等式两边同时乘以(P(x))，得到： [ P(x)s(x)(x - alpha)^m + P(x)t(x)R(x) = P(x) ] 现在，将上述等式两边同时除以(Q(x) = (x - alpha)^m R(x))，可得： [ frac{P(x)}{Q(x)} = frac{P(x)s(x)}{R(x)} + frac{P(x)t(x)}{(x - alpha)^m} ] 注意，右边第一项(frac{P(x)s(x)}{R(x)})可能不是真分式，但我们可以对其再次使用带余除法，将其写成一个多项式与一个真分式之和。由于我们最终处理的是真分式，并且整个分解过程是针对真分式进行的，我们可以通过调整，将多项式部分归并（如果需要的话，在最开始就将非真分式通过除法处理掉）。关键在于右边第二项(frac{P(x)t(x)}{(x - alpha)^m})，其分母是((x - alpha)^m)。我们可以对分子(P(x)t(x))应用关于((x - alpha))的泰勒展开（或直接进行带余除法，除以((x - alpha)^m)），将其表示为： [ P(x)t(x) = q(x)(x - alpha)^m + (A_1 (x - alpha)^{m-1} + A_2 (x - alpha)^{m-2} + ldots + A_m) ] 其中(q(x))是商式多项式，括号内是一个次数小于(m)的多项式（用((x - alpha))的幂表示）。代入分式： [ frac{P(x)t(x)}{(x - alpha)^m} = q(x) + frac{A_1}{(x - alpha)} + frac{A_2}{(x - alpha)^2} + ldots + frac{A_m}{(x - alpha)^m} ] 这里的(q(x))是多项式，可以合并到可能存在的多项式部分中。对于真分式分解，我们最终得到的是关于因子((x - alpha)^m)的系列分式(sum_{k=1}^{m} frac{A_k}{(x - alpha)^k})。这就成功分离出了对应于一个线性因子幂的部分分式。

对于二次不可约因子的幂，思路类似，但技术细节更复杂。设(Q(x) = (x^2+px+q)^n cdot R(x))，其中(x^2+px+q)不可约，且与(R(x))互素。同样由互素性，存在多项式(U(x))和(V(x))使得： [ U(x)(x^2+px+q)^n + V(x)R(x) = 1 ] 两边乘以(P(x))并除以(Q(x))，得到： [ frac{P(x)}{Q(x)} = frac{P(x)U(x)}{R(x)} + frac{P(x)V(x)}{(x^2+px+q)^n} ] 现在，处理(frac{P(x)V(x)}{(x^2+px+q)^n})。关键在于，任何多项式除以((x^2+px+q)^n)，其余式可以写成一个次数小于(2n)的多项式。更进一步，这个余式可以唯一地表示为如下形式： [ B_1(x) (x^2+px+q)^{n-1} + B_2(x) (x^2+px+q)^{n-2} + ldots + B_n(x) ] 其中每个(B_k(x))的次数小于2（即一次多项式或常数）。将此表示代入分式，即可得到形如(sum_{k=1}^{n} frac{B_k(x)}{(x^2+px+q)^k})的分解。这一结论的证明需要用到多项式环上关于不可约多项式幂的“基”表示，是证明中的难点。

第二步：应用数学归纳法完成整体存在性证明。

我们对分母多项式(Q(x))的不可约因子的总个数（按重数计，或按不同种类的因式数量计）进行归纳。

归纳基础：当(Q(x))只有一个不可约因子的幂时，即(Q(x) = a(x-alpha)^m)或(Q(x) = a(x^2+px+q)^n)。对于第一种情况，我们已通过第一步的论证（此时(R(x)=1)）可以直接得到分解形式。对于第二种情况，通过第一步中关于二次因式的论证，也可以直接得到分解。基础情况成立。

归纳假设：假设对于分母多项式最多由(K)个（不同种类的）不可约因子的幂相乘构成的有理真分式，部分分式分解定理成立。

归纳步骤：考虑分母(Q(x))由(K+1)个不可约因子的幂相乘构成的情形。记(Q(x) = D_1(x) cdot D_2(x))，其中(D_1(x))是一个不可约多项式的幂（例如((x-alpha)^m)或((x^2+px+q)^n)），(D_2(x))是其余(K)个不可约因子幂的乘积。根据第一步的论证，因为(D_1(x))与(D_2(x))互素，存在多项式(s(x), t(x))使得(s(x)D_1(x) + t(x)D_2(x) = 1)。于是： [ frac{P(x)}{Q(x)} = frac{P(x)s(x)}{D_2(x)} + frac{P(x)t(x)}{D_1(x)} ] 右边第一个分式(frac{P(x)s(x)}{D_2(x)})，其分母(D_2(x))由(K)个不可约因子幂构成。它可能不是真分式，但通过多项式除法，可以将其化为一个多项式(M(x))与一个真分式(frac{P_1(x)}{D_2(x)})之和，其中(P_1(x))次数低于(D_2(x))次数。多项式(M(x))可以合并到最终可能出现的多项式项中（对于初始即为真分式的情况，此多项式项最终为零）。而真分式(frac{P_1(x)}{D_2(x)})的分母包含(K)个因子，根据归纳假设，它可以分解为对应于(D_2(x))中各个因子的部分分式之和。

右边第二个分式(frac{P(x)t(x)}{D_1(x)})，其分母是单个不可约因子的幂(D_1(x))。根据第一步中对单一因子幂的处理方法（即如同归纳基础中的操作），它可以分解为对应于(D_1(x))的部分分式之和（可能加上一个多项式，该多项式同样可被归并）。

将这两部分的分解结果合并，我们就得到了原真分式(frac{P(x)}{Q(x)})关于所有(K+1)个因子的部分分式分解。由数学归纳法，存在性得证。易搜职考网认为，理解这一归纳过程是掌握整个证明逻辑脉络的关键。

三、分解系数唯一性的证明

证明分解系数的唯一性相对直接，通常采用反证法或多项式恒等性质来证明。

假设对于同一个真分式(frac{P(x)}{Q(x)})，存在两种不同的部分分式分解： [ sum frac{A_{ik}}{(x - alpha_i)^k} + sum frac{B_{jk}x + C_{jk}}{(x^2 + beta_j x + gamma_j)^k} = sum frac{A’_{ik}}{(x - alpha_i)^k} + sum frac{B’_{jk}x + C’_{jk}}{(x^2 + beta_j x + gamma_j)^k} ] 将等式两边相减，得到： [ sum frac{(A_{ik}-A’_{ik})}{(x - alpha_i)^k} + sum frac{(B_{jk}-B’_{jk})x + (C_{jk}-C’_{jk})}{(x^2 + beta_j x + gamma_j)^k} = 0 ] 现在，我们需要证明所有系数差均为零。

考虑左边这个等于零的有理函数。我们首先聚焦于某个特定的实根因子，例如((x - alpha_1)^{m_1})。将上述等式两边同时乘以((x - alpha_1)^{m_1})，得到一个新的等式。在这个新等式中，除了原来与((x - alpha_1))相关的项变为多项式外，其他所有项的分母中仍然含有((x - alpha_1))的因子（因为其他实根(alpha_i neq alpha_1)，二次因子更是与它无关）。
也是因为这些，当我们将(x = alpha_1)代入这个新等式时，所有其他项由于分母仍包含((x-alpha_1))而为零（在极限意义下或通过连续性理解，严格来说应视为多项式恒等式在(x=alpha_1)时的取值）。于是我们得到： [ (A_{1, m_1} - A’_{1, m_1}) + (A_{1, m_1-1} - A’_{1, m_1-1})(x-alpha_1) + ldots + (A_{1,1} - A’_{1,1})(x-alpha_1)^{m_1-1} bigg|_{x=alpha_1} = 0 ] 这立即推出常数项(A_{1, m_1} - A’_{1, m_1} = 0)，即(A_{1, m_1} = A’_{1, m_1})。

将等式两边乘以((x - alpha_1)^{m_1-1})，然后同样代入(x = alpha_1)。此时，由于我们已经知道(A_{1, m_1} = A’_{1, m_1})，最高次项消去，代入后可得到(A_{1, m_1-1} = A’_{1, m_1-1})。依此类推，我们可以从高次幂到低次幂，逐一证明所有对应于((x - alpha_1))的系数(A_{1k} = A’_{1k})。

用完全相同的方法，可以逐个处理所有不同的实根因子((x - alpha_i)^{m_i})，证明所有(A_{ik})都是唯一的。

对于二次不可约因子，证明思路类似但需稍作调整。考虑某个特定的二次因子((x^2 + beta_1 x + gamma_1)^{n_1})。将恒等式两边乘以((x^2 + beta_1 x + gamma_1)^{n_1})。乘以之后，等式中对应于该二次因子的项变为多项式( (B_{1,n_1} - B’_{1,n_1})x + (C_{1,n_1} - C’_{1,n_1}) + ldots )，而其他所有项的分母中仍然含有((x^2 + beta_1 x + gamma_1))这个因子。由于(x^2 + beta_1 x + gamma_1)在实数域上不可约，它与其他任何一次式或二次不可约式都是互素的。
也是因为这些，不存在一个实数(x)能同时使(x^2 + beta_1 x + gamma_1 = 0)且使其他分母中的不可约多项式为零。但为了证明系数唯一，更严谨的方法是：将乘以((x^2 + beta_1 x + gamma_1)^{n_1})后得到的等式视为一个多项式恒等式。由于其他项都含有((x^2 + beta_1 x + gamma_1))作为因子，因此当我们在复数域上考虑时，令(x)为方程(x^2 + beta_1 x + gamma_1 = 0)的一个复根(omega)，则所有其他项的值仍然为0（因为每个项都至少含有一个((x^2 + beta_1 x + gamma_1))因子）。于是我们得到： [ [(B_{1,n_1} - B’_{1,n_1})omega + (C_{1,n_1} - C’_{1,n_1})] + text{低次项} cdot (omega^2+beta_1omega+gamma_1) + ldots = 0 ] 由于(omega)满足(omega^2 + beta_1omega + gamma_1 = 0)，所有包含该因子的项为零，故有： [ (B_{1,n_1} - B’_{1,n_1})omega + (C_{1,n_1} - C’_{1,n_1}) = 0 ] 因为(omega)是复数而非实数，且其实部和虚部不为零，要使得这个关于实系数( (B_{1,n_1} - B’_{1,n_1}) )和( (C_{1,n_1} - C’_{1,n_1}) )的线性方程成立，必须有其系数均为零，即(B_{1,n_1} = B’_{1,n_1})且(C_{1,n_1} = C’_{1,n_1})。然后，类似地，通过依次乘以((x^2 + beta_1 x + gamma_1)^{n_1-1})等并代入复根，可以逐一证明所有对应于此二次因子的系数(B_{1k})和(C_{1k})都是唯一的。对所有二次因子重复此过程，即完成唯一性证明。

四、定理的应用意义与学习建议

部分分式分解定理的证明，虽然具有一定的代数抽象性，但其展现的思想和方法在数学中非常典型。存在性证明中的“分离一个因子”技巧和归纳框架，唯一性证明中的“代入特殊值”或利用多项式恒等式性质的方法，都是解决数学问题的有力武器。

对于广大学习者，尤其是备考研究生数学或需要深入掌握工程数学的考生来说呢，不能仅仅满足于记住分解的公式形式和使用待定系数法进行计算。理解定理的证明至少能带来以下益处：

• 确保分解形式的正确性：理解为什么分母的每个幂次都需要从1次到最高次的所有项，以及为什么二次因式分子需要一次式而非常数，这能从根本上避免设定待定系数时出现遗漏或错误。
• 处理复杂情形：当分母有重根或复根时，机械记忆公式容易出错，而理解证明过程有助于在遇到变体问题时进行正确推导。
• 深化对有理函数积分和变换的理解：部分分式分解是计算有理函数积分和进行拉普拉斯逆变换的基石。明白其“所以然”，能使后续的应用更加得心应手，知其然更知其所以然。
• 培养抽象代数思维：证明过程涉及多项式环、互素、唯一分解域等抽象代数概念的初步体现，对于提升数学素养很有帮助。

在具体学习过程中，建议按照以下步骤循序渐进：熟练掌握多项式除法、因式分解等基本技能；透彻理解定理的表述，明确各种情况下的分解形式；然后，精读存在性和唯一性证明，尝试用自己的语言复述其逻辑，特别是归纳法的每一步；接着，通过大量练习应用待定系数法，并对比证明思想，体会其背后的原理；将定理应用于积分和变换的实际计算中，巩固学习效果。易搜职考网为广大考生提供系统的数学知识梳理与难点解析，建议在学习此类核心定理时，务必结合典型例题与证明思路，构建完整的知识体系，从而在考试与实践中都能灵活准确地运用这一定理。

，部分分式分解定理是一个兼具理论深度与实践价值的数学工具。其证明过程融合了多项式代数中的核心思想，不仅确立了分解的可行性与唯一性，也为我们处理各类相关问题提供了清晰的理论指南。通过深入探究其证明，学习者能够更牢固地掌握这一重要工具，并在在以后的学术与工程生涯中发挥其巨大效用。