Why the Degree Rules Work
For a rational function, the behavior at large positive or negative inputs is controlled by the highest powers in its numerator and denominator. The familiar rules—limit zero when the numerator degree is smaller, a ratio of leading coefficients when the degrees match, and unbounded behavior when the numerator degree is larger—are consequences of a simple operation: divide each polynomial by its own highest power.
This operation does more than provide a shortcut. It separates each polynomial into its leading term and a factor that approaches \(1\). Once that factor is visible, the limit follows from the remaining power of \(x\).
Polynomials and Their Leading Terms
Let \(P\) and \(Q\) be nonzero polynomials, and suppose \(Q(x)\neq 0\) for all sufficiently large positive and negative \(x\). Write their degrees as \(m\) and \(n\), respectively. Their leading terms can be written as \(a_mx^m\) and \(b_nx^n\), where \(a_m\neq 0\) and \(b_n\neq 0\).
Factoring out the highest power gives
Every term inside the parentheses other than \(1\) contains a negative power of \(x\), so it tends to zero as \(x\to+\infty\) and as \(x\to-\infty\). The factor in parentheses therefore tends to \(1\) at either end. The same reasoning applies to \(Q\).
The Degree-Comparison Theorem
Let \(f(x)=P(x)/Q(x)\), with \(P\) and \(Q\) as above. Define \(C=a_m/b_n\), the ratio of their leading coefficients. Dividing the numerator by \(x^m\) and the denominator by \(x^n\) yields
The last fraction tends to \(1/1=1\) at either end. It is this fraction, together with the remaining power \(x^{m-n}\), that determines the limit.
Why the Theorem Follows
For completeness, write
By the leading-term expressions, \(A(x)\to1\) and \(B(x)\to1\) as \(x\to+\infty\) or \(x\to-\infty\). Since \(B(x)\to1\), the denominator factor is nonzero for all sufficiently large \(|x|\). The quotient \(H(x)=A(x)/B(x)\) therefore tends to \(1\), and
Now consider the three possible comparisons of \(m\) and \(n\).
If \(m<n\), then \(m-n=-(n-m)\), where \(n-m\) is a positive integer. Thus \(x^{m-n}=1/x^{n-m}\to0\) at both ends. Since \(H(x)\to1\), the product \(C x^{m-n}H(x)\) tends to \(0\) at both ends.
If \(m=n\), then \(x^{m-n}=1\). Therefore \(C x^{m-n}H(x)=C H(x)\to C=a_m/b_n\) at both ends.
If \(m>n\), then \(r=m-n\) is positive and \(|x^r|\to\infty\). Because \(H(x)\to1\), it is positive and bounded away from zero for all sufficiently large \(|x|\); for example, eventually \(1/2<H(x)<3/2\). Hence the magnitude of \(C x^rH(x)\) grows without bound. At \(+\infty\), \(x^r\) is positive. At \(-\infty\), its sign is positive when \(r\) is even and negative when \(r\) is odd. Multiplication by \(C\) gives the stated signs.
This proves the degree-comparison rules. The equal-degree case is a finite limit because the powers cancel; the larger-numerator-degree case is unbounded because a positive power remains.
Worked Examples
Worked Example: Smaller Numerator Degree
Find the limits of \(f(x)=(6x^2-3x+1)/(3x^4+2x^2-5)\) as \(x\to+\infty\) and \(x\to-\infty\).
The numerator has degree \(2\), and the denominator has degree \(4\). Divide both by \(x^4\), the denominator's highest power:
As \(x\to+\infty\), the numerator tends to \(0-0+0=0\), and the denominator tends to \(3+0-0=3\). Thus the quotient tends to \(0/3=0\). As \(x\to-\infty\), the powers in the numerator still tend to zero, and the denominator still tends to \(3\), so the limit is again \(0/3=0\).
Check: the degree comparison gives \(2<4\), which predicts zero at both ends, matching the normalized expression.
Worked Example: Equal Degrees
Find the limits of \(g(x)=(4x^3-2x+7)/(-2x^3+5x^2+1)\) at both infinities.
Both polynomials have degree \(3\). Divide the numerator and denominator by \(x^3\):
At \(+\infty\), the numerator tends to \(4\) and the denominator to \(-2\), so the quotient tends to \(4/(-2)=-2\). At \(-\infty\), each reciprocal-power term also tends to zero. The limiting numerator and denominator are still \(4\) and \(-2\), so the limit is again \(-2\).
Check: the leading-coefficient ratio is \(4/(-2)=-2\), agreeing with both limits obtained after division.
Worked Example: Larger Numerator Degree and an Odd Degree Difference
Determine the limits of \(h(x)=(2x^4-x)/( -x+3)\) at \(+\infty\) and \(-\infty\).
The degrees are \(4\) and \(1\), so their difference is \(r=4-1=3\). Divide the numerator by \(x^4\) and the denominator by \(x\):
The fraction tends to \(1/1=1\) at both ends. At \(+\infty\), \(-2x^3\to-\infty\), so \(h(x)\to-\infty\). At \(-\infty\), \(x^3\to-\infty\), and therefore \(-2x^3\to+\infty\); hence \(h(x)\to+\infty\).
Check: \(C=-2\) and \(r=3\). The theorem gives sign \(C<0\) at \(+\infty\), and sign \(C(-1)^3=(-2)(-1)=2>0\) at \(-\infty\), exactly as found.
Worked Example: Larger Numerator Degree and an Even Degree Difference
Determine the limits of \(k(x)=(-3x^4+2)/(x^2+1)\) at both ends.
The degree difference is \(4-2=2\), which is even. Dividing the numerator by \(x^4\) and the denominator by \(x^2\) gives
The fraction tends to \(1\). Since \(x^2\to+\infty\) at both \(+\infty\) and \(-\infty\), the factor \(-3x^2\) tends to \(-\infty\) at both ends. Therefore both limits are \(-\infty\).
Check: \(C=-3\) and \(r=2\). The signs are negative at \(+\infty\) and \(C(-1)^2=-3<0\) at \(-\infty\), as required.
A Common Mistake: Using the Coefficient Ratio Too Soon
A frequent error is to take the ratio of leading coefficients before checking whether the degrees match. For example, the leading coefficients of \((3x+1)/(6x^2+2)\) have ratio \(3/6=1/2\). It would be incorrect to conclude that the limit is \(1/2\): the numerator degree is \(1\), while the denominator degree is \(2\).
Divide both polynomials by \(x^2\):
The coefficient ratio gives the limit only when the degrees are equal. In this example, the additional reciprocal powers in the numerator force the limit to zero.
Why the Division Method Is Useful
The method explains which features of a rational function matter at infinity and which do not. Lower-degree terms contribute only reciprocal powers after division, and those terms vanish. The remaining power \(x^{m-n}\) determines whether the limit is zero, finite and nonzero, or unbounded. When the limit is unbounded, the parity of the degree difference determines whether the sign changes between the two ends.
This reasoning also provides a reliable check on calculations: first compare degrees, then identify the leading-coefficient ratio, and, if the degrees differ in the numerator's favor, track the sign of the remaining power at the end in question.
Check Your Understanding
For each question, use the degrees and the leading-term division to justify your answer.
- For \((5x^2+1)/(2x^5-x)\), what are the limits at positive and negative infinity?
- For \((-6x^3+x)/(3x^3+4)\), what finite limit is predicted at either end?
- For \((x^5+2)/( -2x^2+1)\), determine the signs of the limits at positive and negative infinity.
- Why does the ratio of leading coefficients alone fail to determine the limit when the degrees are unequal?
- If the numerator degree exceeds the denominator degree by an even integer, does the leading power change sign between positive and negative infinity?
