有理函数多项式分解以及系数的留数法求解

部分分式展开以及系数的留数法求解

有理真分式分解为部分分式

当有一个次数小于n的多项式$P(x)$

则其一定可以写为如下的形式
$$P(x)=A_1(x-a{)}^{n-1}+A_2(x-a{)}^{n-2}+\cdots +A_{n-1}(x-a)+A_n$$
因此两边同时除以$(x-a{)}^n$次后就可以得到
$$\frac{P(x)}{(x-a{)}^n}=\frac{A_1}{x-a}+\frac{A_2}{(x-a{)}^2}+\cdots +\frac{A_n}{(x-a{)}^n}$$
因此可以得出结论，如果存在一个有理真分式$\frac{P(x)}{(x-a{)}^n}$，（因为是真分式所以$P(x)$的次数小于n），则该真分式一定可以化为上式右侧的部分分式的形式

现在有一个有理真分式$\frac{P(x)}{Q(x)}$，$Q(x)$为n次多项式

对分母$Q(x)$进行因式分解，

（1）假如$Q(x)$有且只有k个不同的实根，没有虚根，则可因式分解为
$$Q(x)=\prod _{i=1}^k(x-a_i{)}^{p_i}$$
其中$a_i$是$Q(x)$的$p_i$重根，$\sum p_i=n$

这种情况下，可以将有理真分式$\frac{P(x)}{Q(x)}$，按照如下公式化为部分分式的和
$$\frac{P(x)}{Q(x)}=\sum _{i=1}^k\sum _{j=1}^{p_i}\frac{A_{ij}}{(x-a_i{)}^j}$$
（2）假如n次多项式$Q(x)$不只有实根，还有复根，那么其依然满足因式分解定理，即在实数域上可以分解为如下形式
$$Q(x)=a_0\cdot \prod _{i=1}^k(x-a_i{)}^{p_i}\prod _{i=1}^l(x^2+b_{i}x+c_i{)}^{q_i}$$

$$\sum p_i+2\sum q_i=n$$

这种情况下，可以将有理真分式$\frac{P(x)}{Q(x)}$，按照如下公式化为部分分式的和
$$\frac{P(x)}{Q(x)}=\sum _{i=1}^k\sum _{j=1}^{p_i}\frac{A_{ij}}{(x-a_i{)}^j}+\sum _{i=1}^l\sum _{j=1}^{q_i}\frac{B_{ij}x+C_{ij}}{(x^2+b_{i}x+c_i{)}^j}$$

利用留数和留数定理求部分分式的系数

$$\frac{P(x)}{Q(x)}=\sum _{i=1}^k\sum _{j=1}^{p_i}\frac{A_{ij}}{(x-a_i{)}^j}+\sum _{i=1}^l\sum _{j=1}^{q_i}\frac{B_{ij}x+C_{ij}}{(x^2+b_{i}x+c_i{)}^j}$$

假定零极点可以是复数，则依旧可以化为如下形式：
$$\frac{P(x)}{Q(x)}=\sum _{i=1}^k\sum _{j=1}^{p_i}\frac{A_{ij}}{(x-a_i{)}^j}$$
则系数$A_{ij}$，根据留数定理可以用如下公式求出
$$A_{ij}=\frac{1}{(p_i-j)!}\underset{x\to a_i}{\lim }{[(x-a_i{)}^{p_i}\frac{P(x)}{Q(x)}]}^{(p_i-j)}$$
右上角的（j-1）表示求j-1阶导数

例如：
$$\frac{x^2+5x-2}{x^3+3x^2+3x+1}$$
其中$Q(x)=x^3+3x^2+3x+1=(x+1{)}^3$

因此
$$\frac{x^2+5x-2}{x^3+3x^2+3x+1}=\frac{K_1}{x+1}+\frac{K_2}{(x+1{)}^2}+\frac{K_3}{(x+1{)}^3}$$

$$K_3=\underset{x\to -1}{\lim }{[(x+1{)}^3\cdot \frac{x^2+5x-2}{x^3+3x^2+3x+1}]}^{(3-3)}=\underset{x\to -1}{\lim }[x^2+5x-2]=-6$$

$$K_2=\underset{x\to -1}{\lim }{[(x+1{)}^3\cdot \frac{x^2+5x-2}{x^3+3x^2+3x+1}]}^{(3-2)}=\underset{x\to -1}{\lim }[2x+5]=3$$

$$K_1=\frac{1}{2!}\cdot \underset{x\to -1}{\lim }{[(x+1{)}^3\cdot \frac{x^2+5x-2}{x^3+3x^2+3x+1}]}^{(3-1)}=\frac{1}{2}\cdot \underset{x\to -1}{\lim }[2]=1$$

因此
$$\frac{x^2+5x-2}{x^3+3x^2+3x+1}=\frac{1}{x+1}+\frac{3}{(x+1{)}^2}-\frac{6}{(x+1{)}^3}$$