partial fractions for polynomials
This entry precisely states and provesthe existence and uniqueness of partial fraction decompositionsof ratios of polynomials of a single variable
, with coefficients over a field.
The theory is used for, for example,the method of partial fraction decomposition for integratingrational functions over the reals (http://planetmath.org/ALectureOnThePartialFractionDecompositionMethod).
The proofs involve fairly elementary algebra only. Although we referto Euclidean domains in our proofs, the reader who is not familiar with abstractalgebra may simply read that as “set of polynomials”(which is one particular Euclidean domain).
Also note that the proofs themselves furnish a method for actually computingthe partial fraction decomposition, as a finite-time algorithm,provided the irreducible factorization of the denominator is known.It is not an efficient way to find the partial fraction decomposition; usuallyone uses instead the method of making substitutions into the polynomials,to derive linear constraints on the coefficients.But what is important is that the existence proofs herejustify the substitution method. The uniqueness property proved heremight also simplify some calculations: it shows that we never haveto consider multiple
solutions for the coefficients in the decomposition.
Theorem 1.
Let and be polynomials over a field,and be any positive integer.Then there exist unique polynomials such that
(1) |
Proof.
Existence has already been proven as a special case of partial fractions in Euclidean domains;we now prove uniqueness.Suppose equation (1) has been given.Multiplying by and rearranging,
But according to the division algorithm for polynomials (also known as long division), the quotient
and remainder polynomialafter a division (by in this case) are unique.So must be uniquely determined.Then we can rearrange:
By uniqueness of division again (by ), is determined.Repeating this process, we see that all the polynomials and are uniquely determined.∎
Theorem 2.
Let and be polynomials over a field.Let be the factorization of to irreducible factors (which is unique except for the ordering and constant factors).Then there exist unique polynomials suchthat
(2) |
Proof.
Existence has already been proven as a special case ofpartial fractions in Euclidean domains; we now prove uniqueness.Suppose equation (2) has been given.First, multiply the equation by :
The polynomial sum on the far right of this equationhas degree , becauseeach summand has degree.So the polynomial sum is the remainder of a division of by .Then the quotient polynomial is uniquely determined.
Now suppose and are polynomials of degree ,such that
(3) |
We claim that . Let and ,and write
for some polynomials and .Rearranging, we get:
In particular, divides the left side.Since is relatively prime from , it must dividethe factor . But ,hence must be the zero polynomial. That is, .
So we can cancel the term on both sides ofequation (3).And we could repeat the argument,and show that and are the same, and are the same, and so on.Therefore, we have shown thatthe polynomials in the following expression
are unique. In particular, isthe following numerator that results when the fractions are put under a common denominator :
But by the uniqueness part of Theorem 1,the decomposition
uniquely determines .(Note that the proof of Theorem 1 shows that, as .)∎