Theorems from Rational functions
All theorems from Rational functions.
Partial fractions decomposition
For a fixed denominator after cancellation and factorisation, every proper rational function has a unique partial-fraction expansion with terms of the form
where the quadratic is irreducible over the real numbers (i.e. ).
The integers run up to the multiplicity of each factor. Uniqueness means the linear equations for the undetermined coefficients have exactly one solution. The real irreducible quadratics arise by pairing a non-real complex root with its conjugate, as in real linear and quadratic factorisation.