The Quotient-Remainder Identity for Rational Functions

Why the Quotient-Remainder Identity Matters

When the degree of a rational function’s numerator is at least the degree of its denominator, the rational function is called improper. Its numerator contains powers that are not represented by a proper rational fraction. The quotient-remainder identity gives an exact way to separate those parts: a polynomial quotient and a remainder whose degree is lower than the denominator’s.

This separation is useful in the study of rational functions and their integrals. It also sets up the algebraic form needed before partial-fraction methods can be applied. The key point here is the identity itself: what it says, why it exists, and why its remainder condition makes the quotient and remainder unique.

Precise Statement and Terminology

The degree of a nonzero polynomial is the highest power of \(x\) with a nonzero coefficient. For example, \(3x^4-x+7\) has degree \(4\). The zero polynomial has no degree under this convention, so conditions involving the degree of a remainder are stated as “the remainder is zero, or its degree is less than ...”.

For a nonconstant denominator \(D(x)\), the quotient-remainder theorem states that for every polynomial \(P(x)\), there exist unique polynomials \(Q(x)\) and \(R(x)\) satisfying

where \(R(x)=0\) or \(\deg R<\deg D\). The polynomials \(Q\) and \(R\) are called the quotient and remainder, respectively. The strict inequality is part of the theorem; it is not an optional convention.

If \(D(x)=c\), where \(c\ne 0\) is constant, then the corresponding identity is \(P(x)=Q(x)c\) with \(R(x)=0\). In this case \(Q(x)=P(x)/c\), which is a polynomial. The quotient need not be constant.

Dividing the identity by \(D(x)\) gives a rational-function decomposition wherever \(D(x)\ne 0\):

When \(D\) is nonconstant, the remainder fraction is proper if \(R\ne 0\), because its numerator has lower degree than its denominator. If \(R=0\), the remainder fraction is simply zero. The quotient \(Q(x)\) is the polynomial part of the rational function.

Worked Examples

Why the Identity Exists

For a nonconstant denominator, the existence of \(Q\) and \(R\) can be understood by repeatedly removing the highest-degree term that remains in \(P\). This argument justifies why a quotient and a lower-degree remainder can always be found; it does not depend on guessing a final answer.

To see the degree decrease precisely, the coefficient \(\frac{a}{b}\) makes the leading term of \(\frac{a}{b}x^{m-n}D(x)\) equal to \(\frac{a}{b}x^{m-n}\cdot bx^n=ax^m\). Subtracting removes that term. All remaining terms have powers below \(m\), so the new polynomial is zero or has degree less than \(m\).

Why the Quotient and Remainder Are Unique

Existence alone would not guarantee that the identity gives a consistent separation. The strict degree condition ensures uniqueness. Suppose there were two representations satisfying the condition:

Subtract the second identity from the first. This gives

If \(Q_1-Q_2\) were nonzero, then the degree of its product with the nonzero polynomial \(D\) would be \(\deg(Q_1-Q_2)+\deg D\), which is at least \(\deg D\). But each remainder is zero or has degree less than \(\deg D\). Their difference is either zero or has degree less than \(\deg D\), so it cannot equal a nonzero polynomial of degree at least \(\deg D\). This contradiction shows \(Q_1-Q_2=0\). The displayed equation then gives \(R_2-R_1=0\). Therefore \(Q_1=Q_2\) and \(R_1=R_2\).

For a constant denominator \(D=c\ne 0\), the equation \(P=Qc+R\) with \(R=0\) forces \(Q=P/c\), so the quotient and remainder are also unique in that case.

How the Identity Separates a Rational Function

For a nonconstant denominator, the identity rewrites a rational function as the sum of two different kinds of terms:

This equality holds at every \(x\) for which \(D(x)\ne 0\), because it comes from the polynomial identity after division by \(D(x)\). The remainder fraction is proper because its numerator has lower degree than its denominator. If the original rational function is already proper, the quotient is zero and the remainder is the original numerator. If \(D\) is a nonzero constant, the rational function is a polynomial and the remainder is zero.

The division identity itself does not require \(P\) and \(D\) to have no common factors. It is an algebraic statement about the given polynomials. Whether to simplify a rational expression by canceling common factors is a separate consideration.

Common Pitfall: Allowing the Remainder to Have the Same Degree

A frequent error is to weaken the condition \(\deg R<\deg D\) to \(\deg R\le \deg D\). For example, one might write

and accept \(Q=0\), \(R=x^2+1\) as the quotient and remainder for division by \(x^2-1\). The equation is true, but it does not satisfy the theorem’s remainder condition: both the remainder and denominator have degree \(2\). It also fails to separate off the polynomial part.

The correct identity is

Now the remainder is \(2\), of degree \(0<2\), and the corresponding rational-function decomposition is

The constant-denominator case calls for a different kind of care. If \(D(x)=c\ne0\), the remainder is zero and \(Q(x)=P(x)/c\) is a polynomial, which may have positive degree. It is incorrect to conclude that the quotient must be constant just because the denominator is constant.