部分分式分解

部分分式分解或部分分式展開（英語：），是將有理函數分解成許多次數較低有理函數和的形式，來降低分子或分母多項式的次數。分解後的分式需滿足以下條件：

• 分式的分母需為不可約多項式（irreducible polynomial）或其乘冪。
• 分式的分子多項式次數需比其分母多項式次數要低。

例：

${\displaystyle {\frac {1}{x(x+1)}}={\frac {1}{x}}-{\frac {1}{x+1}}.}$

分解後二分式的分母均為不可約多項式，分子次數比分母低，符合上述的條件。

簡單來說，部分分式分解的目的是將以下型式的有理函數：

${\displaystyle {\frac {f(x)}{g(x)}}}$

其中 f 和 g 均為多項式，轉換為以下的型式

${\displaystyle \sum _{i}{\frac {a_{i}}{h_{i}(x)}}}$

其中 h_i 是 g(x) 的因式，次數較g(x)要低。因此一般會對g(x)作因式分解以得到所有的因式h_i。

部分分式分解和有理函數相加的作用恰好相反：數個有理函數相加後，會變成一個有理函數，但分子及分母都比原來的次數要高；而部分分式分解會將一個有理函數變為數個分子及分母次數較小的有理函數。

部分分式分解的主要目的是將有理函數變為數個較簡單的有理函數，配合線性運算子處理時會比較方便。因此可以簡化有理函數導數、反導數、積分、冪級數展開、傅立葉級數、留數或其他線性函數轉換的計算。可以先針對每一個較簡單的有理函數進行處理，之後再相加得到結果。例如部分分式积分法就依此方式計算反導數。

部分分式分解的結果會是許多分母為「不可約多項式」。不過什麼樣的多項式不可約，則是依使用純量所在的域來決定。例如若只允許實數的純量出現，不可約多項式則為一次或二次的多項式；若允許複數的純量出現，則所有不可約多項式則都為一次多項式；若只允許整數或其他有限體的純量，有些二次以上的多項式也可能是不可約多項式。