- Verberg vooruitgang Hide progress Toon vooruitgang Show progress
- Verwijder je antwoorden (op deze pagina) Remove your answers (on this page)
This section uses systems of linear equations to rewrite rational functions in a form more palatable to Calculus students. In College Algebra, the function
is written in the best form possible to construct a sign diagram and to find zeros and asymptotes, but certain applications in Calculus require us to rewrite \(f(x)\) as
If we are given the form of \(f(x)\) in (fcalc), it is a matter of Intermediate Algebra to determine a common denominator to obtain the form of \(f(x)\) given in (falg). The focus of this section is to develop a method by which we start with \(f(x)\) in the form of (falg) and ‘resolve it into partial fractions’ to obtain the form in (fcalc). Essentially, we need to reverse the least common denominator process.
Starting with the form of \(f(x)\) in (falg), we begin by factoring the denominator
We now think about which individual denominators could contribute to obtain \(x^2 \left (x^2+1\right )\) as the least common denominator. Certainly \(x^2\) and \(x^2+1\), but are there any other factors? Since \(x^2+1\) is an irreducible quadratic there are no factors of it that have real coefficients which can contribute to the denominator.
The factor \(x^2\), however, is not irreducible, since we can think of it as \(x^2 = xx = (x-0)(x-0)\), a so-called ‘repeated’ linear factor. This means it’s possible that a term with a denominator of just \(x\) contributed to the expression as well. What about something like \(x \left (x^2+1\right )\)? This, too, could contribute, but we would then wish to break down that denominator into \(x\) and \(\left (x^2+1\right )\), so we leave out a term of that form.
At this stage, we have guessed
Our next task is to determine what form the unknown numerators take. It stands to reason that since the expression \(\frac {x^2-x-6}{x^4+x^2}\) is ‘proper’ in the sense that the degree of the numerator is less than the degree of the denominator, we are safe to make the ansatz that all of the partial fraction resolvents are also. This means that the numerator of the fraction with \(x\) as its denominator is just a constant and the numerators on the terms involving the denominators \(x^2\) and \(x^2+1\) are at most linear polynomials.
In other words, we guess that there are real numbers \(A\), \(B\), \(C\), \(D\) and \(E\) so that
However, if we look more closely at the term \(\frac {Bx+C}{x^2}\), we see that \(\frac {Bx+C}{x^2} = \frac {Bx}{x^2} + \frac {C}{x^2} = \frac {B}{x} + \frac {C}{x^2}\). The term \(\frac {B}{x}\) has the same form as the term \(\frac {A}{x}\) which means it contributes nothing new to our expansion. Hence, we drop it and, after re-labeling, we find ourselves with our new guess:
Our next task is to determine the values of our unknowns. Clearing denominators gives
Gathering the like powers of \(x\) we have
In order for this to hold for all values of \(x\) in the domain of \(f\), we equate the coefficients of corresponding powers of \(x\) on each side of the equation and obtain the system of linear equations
To solve this system of equations, we could use any of the methods presented in Sections LinSystems through Determinants, but none of these methods are as efficient as the good old-fashioned substitution from High School algebra. From \(E3\), we have \(A=-1\) and we substitute this into \(E1\) to get \(C = 1\). Similarly, since \(E4\) gives us \(B=-6\), we have from \(E2\) that \(D = 7\). We get
which matches the formula given in (fcalc).
As we have seen in this opening example, resolving a rational function into partial fractions takes two steps: first, we need to determine the form of the decomposition, and then we need to determine the unknown coefficients which appear in said form.
Theorem realfactorization guarantees that any polynomial with real coefficients can be factored over the real numbers as a product of linear factors and irreducible quadratic factors. Once we have this factorization of the denominator of a rational function, the next theorem tells us the form the decomposition takes. The reader is encouraged to review the Factor Theorem (Theorem factorthm) and its connection to the role of multiplicity to fully appreciate the statement of the following theorem.
If \(\alpha \) is a real zero of \(D\) of multiplicity \(m\) which corresponds to the linear factor \(ax+b\), the partial fraction decomposition includes
for real numbers \(A_1\), \(A_2\), …\(A_{m}\).
If \(\alpha \) is a non-real zero of \(D\) of multiplicity \(m\) which corresponds to the irreducible quadratic \(ax^2+bx+c\), the partial fraction decomposition includes
for real numbers \(B_1\), \(B_2\), …\(B_{m}\) and \(C_1\), \(C_2\), …\(C_{m}\).
The proof of Theorem pfdecomp is best left to a course in Abstract Algebra. Notice that the theorem provides for the general case, so we need to use subscripts, \(A_1\), \(A_2\), etc., to denote different unknown coefficients as opposed to the usual convention of \(A\), \(B\), etc.. The stress on multiplicities is to help us correctly group factors in the denominator. For example, consider the rational function
Factoring the denominator to find the zeros, we get \((x+1)(x-1)(1-x)(2+x)\). We find \(x = -1\) and \(x=-2\) are zeros of multiplicity one but that \(x=1\) is a zero of multiplicity two due to the two different factors \((x-1)\) and \((1-x)\). One way to handle this is to note that \((1-x) = -(x-1)\) so
from which we proceed with the partial fraction decomposition
Turning our attention to non-real zeros, we note that the tool of choice to determine the irreducibility of a quadratic \(ax^2+bx+c\) is the discriminant, \(b^2-4ac\). If \(b^2 - 4ac < 0\), the quadratic admits a pair of non-real complex conjugate zeros. Even though one irreducible quadratic gives two distinct non-real zeros, we list the terms with denominators involving a given irreducible quadratic only once to avoid duplication in the form of the decomposition. The trick, of course, is factoring the denominator or otherwise finding the zeros and their multiplicities in order to apply Theorem pfdecomp. We recommend that the reader review the techniques set forth in Sections RealZeros and ComplexZeros.
Next, we state a theorem that if two polynomials are equal, the corresponding coefficients of the like powers of \(x\) are equal. This is the principal by which we shall determine the unknown coefficients in our partial fraction decomposition.
for all \(x\) in an open interval \(I\). Then \(n=m\) and \(a_{i} = b_{i}\) for all \(i = 1 \ldots n\).
Believe it or not, the proof of Theorem polyequality is a consequence of Theorem complexfactorization. Define \(p(x)\) to be the difference of the left hand side of the equation in Theorem polyequality and the right hand side. Then \(p(x) = 0\) for all \(x\) in the open interval \(I\). If \(p(x)\) were a nonzero polynomial of degree \(k\), then, by Theorem complexfactorization, \(p\) could have at most \(k\) zeros in \(I\), \(k\) being a finite number. Since \(p(x) = 0\) for all real numbers \(x\) in \(I\), \(p\) has infinitely many zeros, and hence, \(p\) is the zero polynomial. This means there can be no nonzero terms in \(p(x)\) and the theorem follows. Arguably, the best way to make sense of either of the two preceding theorems is to work some examples.
We begin by factoring the denominator to find \(2x^2-x-1 = (2x+1)(x-1)\). We get \(x=-\frac {1}{2}\) and \(x=1\) are both zeros of multiplicity one and thus we know
Clearing denominators, we get \(x+5 = A(x-1) + B(2x+1)\) so that \(x + 5 = (A+2B)x + B-A\). Equating coefficients, we get the system
This system is readily handled using the Addition Method from Section AppLinearSystems, and after adding both equations, we get \(3B = 6\) so \(B = 2\). Using back substitution, we find \(A = -3\). Our answer is easily checked by getting a common denominator and adding the fractions.
Factoring the denominator gives \(z^3-2z^2+z = z\left (z^2-2z+1\right ) = z(z-1)^2\) which gives \(z=0\) as a zero of multiplicity one and \(z=1\) as a zero of multiplicity two. We have
Clearing denominators, we get \(3 = A(z-1)^2 + Bz(z-1)+Cz\), which, after gathering up the like terms becomes \(3 = (A+B)z^2+(-2A-B+C)z + A\). Our system is
Substituting \(A=3\) into \(A+B = 0\) gives \(B = -3\), and substituting both for \(A\) and \(B\) in \(-2A-B+C = 0\) gives \(C = 3\). Our final answer is
The denominator factors as \(s\left (s^2-s+1\right )\). We see immediately that \(s=0\) is a zero of multiplicity one, but the zeros of \(s^2-s+1\) aren’t as easy to discern. The quadratic doesn’t factor easily, so we check the discriminant and find it to be \((-1)^2-4(1)(1) = -3 < 0\). We find its zeros are not real so it is an irreducible quadratic. The form of the partial fraction decomposition is then
Clearing denominators gives \(3 = A\left (s^2-s+1\right ) + (Bs+C)s\) or \(3 = (A+B)s^2 + (-A+C)s +A\), hence
From \(A=3\) and \(A+B = 0\), we get \(B = -3\). From \(-A+C = 0\), we get \(C = A = 3\). We get
Since \(\frac {4x^3}{x^2-2}\) isn’t proper, we first use long division and obtain a quotient of \(4x\) with a remainder of \(8x\). Rewriting, \(\frac {4x^3}{x^2-2} = 4x + \frac {8x}{x^2-2}\) so we focus on resolving \(\frac {8x}{x^2-2}\) into partial fractions. The quadratic \(x^2-2\), though it doesn’t factor nicely, is, nevertheless, reducible. Solving \(x^2-2 =0\) gives us \(x = \pm \sqrt {2}\), so using Theorem complexfactorization, we have \(x^2-2 = \left (x - \sqrt {2}\right )\left (x + \sqrt {2}\right )\). Hence,
Clearing fractions, we get \(8x = A\left (x + \sqrt {2}\right ) + B\left (x - \sqrt {2}\right )\) or \(8x = (A+B)x + (A-B)\sqrt {2}\) which gives
From \((A-B)\sqrt {2}=0\), we get \(A=B\), which, when substituted into \(A+B = 8\) gives \(B = 4\). Hence, \(A = B = 4\) and we get
At first glance, the denominator \(D(z) = z^4+6z^2+9\) appears irreducible. However, \(D(z)\) has three terms, and the exponent on the first term is exactly twice that of the second. Rewriting \(D(z) = \left (z^2\right )^2 + 6z^2 + 9\), we see it is a quadratic in disguise and factor \(D(z) = \left (z^2+3\right )^2\). Since \(z^2+3\) clearly has no real zeros, it is irreducible and the form of the decomposition is
After the usual clearing of denominators, we have \(z^3 + 5z-1 = (Az+B)\left (z^2+3\right ) + Cz + D\) which gives \(z^3+5z-1 = Az^3 + Bz^2 + (3A+C)z + 3B+D\). Our system is
We have \(A = 1\) and \(B = 0\) from which we get \(C = 2\) and \(D = -1\). Our final answer is
Once again, the difficulty in our last example is factoring the denominator. In an attempt to get a quadratic in disguise, we write
and obtain a difference of two squares: \(\left (s^2+4\right )^2\) and \(8s^2 = \left (2s\sqrt {2}\right )^2\). Hence,
The discriminant of both of these quadratics works out to be \(-8 < 0\), which means they are irreducible. We leave it to the reader to verify that, despite having the same discriminant, these quadratics have different zeros. The partial fraction decomposition takes the form
We get \(8s^2 = (As+B)\left (s^2 + 2s\sqrt {2}+4 \right ) + (Cs+D)\left (s^2 - 2s\sqrt {2} + 4\right )\) or
From \(A+C = 0\), we get \(A = -C\). Likewise, from \(4B + 4D = 0\), we get \(B = -D\). Substituting these into the remaining two equations gives
or
We get \(C = -\sqrt {2}\) so that \(A = -C = \sqrt {2}\) and \(D = 0\) which means \(B = -D = 0\). We get
□