Analytic Number Theory/Partial fraction decomposition

Existence theorem
Proof:

We proceed by induction on $$n$$. For $$n=1$$, the statement is true since by division with remainder, we may write
 * $$f(x) = q_1(x) p_1(x) + r(x)$$

with $$\deg (r) < \deg(p_1)$$ to obtain
 * $$\frac{f(x)}{g(x)} = \frac{q_1(x)}{p_1(x)^{k_1 - 1}} + \frac{r(x)}{g(x)}$$,

and we have reduced the degree of the denominator by one (the latter summand already satisfies the required condition). By repetition of this process, we eventually obtain a denominator of one and thus a polynomial.

Let now the hypothesis be true for $$n \in \mathbb N$$, and assume that $$g = \prod_{j=1}^{n+1} p_j^{k_j}$$. Write $$G = \prod_{j=1}^n p_j^{k_j}$$ and $$H = p_{n+1}^{k_{n+1}}$$. By irreducibility, $$\gcd(G, H) = 1$$. Hence, we find polynomials $$S, T$$ such that $$1 = SG + TH$$. Then
 * $$\frac{f}{g} = \frac{f(SG + TH)}{g} = \frac{fSG}{g} + \frac{fTH}{g}$$.

Each of the summands of the last term can by the induction hypothesis be written in the desired form.

Technique
No matter how complicated our fraction of polynomials $$\frac{f}{g}$$ may be, we can give the partial fraction decomposition in finite time, using easy techniques. The method, which for the sake of simplicity differs from the one given in the above constructive existence proof, goes as follows:
 * 1) Split the polynomial $$g$$ into irreducible factors.
 * 2) Using division with remainder of $$f$$ by $$g$$, reduce to the case $$\deg(f) < \deg(g)$$ (the resulting polynomial $$q$$ is allowed in the formula of theorem 2.1).
 * 3) Solve the equation given in theorem 2.1 for the $$a_{l, j}$$ (this is equivalent to solving a system of linear equations; namely multiply by $$g$$ and then equate coefficients).

Proof: Due to theorem 2.1, in step three we do obtain a system of linear equations which is solvable. Hence follow termination and correctness.